@inproceedings{70777ce48ed9405abd50743e7e695a7e,
title = "Patterns with algebraic properties in BPEL0",
abstract = "In the paper [22], we proposed a language called BPEL0 with its formal semantics as the foundations of WS-BPEL [26]. In this paper, we follow the way Van der Aalst proposed on pattern analysis in workflow languages [2], 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 = "Algebraic law, WSBPEL, Web service, Workflow pattern",
author = "Geguang Pu and Huibiao Zhu and Jifeng He and Zongyan Qiu and Hongli Yang and Xiangpeng Zhao",
year = "2006",
doi = "10.1109/ISoLA.2006.57",
language = "英语",
isbn = "0769530710",
series = "Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation",
publisher = "IEEE Computer Society",
pages = "363--370",
booktitle = "Proceedings - ISoLA 2006",
address = "美国",
note = "2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 ; Conference date: 15-11-2006 Through 19-11-2006",
}