Skip to Main content Skip to Navigation
Book sections

Contextual Dependency in State-based Modelling

Dominique Méry 1, 2, 3 Souad Kherroubi 3
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
3 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
Abstract : In proof systems and conceptual modelling, context-awareness should be pre- cisely highlighted. In this chapter, we recall and detail preliminary results on contex- tualization and dependency state-based modelling using the for Event-B modelling lan- guage. The contextualization of Event-B models is based on knowledge provided from do- mains classified into constraints, hypotheses and dependencies, according to truthfulness in proofs. The dependency mechanism between two models makes it possible to struc- ture the development of system models, by organizing phases identified in the analyzed process. We illustrate via two simple case studies and on a voting protocol.
Complete list of metadata
Contributor : Dominique Méry Connect in order to contact the contributor
Submitted on : Thursday, April 15, 2021 - 11:04:44 PM
Last modification on : Wednesday, February 2, 2022 - 4:30:55 PM




Dominique Méry, Souad Kherroubi. Contextual Dependency in State-based Modelling. Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩. ⟨hal-03199748⟩



Record views