Med den ökande komplexiteten i informationssystem, blir det allt mer oklart hur informationssystem beteenden förhåller sig till angivna krav. Även om kravdokument och övervakning av verksamheten kan ge statiska och dynamiska bevis för att kraven uppfylls, ger inte heller någon formell, realtidspresentation av kravens tillfredsställelse. REQMON-forskningsprojektet bygger och validerar metoder och verktyg för kravspecifikation och realtidsövervakning. Utmaningen är att förenkla systemkonstruktionen av övervakningssystemet samtidigt som dess trohet och uttrycksfullhet säkerställs. För att ta itu med denna utmaning utnyttjar vår integrativa strategi ett formellt övervakning abstraktion lager, dynamiskt konfigurerbara distribuerade monitorer, och kommersiell programvara för att definiera en teori för att specificera, utveckla och analysera krav övervakningssystem. I denna artikel presenteras ett genomförande av regelbaserade övervakare, som härrör från systemkrav. Ett sådant genomförande kan förenkla specifikationen av tidskravsövervakare och kan vara effektivt, vilket vår analys visar.
Robinson W N presenterade ett genomförande av regelbaserade monitorer, som härrör från systemkrav REF.
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
{'venue': 'Proceedings of the 38th Annual Hawaii International Conference on System Sciences', 'journal': 'Proceedings of the 38th Annual Hawaii International Conference on System Sciences', 'mag_field_of_study': ['Computer Science']}