DocumentCode
160444
Title
Towards the formal foundation of orchestration process
Author
Chang Yang ; Farong Zhong
Author_Institution
Jiaxing Univ., Jiaxing, China
fYear
2014
fDate
11-13 July 2014
Firstpage
1
Lastpage
6
Abstract
With the growth of interest on the web services, people pay increasingly attention to the orchestration, that is, to describe interaction of participants in accomplishing a common business goal from a local viewpoint. In this paper, based on the classical process calculus and orchestration language, we study some essential facets of related to BPEL process, especially those related to the control-flow, including syntax and semantics, etc. The study reveals some clues about the language, the behavioral compatibility and state explosion of orchestration.
Keywords
Web Services Business Process Execution Language; Web services; pi calculus; BPEL process; Web services; orchestration language; orchestration process; process calculus; Abstracts; Algebra; Context; Semantics; Standards; Synchronization; Web services; BPEL; Orchestration; Web services; process calculus; semantic; syntax;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing, Communication and Networking Technologies (ICCCNT), 2014 International Conference on
Conference_Location
Hefei
Print_ISBN
978-1-4799-2695-4
Type
conf
DOI
10.1109/ICCCNT.2014.6963081
Filename
6963081
Link To Document