A Formal Modeling Approach to Information Systems Evolution and Data Migration

摘要

In the model-driven approach to software development, sys tem implementations are generated automatically from abstract models of structure and behaviour. This could greatly facilitate systems evolu tion: a new version of a system may be produced simply by updating the system model and repeating the generation process. However, an in formation 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 auto matically 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.