Migrating legacy systems: gateways, interfaces & the incremental approach
Migrating legacy systems: gateways, interfaces & the incremental approach
Specification preservation in schema transformations—application to semantics and statistics
Data & Knowledge Engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Using schematically heterogeneous structures
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
A relational model of data for large shared data banks
Communications of the ACM
On algorithms for efficient data migration
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Relative information capacity of simple relational database schemata
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Legacy Information Systems: Issues and Directions
IEEE Software
Don't Scrap It, Wrap It! A Wrapper Architecture for Legacy Data Sources
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
The Butterfly Methodology: A Gateway-free Approach for Migrating Legacy Information Systems
ICECCS '97 Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems
A Survey of Black-Box Modernization Approaches for Information Systems
ICSM '00 Proceedings of the International Conference on Software Maintenance (ICSM'00)
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Wrapper-based evolution of legacy information systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Database application evolution: a transformational approach
Data & Knowledge Engineering - Special issue: ER 2003
Model-independent schema translation
The VLDB Journal — The International Journal on Very Large Data Bases
Algorithmica
A customised ASM thesis for database transformations
Acta Cybernetica
Specification and verification of model-driven data migration
MEDI'11 Proceedings of the First international conference on Model and data engineering
The transformational approach to database engineering
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
| Hi-index | 0.00 |
In this paper we investigate data migration fundamentals from a theoretical perspective. Following the framework of abstract interpretation, we first discuss models and schemata at different levels of abstraction to establish a Galois connection between abstract and concrete models. A legacy kernel is discovered at a high-level abstraction which consolidates heterogeneous data sources in a legacy system. We then show that migration transformations can be specified via the composition of two subclasses of transformations: property-preserving transformations and property-enhancing transformations. By defining the notions of refinement correctness for property-preserving and property-enhancing transformations, we develop a formal framework for refining transformations occurring in the process of data migration. In order to improve efficiency of static analysis, we further introduce an approach of verifying transformations by approximating abstraction relative to properties of interest, meanwhile preserving the refinement correctness as accurately as possible. The results of this paper lay down a theoretical foundation for developing data migration tools and techniques.