Skip to Main content Skip to Navigation
Conference papers

Conformance Relations for Labeled Event Structures

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00776783
Contributor : Benedikt Bollig Connect in order to contact the contributor
Submitted on : Wednesday, January 16, 2013 - 11:10:47 AM
Last modification on : Saturday, June 25, 2022 - 8:53:19 PM

Identifiers

Citation

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

Share

Metrics

Record views

61