VerChor: A Framework for Verifying 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 : 2013

VerChor: A Framework for Verifying Choreographies

Résumé

Choreographies are contracts specifying interactions among a set of services from a global point of view. These contracts serve as reference for the further development steps of the distributed system. Therefore their specification and analysis is crucial to avoid issues (e.g., deadlock, requirement violation, faulty contract, etc.) that may induce delays and additional costs if identified lately in the design and development process. In this paper, we propose first to describe choreographies using an intermediate format in order to support various choreography specification languages as input. Second, we propose a connection to a formal verification toolbox as back-end, which includes the generation of verification scripts for fully automating the aforementioned checks. This results in a generic, modular, and extensible framework for supporting the verification of choreographies.
Fichier principal
Vignette du fichier
main-fase13.pdf (347.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00806788 , version 1 (02-04-2013)

Identifiants

Citer

Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. VerChor: A Framework for Verifying Choreographies. Fundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. pp.226-230, ⟨10.1007/978-3-642-37057-1_16⟩. ⟨hal-00806788⟩
345 Consultations
188 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More