An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions


Butler, Michael and Ferreira, Carla, (2004) 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.

Download

[img] PDF paper_semantics.pdf - Other
Download (221kB)

Description/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. We have developed an operational semantics for the language which is presented in this paper.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: February 2004
Venue - Dates: Coordination 2004, 2004-02-01
Organisations: Electronic & Software Systems
ePrint ID: 259626
Date :
Date Event
2004Published
Date Deposited: 03 Aug 2004
Last Modified: 17 Apr 2017 22:25
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/259626

Available Versions of this Item

  • An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions (deposited 03 Aug 2004) [Currently Displayed]

Actions (login required)

View Item View Item