Abstract
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.
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
Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Bocchi, L., Laneve, C., Zavattaro, G.: A calulus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124–138. Springer, Heidelberg (2003)
Butler, M., Ferreira, C.: A process compensation language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 61–76. Springer, Heidelberg (2000)
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)
Chessell, M., Vines, D., Griffin, C., Butler, M., Ferreira, C., Henderson, P.: Extending the concept of transaction compensation. IBM Systems Journal 41(4), 743–758 (2002)
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)
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)
Dijkstra, E.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
Ferreira, C.: Precise Modelling of Business Processes with Compensation. PhD thesis, University of Southampton (2002)
Ferreira, C., Butler, M.: Using B Refinement to Analyse Compensating Business Processes. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 477–496. Springer, Heidelberg (2003)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Francisco (1993)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Jones, C.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1986)
Korth, H., Levy, E., Silberschatz, A.: A formal approach to recovery by compensating transactions. In: 16th VLDB Conference, Brisbane, Australia (1990)
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)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1–40, 41–77 (1992)
Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department (September 1981)
Spivey, J.: The Z Notation. Prentice Hall, New York (1989)
Wachter, H., Reuter, A.: The ConTract model. In: Elmagarmid, A. (ed.) Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, San Francisco (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Butler, M., Ferreira, C. (2004). An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. In: De Nicola, R., Ferrari, GL., Meredith, G. (eds) Coordination Models and Languages. COORDINATION 2004. Lecture Notes in Computer Science, vol 2949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24634-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-24634-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21044-3
Online ISBN: 978-3-540-24634-3
eBook Packages: Springer Book Archive