Abstracting interactions based on message sets

Svend Frølund, Gul Agha

Research output: Chapter in Book/Report/Conference proceedingConference contribution


An important requirement of programming languages for distributed systems is to provide abstractions for coordination. A common type of coordination requires reactivity in response to arbitrary communication patterns. We have developed a communication model in which concurrent objects can be activated by sets of messages. Specifically, our model allows direct and abstract expression of common interaction patterns found in concurrent systems. For example, the model captures multiple clients that collectively invoke shared servers as a single activation. Furthermore, it supports definition of individual clients that concurrently invoke multiple servers and wait for subsets of the returned reply messages. Message sets are dynamically defined using conjunctive and disjunctive combinators that may depend on the patterns of messages. The model subsumes existing models for multi- RPC and multi-party synchronization within a single, uniform activation framework.

Original languageEnglish (US)
Title of host publicationObject-Based Models and Languages for Concurrent Systems - ECOOP 1994 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Proceedings
EditorsPaolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
Number of pages18
ISBN (Print)3540594507, 9783540594505
StatePublished - 1995
EventEuropean Conference on Object Oriented Programming, ECOOP 1994 - Bologna, Italy
Duration: Jul 5 1994Jul 5 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


OtherEuropean Conference on Object Oriented Programming, ECOOP 1994

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Abstracting interactions based on message sets'. Together they form a unique fingerprint.

Cite this