Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adams, N., Fraser, J., Macintosh, A., McKay-Hubbard, A.: Towards an Ontology for Electronic Transaction Services. Int. J. Intell. Sys. Acc. Fin.Mgmt. 11, 173–181 (2002)
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
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
Arjuna, Fujitsu, IONA, Oracle, and Sun Microsystems: Web Services Transaction Management (WS-TXM) specification (2003), http://developers.sun.com/techtopics/webservices/wscaf/wstxm.pdf
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, USA (2003)
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)
ESSI WSMO Working group: Web Service Modeling Ontology (WSMO) specification (2005), http://www.wsmo.org/TR/d2/v1.2/
OASIS: Business Transaction Protocol (2004), http://xml.coverpages.org/BTPv11-200411.pdf
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)
W3C: OWL Web Ontology Language Overview (2004), http://www.w3.org/TR/owlfeatures/
Chrysanthis, P.K., Ramamritham, K.: Synthesis of Extended Transaction Models Using ACTA. ACM Transactions on Database Systems 19(3), 450–491 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kang, D., Lee, S., Kim, K., Lee, J.Y. (2006). A Semantics-Based Protocol for Business Process Transactions. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds) The Semantic Web – ASWC 2006. ASWC 2006. Lecture Notes in Computer Science, vol 4185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11836025_35
Download citation
DOI: https://doi.org/10.1007/11836025_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38329-1
Online ISBN: 978-3-540-38331-4
eBook Packages: Computer ScienceComputer Science (R0)