{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:44:30Z","timestamp":1743090270003,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662544938"},{"type":"electronic","value":"9783662544945"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54494-5_14","type":"book-chapter","created":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:09:02Z","timestamp":1490141342000},"page":"247-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Traceability Mappings as a Fundamental Instrument in Model Transformations"],"prefix":"10.1007","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[]},{"given":"Abel","family":"G\u00f3mez","sequence":"additional","affiliation":[]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,22]]},"reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1147\/sj.453.0515","volume":"45","author":"N Aizenbud-Reshef","year":"2006","unstructured":"Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model traceability. IBM Syst. J. 45(3), 515\u2013526 (2006)","journal-title":"IBM Syst. J."},{"key":"14_CR2","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.M.: Analysis of model transformations via alloy. In: Proceedings of the 4th MoDeVVa workshop Model-Driven Engineering, Verification and Validation, pp. 47\u201356 (2007)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Benelallam, A., G\u00f3mez, A., Tisi, M., Cabot, J.: Distributed model-to-model transformation with ATL on mapreduce. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, pp. 37\u201348. ACM, New York (2015)","DOI":"10.1145\/2814251.2814258"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10270-008-0094-z","volume":"8","author":"M Didonet Del Fabro","year":"2009","unstructured":"Didonet Del Fabro, M., Valduriez, P.: Towards the efficient development of model transformations using model weaving and matching transformations. Softw. Syst. Model. 8(3), 305\u2013324 (2009)","journal-title":"Softw. Syst. Model."},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-18023-1_3","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z.: Model synchronization: mappings, tiles, and categories. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 92\u2013165. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-18023-1_3"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-28872-2_12","volume-title":"Fundamental Approaches to Software Engineering","author":"Z Diskin","year":"2012","unstructured":"Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 163\u2013177. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-28872-2_12"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Freund, M., Braune, A.: A generic transformation algorithm to simplify the development of mapping models. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, pp. 284\u2013294. ACM, New York (2016)","DOI":"10.1145\/2976767.2976777"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-319-21155-8_13","volume-title":"Theory and Practice of Model Transformations","author":"L Gammaitoni","year":"2015","unstructured":"Gammaitoni, L., Kelsen, P.: F-alloy: an alloy based model transformation language. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 166\u2013180. Springer, Cham (2015). doi:10.1007\/978-3-319-21155-8_13"},{"key":"14_CR9","unstructured":"Gholizadeh, H., Diskin, Z., Kokaly, S., Maibaum, T.: Analysis of source-to-target model transformations in quest. In: Dingel, J., Kokaly, S., Lucio, L., Salay, R., Vangheluwe, H. (eds.) Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, 28 September 2015, vol. 1500, CEUR Workshop Proceedings, pp. 46\u201355 (2015). CEUR-WS.org"},{"key":"14_CR10","unstructured":"Gholizadeh, H., Diskin, Z., Maibaum, T.: A query structured approach for model transformation. In: Dingel, J., de Lara, J., Lucio, L., Vangheluwe, H. (eds.) Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), CEUR Workshop Proceedings Valencia, Spain, September 29, 2014, vol. 1277, pp. 54\u201363. CEUR-WS.org (2014)"},{"issue":"1\u20132","key":"14_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-69927-9_4"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/1-84628-152-0_23","volume-title":"Interoperability of Enterprise Software and Applications","author":"D Lopes","year":"2006","unstructured":"Lopes, D., Hammoudi, S., B\u00e9zivin, J., Jouault, F.: Mapping specification in MDA: from theory to practice. In: Konstantas, D., Bourri\u00e9res, J.-P., L\u00e9onard, M., Boudjlida, N. (eds.) Interoperability of Enterprise Software and Applications, pp. 253\u2013264. Springer, London (2006)"},{"key":"14_CR14","unstructured":"Marschall, F., Braun, P.: Model transformations for the MDA with BOTL. In: Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications, pp. 25\u201336 (2003)"},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10270-010-0158-8","volume":"10","author":"RF Paige","year":"2011","unstructured":"Paige, R.F., Drivalos, N., Kolovos, D.S., Fernandes, K.J., Power, C., Olsen, G.K., Zschaler, S.: Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model. 10(4), 469\u2013487 (2011)","journal-title":"Softw. Syst. Model."},{"key":"14_CR16","unstructured":"The Eclipse Foundation: ATL, October 2016. url:http:\/\/www.eclipse.org\/atl\/"},{"key":"14_CR17","unstructured":"The Eclipse Foundation: Epsilon October 2016. url:http:\/\/www.eclipse.org\/epsilon\/"},{"key":"14_CR18","unstructured":"Willink, E., Matragkas, N.: QVT traceability: what does it really mean? In: Analysis of Model Transformations, AMT 2015, 4th Workshop Models 2015 (2015)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-13688-7_18","volume-title":"Theory and Practice of Model Transformations","author":"M Wimmer","year":"2010","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schoenboeck, J., Schwinger, W.: Surviving the heterogeneity jungle with composite mapping operators. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 260\u2013275. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-13688-7_18"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54494-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T02:20:42Z","timestamp":1618971642000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54494-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544938","9783662544945"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"22 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}