Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/49144
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Francalanza, Adrian | - |
dc.contributor.author | Gauci, Andrew | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.date.accessioned | 2019-11-29T14:31:20Z | - |
dc.date.available | 2019-11-29T14:31:20Z | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | Francalanza, A., Gauci, A., & Pace, G. J. (2013). Distributed system contract monitoring. The Journal of Logic and Algebraic Programming, 82(5-7), 186-215. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/49144 | - |
dc.description.abstract | Runtime verification of distributed systems poses various challenges. A pivotal challenge is the choice of how to distribute the monitors themselves across the system. On one hand, centralised monitoring may 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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Elsevier Inc. | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Autonomous distributed systems | en_GB |
dc.subject | Calculus -- Computer programs | en_GB |
dc.title | Distributed system contract monitoring | en_GB |
dc.type | article | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1016/j.jlap.2013.04.001 | - |
dc.publication.title | The Journal of Logic and Algebraic Programming | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Distributed_system_contract_monitoring.pdf | 3.51 MB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.