A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies

Pascal Poizat
Fatiha Zaïdi

Résumé

Checking choreography conformance aims at verifying whether a set of distributed peers or local role specifications match a global specification. This activity is central in both top-down and bottom-up development processes for distributed systems. Such systems usually collaborate through information exchange, thus requiring value-passing choreography languages and models. However, most of the conformance checking techniques abstract value-passing or bound the domains for the exchanged data. As an alternative, we propose to rely on symbolic models and an extension of the symbolic bisimulation equivalence. This enables one to take into account value passing while avoiding state space explosion issues. Our framework is fully tool supported.
Fichier principal
Vignette du fichier
NPZ12b.pdf (306.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01367304 , version 1 (15-09-2016)

Identifiants

Citer

Huu Nghia (hữu Nghĩa) Nguyễn, Pascal Poizat, Fatiha Zaïdi. A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. 10th International Conference on Service-Oriented Computing (ICSOC), Dec 2012, San Francisco, United States. ⟨10.1007/978-3-642-34321-6_36⟩. ⟨hal-01367304⟩
139 Consultations
97 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More