This paper introduces a runtime verification(RV)framework that based on a RV tool named Monitoring and Checking(MaC).Based on the concept of anticipatory semantics,and also combines with the research on the working principle of MaC,a rather mature runtime verification tool,it puts forward a kind of runtime framework.The meaning is that,the logical expression ability of MaC is fully used,which makes it simple to define events and conditions.On the other way,it widens the ability with the introduction of monitor with anticipatory semantics,and makes the runtime verification framework some kind of forecasting,and what's more,it lays very good foundation for further research on the online active monitoring based on anticipatory semantics.

The runtime verification framework based on MaC, using anticipatory semantics, simplifies event definition and forecasting, laying a good foundation for online active monitoring.

Research on a Runtime Verification Framework Based on MaC

Key Takeaway: The runtime verification framework based on MaC, using anticipatory semantics, simplifies event definition and forecasting, laying a good foundation for online active monitoring.