Approximating Event System Abstractions by Covering their States and Transitions: Version 1

Abstract : In event systems, contrarily to sequential ones, the control flow is implicit. Consequently, their abstraction may give rise to disconnected and unreachable paths. This paper presents an algorithmic method for computing a reachable and connected under-approximation of the abstraction of a system specified as an event system. We compute the under-approximation with concrete instances of the abstract transitions, that cover all the states and transitions of the predicate-based abstraction. To be of interest, these concrete transitions have to be reachable and connected to each other. We propose an algorithmic method that instantiates each of the abstract transitions, with heuristics to favour their connectivity. The idea is to prolong whenever possible the already reached sequences of concrete transitions, and to parameterize the order in which the states and actions occur. The paper also reports on an implementation, which permits to provide experimental results confirming the interest of the approach with related heuristics.
Document type :
Reports
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01496470
Contributor : Jean-Michel Caricand <>
Submitted on : Monday, March 27, 2017 - 3:29:17 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on : Wednesday, June 28, 2017 - 3:10:17 PM

File

f8d77ef8-6af0-4f6e-b9fd-bf893b...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01496470, version 1

Citation

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. Approximating Event System Abstractions by Covering their States and Transitions: Version 1. [Research Report] RR–FEMTO-ST–2496, FEMTO-ST. 2017. ⟨hal-01496470⟩

Share

Metrics

Record views

657

Files downloads

196