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.
C. Ferreira, I. Lanese, A. Ravara, H. T. Vieira, G. Zavattaro (2011). Advanced Mechanisms for Service Combination and Transactions. BERLIN : Springer [10.1007/978-3-642-20401-2_14].
Advanced Mechanisms for Service Combination and Transactions
LANESE, IVAN;ZAVATTARO, GIANLUIGI
2011
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
