Comparing coordination models and architectures using embeddings
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.
|Concurrent Programming (acm D.1.3), Language Constructs and Features (acm D.3.3), Models of Computation (acm F.1.1), Semantics of Programming Languages (acm F.3.2)|
|Programming languages (msc 68N15), Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (msc 68Q10), Semantics (msc 68Q55), Specification and verification (program logics, model checking, etc.) (msc 68Q60)|
|Software (theme 1), Logistics (theme 3), Energy (theme 4)|
|Software Engineering [SEN]|
|Organisation||Intelligent and autonomous systems|
Bonsangue, M.M, Kok, J.N, & Zavattaro, G. (2000). Comparing coordination models and architectures using embeddings. Software Engineering [SEN]. CWI.