Distributed system contract monitoring

Citations of this article
Mendeley users who have this article in their library.


Runtime verification of distributed systems poses various challenges. A pivotal challenge is the choice of howto distribute the monitors themselves across the system. On one hand, centralised monitoringmay result in increased communication overhead and information exposure across locations, while, on the other hand, systems with dynamic topologies and properties are difficult to address using static monitor choreographies. In this paper we present mDPi, a location-aware ? -calculus extension for reasoning about the distributed monitoring scenario.We also define numerous monitoring strategies for a regular expression-based logic, including a novel approach in which monitors migrate to ensure local monitoring. Finally, we present a number of results which emerge from this formalism, justifying our approach. © 2013 Elsevier Inc. All rights reserved.




Francalanza, A., Gauci, A., & Pace, G. J. (2013). Distributed system contract monitoring. Journal of Logic and Algebraic Programming, 82(5–7), 186–215. https://doi.org/10.1016/j.jlap.2013.04.001

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free