Download:
|
by A. F. Zorzo, A. F. Zorzo
http://www.cs.ncl.ac.uk/research/trs/papers/667.ps
Add To MetaCart
Abstract:
The goal of this paper is twofold. Firstly, we present a way of extracting interactions between objects and enclosing them by using multiparty interactions. In a multiparty interaction, several executing threads 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. This kind of approach has been considered in several papers but all of them have failed to describe how failures in one or more participants of the multiparty interaction can be dealt with. In this paper, general object-oriented schemes for constructing dependable multiparty interactions (DMIs) in a distributed environment are presented. Secondly, we show how one of these schemes can be used to program a system in which multiparty interactions are more than simple synchronisations or communications. We have designed and implemented a controlling software for a fault-tolerant production cell model developed by Forschungszentrum Informatik, Karlsruhe, Germany.
Citations
|
120
|
An Overview of the ARJUNA Distributed Programming System
– Shrivastava, Dixon, et al.
- 1991
|
|
80
|
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
– Xu, Randell, et al.
- 1995
|
|
77
|
Error recovery in asynchronous systems
– Campbell, Randell
- 1986
|
|
59
|
Formal Development of Reactive Systems - Case Study Production Cell
– Lindner
- 1995
|
|
47
|
Superimposition for interacting processes
– Francez, Forman
- 1990
|
|
42
|
Zorzo, “Coordinated atomic actions: from concept to implementation,” Special Issue of
– Randell, Romanovsky, et al.
- 1997
|
|
35
|
Exception handling and resolution in distributed object-oriented systems
– Romanovsky, Xu, et al.
- 1996
|
|
24
|
A comprehensive study of the complexity of multiparty interaction
– Joung, Smolka
- 1996
|
|
24
|
DisCo specification language: marriage of actions and objects
– Jarvinen, Kurki-Suonio
- 1991
|
|
12
|
A distributed object-oriented framework for dependable multiparty interactions
– Zorzo, Stroud
- 1999
|
|
10
|
Task Description of a Fault-Tolerant Production Cell. Available via http://www.fzi.de/ divisions/prost/projects/korsys/korsys.html
– Lötzbeyer
- 1996
|
|
9
|
Multiparty Interactions for Interprocess Communication and Synchronization
– Evangelist, Francez, et al.
- 1989
|
|
8
|
Using coordinated atomic actions to design dependable distributed object systems
– Zorzo, Romanovsky, et al.
- 1997
|
|
6
|
Distributed Systems Have Distributed Risks
– Neumann
- 1996
|
|
6
|
Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation
– Romanovsky, Zorzo
- 1999
|
|
6
|
Using Coordinated Atomic Actions to Design Safety-Critical Systems: A Production Cell Case Study
– Zorzo, Romanovsky, et al.
- 1999
|
|
5
|
DisCo Speci cation Language: Marriage of Actions and Objects
– Jarvinen, Kurki-Suonio
- 1991
|
|
4
|
COALA - A Formal Language for Coordinated Atomic Actions
– Vachon, Buchs, et al.
- 1998
|
