article

Free access

A distributed object-oriented framework for dependable multiparty interactions

Authors:

R. J. StroudAuthors Info & Claims

ACM SIGPLAN Notices, Volume 34, Issue 10

Pages 435 - 446

https://doi.org/10.1145/320385.320431

Published: 01 October 1999 Publication History

Abstract

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.

References

[1]

P. G. Neumann. "Distributed Systems Have Distributed Risks". In Communications of the A CM, 39(11), pp. 130, 1996.

Digital Library

[2]

M. Evangelist, N. Francez, and S. Katz. "Multiparty Interactions for Interprocess Communication and Synchronization'. In IEEE Transactions on Software Engineering, 15(11), pp. 1417-1426, November 1989.

Digital Library

[3]

Y.-J. Joung and S. A. Smolka. "A Comprehensive study of the Complexity of Multiparty Interaction". In Journal o} A CM, 43(1), pp. 75-115, January 1996.

Digital Library

[4]

F. Cristian, "Exception Handling and Software Fault Tolerance". In IEEE Transactions on Computers, C- 31(6), pp. 531-540, 1982.

Digital Library

[5]

R. H. Campbell and B. l~andell. "Error Recovery in Asynchronous Systems". In IEEE Transactions on Software Engineering, SE-12(8), pp. 811-826, 1986.

Digital Library

[6]

A. Romanovsky, J. Xu and B. Randell. "Exception Handling and Resolution in Distributed Object- Oriented Systems". In Proceedings o} 16th IEEE international Conference on Distributed Computing Systems, Hong Kong, pp.545-552, May 1996.

Digital Library

[7]

S. Shrivastava, G. N. Dixon, and G. D. Parrington. "An Overview of the Arjuna Distributed Programming System". In IEEE Software, 8(1), pp. 66-73, 1991.

Digital Library

[8]

A. F. Zorzo. "Dependable Multiparty Interactions: A Case Study". In Proceedings o.f TOOLS-29 Europe 99, IEEE CS Press, Nancy, France, pp. 319-328, Juae 1999.

[9]

J. Xu, B. Randell, A. Romanovsky, C~ Rubira, R. Stroud, and Z. Wu. "Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery". In Proceedings of the 25th Int. Symp. on Fault-Tolerant Computing (FTCS-P5), IEEE CS Press, Pasadena, USA, pp. 450-457, 1995.

Digital Library

[10]

B. Randell, A. Romanovsky, R. J. Stroud, J. Xu, and A. F. Zorzo. "Coordinated Atomic Actions: from Concept to Implementation". Department of Computing Science, Technical Report TR595, University of Newcastle upon Tyne, 1997.

[11]

A. Charlesworth. "The Multiway Rendezvous". In A CM Transactions of Programming Languages and Systems, 9(2), pp. 350-366, 1987.

Digital Library

[12]

H.-M. J~rvinen and R. Kurki-Suonio. "DisCo Specification Language: Marriage of Actions and Objects". In Proceedings of the 11th International Conference on Distributed Computing Systems, IEEE CS Press, pp. 142-151, 1991.

[13]

A. LStzbeyer and R. Muhlfeld. "Task Description of a Fault-Tolerant Production Cell". FZI Technical Report, Karsruhe, Germany, 1996. h ttp ://www. f zi . de/divisi ons/pro st/proj ects/kors y s

[14]

C. Lewerentz and T. Lindner. "Formal Development of Reactive Systems: Case Study Production Cell". In Lectures Notes in Computer Science 891, Springer- Verlag, January 1995.

Digital Library

[15]

A. F. Zorzo, A. Romanovsky, J. Xu, B. Randell, R. J. Stroud, and I. S. Welch. "Using Coordinated Atomic Actions to Design Safety-Critical Systems: A Production Cell Case Study". in Software, Practice and Experience, 29(8), pp. 677-697, August 1999.

Digital Library

[16]

J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver, and F. yon Henke. "Rigorous Developemnt of a Safety-Critical System Based on Coordinated Atomic Actions". In Proceedings of the 29th Int. Syrup. on Fault-Tolerant Computing (FTCS-29), IEEE CS Press, Madison, WI, USA, June 1999.

Digital Library

[17]

I. Forman and F. Nissen. Interacting Processes. ACM Publishers. 1996.

[18]

J. Vachon, D. Buchs, M. Buffo, G. D. M. Serugendo, B. Randell, A. Romanovsky, R. J. Stroud, and J. Xu. "COALA- A Formal Language for Coordinated Atomic Actions". Ia De Va - Design for Validation - Third Year Report, ESPRIT Long Term Research Project 20072, December 1998.

[19]

A. F. Zorzo, A. Romanovsky, J. Xu, B. Raadell, R. J. Stroud, and I. S. Welch. "Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems". In OOPSLA '97- Workshop on Dependable Distributed Object Systems, Atlanta, USA, 1997. (Extended version in De Va - Design }or Validation - Second Year Report, ESPRIT Long Term Research Project 20072, pp. 241-260, December 1997)

[20]

B. Liskov. "Distributed Programming in Argus". In Communcations of the A CM, 31(3), pp. 390-312, March 1988.

Digital Library

[21]

j. L. Eppinger, L. B. Mummert, and A. Z. Spector (editors). Camelot and Avalon: A Distributed Transaction Facility. Morgan Kaufmana Publ., 1991.

