Work

Formal Modelling of Information System Evolution using B

Year: 2025

Type: conference-paper

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.

Source: Proceedings of the International Conference on Information Systems Development

DOI: 10.62036/isd.2025.13

Authors: Pascal Andr�, Henri Habrias

Institutions: Laboratoire des Sciences du Numérique de Nantes, Nantes Université, Université de Nantes

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W4416026919

FWCI:

Cites:

Cited by:

Related to: