面向契约可监控性的初步结果

本文讨论关于Web服务描述契约可监控性的初步研究。在某些情况下，服务器不静态保证它们满足某些指定契约，这迫使客户端（即与服务器交互的实体）执行动态检查。该场景可视为运行时验证的一个实例，其中关键问题在于契约是否能在运行时被充分监控，否则表述为契约的可监控性。我们考虑一种描述客户端和服务器的有限契约简单语言，并开发一个描述服务器契约监控的形式化框架。我们定义了可能有助于契约可监控性全面概念的监控属性，并展示我们的简单契约语言满足这些属性。