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.

Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp / Ronaldo Menezes; Andrea Omicini; Mirko Viroli. - STAMPA. - 2:(2012), pp. 1557-1559. (Intervento presentato al convegno 27th ACM Symposium On Applied Computing (SAC 2012) tenutosi a Riva del Garda, TN, Italy nel 26-20 March 2012) [10.1145/2245276.2232025].

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

OMICINI, ANDREA;VIROLI, MIRKO
2012

Abstract

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.
2012
Proceedings of the 27th ACM Symposium On Applied Computing (SAC 2012)
1557
1559
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp / Ronaldo Menezes; Andrea Omicini; Mirko Viroli. - STAMPA. - 2:(2012), pp. 1557-1559. (Intervento presentato al convegno 27th ACM Symposium On Applied Computing (SAC 2012) tenutosi a Riva del Garda, TN, Italy nel 26-20 March 2012) [10.1145/2245276.2232025].
Ronaldo Menezes; Andrea Omicini; Mirko Viroli
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/115125
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact