We introduce a formal framework for studying the operational semantics of orchestration languages for Web Services. Taking BPEL4WS language as reference case study, we define a core language to derive the interactive behaviour of a business process out from a BPEL4WS specification. This is realised by developing a process algebra which, other than usual operators for choice, sequential and parallel composition, features constructs of imperative programming languages, such as iterative cycles and variable assignment. These are meant to focus on the very notion of correlation, which is exploited by BPEL4WS to define a business process as the concurrent behaviour of several process instances.
Towards a Formal Foundational to Orchestration Languages / Mirko Viroli. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 105:(2004), pp. 51-71. [10.1016/j.entcs.2004.05.008]
Towards a Formal Foundational to Orchestration Languages
VIROLI, MIRKO
2004
Abstract
We introduce a formal framework for studying the operational semantics of orchestration languages for Web Services. Taking BPEL4WS language as reference case study, we define a core language to derive the interactive behaviour of a business process out from a BPEL4WS specification. This is realised by developing a process algebra which, other than usual operators for choice, sequential and parallel composition, features constructs of imperative programming languages, such as iterative cycles and variable assignment. These are meant to focus on the very notion of correlation, which is exploited by BPEL4WS to define a business process as the concurrent behaviour of several process instances.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.