Coordination as a Service: Ontological and Formal Foundation


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Mirko Viroli, Andrea Omicini

Antonio Brogi, Jean-Marie Jacquet (a cura di)
“Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002)”, pp. 457-482
Electronic Notes in Theoretical Computer Science 68(3)
Elsevier Science B.V.
marzo 2003

Coordination models like Linda were first conceived in the context of closed systems — like high-performance parallel applications —, where all coordinated entities were known once and for all at design time, and coordination media were conceptually part of a coordinated application. Correspondingly, traditional formalisations of coordination models — where both coordinated entities and coordination media are uniformly represented as terms of a process algebra — endorse the viewpoint of coordination as a language for building concurrent systems.

Today, new application scenarios call for a new approach to the formalisation of coordination models and systems. The complexity of today systems requires coordination media to be seen as first-class design abstractions, affecting the engineering process down to the deployment of infrastructures providing coordination services, for which effectiveness and reliability may be critical properties demanding a formal treatment.

As a unifying framework for a number of existing works on the semantics of coordination media, in this paper we present a basic ontology and a formal framework endorsing the viewpoint of coordination as a service. Typical process algebra techniques are here exploited to represent the semantics of a coordinated system in terms of the interactive behaviour of coordination media. By this framework, coordination media are seen as primary abstractions amenable of formal investigation, promoting their exploitation at any step of the engineering process.

1st International Workshop "Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2002), Brno, Czech Republic, 24 August 2002. Proceedings

Riviste & collane

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY