TY - GEN
T1 - UTP semantics for web services
AU - Jifeng, He
PY - 2007
Y1 - 2007
N2 - Web services are increasingly being applied in solving many universal interoperability problems. Business Process Execution Language (BPEL) is a de facto standard for specifying the behaviour of business process. It contains several interesting features, including scope-based compensation, fault handling and shared label synchronisation. This paper presents a design-based formalism for specifying the behaviour of Web services, and provides new healthiness conditions to capture these new programming features. The new models for handling fault and compensation are built as conservative extension of the standard relational model in the sense that the algebraic laws presented in [14] remain valid. The paper also discusses the links between the new model with the design model, and shows that programs can be transformed to the normal forms within the algebraic framework.
AB - Web services are increasingly being applied in solving many universal interoperability problems. Business Process Execution Language (BPEL) is a de facto standard for specifying the behaviour of business process. It contains several interesting features, including scope-based compensation, fault handling and shared label synchronisation. This paper presents a design-based formalism for specifying the behaviour of Web services, and provides new healthiness conditions to capture these new programming features. The new models for handling fault and compensation are built as conservative extension of the standard relational model in the sense that the algebraic laws presented in [14] remain valid. The paper also discusses the links between the new model with the design model, and shows that programs can be transformed to the normal forms within the algebraic framework.
UR - https://www.scopus.com/pages/publications/38149068959
U2 - 10.1007/978-3-540-73210-5_19
DO - 10.1007/978-3-540-73210-5_19
M3 - 会议稿件
AN - SCOPUS:38149068959
SN - 3540732098
SN - 9783540732099
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 353
EP - 372
BT - Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings
PB - Springer Verlag
T2 - 6th International Conference on Integrated Formal Methods, IFM 2007
Y2 - 2 July 2007 through 5 July 2007
ER -