Sciweavers

Share
SAC
2003
ACM

Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media

10 years 11 months ago
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they implement. The traditional semantic framework for coordination is focused on describing the admissible evolutions over time of a coordinated system, and is particularly suitable for specifying the laws of a coordination model. On the other hand, formally describing run-time aspects of an implementation requires a different framework, capturing as fundamental idea the interactive behavior of a coordination medium. In this paper, these two frameworks are compared by tackling a crucial issue of coordination models, that is, the conformance of an implementation with respect to a specification. In particular, a definition of conformance is introduced that is shown to be compatible with the standard notion of implementation by horizontal refinement promoted in the context of process algebras. Keywords Semantics of ...
Mirko Viroli
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where SAC
Authors Mirko Viroli
Comments (0)
books