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
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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

https://hal.inria.fr/hal-03199748
Contributor : Dominique Méry <>
Submitted on : Thursday, April 15, 2021 - 11:04:44 PM
Last modification on : Monday, April 19, 2021 - 8:58:10 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

21