Med explosionen av programvara storlek, kontroll överensstämmelse av genomförandet till specifikation blir ett allt viktigare men också svårt problem. Nuvarande praxis som bygger på ad hoc-tester ger inga korrekta garantier, medan mycket säkra traditionella formella metoder som modellkontroll och teorem som bevis fortfarande är för dyra för att bli vanlig praxis. I detta dokument presenterar vi ett paradigm för att kombinera formell specifikation med genomförande, kallad övervakningsorienterad programplanering (MoP), som ger en lättviktad formell metod för att kontrollera att genomförandet överensstämmer med specifikationen i körtid. Systemkraven uttrycks med hjälp av formella specifikationer angivna som anteckningar införda på olika användarvalda platser i program. Effektiv övervakning kod med samma målspråk som genomförandet genereras sedan automatiskt under ett förkompilering skede. Den genererade koden har samma effekt som en logisk kontroll av kraven och kan användas i alla sammanhang, särskilt för att utlösa användardefinierade åtgärder, när kraven överträds. Vårt förslag är språk- och logikoberoende, och vi hävdar att det smidigt integrerar andra intressanta systemutveckling paradigm, såsom design genom kontrakt och aspektorienterad programmering. En prototyp har implementerats för Java, som för närvarande stöder krav som uttrycks med hjälp av tidigare tid och framtida linjär tidslogik, samt utökade reguljära uttryck.
Tidskontroll av fastighetsanteckningar införda i tillämpningskoden har studerats REF.
Towards monitoring-oriented programming: A paradigm combining specification and implementation
{'venue': 'Electronic Notes in Theoretical Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}