Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed programming in Argus
Communications of the ACM
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Camelot and Avalon: a distributed transaction facility
Camelot and Avalon: a distributed transaction facility
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Using coordinated atomic actions to design safety-critical systems: a production cell case study
Software—Practice & Experience
An Overview of the Arjuna Distributed Programming System
IEEE Software
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
Inside risks: Risks of anonymity
Communications of the ACM
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Dependable Multiparty Interactions: A Case Study
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Exception handling and resolution in distributed object-oriented systems
ICDCS '96 Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
A multiparty coordination aspect language
ACM SIGPLAN Notices
Multi-Party Coordination in the Context of MOWS
Programming and Computing Software
Designing Fault-Tolerant Mobile Systems
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Systems of systems and coordinated atomic actions
ACM SIGSOFT Software Engineering Notes
An agent model for fault-tolerant systems
Proceedings of the 2005 ACM symposium on Applied computing
Journal of Systems and Software
Improving reliability of cooperative concurrent systems with exception flow analysis
Journal of Systems and Software
Dependability in the web services architecture
Architecting dependable systems
Atomic boxes: coordinated exception handling with transactional memory
Proceedings of the 25th European conference on Object-oriented programming
Ambient-Oriented exception handling
Advanced Topics in Exception Handling Techniques
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Hi-index | 0.00 |
In programming distributed object-oriented systems, there are several approaches for achieving binary interactions in a multiprocess environment. Usually these approaches take care only of synchronisation or communication. In this paper we describe a way of designing and implementing a more general concept: multiparty interactions. In a multiparty interaction, several parties (objects or processes) somehow “come together” to produce an intermediate and temporary combined state, use this state to execute some activity, and then leave this interaction and continue their normal execution. The concept of multiparty interactions has been investigated by several researchers, but to the best of our knowledge none have considered how failures in one or more participants of the multiparty interaction can be dealt with. In this paper, we propose a general scheme for constructing dependable multiparty interactions in a distributed object-oriented system, and describe its implementation in Java. In particular, we extend the notion of multiparty interaction to include facilities for handling exceptions. To show how our scheme can be used, we use our framework to build an abstraction mechanism that supports cooperative and competitive concurrency in distributed systems. This mechanism is then applied to program a system in which multiparty interactions are more than simple synchronisations or communications.