{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:06:49Z","timestamp":1758265609959},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,8,19]],"date-time":"2009-08-19T00:00:00Z","timestamp":1250640000000},"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":[[2010,9]]},"DOI":"10.1007\/s10270-009-0122-7","type":"journal-article","created":{"date-parts":[[2009,8,18]],"date-time":"2009-08-18T11:53:42Z","timestamp":1250596422000},"page":"453-471","source":"Crossref","is-referenced-by-count":22,"title":["Synchronization of abstract and concrete syntax in domain-specific modeling languages"],"prefix":"10.1007","volume":"9","author":[{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"\u00d6kr\u00f6s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,19]]},"reference":[{"key":"122_CR1","unstructured":"The Eclipse Project: Graphical Modeling Framework. http:\/\/www.eclipse.org\/gmf"},{"key":"122_CR2","first-page":"321","volume-title":"Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems, Volume 4199 of Lecture Notes in Computer Science","author":"D. Hearnden","year":"2006","unstructured":"Hearnden D., Lawley M., Raymond K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems, Volume 4199 of Lecture Notes in Computer Science, pp. 321\u2013335. Springer, Genova, Italy (2006)"},{"key":"122_CR3","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., Bergmann, G., \u00d6kr\u00f6s, A., Varr\u00f3, D.: Live model transformations driven by incremental pattern matching. In: Theory and Practice of Model Transformations. Volume 5063\/2008 of Lecture Notes in Computer Science, pp. 107\u2013121. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_8"},{"issue":"3","key":"122_CR4","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3 D., Balogh A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"122_CR5","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., V\u00e1g\u00f3, D., Varr\u00f3, D.: Design-time simulation of domain-specific models by incremental pattern matching. In: 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC) (2008)","DOI":"10.1109\/VLHCC.2008.4639089"},{"key":"122_CR6","unstructured":"Metacase: MetaEdit+. http:\/\/www.metacase.com\/mep\/"},{"key":"122_CR7","unstructured":"The Eclipse Project: Eclipse Modeling Framework. http:\/\/www.eclipse.org\/emf"},{"key":"122_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. Volume 2: Applications, Languages and Tools. World Scientific, Singapore (1999)","DOI":"10.1142\/4180"},{"key":"122_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines. A method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger E., St\u00e4rk R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer-Verlag, New York (2003)"},{"key":"122_CR10","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the VIATRA transformation system. In: GRaMoT\u201908, 3rd International Workshop on Graph and Model Transformation, 30th International Conference on Software Engineering (2008)","DOI":"10.1145\/1402947.1402953"},{"key":"122_CR11","doi-asserted-by":"crossref","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Proceedings of 9th International Conference on Model Driven Engineering Languages and Systems (MODELS 2006). Volume 4199 of LNCS, pp. 321\u2013335. Springer, Berlin (2006)","DOI":"10.1007\/11880240_23"},{"key":"122_CR12","unstructured":"Champeau, J., Rochefort, E.: Model engineering and traceability. In: SIVOES-MDA Workshop. UML 2003 Conference (2003)"},{"key":"122_CR13","unstructured":"Walderhaug, S., Johansen, U., Stav, E., Aagedal, J.: Towards a generic solution for traceability in MDD. In: 5th ECMDA Workshop on Traceability. ECMDA Conference (2006)"},{"key":"122_CR14","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/11880240_8","volume":"4199\/2006","author":"P.A. Muller","year":"2006","unstructured":"Muller P.A., Fleurey F., Fondement F., Hassenforder M., Schneckenburger R., Grard S., Jzquel J.M.: Model-driven analysis and synthesis of concrete syntax. Model Driven Engineering Languages and Systems, Springer LNCS 4199\/2006, 98\u2013110 (2006). doi: 10.1007\/11880240_8","journal-title":"Model Driven Engineering Languages and Systems, Springer LNCS"},{"key":"122_CR15","volume-title":"Database Systems: The Complete Book","author":"H. Garcia-Molina","year":"2001","unstructured":"Garcia-Molina H., Ullman J.D., Widom J.: Database Systems: The Complete Book. Prentice Hall, Englewood Cliffs (2001)"},{"key":"122_CR16","first-page":"1","volume-title":"Proceedings of the 2nd International Workshop on Rules in Database Systems. Volume 985 of Lecture Notes in Computer Science, Glyfada, Athens, Greece","author":"K.R. Dittrich","year":"1995","unstructured":"Dittrich K.R., Gatziu S., Geppert A.: The active database management system manifesto: a rulebase of ADBMS features. In: Sellis, T. (eds) Proceedings of the 2nd International Workshop on Rules in Database Systems. Volume 985 of Lecture Notes in Computer Science, Glyfada, Athens, Greece, pp. 1\u201317. Springer, New York (1995)"},{"key":"122_CR17","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Banti, F., Brogi, A.: An event-condition-action logic programming language. In: In the Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 06), pp. 29\u201342. Springer, New York (2006)","DOI":"10.1007\/11853886_5"},{"key":"122_CR18","first-page":"98","volume-title":"Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web. Volume 3791 of Lecture Notes in Computer Science, Galway, Ireland","author":"M. Seiri\u00f6","year":"2005","unstructured":"Seiri\u00f6 M., Berndtsson M.: Design and implementation of an ECA. In: Adi, A., Stoutenburg, S., Tabet, S. (eds) Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web. Volume 3791 of Lecture Notes in Computer Science, Galway, Ireland, pp. 98\u2013112. Springer, New York (2005)"},{"key":"122_CR19","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Introduction to PROGRES, an attributed graph grammar based specification language. In: Nagl, M. (ed.) Graph\u2013 Theoretic Concepts in Computer Science, Volume 411 of LNCS, pp. 151\u2013165. Springer, Berlin (1990)","DOI":"10.1007\/3-540-52292-1_11"},{"key":"122_CR20","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings of 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006). Volume 4199 of LNCS, pp. 543\u2013557. Springer, New York (2006)","DOI":"10.1007\/11880240_38"},{"key":"122_CR21","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. Technical report, RWTH Aachen, Fachgruppe Informatik, Germany (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"122_CR22","doi-asserted-by":"crossref","unstructured":"Klar, F., K\u00f6nigs, A., Sch\u00fcrr, A.: Model transformation in the large. In: ESEC-FSE \u201907: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, pp. 285\u2013294. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1287624.1287664"},{"key":"122_CR23","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: ACM SIGMOD Proceedings, pp. 157\u2013166. Washington, D.C., USA (1993)","DOI":"10.1145\/170035.170066"},{"key":"122_CR24","first-page":"71","volume-title":"Proceedings of the 4th Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2004), Volume 109 of ENTCS, Barcelona, Spain","author":"G. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3 G., Varr\u00f3 D.: Graph transformation with incremental updates. In: Heckel, R. (eds) Proceedings of the 4th Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2004), Volume 109 of ENTCS, Barcelona, Spain, pp. 71\u201383. Elsevier, Amsterdam (2004)"},{"issue":"3","key":"122_CR25","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10270-006-0015-y","volume":"5","author":"G. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3 G., Friedl K., Varr\u00f3 D.: Implementing a graph transformation engine in relational databases. Softw. Syst. Model. 5(3), 313\u2013341 (2006)","journal-title":"Softw. Syst. Model."},{"key":"122_CR26","doi-asserted-by":"crossref","unstructured":"J. Jakob, A.K., Sch\u00fcrr, A.(2006) Non-materialized model view specification with triple graph grammars. In: Corradini, A. (ed.) International Conference on Graph Transformations. Volume 4178 of Lecture Notes in Computer Science (LNCS), pp. 321\u2013335. Springer Verlag, Heidelberg","DOI":"10.1007\/11841883_23"},{"issue":"2","key":"122_CR27","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10270-004-0071-0","volume":"4","author":"S.M. Becker","year":"2005","unstructured":"Becker S.M., Thomas Haase B.W.: Model-based a-posteriori integration of engineering tools for incremental development processes. Softw. Syst. Model. 4(2), 123\u2013140 (2005)","journal-title":"Softw. Syst. Model."},{"key":"122_CR28","unstructured":"The Object Management Group: Documents Associated With Meta Object Facility (MOF) 2.0 and Query\/View\/Transformation, V1.0 (2008). http:\/\/www.omg.org\/spec\/QVT\/1.0"},{"key":"122_CR29","unstructured":"The University of Queensland: The TefKat tool homepage. http:\/\/tefkat.sourceforge.net\/"},{"key":"122_CR30","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the uml. In: Proceedings of the 28th International Conference on Software Engineering, pp. 381\u2013390. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"122_CR31","doi-asserted-by":"crossref","unstructured":"Del Fabro, M.D., Valduriez, P.: Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling (July 2008) Special section paper. Springer, Berlin\/Heidelberg. doi: 10.1007\/s10270-008-0094-z","DOI":"10.1007\/s10270-008-0094-z"},{"key":"122_CR32","unstructured":"Kolovos, D.S.: Editing EMF Models with Exeed. Technical report, Department of Computer Science, University of York (2007). http:\/\/www.eclipse.org\/gmt\/epsilon\/doc\/Exeed.pdf"},{"key":"122_CR33","first-page":"1","volume":"5095\/2008","author":"L.M. Rose","year":"2008","unstructured":"Rose L.M., Paige R.F., Kolovos D.S., Polack F.A.C.: The Epsilon Generation Language. Model Driven Architecture Foundations and Applications, Springer LNCS 5095\/2008, 1\u201316 (2008). doi: 10.1007\/978-3-540-69100-6_1","journal-title":"Model Driven Architecture Foundations and Applications, Springer LNCS"},{"key":"122_CR34","unstructured":"Metacase: MetaEdit+. http:\/\/www.metacase.com\/mep\/"},{"key":"122_CR35","unstructured":"Microsoft: DSL Tools. http:\/\/lab.msdn.microsoft.com\/teamsystem\/workshop\/dsltools\/default.aspx"},{"key":"122_CR36","unstructured":"Greenfield, J.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. http:\/\/msdn.microsoft.com\/library\/en-us\/dnbda\/html\/softfact3.asp"},{"key":"122_CR37","unstructured":"Zhu, N., Grundy, J.C., Hosking, J.G.: Pounamu: a meta-tool for multi-view visual language environment construction. In: Proceedings of the 2004 International Conference on Visual Languages and Human-Centric Computing, pp. 254\u2013256. Rome, Italy (September 2004)"},{"key":"122_CR38","first-page":"183","volume":"4320\/2006","author":"H.F. Daniel Amyot","year":"2006","unstructured":"Daniel Amyot H.F., Roy J.F.: Evaluation of Development Tools for Domain-Specific Modeling Languages. System Analysis and Modeling: Language Profiles, Springer LNCS 4320\/2006, 183\u2013197 (2006). doi: 10.1007\/11951148_12","journal-title":"System Analysis and Modeling: Language Profiles, Springer LNCS"},{"key":"122_CR39","first-page":"134","volume-title":"20th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2005), November 7\u201311, 2005, Long Beach, CA, USA","author":"K. Ehrig","year":"2005","unstructured":"Ehrig K., Ermel C., H\u00e4nsgen S., Taentzer G.: Generation of visual editors as Eclipse plug-ins. In: Redmiles, D.F., Ellman, T., Zisman, A. (eds) 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2005), November 7\u201311, 2005, Long Beach, CA, USA, pp. 134\u2013143. ACM, New York (2005)"},{"key":"122_CR40","first-page":"252","volume-title":"Proceedings of Theory and Application to Graph Transformations (TAGT\u201998), Volume 1764 of LNCS","author":"R. Bardohl","year":"2000","unstructured":"Bardohl R., Ehrig H.: Conceptual model of the graphical editor GENGED for the visual definition of visual languages. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds) Proceedings of Theory and Application to Graph Transformations (TAGT\u201998), Volume 1764 of LNCS, pp. 252\u2013266. Springer, New York (2000)"},{"key":"122_CR41","unstructured":"K\u00f6th, O., Minas, M.: Generating diagram editors providing free-hand editing as well as syntax-directed editing. In: Ehrig, H., Taentzer, G., (eds.) GRATRA 2000 Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, pp. 32\u201339. Berlin, Germany (March 25\u201327 2000)"},{"key":"122_CR42","unstructured":"Minas, M.: Generating visual editors based on fujaba\/moflon and diameta. Technical report, University Paderborn. Proceedings of 4th Fujaba Days, pp. 35-42. (2006) Technical Report tr-ri-06-275"},{"key":"122_CR43","unstructured":"GME: The Generic Modeling Environment. http:\/\/www.isis.vanderbilt.edu\/Projects\/gme"},{"key":"122_CR44","unstructured":"Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the use of graph transformation in the formal specification of model interpreters. J. Univers. Comput. Sci. (2003)"},{"key":"122_CR45","unstructured":"Levendovszky, T., Lengyel, L., Mezei, G., Charaf, H.: A systematic approach to metamodeling environments and model transfor- mation systems in vmts. In: Proceedings of GraBaTs 2004: International Workshop on Graph Based Tools. Elsevier, Amsterdam (2004)"},{"key":"122_CR46","first-page":"174","volume-title":"5th International Conference, FASE 2002: Fundamental Approaches to Software Engineering, Grenoble, France, April 8\u201312, 2002, Proceedings, Volume 2306 of LNCS","author":"J. Lara de","year":"2002","unstructured":"de Lara J., Vangheluwe H.: AToM3: a tool for multi-formalism and meta-modelling. In: Kutsche, R.D., Weber, H. (eds) 5th International Conference, FASE 2002: Fundamental Approaches to Software Engineering, Grenoble, France, April 8\u201312, 2002, Proceedings, Volume 2306 of LNCS, pp. 174\u2013188. Springer, New York (2002)"},{"issue":"3","key":"122_CR47","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":"122_CR48","unstructured":"The SENSORIA EU FP6 Research Project: The SENSORIA Development Environment Homepage (2009). http:\/\/svn.pst.ifi.lmu.de\/trac\/sct"},{"key":"122_CR49","unstructured":"Polg\u00e1r, B., R\u00e1th, I., Szatm\u00e1ri, Z., Majzik, I.: Model-based integration, execution and certification of development tool-chains. In: 2nd ECMDA Workshop on Model-Driven Tool and Process Integration (2009)"},{"key":"122_CR50","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00c1kos Horv\u00e1th, R\u00e1th, I., Varr\u00f3, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: ICGT2008, The 4th International Conference on Graph Transformation (2008)","DOI":"10.1145\/1402947.1402953"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0122-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0122-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0122-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T11:05:59Z","timestamp":1685099159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0122-7"}},"subtitle":["By mapping models and live transformations"],"short-title":[],"issued":{"date-parts":[[2009,8,19]]},"references-count":50,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["122"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0122-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,19]]}}}