Communicating sequential processes
Communicating sequential processes
Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
Using coordinated atomic actions to design safety-critical systems: a production cell case study
Software—Practice & Experience
Current Trends in Exception Handling
IEEE Transactions on Software Engineering
Concurrent Exception Handling and Resolution in Distributed Object Systems
IEEE Transactions on Parallel and Distributed Systems
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Exception handling: issues and a proposed notation
Communications of the ACM
ACM SIGOPS Operating Systems Review
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Advances in exception handling techniques
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Verification of coordinated exception handling
Proceedings of the 2006 ACM symposium on Applied computing
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Supporting exception handling for futures in Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Hi-index | 0.00 |
Cooperative distributed system covers a wide range of applications such as the systems for industrial controlling and business-to-business trading, which are usually safety-critical. Coordinated exception handling (CEH) refers to exception handling in the cooperative distributed systems, where exceptions raised on a peer should be dealt with by all relevant peers in a consistent manner. Some CEH algorithms have been proposed. A crucial problem in using these algorithms is how to develop the peers which are guaranteed coherent in both normal execution and exceptional execution. Straightforward testing or model checking is very expensive. In this paper, we propose an effective way to rigorously develop the systems with correct CEH behavior. Firstly, we formalize the CEH algorithm by proposing a Peer Process Language to precisely describe the distributed systems and their operational semantics. Then we dig out a set of syntactic conditions, and prove its sufficiency for system coherence. Finally, we propose a global-to-local approach, including a language describing the distributed systems from a global perspective and a projection algorithm, for developing the systems. Given a well-formed global description, a set of peers can be generated automatically. We prove the system composed of these peers satisfies the conditions, that is, it is always coherent and correct for CEH.