Paper Info
Title
Coordination: Reo, Nets, and Logic
Abstract
This article considers the coordination language Reo , a Petri net variant called zero-safe nets , and intuitionistic temporal linear logic (ITLL ). The first part examines the semantics of the coordination language Reo in relation to zero-safe nets. Although the external presentations of the two models are quite different, the difference in underlying semantics is rather small. In fact, Reo connectors can be compositionally encoded into zero-safe nets. This means that the tools and techniques developed for Petri nets over the last 30 years, such as various extensions to the zero-safe nets model, such reconfigurable and dynamic nets, can be adapted to the Reo setting. The second part re-examines the idea of using linear logic as a basis for coordination languages. Specifically, we argue that intuitionistic temporal linear logic (ITLL ) can encode the semantics of Reo and zero-safe nets, by encoding their notion of transaction. Moreover, by adapting the encoding and exploring the additional connectives of ITLL , it can form the basis of an expressive coordination language which goes beyond these models, by introducing means for explicitly reasoning about choices made by the environment and by providing more fine-grained control over the timing of interaction.
Year
DOI
Venue
2007
10.1007/978-3-540-92188-2_10
FMCO
Keywords
Field
DocType
intuitionistic temporal linear logic,underlying semantics,linear logic,expressive coordination language,reo setting,reo connector,zero-safe net,zero-safe nets model,coordination language,coordination language reo,petri net
ENCODE,Petri net,Programming language,Computer science,Theoretical computer science,Linear logic,Database transaction,Reo Coordination Language,AND gate,Semantics,Encoding (memory)
Conference
Volume
ISSN
Citations 
5382
0302-9743
5
PageRank 
References 
Authors
0.43
35
1
Name
Order
Citations
PageRank
Dave Clarke141626.19