Comparing coordination models and architectures using embeddings

Authors:
Marcello M. Bonsangue;Joost N. Kok;Gianluigi Zavattaro
Affiliations:
CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands;Leiden Institute of Advanced Computer Science, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands;Bologna University, Department of Computer Science, Mura Anteo Zamboni 7, I-40127 Bologna, Italy
Venue:
Science of Computer Programming - Special issue on coordination languages and architectures
Year:
2003

Citing 18
Cited 2

Trace theory

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Linda in context

Communications of the ACM
Communication and concurrency

Communication and concurrency
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Coordination languages and their significance

Communications of the ACM
Embedding as a tool for language comparison

Information and Computation
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A process algebraic view of Linda coordination primitives

Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Reusable coordinator modules for massively concurrent applications

Software—Practice & Experience
Comparing coordination models based on shared distributed replicated data

Proceedings of the 1999 ACM symposium on Applied computing
A software architecture for distributed control systems and its transition system semantics

SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On the expressiveness of Linda coordination primitives

Information and Computation - Special issue on EXPRESS 1997
A transition system semantics for the control-driven coordination language MANIFOLD

Theoretical Computer Science
Comparing three semantics for Linda-like languages

Theoretical Computer Science
A Calculus of Communicating Systems

A Calculus of Communicating Systems
A Hierarchy of Communication Models for Message Sequence Charts

FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication

TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development

Comparing semantic frameworks for coordination: on the conformance issue for coordination media

Proceedings of the 2003 ACM symposium on Applied computing
Semantic models of a timed distributed dataspace architecture

Theoretical Computer Science - Formal methods for components and objects

Quantified Score

Hi-index	0.00

Visualization

Abstract

We refine the notion of embedding in order to obtain a formal tool for the comparison of the relative expressive power of different languages, by taking into account also the intended architectures on which the software components described using those languages are executed. The new notion, called architectural embedding, is suitable for the comparison of different communication mechanisms, and gives rise to a natural notion of implementability. We will use this notion to present equivalence and difference results for several coordination models based on components that communicate either through an unordered broadcast, through an atomic broadcast, or through a synchronous broadcast.