An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions
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. We have developed an operational semantics for the language which is presented in this paper.
3-540-21044-X
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Ferreira, Carla
d9349b51-8ea9-491f-b31c-e54df2cdb38f
De Nicola, Rocco
96e71c03-6fed-4bc8-9f47-94f293b52d71
Ferrari, Gianluigi
eb3a258e-44d9-4235-9747-6ab9d792a766
Meredith, Greg
7dce2c3d-f610-45b6-aa8c-aa314c7642d5
2004
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Ferreira, Carla
d9349b51-8ea9-491f-b31c-e54df2cdb38f
De Nicola, Rocco
96e71c03-6fed-4bc8-9f47-94f293b52d71
Ferrari, Gianluigi
eb3a258e-44d9-4235-9747-6ab9d792a766
Meredith, Greg
7dce2c3d-f610-45b6-aa8c-aa314c7642d5
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.)
Coordination 2004, Pisa.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
paper_semantics.pdf
- Other
More information
Published date: 2004
Additional Information:
Event Dates: February 2004
Venue - Dates:
Coordination 2004, Pisa, 2004-02-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 259626
URI: http://eprints.soton.ac.uk/id/eprint/259626
ISBN: 3-540-21044-X
PURE UUID: 39ae2188-b9a5-47cd-b11a-c363be158619
Catalogue record
Date deposited: 03 Aug 2004
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Author:
Carla Ferreira
Editor:
Rocco De Nicola
Editor:
Gianluigi Ferrari
Editor:
Greg Meredith
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics