Communicating sequential processes
Communicating sequential processes
Communication and concurrency
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Enterprise JavaBeans
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Business Process Design Language
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Process Calculus Analysis of Compensations
Trustworthy Global Computing
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A probabilistic BPEL-like language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
Towards the semantics for web service choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Executable semantics for compensating CSP
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A new strategy for distributed compensations with interruption in long-running transactions
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Analysis of service oriented software systems with the conversation calculus
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Model checking inconsistency recovery costs
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
First-Order dynamic logic for compensable processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
The rely/guarantee approach to verifying concurrent BPEL programs
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
| Hi-index | 0.01 |
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.