Group items tagged

" Monitoring-Oriented Programming, abbreviated MOP, is a software development and analysis framework aiming at reducing the gap between formal specification and implementation by allowing them together to form a system. In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable software: monitors are automatically synthesized from specified properties and integrated into the original system to check its dynamic behaviors during execution. When a specification is violated or validated at runtime, user-defined actions will be triggered, which can be any code from information logging to runtime recovery. One can understand MOP from at least three perspectives: as a discipline allowing one to improve safety, reliability and dependability of a system by monitoring its requirements against its implementation at runtime; as an extension of programming languages with logics (one can add logical statements anywhere in the program, referring to past or future states); and as a lightweight formal method. "

"Jason Baragry from the Norvegian Computing Center asked me to comment on the relationship bettween MOP and DCI. I originally threw a few comments here. I wanted to go back and comment some more after watching James Coplien's latest video from QCon. James really ticked me off. He embodies -like so many self-proclaimed gurus- what is so wrong with our industry."