Coordination as a Service.
Saved in:
| Title: | Coordination as a Service. |
|---|---|
| Authors: | Viroli, Mirko1 mikro.viroli@unibo.it, Omicini, Andrea1 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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 23247852 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Coordination as a Service. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Viroli%2C+Mirko%22">Viroli, Mirko</searchLink><relatesTo>1</relatesTo><i> mikro.viroli@unibo.it</i><br /><searchLink fieldCode="AR" term="%22Omicini%2C+Andrea%22">Omicini, Andrea</searchLink><relatesTo>1</relatesTo><i> andrea.omicini@unibo.it</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Fundamenta+Informaticae%22">Fundamenta Informaticae</searchLink>. 2006, Vol. 73 Issue 4, p507-534. 28p. 3 Diagrams. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22LINDA+%28Computer+system%29%22">LINDA (Computer system)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+systems%22">Computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22Software+architecture%22">Software architecture</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+engineering%22">Computer engineering</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=23247852 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 28 StartPage: 507 Subjects: – SubjectFull: LINDA (Computer system) Type: general – SubjectFull: Computer systems Type: general – SubjectFull: Software architecture Type: general – SubjectFull: Computer software development Type: general – SubjectFull: Computer engineering Type: general Titles: – TitleFull: Coordination as a Service. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Viroli, Mirko – PersonEntity: Name: NameFull: Omicini, Andrea IsPartOfRelationships: – BibEntity: Dates: – D: 15 M: 11 Text: 2006 Type: published Y: 2006 Identifiers: – Type: issn-print Value: 01692968 Numbering: – Type: volume Value: 73 – Type: issue Value: 4 Titles: – TitleFull: Fundamenta Informaticae Type: main |
| ResultId | 1 |
