Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/2337
Title: | Monitoring distributed systems with distributed polyLarva |
Authors: | Cassar, Ian Francalanza, Adrian Colombo, Christian |
Keywords: | Computer software -- Verification |
Issue Date: | 2014 |
Publisher: | Malta Chamber of Scientists |
Citation: | Xjenza. 2014, Vol.2(2), p. 29-37 |
Abstract: | polyLarva is a language-agnostic runtime verification tool, which converts a polyLarvaScript into a monitor for a given system. While an implementation for polyLarva exists, the language and its compilation have not been formalised. We therefore present a formal implementation-independent model which describes the behaviour of polyLarvaScript, comprising of the uLarvaScript grammar and of a set of operational semantics. This allows us to prove important properties, such as determinism, and also enables us to reason about ways of re-designing the tool in a more scalable way. We also present a collection of denotational mappings for uLarvaScript converting the constructs of our grammar into constructs of a formal actor-based model, thus providing an Actor semantics for uLarvaScript. We are also able to prove certain correctness properties of the denotational translation such as that the denoted Actors behave in a way which corresponds to the behaviour described by our implementation-independent model. We finally present distPolyLarva, a prototype implementation of the distributed polyLarva tool, which implements the new actor-based semantics over a language that can natively handle distribution and concurrency called Erlang. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/2337 |
Appears in Collections: | Scholarly Works - FacICTCS Xjenza, 2014, Volume 2, Issue 2 Xjenza, 2014, Volume 2, Issue 2 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Monitoring Distributed Systems with Distributed PolyLarva.pdf | 860.36 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.