An AsmL executable model for WS-BPEL with orthogonal transactional behavior

Abstract

The current WS-BPEL specification is based on a textual description of the semantics of its constructs. This can raise some misunderstandings and difficults the development of tools for analysis and verification of WS-BPEL processes. To alleviate this lack, several groups have proposed formal models for WS-BPEL. Such models comprise more or less the full semantics in a tightly-coupled approach. We consider that WS-BPEL needs a more flexible fault handling model. This paper presents an executable model based on AsmL which allows to seamlessly add/modify behavior to implement new transaction models. © Springer-Verlag Berlin Heidelberg 2006.