Ronaldo Menezes, Andrea Omicini, Mirko Viroli

Dynamic composition of coordination abstractions is an essential feature for making coordination models suitable for the engineering of complex computational systems, such as pervasive and knowledge-intensive ones. In this paper we first discuss the main features of LogOp as a coordination model allowing tuple spaces to be dynamically combined in scopes to be associated to any coordination operation. Then we show that linear logic, the logic of consumption of resources, represents the most suitable choice for the formal specification of LogOp semantics.

(keywords) Coordination models, Pervasive systems, LogOp, Semantics, Linear logic
April 2012.



Dynamic Composition of Coordination Abstractions in LogOp

— status


— authors

Ronaldo Menezes, Andrea Omicini, Mirko Viroli


— BibTeX category

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