Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Coordinating Business Transactions on the Web
IEEE Internet Computing
Operational semantics of transactions
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Hi-index | 0.00 |
A Business Process Management System (BPMS) requires transaction management to guarantee reliability of the business process transactions Several transaction protocols have been suggested for the transaction management, but they are heterogeneous This heterogeneity interrupts message exchanges among BPMSs which use different transaction protocols, so that the interoperability among the BPMSs cannot be guaranteed To solve this problem, this paper suggests a semantics-based protocol for business process transactions The suggested protocol is composed of the static semantics and the operational semantics In the context of the static semantics, transaction states and messages are defined using the Web Ontology Language (OWL) In the context of the operational semantics, state transitions of business process transactions are defined using the Abstract State Machine (ASM) The suggested approach is expected to enhance interoperability among heterogeneous BPMSs, to increase the understandability for the transaction protocols, and to support automatic transaction execution and systematic transaction monitoring.