Skip to Main content Skip to Navigation
Conference papers

Towards a Unified Framework for Declarative Structured Communications

Hugo Lopez 1 Carlos Olarte 2 Jorge Perez 3 
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : We describe a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. In this work, we present a concurrent constraint interpretation of the language for structured communications proposed by Honda, Vasconcelos, and Kubo. Distinguishing features of our approach are: the possibility of including partial information (constraints) in the session model; the use of explicit time for reasoning about session duration and expiration; a tight correspondence with logic, which formally relates session execution and linear-time temporal logic formulas.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Tuesday, November 17, 2009 - 1:11:58 PM
Last modification on : Friday, August 5, 2022 - 12:35:04 PM
Long-term archiving on: : Saturday, November 26, 2016 - 2:30:05 PM


Files produced by the author(s)


  • HAL Id : inria-00426609, version 2



Hugo Lopez, Carlos Olarte, Jorge Perez. Towards a Unified Framework for Declarative Structured Communications. 2nd PLACES 2009 - Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Mar 2009, York, United Kingdom. 15p. ⟨inria-00426609v2⟩



Record views


Files downloads