Towards a Formal Foundation to Orchestration Languages | Zendy

Mirko Viroli | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Towards a Formal Foundation to Orchestration Languages

Author(s) -

Mirko Viroli

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.05.008

Subject(s) - computer science , business process execution language , programming language , orchestration , process calculus , operational semantics , semantics (computer science) , syntax , business process , web service , software engineering , service oriented architecture , work in process , artificial intelligence , art , musical , marketing , business , visual arts

We introduce a formal framework for studying the semantics of orchestration languages for Web Services. Taking BPEL4WS language as reference case study, we define syntax and semantics of 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research