A Formal Modeling Approach to Information Systems Evolution and Data Migration

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.

[1]  David Clark,et al.  UML to B: Formal Verification of Object-Oriented Models , 2004, IFM.

[2]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[3]  Elke A. Rundensteiner,et al.  SERF: schema evolution through an extensible, re-usable and flexible framework , 1998, CIKM '98.

[4]  Jim Davies,et al.  Formality, Evolution, and Model-driven Software Engineering , 2005, Electron. Notes Theor. Comput. Sci..

[5]  Terry A. Halpin,et al.  Information Modelling and Relational Databases , 2001 .

[6]  Jean-Marc Jézéquel,et al.  Refactoring UML Models , 2001, UML.

[7]  Amel Mammar,et al.  An overview of a method and its support tool for generating B specifications from UML notations , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[8]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[9]  Fabrizio Ferrandina,et al.  Schema and Database Evolution in the O2 Object Database System , 1995, VLDB.

[10]  Stephan Philippi,et al.  Model driven generation and testing of object-relational mappings , 2005, J. Syst. Softw..

[11]  Burkhard Freitag,et al.  A UML Profile for Modeling Schema Mappings , 2006, ER.

[12]  Jim Davies,et al.  A Metamodel-Based Approach to Information Systems Evolution and Data Migration , 2010, 2010 Fifth International Conference on Software Engineering Advances.

[13]  Jean Bézivin,et al.  AMW: a generic model weaver , 2005 .

[14]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[15]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[16]  Jim Davies,et al.  Model-Driven Data Migration , 2010, ER Workshops.

[17]  Elke Pulvermüller,et al.  A Flexible Approach for Instance Adaptation During Class Versioning , 2000, Objects and Databases.

[18]  Martin Gogolla,et al.  Transforming Data Models with UML , 2003, Knowledge Transformation for the Semantic Web.

[19]  Heinrich Hußmann,et al.  Using UML/OCL Constraints for Relational Database Design , 1999, UML.

[20]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[21]  Jim Davies,et al.  On the generation of object databases using booster , 2006 .

[22]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.