| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies
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.
Cited literature [17 references]
https://hal.inria.fr/hal-01367304
Contributor : Pascal Poizat Connect in order to contact the contributor
Submitted on : Thursday, September 15, 2016 - 8:31:27 PM
Last modification on : Thursday, July 8, 2021 - 3:50:30 AM
Long-term archiving on: : Friday, December 16, 2016 - 3:21:14 PM
Contributor : Pascal Poizat Connect in order to contact the contributor
Submitted on : Thursday, September 15, 2016 - 8:31:27 PM
Last modification on : Thursday, July 8, 2021 - 3:50:30 AM
Long-term archiving on: : Friday, December 16, 2016 - 3:21:14 PM
File
NPZ12b.pdf
Files produced by the author(s)