Multiparty interactions for interprocess communication and synchronization

The authors consider the essential properties of a multiparty interaction construct which serves as a primitive for interprocess communication and synchronization in distributed programs. It is claimed that more general constructs, which violate the suggested properties, are appropriate for abstract...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1989-11, Vol.15 (11), p.1417-1426
Main Authors: Evangelist, M., Francez, N., Katz, S.
Format: Article
Language:English
Subjects:
Applied sciences
Assembly
Communication
Computer programming
Computer science
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Conflict resolution
Criteria
Exact sciences and technology
Fault tolerance
High level languages
Innovations
Programming languages
Proposals
Roles
Software
Software engineering
Stress
Veins
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The authors consider the essential properties of a multiparty interaction construct which serves as a primitive for interprocess communication and synchronization in distributed programs. It is claimed that more general constructs, which violate the suggested properties, are appropriate for abstraction but should not be seen as a communication primitive, and that both facilities are needed. Several acceptability criteria are posed for multiparty interactions, and various possibilities for constructs satisfying these criteria are presented. These include introducing a novel kind of nondeterminism within the assignments of an interaction, weakening the synchronization among the participants in an interaction, and varying the number of participants in order to provide a high-level treatment of fault tolerance.< >
ISSN:0098-5589
1939-3520
DOI:10.1109/32.41333