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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
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.
Type de document :
Article dans une revue
Proc. of PLACES'09, Elsevier, 2009, 15p
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00426609
Contributeur : Catuscia Palamidessi <>
Soumis le : mardi 17 novembre 2009 - 13:11:58
Dernière modification le : jeudi 10 mai 2018 - 02:06:27
Document(s) archivé(s) le : samedi 26 novembre 2016 - 14:30:05

Fichier

sessions-pub.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00426609, version 2

Collections

Citation

Hugo Lopez, Carlos Olarte, Jorge Perez. Towards a Unified Framework for Declarative Structured Communications. Proc. of PLACES'09, Elsevier, 2009, 15p. 〈inria-00426609v2〉

Partager

Métriques

Consultations de la notice

401

Téléchargements de fichiers

188