Article

Free access

A distributed object-oriented framework for dependable multiparty interactions

Authors:

R. J. StroudAuthors Info & Claims

OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Pages 435 - 446

https://doi.org/10.1145/320384.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

Cabot JIzquierdo JCosentino V(2018)Are CS conferences (too) closed communities?Communications of the ACM10.1145/320958061:10(32-34)Online publication date: 26-Sep-2018
https://dl.acm.org/doi/10.1145/3209580
Abramatic JDi Cosmo RZacchiroli S(2018)Building the universal archive of source codeCommunications of the ACM10.1145/318355861:10(29-31)Online publication date: 26-Sep-2018
https://dl.acm.org/doi/10.1145/3183558
Hanazumi Sde Melo A(2017)A Formal Approach to implement java exceptions in cooperative systemsJournal of Systems and Software10.1016/j.jss.2016.07.033131:C(475-490)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.07.033
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

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 Conferences

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

ACM SIGPLAN Notices Volume 34, Issue 10
Oct. 1999
460 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/320385
Chairman:
Brent Hailpern,
Editors:
A. Michael Berman,
Linda M. Northrop
Issue’s Table of Contents

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]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

OOPSLA99

Sponsor:

SIGPLAN

OOPSLA99: Conference on Object Oriented Programming Systems Languages and Applications

November 1 - 5, 1999

Colorado, Denver, USA

Acceptance Rates

OOPSLA '99 Paper Acceptance Rate 30 of 152 submissions, 20%;

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

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

Cabot JIzquierdo JCosentino V(2018)Are CS conferences (too) closed communities?Communications of the ACM10.1145/320958061:10(32-34)Online publication date: 26-Sep-2018
https://dl.acm.org/doi/10.1145/3209580
Abramatic JDi Cosmo RZacchiroli S(2018)Building the universal archive of source codeCommunications of the ACM10.1145/318355861:10(29-31)Online publication date: 26-Sep-2018
https://dl.acm.org/doi/10.1145/3183558
Hanazumi Sde Melo A(2017)A Formal Approach to implement java exceptions in cooperative systemsJournal of Systems and Software10.1016/j.jss.2016.07.033131:C(475-490)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.07.033
Isaacs KGamblin TBhatele ABremer PSchulz MHamann B(2014)Extracting logical structure and identifying stragglers in parallel execution tracesACM SIGPLAN Notices10.1145/2692916.255528849:8(397-398)Online publication date: 6-Feb-2014
https://dl.acm.org/doi/10.1145/2692916.2555288
Hassan APalmieri RRavindran B(2014)Optimistic transactional boostingACM SIGPLAN Notices10.1145/2692916.255528349:8(387-388)Online publication date: 6-Feb-2014
https://dl.acm.org/doi/10.1145/2692916.2555283
Golan-Gueta GRamalingam GSagiv MYahav E(2014)Automatic semantic lockingACM SIGPLAN Notices10.1145/2692916.255528149:8(385-386)Online publication date: 6-Feb-2014
https://dl.acm.org/doi/10.1145/2692916.2555281
Lee JNicopoulos CLEE HKim J(2013)TornadoNoCACM Transactions on Architecture and Code Optimization10.1145/2541228.255531210:4(1-30)Online publication date: 1-Dec-2013
https://dl.acm.org/doi/10.1145/2541228.2555312
Hagiescu ALiu BRamanathan RPalaniappan SCui ZChattopadhyay BThiagarajan PWong W(2013)GPU code generation for ODE-based applications with phased shared-data access patternsACM Transactions on Architecture and Code Optimization10.1145/2541228.255531110:4(1-19)Online publication date: 1-Dec-2013
https://dl.acm.org/doi/10.1145/2541228.2555311
Bardizbanyan ASjälander MWhalley DLarsson-Edefors P(2013)Designing a practical data filter cache to improve both energy efficiency and performanceACM Transactions on Architecture and Code Optimization10.1145/2541228.255531010:4(1-25)Online publication date: 1-Dec-2013
https://dl.acm.org/doi/10.1145/2541228.2555310
Habib IAnjum AMcclatchey RRana O(2013)Adapting scientific workflow structures using multi-objective optimization strategiesACM Transactions on Autonomous and Adaptive Systems10.1145/2451248.24512528:1(1-21)Online publication date: 19-Apr-2013
https://dl.acm.org/doi/10.1145/2451248.2451252
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 Table of Contents