{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:25:57Z","timestamp":1766579157915},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642217586"},{"type":"electronic","value":"9783642217593"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21759-3_28","type":"book-chapter","created":{"date-parts":[[2011,6,30]],"date-time":"2011-06-30T09:18:45Z","timestamp":1309425525000},"page":"383-397","source":"Crossref","is-referenced-by-count":4,"title":["A Formal Modeling Approach to Information Systems Evolution and Data Migration"],"prefix":"10.1007","author":[{"given":"Mohammed A.","family":"Aboulsamh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Davies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"28_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J. Bezivin","year":"2005","unstructured":"Bezivin, J.: On the unification power of models. Software and Systems Modeling\u00a04(2), 171\u2013188 (2005)","journal-title":"Software and Systems Modeling"},{"key":"28_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"28_CR3","first-page":"249","volume-title":"The 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006)","author":"J. Davies","year":"2006","unstructured":"Davies, J., Welch, J., Cavarra, A., Crichton, E.: On the Generation of Object Databases using Booster. In: The 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), pp. 249\u2013258. IEEE Computer Society, Washington, DC, USA (2006)"},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11908883_8","volume-title":"Advances in Conceptual Modeling - Theory and Practice","author":"S. Kurz","year":"2006","unstructured":"Kurz, S., Guppenberger, M., Freitag, B.: A UML profile for modeling schema mappings. In: Roddick, J., Benjamins, V.R., Si-said Cherfi, S., Chiang, R., Claramunt, C., Elmasri, R.A., Grandi, F., Han, H., Hepp, M., Lytras, M.D., Mi\u0161i\u0107, V.B., Poels, G., Song, I.-Y., Trujillo, J., Vangenot, C. (eds.) ER Workshops 2006. LNCS, vol.\u00a04231, pp. 53\u201362. Springer, Heidelberg (2006)"},{"issue":"2","key":"28_CR5","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.jss.2004.07.252","volume":"77","author":"S. Philippi","year":"2005","unstructured":"Philippi, S.: Model driven generation and testing of object-relational mappings. Journal of Systems and Software\u00a077(2), 193\u2013207 (2005)","journal-title":"Journal of Systems and Software"},{"key":"28_CR6","unstructured":"Gogolla, M., Lindow, A.: Transforming data models with UML. In: Knowledge Transformation for the Semantic Web, pp. 18\u201333 (2003)"},{"key":"28_CR7","volume-title":"Fundamentals of Entity-relationship Modeling","author":"B. Thalheim","year":"1999","unstructured":"Thalheim, B.: Fundamentals of Entity-relationship Modeling. Springer, Heidelberg (1999)"},{"key":"28_CR8","volume-title":"Information Modeling and Relational Databases","author":"T. Halpin","year":"2008","unstructured":"Halpin, T., Morgan, T.: Information Modeling and Relational Databases. Morgan Kaufmann Publishers Inc., San Francisco (2008)"},{"key":"28_CR9","unstructured":"Object Management Group(OMG). UML 2.0 infrastructure specification, v2.1.2 (2007), http:\/\/www.omg.org\/spec\/UML\/2.1.2\/ (retrieved February 09, 2011)"},{"key":"28_CR10","unstructured":"Object Management Group (OMG). OCL specifications, version 2.2. (2010), http:\/\/www.omg.org\/spec\/OCL\/2.2 (retrieved February 09, 2011)"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1007\/3-540-46852-8_42","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"B. Demuth","year":"1999","unstructured":"Demuth, B., Hussmann, H.: Using UML\/OCL constraints for relational database design. In: France, R.B. (ed.) UML 1999. LNCS, vol.\u00a01723, pp. 598\u2013613. Springer, Heidelberg (1999)"},{"key":"28_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming. Springer, New York (1981)"},{"key":"28_CR13","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"28_CR14","unstructured":"B-Core UK. B-Toolkit (2011), http:\/\/www.b-core.com\/btoolkit.html (retrieved February 09, 2011)"},{"key":"28_CR15","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1145\/38713.38748","volume-title":"ACM SIGMOD International Conference on Management of Data (SIGMOD 1987)","author":"J. Banerjee","year":"1987","unstructured":"Banerjee, J., Kim, W., Kim, H.-J., Korth, H.: Semantics and implementation of schema evolution in object-oriented databases. In: ACM SIGMOD International Conference on Management of Data (SIGMOD 1987), pp. 311\u2013322. ACM, New York (1987)"},{"key":"28_CR16","volume-title":"Very Large Database","author":"F. Ferrandina","year":"1995","unstructured":"Ferrandina, F., Meyer, T., Zicari, R., Ferran, G., Madec, J.: Schema and database evolution in the O2 object database system. In: Very Large Database, Morgan Kaufmann, San Francisco (1995)"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Jing, J., Claypool, K., Rundensteiner, E.: SERF: Schema Evolution through an Extensible, Re-usable and Flexible Framework. In: Int. Conf. on Information and Knowledge Management (1998)","DOI":"10.1145\/288627.288672"},{"key":"28_CR18","first-page":"101","volume-title":"Proceedings of the International Symposium on Objects and Databases","author":"A. Rashid","year":"2000","unstructured":"Rashid, A., Sawyer, P., Pulvermueller, E.: A flexible approach for instance adaptation during class versioning. In: Proceedings of the International Symposium on Objects and Databases, pp. 101\u2013113. Springer, London (2000)"},{"key":"28_CR19","unstructured":"Fabro, M., Bezivin, J., Jouault, F., Breton, E., Gueltas, G.A.: a generic model weaver. In: Proceedings of the 1re Journe sur l\u2019Ingnierie Dirige par les Modles (2005)"},{"key":"28_CR20","first-page":"134","volume-title":"The 4th International Conference on The Modeling Languages","author":"G. Sunye","year":"2001","unstructured":"Sunye, G., Pollet, D., Traon, Y., Jezequel, J.-M.: Refactoring UML models. In: The 4th International Conference on The Modeling Languages, pp. 134\u2013148. Springer, Heidelberg (2001)"},{"key":"28_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-24756-2_11","volume-title":"Integrated Formal Methods","author":"S.-L. Peng","year":"2004","unstructured":"Peng, S.-L., Clark, D., Androutsopoulos, K.: UML to B: Formal verification of object-oriented models. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 187\u2013206. Springer, Heidelberg (2004)"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Laleau, R., Mammar, A.: An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. In: IEEE Proceedings of the Automated Software Engineering, pp. 269\u2013272 (2000)","DOI":"10.1109\/ASE.2000.873675"},{"key":"28_CR23","first-page":"285","volume-title":"2010 International Conference on Advances in Conceptual Modeling: Applications and Challenges (ER 2010)","author":"M. Aboulsamh","year":"2010","unstructured":"Aboulsamh, M., Crichton, E., Davies, J., Welch, J.: Model-driven data migration. In: 2010 International Conference on Advances in Conceptual Modeling: Applications and Challenges (ER 2010), pp. 285\u2013294. Springer, Heidelberg (2010)"},{"key":"28_CR24","volume-title":"The 2010 Fifth International Conference on Software Engineering Advances (ICSEA 2010)","author":"M. Aboulsamh","year":"2010","unstructured":"Aboulsamh, M., Davies, J.: A Metamodel-Based Approach to Information Systems Evolution and Data Migration. In: The 2010 Fifth International Conference on Software Engineering Advances (ICSEA 2010), IEEE Computer Society, Washington, DC, USA (2010b)"},{"key":"28_CR25","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2005.03.004","volume":"130","author":"J. Davies","year":"2005","unstructured":"Davies, J., Crichton, C., Crichton, E., Neilson, D., Sorensen, I.H.: Formality, Evolution, and Model-driven Software Engineering. Electron. Notes Theor. Comput. Sci.\u00a0(130), 39\u201355 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"5","key":"28_CR26","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S. Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of model-driven software development. IEEE Software\u00a020(5), 42\u201345 (2003)","journal-title":"IEEE Software"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21759-3_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T11:26:45Z","timestamp":1560338805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21759-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642217586","9783642217593"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21759-3_28","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}