可扩展性操作指南
An Operational Guide to Monitorability
摘要：
可验证性描述了哪些属性可以在运行时验证。虽然存在许多可监测性定义，但很少明确定义监测器提供的保证，即，计算实体执行验证。我们将可监控性视为一个频谱：所需的监控保证越少，可监控的属性就越多。我们提出了一个可监控的层次结构，并提供其水平的操作和语法特征。现有的可监控性定义映射到我们的层次结构，提供了一个统一的框架，使每个定义明确的操作假设和保证。这为运行时验证工具的设计选择和正确性声明提供了严格的基础。
英文摘要：
Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum: the fewer monitor guarantees that are required, the more properties become monitorable. We present a monitorability hierarchy and provide operational and syntactic characterisations for its levels. Existing monitorability definitions are mapped into our hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
