DocumentCode
3144638
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
fYear
2006
fDate
15-19 Nov. 2006
Firstpage
363
Lastpage
370
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISoLA.2006.57
Filename
4463737
Link To Document