Abstrakt. I [3], Eagle infördes som en allmän syfte regel-baserad temporal logik för att specificera körtid monitorer. Ett nytt och relativt effektivt system för att tolka spårningskontroller genom stegvis omvandling av en Eagle-övervakningsformel fastställdes och genomfördes. Tillämpningen i verkliga exempel har dock visat på effektivitetsbrister, särskilt de som är förknippade med storskalig symbolisk formelmanipulering. I detta dokument, efter en kort genomgång av Eagle, introducerar vi RulerR, ett primitivt villkorligt regelbaserat system, som vi hävdar mer effektivt kan implementeras för körtidskontroll, och där man kan sammanställa olika tidslogik som används för körtidskontroll.
Inspirerad av MetateM, RuleR är ett effektivt regelbaserat övervakningssystem som kan sammanställa olika tidslogik REF.
Rule systems for run-time monitoring: From eagle to ruler
{'venue': 'In RV07: Proceedings of Runtime Verification 2007, number 4839 in Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}