Mirko Viroli, Andrea Omicini

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.

Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002), Electronic Notes in Theoretical Computer Science 68(3), pp. 457-482, March 2003.
Antonio Brogi, Jean-Marie Jacquet (a cura di), Elsevier Science B.V..
1st International Workshop "Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2002), Brno, Czech Republic, 24 August 2002. Proceedings

@article{coord-entcs68,
Author = {Viroli, Mirko and Omicini, Andrea},
Doi = {10.1016/S1571-0661(05)80383-4},
Editor = {Brogi, Antonio and Jacquet, Jean-Marie},
Isbn = {0-444-51416-3},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Month = mar,
Note = {1st International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2002), Brno, Czech Republic, 24~} # aug # {~2002. Proceedings},
Number = 3,
Pages = {457--482},
Publisher = {Elsevier Science B.V.},
ScopusId = {2-s2.0-2442495814},
Url = {http://www.sciencedirect.com/science/article/pii/S1571066105803834},
Title = {Coordination as a Service: Ontological and Formal Foundation},
Volume = 68,
Year = 2003}

Riviste & collane

Pubblicazione

— autori/autrici

Mirko Viroli, Andrea Omicini

— a cura di

Antonio Brogi, Jean-Marie Jacquet

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002)

— collana

Electronic Notes in Theoretical Computer Science 68

— data di pubblicazione

March 2003

— pagine

457-482

— collana

Electronic Notes in Theoretical Computer Science 68

— data di pubblicazione

March 2003

URL & ID

pagina originale

— DOI

10.1016/S1571-0661(05)80383-4

— Scopus

2-s2.0-2442495814

— print ISSN

1571-0661

— print ISBN

0-444-51416-3

BibTeX

— BibTeX ID
coord-entcs6
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY