Dynamic Composition of Coordination Abstractions in LogOp


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

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, LogOp, Semantics, Linear logic

Events

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

Tags:

Publication

— authors

Ronaldo Menezes, Andrea Omicini, Mirko Viroli

— status

rejected

— volume

28th ACM Symposium on Applied Computing (SAC 2013)

— address

Coimbra, Portugal

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY