A Semantics-Based Protocol for Business Process Transactions
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.
KeywordsBusiness Process Operational Semantic Static Semantic Transaction Management Abstract State Machine
Unable to display preview. Download preview PDF.
- 2.Arjuna, BEA, Hitachi, IBM, IONA, and Microsoft: Web Services Atomic Transaction (WS-AtomicTransaction) specification(2005), ftp://www6.software.ibm.com/software/developer/library/WS-AtomicTransaction.pdf
- 3.Arjuna, BEA, Hitachi, IBM, IONA, and Microsoft: Web Services Business Activity Framework (WS-BusinessActivity) specification (2005), ftp://www6.software.ibm.com/software/developer/library/WS-BusinessActivity.pdf
- 4.Arjuna, Fujitsu, IONA, Oracle, and Sun Microsystems: Web Services Transaction Management (WS-TXM) specification (2003), http://developers.sun.com/techtopics/webservices/wscaf/wstxm.pdf
- 6.Dalal, S., Little, M., Potts, M., Temel, S., Webber, J.: Coordinating Business Transactions on the Web. IEEE Internet Computing Special Edition on Web Services, 30–39 (2003)Google Scholar
- 7.ESSI WSMO Working group: Web Service Modeling Ontology (WSMO) specification (2005), http://www.wsmo.org/TR/d2/v1.2/
- 8.OASIS: Business Transaction Protocol (2004), http://xml.coverpages.org/BTPv11-200411.pdf
- 9.Prinz, A., Thalheim, B.: Operational Semantics of Transactions. In: Proceedings of the Fourteenth Australasian database conference on Database technologies, vol. 17, pp. 169–179 (2003)Google Scholar
- 10.W3C: OWL Web Ontology Language Overview (2004), http://www.w3.org/TR/owlfeatures/