Logo eprints

Advanced mechanisms for service combination and transactions

Ferreira, Carla and Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo and Zavattaro, Gianluigi Advanced mechanisms for service combination and transactions. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 302-325. ISBN 978-3-642-20400-5 (2011)

Download (335kB) | Preview


Languages and models for service-oriented applications usually include primitives and constructs for exception and compensation handling. Exception handling is used to react to unexpected events while compensation handling is used to undo previously completed activities. In this chapter we investigate the impact of exception and compensation handling in message-based process calculi and the related theories developed within Sensoria.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-20401-2_14
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Hugo Vieria
Date Deposited: 09 Oct 2014 12:31
Last Modified: 08 Apr 2015 10:37
URI: http://eprints.imtlucca.it/id/eprint/2313

Actions (login required)

Edit Item Edit Item