Patterns with algebraic properties in BPEL0

Geguang Pu; Huibiao Zhu; Jifeng He; Zongyan Qiu; Hongli Yang; Xiangpeng Zhao

doi:10.1109/ISoLA.2006.57

Patterns with algebraic properties in BPEL0

Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

Software Engineering Institute

Peking University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

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.

Original language	English
Title of host publication	Proceedings - ISoLA 2006
Subtitle of host publication	2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Publisher	IEEE Computer Society
Pages	363-370
Number of pages	8
ISBN (Print)	0769530710, 9780769530710
DOIs	https://doi.org/10.1109/ISoLA.2006.57
State	Published - 2006
Event	2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 - Paphos, Cyprus Duration: 15 Nov 2006 → 19 Nov 2006

Publication series

Name	Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Conference

Conference	2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
Country/Territory	Cyprus
City	Paphos
Period	15/11/06 → 19/11/06

Keywords

Algebraic law
WSBPEL
Web service
Workflow pattern

Access to Document

10.1109/ISoLA.2006.57

Cite this

Pu, G., Zhu, H., He, J., Qiu, Z., Yang, H., & Zhao, X. (2006). Patterns with algebraic properties in BPEL0. In Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (pp. 363-370). Article 4463737 (Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation). IEEE Computer Society. https://doi.org/10.1109/ISoLA.2006.57

Pu, Geguang ; Zhu, Huibiao ; He, Jifeng et al. / Patterns with algebraic properties in BPEL0. Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. IEEE Computer Society, 2006. pp. 363-370 (Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation).

@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",

}

Pu, G , Zhu, H , He, J, Qiu, Z, Yang, H & Zhao, X 2006, Patterns with algebraic properties in BPEL0. in Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation., 4463737, Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, IEEE Computer Society, pp. 363-370, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006, Paphos, Cyprus, 15/11/06. https://doi.org/10.1109/ISoLA.2006.57

Patterns with algebraic properties in BPEL0. / Pu, Geguang ; Zhu, Huibiao ; He, Jifeng et al.
Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. IEEE Computer Society, 2006. p. 363-370 4463737 (Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Patterns with algebraic properties in BPEL0

AU - Pu, Geguang

AU - Zhu, Huibiao

AU - He, Jifeng

AU - Qiu, Zongyan

AU - Yang, Hongli

AU - Zhao, Xiangpeng

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - Algebraic law

KW - WSBPEL

KW - Web service

KW - Workflow pattern

UR - https://www.scopus.com/pages/publications/77956442506

U2 - 10.1109/ISoLA.2006.57

DO - 10.1109/ISoLA.2006.57

M3 - 会议稿件

AN - SCOPUS:77956442506

SN - 0769530710

SN - 9780769530710

T3 - Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

SP - 363

EP - 370

BT - Proceedings - ISoLA 2006

PB - IEEE Computer Society

T2 - 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006

Y2 - 15 November 2006 through 19 November 2006

ER -

Pu G , Zhu H , He J, Qiu Z, Yang H, Zhao X. Patterns with algebraic properties in BPEL0. In Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. IEEE Computer Society. 2006. p. 363-370. 4463737. (Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation). doi: 10.1109/ISoLA.2006.57

Patterns with algebraic properties in BPEL0

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this