relation: http://eprints.imtlucca.it/2313/
title: Advanced mechanisms for service combination and transactions
creator: Ferreira, Carla
creator: Lanese, Ivan
creator: Ravara, Antonio
creator: Torres Vieira, Hugo 
creator: Zavattaro, Gianluigi
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2011
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/2313/1/TorresVieira_LNCS_6582b.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-20401-2_14
relation: 10.1007/978-3-642-20401-2_14