An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of the language is its support for compensation. A compensation is an action taken to recover from error or cope with a change of plan, especially when rollback of a process is not possible. StAC is similar to a process algebraic language such as Hoare’s CSP or Milner’s CCS but has additional operators dealing with compensation and with exception handling. In this paper we present an operational semantics for the language.
KeywordsBusiness Process Boolean Function Parallel Process Operational Semantic Business Process Execution Language
Unable to display preview. Download preview PDF.
- 4.Chessell, M., Vines, D., Griffin, C.: An introduction to compensation with business process beans. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories (August 2001)Google Scholar
- 6.Chessell, M., Vines, D., Griffin, C., Green, V., Warr, K.: Business process beans: System design and architecture document. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories (January 2001)Google Scholar
- 7.Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business process execution language for web services, version 1.1, http://www-106.ibm.com/developerworks/library/ws-bpel/ (2003)
- 9.Ferreira, C.: Precise Modelling of Business Processes with Compensation. PhD thesis, University of Southampton (2002)Google Scholar
- 14.Korth, H., Levy, E., Silberschatz, A.: A formal approach to recovery by compensating transactions. In: 16th VLDB Conference, Brisbane, Australia (1990)Google Scholar
- 15.Metha, B., Levy, M., Meredith, G., Andrews, T., Beckman, B., Klein, J., Mital, A.: BizTalk Server 2000 Business Process Orchestration. IEEE Data Engineering Bulletin 24(1), 35–39 (2001)Google Scholar
- 17.Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1–40, 41–77 (1992)Google Scholar
- 18.Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department (September 1981)Google Scholar
- 20.Wachter, H., Reuter, A.: The ConTract model. In: Elmagarmid, A. (ed.) Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, San Francisco (1992)Google Scholar