Butler, Michael and Ferreira, Carla,
An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions
De Nicola, Rocco, Ferrari, Gianluigi and Meredith, Greg (eds.)
At Coordination 2004.
This is the latest version of this item.
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. We have developed an operational semantics for the language which is presented in this paper.
Conference or Workshop Item
||Event Dates: February 2004
|Venue - Dates:
||Coordination 2004, 2004-02-01
||Electronic & Software Systems
||03 Aug 2004
||17 Apr 2017 22:25
|Further Information:||Google Scholar|
Available Versions of this Item
An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions (deposited 03 Aug 2004)
Actions (login required)