Recently the term orchestration has been introduced to address composition and coordination of web services. Several languages used to describe business processes using this approach have been presented, and most of them use the concepts of long-running transactions and compensations to cope with error handling. WS-BPEL, which is currently the most used orchestration language, also provides a Recovery Framework. However its complexity hinders rigorous treatment. In this paper, we address the notion of orchestration from a formal point of view with particular attention to transactions and compensations. In particular, we introduce Webpi-infinity , an untimed version of Webpi, and the related theory, as a foundational unifying framework for orchestration able to meet composition requirements and to encode the whole BPEL itself.
Towards a Unifying Theory for Web Services Composition / MAZZARA M.; LANESE I.. - STAMPA. - 4184:(2006), pp. 257-272. (Intervento presentato al convegno 3rd International Workshop on Web Services and Formal Methods tenutosi a Vienna, Austria nel 8-9/9/2006) [10.1007/11841197_17].
Towards a Unifying Theory for Web Services Composition
MAZZARA, MANUEL;LANESE, IVAN
2006
Abstract
Recently the term orchestration has been introduced to address composition and coordination of web services. Several languages used to describe business processes using this approach have been presented, and most of them use the concepts of long-running transactions and compensations to cope with error handling. WS-BPEL, which is currently the most used orchestration language, also provides a Recovery Framework. However its complexity hinders rigorous treatment. In this paper, we address the notion of orchestration from a formal point of view with particular attention to transactions and compensations. In particular, we introduce Webpi-infinity , an untimed version of Webpi, and the related theory, as a foundational unifying framework for orchestration able to meet composition requirements and to encode the whole BPEL itself.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
