Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23061
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cassar, Ian | - |
dc.contributor.author | Francalanza, Adrian | - |
dc.contributor.author | Mezzina, Claudio Antares | - |
dc.contributor.author | Tuosto, Emilio | - |
dc.date.accessioned | 2017-10-27T12:57:10Z | - |
dc.date.available | 2017-10-27T12:57:10Z | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | Cassar, I., Francalanza, A., Mezzina, C. A., & Tuosto, E. (2017). Reliability and fault-tolerance by choreographic design. Second International Workshop on Pre- and Post-Deployment Verification Techniques, Torino. 69-80. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/23061 | - |
dc.description.abstract | Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed software based on (micro-)services where different services are developed independently by disparate teams exacerbate the problem. In fact, services are meant to be composed together and run in open context where unpredictable behaviours can emerge. This makes it necessary to adopt suitable strategies for monitoring the execution and incorporate recovery and adaptation mechanisms so to make distributed programs more flexible and robust. The typical approach that is currently adopted is to embed such mechanisms in the program logic, which makes it hard to extract, compare and debug. We propose an approach that employs formal abstractions for specifying failure recovery and adaptation strategies. Although implementation agnostic, these abstractions would be amenable to algorithmic synthesis of code, monitoring and tests. We consider message-passing programs (a la Erlang, Go, or MPI) that are gaining momentum both in academia and industry. Our research agenda consists of (1) the definition of formal behavioural models encompassing failures, (2) the specification of the relevant properties of adaptation and recovery strategy, (3) the automatic generation of monitoring, recovery, and adaptation logic in target languages of interest. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | EPTCS | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computer systems -- Verification | en_GB |
dc.subject | Programming languages (Electronic computers) | en_GB |
dc.subject | Computer algorithms | en_GB |
dc.title | Reliability and fault-tolerance by choreographic design | en_GB |
dc.type | conferenceObject | 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.bibliographicCitation.conferencename | Second International Workshop on Pre- and Post-Deployment Verification Techniques | en_GB |
dc.bibliographicCitation.conferenceplace | Torino, Italy, 19/09/2017 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.4204/EPTCS.254.6 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
paper (1).pdf | 264.86 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.