Towards a Unified Framework for Declarative Structured Communications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Towards a Unified Framework for Declarative Structured Communications


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.
Fichier principal
Vignette du fichier
sessions-pub.pdf (233.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00426609 , version 1 (27-10-2009)
inria-00426609 , version 2 (17-11-2009)


  • 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⟩
159 View
272 Download


Gmail Facebook X LinkedIn More