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.

    

Publication

Dynamic Composition of Coordination Abstractions in LogOp

— status

rejected  

— authors

Ronaldo Menezes, Andrea Omicini, Mirko Viroli

BibTeX

— BibTeX category
unpublished

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