A Formal Modeling Approach to Information Systems Evolution and Data Migration

0
69

Authors: Jim Davies, Mohammed A. Aboulsamh

Tags: 2011, conceptual modeling

In the model-driven approach to software development, system implementations are generated automatically from abstract models of structure and behaviour. This could greatly facilitate systems evolution: a new version of a system may be produced simply by updating the system model and repeating the generation process. However, an information system may hold data of considerable value and complexity, and this must be safely migrated at each evolutionary step. This paper shows how this problem can be solved through a formal, model-driven approach: platform-specific data migration functions are generated automatically from a formal model of system changes, and the applicability of these functions is calculated in advance, ensuring that they may be safely applied to existing data.

Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-642-21759-3_28