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
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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

https://hal.inria.fr/inria-00426609
Contributor : Catuscia Palamidessi <>
Submitted on : Tuesday, November 17, 2009 - 1:11:58 PM
Last modification on : Friday, October 30, 2020 - 12:04:02 PM
Long-term archiving on: : Saturday, November 26, 2016 - 2:30:05 PM

File

sessions-pub.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00426609, version 2

Collections

Citation

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⟩

Share

Metrics

Record views

539

Files downloads

582