{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:07Z","timestamp":1760586547418,"version":"3.38.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,2,8]],"date-time":"2011-02-08T00:00:00Z","timestamp":1297123200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s10270-011-0192-1","type":"journal-article","created":{"date-parts":[[2011,2,7]],"date-time":"2011-02-07T08:26:59Z","timestamp":1297067219000},"page":"145-174","source":"Crossref","is-referenced-by-count":9,"title":["Inter-modelling with patterns"],"prefix":"10.1007","volume":"12","author":[{"given":"Esther","family":"Guerra","sequence":"first","affiliation":[]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,2,8]]},"reference":[{"key":"192_CR1","doi-asserted-by":"crossref","unstructured":"Akehurst, D.H., Kent, S.: A relational approach to defining transformations in a metamodel. In: UML\u201902, LNCS, vol. 2460, pp. 243\u2013258. Springer, New York (2002)","DOI":"10.1007\/3-540-45800-X_20"},{"key":"192_CR2","unstructured":"Aleksy, M., Hildenbrand, T., Obergfell, C., Schwind, M.: A pragmatic approach to traceability in model-driven development. In: PRIMIUM\u201908, volume 328 of CEUR. http:\/\/CEUR-WS.org (2008)"},{"key":"192_CR3","unstructured":"ATL. http:\/\/www.sciences.univ-nantes.fr\/lina\/atl\/"},{"key":"192_CR4","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., B\u00fcttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow~A.: Model transformations? Transformation models! In: MoDELS\u201906. LNCS, vol. 4199, pp. 440\u2013453. Springer, New York (2006)","DOI":"10.1007\/11880240_31"},{"key":"192_CR5","unstructured":"Boronat, A., Cars\u00ed, J.A., Ramos, I.: Exogenous model merging by means of model management operators. In: SeTra\u201906, vol. 3. ECEASST (2006)"},{"issue":"3","key":"192_CR6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S1571-0661(04)80615-7","volume":"72","author":"P. Braun","year":"2003","unstructured":"Braun P., Marschall F.: Transforming object oriented models with BOTL. Electron. Notes Theor. Comput. Sci. 72(3), 103\u2013117 (2003)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"192_CR7","doi-asserted-by":"crossref","unstructured":"Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa\u201906, pp. 5\u201312. ACM Press (2006)","DOI":"10.1145\/1138304.1138307"},{"key":"192_CR8","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J. Cabot","year":"2010","unstructured":"Cabot J., Clariso R., Guerra E., de Lara J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83, 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"key":"192_CR9","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J., Hayes, J.H., Domel, J.M.: Model-based traceability. In: TEFSE\u201909 (2009)","DOI":"10.1109\/TEFSE.2009.5069575"},{"issue":"3","key":"192_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.tcs.2007.02.001","volume":"376","author":"J. Lara de","year":"2007","unstructured":"de Lara J., Bardohl R., Ehrig H., Ehrig K., Prange U., Taentzer G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3), 139\u2013163 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"192_CR11","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: Pattern-based model-to-model transformation. In: ICGT\u201908. LNCS, vol. 5214, pp. 426\u2013441. Springer, New York (2008)","DOI":"10.1007\/978-3-540-87405-8_29"},{"key":"192_CR12","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: Formal support for QVT-relations with coloured petri nets. In: MoDELS\u201909. LNCS, vol. 5795, pp. 256\u2013270. Springer, New York (2009)","DOI":"10.1007\/978-3-642-04425-0_19"},{"key":"192_CR13","doi-asserted-by":"crossref","unstructured":"Dehayni, M., F\u00e9raud, L.: An approach of model transformation based on attribute grammars. In: OOIS, LNCS, vol. 2817, pp. 412\u2013424. Springer, New York (2003)","DOI":"10.1007\/978-3-540-45242-3_42"},{"key":"192_CR14","doi-asserted-by":"crossref","unstructured":"Drivalos, N., Kolovos, D., Paige, R., Fernandes, K.: Engineering a DSL for software traceability. In: SLE\u201908. LNCS, vol. 5452, pp. 151\u2013167. Springer, New York (2008)","DOI":"10.1007\/978-3-642-00434-6_10"},{"key":"192_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: FASE\u201907. LNCS, vol. 4422, pp. 72\u201386. Springer, New York (2007)","DOI":"10.1007\/978-3-540-71289-3_7"},{"key":"192_CR16","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig H., Ehrig K., Prange U., Taentzer G.: Fundamentals of Algebraic Graph Transformation. Springer-Verlag, New York (2006)"},{"key":"192_CR17","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ermel, C., Hermann, F., Prange, U.: On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars. In: MoDELS\u201909. LNCS, vol. 5795, pp. 241\u2013255. Springer, New York (2009)","DOI":"10.1007\/978-3-642-04425-0_18"},{"key":"192_CR18","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Hermann, F., Sartorius, C.: Completeness and correctness of model transformations based on triple graph grammars with negative application conditions. In: GT-VMT\u201909, vol. 18. ECEASST (2009)","DOI":"10.1007\/978-3-642-04425-0_18"},{"key":"192_CR19","doi-asserted-by":"crossref","unstructured":"Espinoza, A., Alarc\u00f3n, P.P., Garbajosa, J.: Analyzing and systematizing current traceability schemas. In: SEW\u201906, pp. 21\u201332. IEEE CS (2006)","DOI":"10.1109\/SEW.2006.12"},{"key":"192_CR20","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3) (2007)","DOI":"10.1145\/1232420.1232424"},{"issue":"1","key":"192_CR21","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H. Giese","year":"2009","unstructured":"Giese H., Wagner R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"key":"192_CR22","doi-asserted-by":"crossref","unstructured":"Goedicke, M., Enders, B., Meyer, T., Taentzer, G.: Towards integration of multiple perspectives by distributed graph transformation. In: AGTIVE\u201999. LNCS, vol. 1779, pp. 369\u2013377. Springer, New York (1999)","DOI":"10.1007\/3-540-45104-8_29"},{"issue":"3","key":"192_CR23","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10270-007-0051-2","volume":"6","author":"E. Guerra","year":"2007","unstructured":"Guerra E., de Lara J.: Event-driven grammars: relating abstract and concrete levels of visual languages. Softw. Syst. Model. 6(3), 317\u2013347 (2007)","journal-title":"Softw. Syst. Model."},{"key":"192_CR24","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F.: Inter-modelling: from theory to practice. In: MoDELS\u201910. LNCS, vol. 6394, pp. 376\u2013391. Springer, New York (2010)","DOI":"10.1007\/978-3-642-16145-2_26"},{"key":"192_CR25","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F.: A visual specification language for model-to-model transformations. In: Proc. IEEE VL\/HCC\u201910, pp. 119\u2013126. IEEE CS Press (2010)","DOI":"10.1109\/VLHCC.2010.25"},{"key":"192_CR26","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Orejas, F.: Pattern-based model-to-model transformation: handling attribute conditions. In: ICMT\u201909. LNCS, vol. 5563, pp. 83\u201399. Springer, New York (2009)","DOI":"10.1007\/978-3-642-02408-5_7"},{"key":"192_CR27","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Orejas, F.: Controlling reuse in pattern-based model-to-model transformations. In: Graph Transformations and Model Driven Engineering\u2014Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. LNCS, vol. 5765, pp. 178\u2013204. Springer, New York (2010)","DOI":"10.1007\/978-3-642-17322-6_9"},{"key":"192_CR28","doi-asserted-by":"crossref","unstructured":"Ivkovic, I., Kontogiannis, K.: Tracing evolution changes of software artifacts through model synchronization. In: ICSM\u201904, pp. 252\u2013261. IEEE CS (2004)","DOI":"10.1109\/ICSM.2004.1357809"},{"key":"192_CR29","unstructured":"KMF. http:\/\/www.cs.kent.ac.uk\/projects\/kmf\/"},{"key":"192_CR30","doi-asserted-by":"crossref","unstructured":"Kolovos, D., Di Ruscio, D., Pierantonio, A., Paige, R.: Different models for model matching: an analysis of approaches to support model differencing. In: CVSM\u201909, pp. 1\u20136 (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"192_CR31","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S.: Establishing correspondences between models with the Epsilon Comparison Language. In: ECMDA-FA\u201909. LNCS, vol. 5562, pp. 146\u2013157. Springer, New York (2009)","DOI":"10.1007\/978-3-642-02674-4_11"},{"key":"192_CR32","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Object Language (EOL). In: ECMDA-FA\u201906. LNCS, vol. 4066, pp. 128\u2013142. Springer, New York (2006)","DOI":"10.1007\/11787044_11"},{"key":"192_CR33","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Transformation Language. In: ICMT\u201908. LNCS, vol. 5063, pp. 46\u201360. Springer, New York (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"issue":"1","key":"192_CR34","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.entcs.2005.12.015","volume":"148","author":"A. K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs A., Sch\u00fcrr A.: Tool integration with triple graph grammars\u2014a survey. Electron. Notes Theor. Comput. Sci. 148(1), 113\u2013150 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"192_CR35","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: MoDELS Satellite Events. LNCS, vol. 3844, pp. 139\u2013150. Springer, New York (2005)","DOI":"10.1007\/11663430_15"},{"key":"192_CR36","doi-asserted-by":"crossref","unstructured":"M\u00e4der, P., Gotel, O., Philippow I.: Rule-based maintenance of post-requirements traceability relations. In: RE\u201908, pp. 23\u201332. IEEE CS (2008)","DOI":"10.1109\/RE.2008.24"},{"issue":"2","key":"192_CR37","first-page":"129","volume":"23","author":"S.-C. Mu","year":"2006","unstructured":"Mu S.-C., Hu Z., Takeichi M.: Bidirectionalizing tree transformation languages: a case study. JSSST Comput. Softw. 23(2), 129\u2013141 (2006)","journal-title":"JSSST Comput. Softw."},{"key":"192_CR38","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: ICSE\u201907, pp. 54\u201364. IEEE CS (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"192_CR39","doi-asserted-by":"crossref","unstructured":"Orejas, F., Guerra, E., de Lara, J., Ehrig, H.: Correctness, completeness and termination of pattern-based model-to-model transformation. In: CALCO\u201909. LNCS, vol. 5728, pp. 383\u2013397. Springer, New York (2009)","DOI":"10.1007\/978-3-642-03741-2_26"},{"key":"192_CR40","doi-asserted-by":"crossref","unstructured":"Orejas, F., Wirsing, M.: On the specification and verification of model transformations. In: Semantics and Algebraic Specification. LNCS, vol. 5700, pp. 140\u2013161 (2009)","DOI":"10.1007\/978-3-642-04164-8_8"},{"key":"192_CR41","unstructured":"QVT. http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf"},{"key":"192_CR42","doi-asserted-by":"crossref","unstructured":"Rebout, M., F\u00e9raud, L., Soloviev, S.: A unified categorical approach for attributed graph rewriting. In: CSR\u201908. LNCS, vol. 5010, pp. 398\u2013409. Springer, New York (2008)","DOI":"10.1007\/978-3-540-79709-8_39"},{"key":"192_CR43","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez, J., Garc\u00eda, J., Men\u00e1rguez, M.: RubyTL: a practical, extensible transformation language. In: ECMDA-FA\u201906. LNCS, vol. 4066, pp. 158\u2013172. Springer, New York (2006)","DOI":"10.1007\/11787044_13"},{"key":"192_CR44","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: WG\u201994. LNCS, vol. 903, pp. 151\u2013163. Springer, New York (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"192_CR45","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Klar, F.: 15\u00a0years of triple graph grammars. In: ICGT\u201908. LNCS, vol. 5214, pp. 411\u2013425. Springer, New York (2008)","DOI":"10.1007\/978-3-540-87405-8_28"},{"key":"192_CR46","unstructured":"SmartQVT. http:\/\/smartqvt.elibel.tm.fr\/"},{"key":"192_CR47","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. In: MoDELS\u201907. LNCS, vol. 4735, pp. 1\u201315. Springer, New York (2007)","DOI":"10.1007\/978-3-540-75209-7_1"},{"key":"192_CR48","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.entcs.2008.04.038","volume":"211","author":"J. Winkelmann","year":"2008","unstructured":"Winkelmann J., Taentzer G., Ehrig K., K\u00fcster J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. Electron. Notes Theor. Comput. Sci. 211, 159\u2013170 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"192_CR49","doi-asserted-by":"crossref","unstructured":"Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object oriented design differencing. In: ASE\u201905, pp. 54\u201365. ACM (2005)","DOI":"10.1145\/1101908.1101919"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0192-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0192-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0192-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T12:10:44Z","timestamp":1740917444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0192-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,8]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["192"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0192-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2011,2,8]]}}}