Conformance Relations for Labeled Event Structures

Hernán Ponce de León 1, 2 Stefan Haar 1, 2 Delphine Longuet 3
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : We propose a theoretical framework for testing concurrent systems from true concurrency models like Petri nets or networks of automata. The underlying model of computation of such formalisms are labeled event structures, which allow to represent concurrency explicitly. The activity of testing relies on the definition of a conformance relation that depends on the observable behaviors on the system under test, which is given for sequential systems by ioco type relations. However, these relations are not capable of capturing and exploiting concurrency of non sequential behavior. We study different conformance relations for labeled event structures, relying on different notions of observation, and investigate their properties and connections.
Type de document :
Communication dans un congrès
Brucker, Achim D. and Julliand, Jacques. Proceedings of the 6th International Conference on Tests and Proofs (TAP'12), 2012, Prague, Czech Republic. Springer, 7305, pp.83-98, 2012, 〈10.1007/978-3-642-30473-6_8〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00776783
Contributeur : Benedikt Bollig <>
Soumis le : mercredi 16 janvier 2013 - 11:10:47
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

Collections

Citation

Hernán Ponce de León, Stefan Haar, Delphine Longuet. Conformance Relations for Labeled Event Structures. Brucker, Achim D. and Julliand, Jacques. Proceedings of the 6th International Conference on Tests and Proofs (TAP'12), 2012, Prague, Czech Republic. Springer, 7305, pp.83-98, 2012, 〈10.1007/978-3-642-30473-6_8〉. 〈hal-00776783〉

Partager

Métriques

Consultations de la notice

142