Formal Modelling of Information System Evolution using B
In this paper, we explore the problem of predictable evolution of Information System (IS). In this context, a part of the Information System evolution is modelled through phases and interphases in order to specify evolution rules. A formal model is provided using the B language to check the rule effectiveness.
Authors
- Henri Habrias
- Pascal André (ORCID: https://orcid.org/0000-0002-1112-2973)
Institutions
- Laboratoire des Sciences du Numérique de Nantes (FR)
- Nantes Université (FR)
Publication Details
- Journal
- Proceedings of the International Conference on Information Systems Development
- Published
- 2025-11-17
- DOI
- https://doi.org/10.62036/isd.2025.13
- Primary Topic
- Business Process Modeling and Analysis
- Type
- article
- Field-Weighted Citation Impact
- 0.00