A Process Compensation Language

This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most significant is the concept of compensation that allows a previous action to be undone. The semantics of the language is given by an operational approach. The specification of a system is composed by a set of StAC processes that describe the behaviour of the system and a set of B operations that describe basic computations. Operational semantics is used to justified the integration of StAC processes with B operations.

• Type: Conference
• Year: 2000
• Where: IFM
• Authors: Michael J. Butler, Carla Ferreira
• Keywords: Component-based Enterprise System, Formal Language, Formal Methods, IFM 2000, StAC Processes