A Semantics-Based Protocol for Business Process Transactions

  • Dongwoo Kang
  • Sunjae Lee
  • Kwangsoo Kim
  • Jae Yeol Lee
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4185)


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.


Business Process Operational Semantic Static Semantic Transaction Management Abstract State Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Arjuna, BEA, Hitachi, IBM, IONA, and Microsoft: Web Services Atomic Transaction (WS-AtomicTransaction) specification(2005),
  3. 3.
    Arjuna, BEA, Hitachi, IBM, IONA, and Microsoft: Web Services Business Activity Framework (WS-BusinessActivity) specification (2005),
  4. 4.
    Arjuna, Fujitsu, IONA, Oracle, and Sun Microsystems: Web Services Transaction Management (WS-TXM) specification (2003),
  5. 5.
    Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, USA (2003)MATHGoogle Scholar
  6. 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. 7.
    ESSI WSMO Working group: Web Service Modeling Ontology (WSMO) specification (2005),
  8. 8.
    OASIS: Business Transaction Protocol (2004),
  9. 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. 10.
    W3C: OWL Web Ontology Language Overview (2004),
  11. 11.
    Chrysanthis, P.K., Ramamritham, K.: Synthesis of Extended Transaction Models Using ACTA. ACM Transactions on Database Systems 19(3), 450–491 (1994)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dongwoo Kang
    • 1
  • Sunjae Lee
    • 1
  • Kwangsoo Kim
    • 1
  • Jae Yeol Lee
    • 2
  1. 1.Dept. of Industrial and Management EngineeringPohang University of Science and TechnologyPohang, GyungbukSouth Korea
  2. 2.Dept. of Industrial EngineeringChonnam National UniversityGwangjuSouth Korea

Personalised recommendations