Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/24034
Full metadata record
DC FieldValueLanguage
dc.date.accessioned2017-11-21T09:31:02Z
dc.date.available2017-11-21T09:31:02Z
dc.date.issued2014
dc.identifier.citationColombo, C., & Pace, G. J. (2014). Comprehensive monitor-oriented compensation programming. In B. Buhnova, L. Happe, J. Kofron (Eds.), Formal Engineering Approaches to Software Components and Architectures (pp. 47–61).en_GB
dc.identifier.urihttps://www.um.edu.mt/library/oar//handle/123456789/24034
dc.description.abstractCompensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activities such as financial transactions. While traditional exception handling depends on the state of the system at the moment of failure, compensation programming is significantly more challenging and dynamic because it is dependent on the runtime execution flow - with the history of behaviour of the system at the moment of failure affecting how to apply compensation. To address this dynamic element, we propose the use of runtime monitors to facilitate compensation programming, with monitors enabling the modeller to be able to implicitly reason in terms of the runtime control flow, thus separating the concerns of system building and compensation modelling. Our approach is instantiated into an architecture and shown to be applicable to a case study.en_GB
dc.language.isoenen_GB
dc.publisherCornell Universityen_GB
dc.rightsinfo:eu-repo/semantics/openAccessen_GB
dc.subjectComputer software -- Verificationen_GB
dc.subjectAspect-oriented programmingen_GB
dc.subjectComputer software -- Testingen_GB
dc.subjectComputer software -- Developmenten_GB
dc.subjectReal-time data processingen_GB
dc.titleComprehensive monitor-oriented compensation programmingen_GB
dc.title.alternativeFormal engineering approaches to software components and architecturesen_GB
dc.typeconferenceObjecten_GB
dc.rights.holderThe 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 holderen_GB
dc.bibliographicCitation.conferencename11th International Workshop on Formal Engineering Approaches to Software Components and Architecturesen_GB
dc.bibliographicCitation.conferenceplaceGrenoble, France, 12/04/2014en_GB
dc.description.reviewednon peer-revieweden_GB
dc.identifier.doi10.4204/EPTCS.147.4
dc.contributor.creatorColombo, Christian
dc.contributor.creatorPace, Gordon J.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Comprehensive_Monitor-Oriented_Compensation_Progra.pdf310.83 kBAdobe PDFView/Open


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.