APICe » Publications » Coordination as a Service: Ontological and Formal Foundation

Coordination as a Service: Ontological and Formal Foundation

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.
Electronic Notes in Theoretical Computer Science 68(3), pages 457-482, March 2003.
Antonio Brogi, Jean-Marie Jacquet (eds.), 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}