分布式系统合同监控
Distributed System Contract Monitoring
摘要：
使用行为契约来指定、规范和验证系统，与分布式系统的运行时监控特别相关。系统分布对合同监控提出了重大挑战，从监控引起的信息泄漏到计算负载均衡、通信开销和容错。我们提出了mDPi，一个位置感知的进程演算，分布式系统的监控推理。我们定义了一个家庭的标记的过渡系统，这种演算，它允许正式推理不同的监测策略在不同层次的抽象。我们还说明了表现力的演算，通过展示合同在一个简单的合同语言可以合成到不同的mDPi监视器。
英文摘要：
The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance. We present mDPi, a location-aware process calculus, for reasoning about monitoring of distributed systems. We define a family of Labelled Transition Systems for this calculus, which allow formal reasoning about different monitoring strategies at different levels of abstractions. We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
