{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:21:02Z","timestamp":1725618062959},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244421"},{"type":"electronic","value":"9783642244438"}],"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-24443-8_23","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T04:34:12Z","timestamp":1317875652000},"page":"214-225","source":"Crossref","is-referenced-by-count":2,"title":["Specification and Verification of Model-Driven Data Migration"],"prefix":"10.1007","author":[{"given":"Mohammed A.","family":"Aboulsamh","sequence":"first","affiliation":[]},{"given":"Jim","family":"Davies","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"23_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":"23_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":"23_CR3","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":"23_CR4","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":"23_CR5","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":"23_CR6","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":"23_CR7","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":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-44677-X_7","volume-title":"Objects and Databases","author":"A. Rashid","year":"2001","unstructured":"Rashid, A., Sawyer, P., Pulvermueller, E.: A flexible approach for instance adaptation during class versioning. In: Dittrich, K.R., Oliva, M., Rodriguez, M.E. (eds.) ECOOP-WS 2000. LNCS, vol.\u00a01944, pp. 101\u2013113. Springer, Heidelberg (2001)"},{"key":"23_CR9","unstructured":"Fabro, M., Bezivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a generic model weaver. In: Proceedings of the 1\u00e9re Journ\u00e9e sur l\u2019Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e9les (2005)"},{"key":"23_CR10","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., J\u00e9z\u00e9quel, J.-M.: models. In: The 4th International Conference on The Modeling Languages, pp. 134\u2013148. Springer, Heidelberg (2001)"},{"key":"23_CR11","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 Automated Software Engineering, pp. 269\u2013272 (2000)","DOI":"10.1109\/ASE.2000.873675"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Aboulsamh, M., Crichton, E., Davies, J., Welch, J.: Model-driven data migration. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol.\u00a06412, pp. 285\u2013294. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16385-2_35"},{"key":"23_CR13","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 (2010b)"},{"key":"23_CR14","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.\u00a0130, 39\u201355 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"5","key":"23_CR15","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"},{"key":"23_CR16","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley Professional, Reading (1999)"},{"issue":"2","key":"23_CR17","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens, T., Tourwe, T.: A Survey of Software Refactoring. IEEE Trans. Softw. Eng.\u00a030(2), 26\u2013139 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"23_CR18","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-21759-3_28","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"M. Aboulsamh","year":"2011","unstructured":"Aboulsamh, M., Davies, J.: A Formal Modelling Approach to Information Systems Evolution and Data Migration. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS 2011 and EMMSAD 2011. LNBIP, vol.\u00a081, pp. 383\u2013397. Springer, Heidelberg (2011)"},{"key":"23_CR19","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":"K. Lano","year":"2004","unstructured":"Lano, K., 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)"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24443-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T03:44:32Z","timestamp":1560743072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24443-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244421","9783642244438"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24443-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}