Abstract

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.

Recommended Citation

André, P. & Habrias, H. (2025). Formal Modelling of Information System Evolution using BIn I. Luković, S. Bjeladinović, B. Delibašić, D. Barać, N. Iivari, E. Insfran, M. Lang, H. Linger, & C. Schneider (Eds.), Empowering the Interdisciplinary Role of ISD in Addressing Contemporary Issues in Digital Transformation: How Data Science and Generative AI Contributes to ISD (ISD2025 Proceedings). Belgrade, Serbia: University of Gdańsk, Department of Business Informatics & University of Belgrade, Faculty of Organizational Sciences. ISBN: 978-83-972632-1-5. https://doi.org/10.62036/ISD.2025.13

Paper Type

Full Paper

DOI

10.62036/ISD.2025.13

Download

Share

COinS
 

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.