Rule-Based Runtime Verification
Rule-Based Runtime Verification
复制标题
DOI：
10.1007/978-3-540-24622-0_5
复制
发表时间：
2004-01
影响因子：
--
通讯作者：
H. Barringer;A. Goldberg;K. Havelund;Koushik Sen
中科院分区：
文献类型：
--
作者：
H. Barringer;A. Goldberg;K. Havelund;Koushik Sen
我们提出了一个基于规则的框架，用于定义和实现有限跟踪监控逻辑，包括未来和过去的时间时态逻辑，扩展的正则表达式，实时逻辑，区间逻辑，量化时态逻辑的形式，等等。我们的逻辑，鹰，实现为Java库，并涉及新的规则定义，操作和执行技术。监视是在逐个状态的基础上完成的，而不存储执行跟踪。
We present a rule-based framework for defining and implementing finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time logics, interval logics, forms of quantified temporal logics, and so on. Our logic,Eagle, is implemented as a Java library and involves novel techniques for rule definition, manipulation and execution. Monitoring is done on a state-by-state basis, without storing the execution trace.