Abstrakt. En formell ram för utveckling och analys av programvara presenteras som syftar till att minska klyftan mellan formell specifikation och genomförande genom att integrera de två och göra det möjligt för dem att tillsammans bilda ett system. Det kallas övervakningsinriktad programplanering, eftersom övervakning i drift stöds och uppmuntras som en grundläggande princip. Monitorer syntetiseras automatiskt från formella specifikationer och integreras på lämpliga platser i programmet, enligt användarkonfigurerbara attribut. Överträdelser och/eller valideringar av specifikationer kan utlösa användardefinierad kod vid alla punkter i programmet, särskilt återställningskod, utmatning/utskick av meddelanden, eller höja undantag. MOP:s stora nyhet är dess generalitet w.r.t. logiska formalismer: det gör det möjligt för användare att infoga sina favorit- eller domänspecifika specifikationer formalismer via logiska insticksmoduler. Ett WWW arkiv har skapats, vilket gör det möjligt för MOP-användare att ladda ner och ladda upp logiska plugins. En experimentell prototyp verktyg, kallas Java-MOP, diskuteras också, som för närvarande stöder de flesta men inte alla önskade MOP-funktioner.
Monitored-oriented programmering (MOP) REF tillåter att utföra körning övervakning genom att annotera koden med formella egendomsspecifikationer.
A Formal Monitoring-Based Framework for Software Development and Analysis
{'venue': 'In Proceedings of ICFEM’04, volume 3308 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}