Coordination as a Service.

Saved in:

Bibliographic Details
Title:	Coordination as a Service.
Authors:	Viroli, Mirko¹ mikro.viroli@unibo.it, Omicini, Andrea¹ andrea.omicini@unibo.it
Source:	Fundamenta Informaticae. 2006, Vol. 73 Issue 4, p507-534. 28p. 3 Diagrams.
Subjects:	LINDA (Computer system), Computer systems, Software architecture, Computer software development, Computer engineering
Abstract:	Coordination models like LINDA were first conceived in the context of closed systems, like high-performance parallel applications. There, all coordinated entities were known once and for all at design time, and coordination media were conceptually part of the 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. The complexity of today application scenarios calls for a new approach to the formalisation of coordination models. Open systems, typically hosting a multiplicity of applications working concurrently, require coordination to be imposed through powerful abstractions that (i) persist through the whole engineering process – from design to execution time – and (ii) provide coordination services to applications by a shared infrastructure in the form of coordination media. 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. By this framework, coordination media are characterised in terms of their interactive behaviour, and are seen as primary abstractions amenable of formal investigation, promoting their exploitation at every step of the engineering process. [ABSTRACT FROM AUTHOR]
	Copyright of Fundamenta Informaticae is the property of Polskie Towarzystwo Matematyczne and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database:	Engineering Source

Description
Abstract:	Coordination models like LINDA were first conceived in the context of closed systems, like high-performance parallel applications. There, all coordinated entities were known once and for all at design time, and coordination media were conceptually part of the 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. The complexity of today application scenarios calls for a new approach to the formalisation of coordination models. Open systems, typically hosting a multiplicity of applications working concurrently, require coordination to be imposed through powerful abstractions that (i) persist through the whole engineering process – from design to execution time – and (ii) provide coordination services to applications by a shared infrastructure in the form of coordination media. 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. By this framework, coordination media are characterised in terms of their interactive behaviour, and are seen as primary abstractions amenable of formal investigation, promoting their exploitation at every step of the engineering process. [ABSTRACT FROM AUTHOR]
ISSN:	01692968