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

Authors:
Luciano García-Bañuelos
Affiliations:
Universidad Autónoma de Tlaxcala, Apizaco, Tlaxcala, Mexico
Venue:
BPM'06 Proceedings of the 4th international conference on Business Process Management
Year:
2006

Citing 5
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Ensuring relaxed atomicity for flexible transactions in multidatabase systems

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Evolving algebras 1993: Lipari guide

Specification and validation methods
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects

Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web

Quantified Score

Hi-index	0.00

Visualization

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.