APICe » Publications » Dynamic Composition of Coordination Abstractions in LogOp

Dynamic Composition of Coordination Abstractions in LogOp

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
28th ACM Symposium on Applied Computing (SAC 2013), September 2012, Coimbra, Portugal
@inproceedings{logop-sac2013,
	Address = {Coimbra, Portugal},
	Author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
	Booktitle = {28th ACM Symposium on Applied Computing (SAC 2013)},
	Keywords = {Coordination models, LogOp, Semantics, Linear logic},
	Month = sep,
	Title = {Dynamic Composition of Coordination Abstractions in LogOp},
	Year = 2012}