Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp


Ronaldo Menezes, Andrea Omicini, Mirko Viroli

27th ACM Symposium on Applied Computing (SAC 2012), pages 1557-1559
26-30 March 2012
Sascha Ossowski, Paola Lecca, Chih-Cheng Hung, Jiman Hong (eds.)
Poster

This paper is about the LogOp coordination model, and has a twofold goal: to provide it with deeper foundation, and to express it in terms a more fitting formal semantics. Accordingly, we first define a new criterion for interpreting, comparing and possibly integrating coordination models based on the dynamic composition of coordination abstractions- feature that makes them suitable for the engineering of complex computational systems like pervasive and knowledge-intensive ones. Then, we present the main features of LogOp, and show that linear logic, the logic of consumption of resources, represents the most suitable choice as the conceptual framework for the formal specification of LogOp semantics. Given the well-known intricacies and subtleties of coordination models for distributed systems, we argue that a well-defined and expressive formal semantics is an essential requirement for a foreseeable scenario where abstractions and mechanisms from diverse coordination models (in particular, those discussed here) are exploited altogether in the engineering of complex systems like pervasive ones.

(keywords) Coordination models, Pervasive systems, Logop, Linear logic
 @inproceedings{logop-sac2012,
AcmId = {2232025},
Address = {Riva del Garda, TN, Italy},
Author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
Booktitle = {27th ACM Symposium on Applied Computing (SAC 2012)},
Doi = {10.1145/2245276.2232025},
Editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
Keywords = {Coordination models, Pervasive systems, LogOp, Linear logic},
Isbn = {978-1-4503-0857-1},
Month = {26--30~} # mar,
Note = {Poster},
Pages = {1557--1559},
ScopusId = {2-s2.0-84863558967},
Title = {Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of {{\it\sffamily LogOp}}},
Url = {http://dl.acm.org/citation.cfm?id=2232025},
Volume = 2,
Year = 2012

Events

  • Coordination Models, Languages and Applications. Special Track of the 27th ACM Symposium on Applied Computing (CM @ SAC 2012) — 28/03/2012

Publication

— authors

Ronaldo Menezes, Andrea Omicini, Mirko Viroli

— editors

Sascha Ossowski, Paola Lecca, Chih-Cheng Hung, Jiman Hong

— status

published

— sort

paper in proceedings

Venue

— volume

27th ACM Symposium on Applied Computing (SAC 2012)

— volume

2

— pages

1557-1559

— publication date

26-30 March 2012

URLs

original page

Identifiers

— DOI

10.1145/2245276.2232025

— ACM

2232025

— IRIS

11585/115125

— Scopus

2-s2.0-84863558967

— print ISBN

978-1-4503-0857-1

BibTeX

— BibTeX ID
logop-sac2012
— BibTeX category
inproceedings

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