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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ISoLA.2006.57 | Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
Keywords | Field | DocType |
formal semantics,web service,pattern analysis | Functional logic programming,Fifth-generation programming language,Programming language,Programming language specification,Semantic domain,Computer science,Software design pattern,Theoretical computer science,Formal methods,Programming language theory,Semantics (computer science) | Conference |
Volume | Issue | ISSN |
null | null | null |
ISBN | Citations | PageRank |
978-0-7695-3071-0 | 1 | 0.42 |
References | Authors | |
15 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Geguang Pu | 1 | 602 | 57.89 |
Huibiao Zhu | 2 | 583 | 86.68 |
He Jifeng | 3 | 1771 | 190.43 |
Zongyan Qiu | 4 | 436 | 41.04 |
Hongli Yang | 5 | 191 | 14.80 |
Xiangpeng Zhao | 6 | 353 | 20.67 |