Title :
Patterns with Algebraic Properties in BPEL0
Author :
Pu, Geguang ; Zhu, Huibiao ; He, Jifeng ; Zongyan Qiu ; Hongli Yang ; Zhao, Xiangpeng
Author_Institution :
East China Normal Univ., Shanghai
Abstract :
In the paper, we proposed a language called BPEL0 with its formal semantics as the foundations of WSBPEL. In this paper, we follow the way Van der Aalst proposed on pattern analysis in workflow languages (2003), and present the patterns for BPEL0. Moreover, the expressiveness of BPEL0 is also embodied by means of putting these patterns in the program environment composed of other programming operators. Those properties about the patterns with its environment are captured by the algebraic laws, which can be proven in the framework of BPEL0 semantic domain.
Keywords :
programming environments; specification languages; workflow management software; BPEL0 language; WSBPEL; algebraic properties; formal semantics; program environment; programming operator; workflow language; Application software; Business; Communication system control; Informatics; Object oriented modeling; Pattern analysis; Programming environments; Reliability theory; Software engineering; Web services;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.57
