Towards a Method for the Decomposition by Refinement in Event-B - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Towards a Method for the Decomposition by Refinement in Event-B

Résumé

Refinement consists of detailing the specification in order to get a more concrete model. However, this technique leads to large models. Hence, model decomposition is used to reduce model complexity. In this paper, we present the main methods of decomposition and their limitations. Then, we define the decomposition by refinement method that deals with these limitations. Thereafter, we proceed with the rules to follow in order to get a correct decomposed model.
Fichier non déposé

Dates et versions

hal-04662622 , version 1 (26-07-2024)

Identifiants

Citer

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, et al.. Towards a Method for the Decomposition by Refinement in Event-B. Formal Methods. FM 2019 International Workshops, Oct 2019, Porto, Portugal. pp.358-370, ⟨10.1007/978-3-030-54997-8_23⟩. ⟨hal-04662622⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

More