关键词: MaC, 运行时验证, 预测语义

Abstract: 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. 

Key words: MaC, runtime verification, anticipatory semantics