Contextual Dependency in State-based Modelling - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2021

Contextual Dependency in State-based Modelling

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.
No file

Dates and versions

hal-03199748 , version 1 (15-04-2021)

Identifiers

Cite

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⟩
47 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More