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. © Springer-Verlag Berlin Heidelberg 2000.
CITATION STYLE
Butler, M., & Ferreira, C. (2000). A process compensation language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1945 LNCS, pp. 61–76). Springer Verlag. https://doi.org/10.1007/3-540-40911-4_5
Mendeley helps you to discover research relevant for your work.