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.

[1]  Henk Eertink,et al.  A Business Process Design Language , 1999, World Congress on Formal Methods.

[2]  Michael J. Butler.  csp2B: A Practical Approach to Combining CSP and B , 1999, World Congress on Formal Methods.

[3]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[4]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[5]  S. Anderson,et al.  Secure Synthesis of Code: A Process Improvement Experiment , 1999, World Congress on Formal Methods.

[6]  Kevin Lano.  The B language and method - a guide to practical formal development , 1996, FACIT: Formal approaches to computing and information technology.

[7]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.