@inproceedings{cf7719a737f14a5da90510fb188e0419,
title = "An operational approach to BPEL-like programming",
abstract = "Web services have become more and more important during these years and BPEL4WS (BPEL) is to be a standard for the web services composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. In this paper, we formalize an operational semantics for BPEL, which provides the precise understanding of the language. In order to explore program equivalence, bisimulation is introduced for BPEL programs in the form of two-layer structure. A set of algebraic laws is studied, which includes several BPEL featured laws. These algebraic laws are verified via the two-layer bisimulation. This reflects that our bisimulation is a practical approach to explore program equivalence for web services.",
keywords = "Algebraic semantics, BPEL, Bisimulation, Compensation, Fault handling, Operational semantics, Web services",
author = "Huibiao Zhu and Jifeng He and Geguang Pu and Jing Li",
year = "2007",
doi = "10.1109/SEW.2007.56",
language = "英语",
isbn = "0769528627",
series = "Proceedings - International Conference on Software Engineering",
pages = "236--245",
booktitle = "31st Annual IEEE Software Engineering Workshop, SEW-31 2007 - Proceedings",
note = "31st Annual IEEE Software Engineering Workshop, SEW-31 2007 ; Conference date: 06-03-2007 Through 08-03-2007",
}