Digital Library

Cited By

Castor Filho FRomanovsky ARubira C(2009)Improving reliability of cooperative concurrent systems with exception flow analysisJournal of Systems and Software10.1016/j.jss.2008.12.01582:5(874-890)Online publication date: 1-May-2009
https://dl.acm.org/doi/10.1016/j.jss.2008.12.015
Peiyi Tang Sinnamon J(2004)Interaction and coordination for distributed grid computingIEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 200410.1109/SCC.2004.1358028(383-390)Online publication date: 2004
https://doi.org/10.1109/SCC.2004.1358028
Chiang CLee RYang H(2004)On the design and implementation of parallel programs through coordinationProceedings of the Second international conference on Software Engineering Research, Management and Applications10.1007/11668855_12(156-170)Online publication date: 5-May-2004
https://dl.acm.org/doi/10.1007/11668855_12
Show More Cited By

Index Terms

A distributed object-oriented framework for dependable multiparty interactions
1. Computing methodologies
  1. Concurrent computing methodologies
    1. Concurrent programming languages
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language features
        Control structures
        Frameworks
      2. Language types
        Concurrent programming languages
        Object oriented languages

Recommendations

A distributed object-oriented framework for dependable multiparty interactions
OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

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 ...
Dependable Multiparty Interactions: A Case Study
TOOLS '99: Proceedings of the Technology of Object-Oriented Languages and Systems

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 ...
A distributed algorithm for implementation of first-order multiparty interactions
ICPADS '96: Proceedings of the 1996 International Conference on Parallel and Distributed Systems

First-order multiparty interactions, a generation of multiparty synchronization, are a powerful communication mechanism that allows a set of processes to enroll into different roles of an interaction and to execute the interaction in a synchronous way, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 34, Issue 10

Oct. 1999

460 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/320385

Issue’s Table of Contents

OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
October 1999
462 pages
ISBN:1581132387
DOI:10.1145/320384
Chairmen:
Brent Hailpern
IBM T. J. Watson Research Center
,
Linda M. Northrop
Carnegie Mellon Univ., Pittsburgh, PA
,
Editor:
A. Michael Berman

Copyright © 1999 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1999

Published in SIGPLAN Volume 34, Issue 10

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

55
Total Citations
View Citations
572
Total Downloads

Downloads (Last 12 months)38
Downloads (Last 6 weeks)7

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Castor Filho FRomanovsky ARubira C(2009)Improving reliability of cooperative concurrent systems with exception flow analysisJournal of Systems and Software10.1016/j.jss.2008.12.01582:5(874-890)Online publication date: 1-May-2009
https://dl.acm.org/doi/10.1016/j.jss.2008.12.015
Peiyi Tang Sinnamon J(2004)Interaction and coordination for distributed grid computingIEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 200410.1109/SCC.2004.1358028(383-390)Online publication date: 2004
https://doi.org/10.1109/SCC.2004.1358028
Chiang CLee RYang H(2004)On the design and implementation of parallel programs through coordinationProceedings of the Second international conference on Software Engineering Research, Management and Applications10.1007/11668855_12(156-170)Online publication date: 5-May-2004
https://dl.acm.org/doi/10.1007/11668855_12
Pérez JCorchuelo RToro M(2004)An order‐based algorithm for implementing multiparty synchronizationConcurrency and Computation: Practice and Experience10.1002/cpe.90316:12(1173-1206)Online publication date: 15-Jul-2004
https://doi.org/10.1002/cpe.903
Zorzo APeriorellis PRomanovsky A(2003)Using co-ordinated atomic actions for building complex Web applications: a learning experienceProceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003).10.1109/WORDS.2003.1218095(288-295)Online publication date: 2003
https://doi.org/10.1109/WORDS.2003.1218095
Corchuelo RPérez JRuiz-Cortés A(2003)Aspect-oriented interaction in multi-organisational web-based systemsComputer Networks: The International Journal of Computer and Telecommunications Networking10.1016/S1389-1286(02)00398-541:4(385-406)Online publication date: 15-Mar-2003
https://dl.acm.org/doi/10.1016/S1389-1286%2802%2900398-5
Di Marzo Serugendo GRomanovsky A(2003)Designing Fault-Tolerant Mobile SystemsScientific Engineering for Distributed Java Applications10.1007/3-540-36520-6_17(185-201)Online publication date: 17-Feb-2003
https://doi.org/10.1007/3-540-36520-6_17
Serugendo GRomanovsky A(2002)Designing Fault-Tolerant Mobile SystemsRevised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications10.5555/646170.678744(185-201)Online publication date: 28-Nov-2002
https://dl.acm.org/doi/10.5555/646170.678744
Corchuelo RPérez JRuiz A(2002)Multi-Party Coordination in the Context of MOWSProgramming and Computing Software10.1023/A:102021222887328:5(280-289)Online publication date: 1-Sep-2002
https://dl.acm.org/doi/10.1023/A%3A1020212228873
Pérez JCorchuelo RRuiz DToro M(2002)A Framework for Aspect-oriented Multiparty CoordinationNew Developments in Distributed Applications and Interoperable Systems10.1007/0-306-47005-5_15(161-173)Online publication date: 2002
https://doi.org/10.1007/0-306-47005-5_15
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents