eprintid: 2313
rev_number: 9
eprint_status: archive
userid: 59
dir: disk0/00/00/23/13
datestamp: 2014-10-09 12:31:27
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 12:31:27
type: book_section
metadata_visibility: show
creators_name: Ferreira, Carla
creators_name: Lanese, Ivan
creators_name: Ravara, Antonio
creators_name: Torres Vieira, Hugo 
creators_name: Zavattaro, Gianluigi
creators_id: 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
creators_id: 
title: Advanced mechanisms for service combination and transactions
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
abstract: 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.
date: 2011
series: Lecture Notes in Computer Science
number: 6582
publisher: Springer
pagerange: 302-325
id_number: 10.1007/978-3-642-20401-2_14
refereed: TRUE
isbn: 978-3-642-20400-5
book_title: Rigorous Software Engineering for Service-Oriented Systems
official_url: http://dx.doi.org/10.1007/978-3-642-20401-2_14
citation:   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)  
document_url: http://eprints.imtlucca.it/2313/1/TorresVieira_LNCS_6582b.pdf