Affordable Access

deepdyve-link
Publisher Website

Contextual Dependency in State-based Modelling

Authors
  • Méry, Dominique
  • Kherroubi, Souad
Publication Date
Jan 01, 2021
Identifiers
DOI: 10.1007/978-981-15-5054-6_9
OAI: oai:HAL:hal-03199748v1
Source
HAL
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times