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

Huu Nghia (hữu Nghĩa) Nguyễn 1 Pascal Poizat 1, 2 Fatiha Zaïdi 1
1 ForTesse
LRI - Laboratoire de Recherche en Informatique
2 UEVE - Université d'Évry-Val-d'Essonne
Abstract : 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.
Keywords : choreography specification conformance symbolic transition systems symbolic branching bisimulation tools
Type de document :
Communication dans un congrès
10th International Conference on Service-Oriented Computing (ICSOC), Dec 2012, San Francisco, United States. 2012, 〈10.1007/978-3-642-34321-6_36〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01367304
Contributeur : Pascal Poizat <>
Soumis le : jeudi 15 septembre 2016 - 20:31:27
Dernière modification le : mardi 24 avril 2018 - 13:35:58
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 15:21:14

Fichier

NPZ12b.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UMR8623 | INRIA | LRI-VALS

Citation

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. 2012, 〈10.1007/978-3-642-34321-6_36〉. 〈hal-01367304〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

173

Téléchargements de fichiers

59

Contact


archive-ouverte@inria.fr