{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:22Z","timestamp":1747807882151,"version":"3.32.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,8,10]],"date-time":"2006-08-10T00:00:00Z","timestamp":1155168000000},"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":[[2006,9]]},"DOI":"10.1007\/s10270-006-0018-8","type":"journal-article","created":{"date-parts":[[2006,8,9]],"date-time":"2006-08-09T11:55:20Z","timestamp":1155124520000},"page":"233-259","source":"Crossref","is-referenced-by-count":48,"title":["Definition and validation of model transformations"],"prefix":"10.1007","volume":"5","author":[{"given":"Jochen M.","family":"K\u00fcster","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,8,10]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Akehurst, D., Kent, S.: A relational approach to defining transformations in a metamodel. In: Jezequel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002 - The Unified Modeling Language. 5th International Conference, Dresden, Germany, September 30 \u2013 October 4, 2002, Proceedings, volume 2460 of LNCS, pp 243\u2013258. Springer, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-45800-X_20"},{"key":"18_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term rewriting and all that","author":"F. Baader","year":"1998","unstructured":"Baader F., Nipkow T. (1998). Term rewriting and all that. Cambridge University Press, Cambridge"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Bottoni, P., Sch\u00fcrr, A., Taentzer, G.: Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation. In: Proceedings of the IEEE symposium on visual languages, September 2000. Long version available as technical report SI-2000-06, University of Rome, Italy","DOI":"10.1109\/VL.2000.874351"},{"key":"18_CR4","unstructured":"Braun, P., Marschall, F.: BOTL\u2014The bidirectional object-oriented transformation language. Technical report, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Technical Report TUM-I0307 (2003)"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations","author":"A. Corradini","year":"1997","unstructured":"Corradini A., Montanari U., Rossi F., Ehrig H., Heckel R., L\u00f6we M. (1997). Algebraic approaches to graph transformation part I: basic concepts and double pushout approach. In: Rozenberg G. (eds) Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. World Scientific, Singapore, pp. 163\u2013245"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA: visual automated transformations for formal verification and validation of UML models. In: Proceedings 17th IEEE international conference on automated software engineering (ASE 2002), pp. 267\u2013270, Edinburgh, UK, September 2002","DOI":"10.1109\/ASE.2002.1115027"},{"key":"18_CR7","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: Proceedings OOPSLA\u201903 workshop on generative techniques in the context of Model-Driven Architecture, (2003)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Parisi-Presicce, F., Bottoni, P., Engels, G. (eds.) Proceedings of the 2nd International conference on graph transformation (ICGT\u201904), vol 3256 of LNCS, pp. 161\u2013177. Springer, Berlin Heidelberg New York October (2004)","DOI":"10.1007\/978-3-540-30203-2_13"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001\u2014the unified modeling language. Modeling languages, concepts, and tools., 4th International conference, Toronto, Canada, October 1\u20135, 2001, proceedings, vol 2185 of LNCS, pp. 272\u2013287. Springer, Berlin Heidelberg New York (2001)","DOI":"10.1007\/3-540-45441-1_21"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: The Consistency Workbench\u2014a tool for consistency management in UML-based development. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003\u2014the Unified Modeling Language. Modeling languages and applications. 6th International conference, San Francisco, October 20\u201324, USA, proceedings, vol 2863 of LNCS, pp. 356\u2013359. Springer, Berlin Heidelberg New York (2003)","DOI":"10.1007\/978-3-540-45221-8_30"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Engels, G., H\u00fccking, R., Sauer, S., Wagner, A.: UML collaboration diagrams and their transformation to Java. In: Rumpe, B., France, R. (eds.) UML 99 the Unified Modeling Language. Proceedings, vol 1723 of LNCS, pp 473\u2013488. Springer, Berlin Heidelberg New York (1999)","DOI":"10.1007\/3-540-46852-8_34"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1142\/9789812815149_0014","volume-title":"Handbook of graph grammars and computing by graph transformation, vol 2: applications, languages and tools","author":"C. Ermel","year":"1999","unstructured":"Ermel C., Rudolf M., Taentzer G. (1999). The AGG-Approach: language and tool environment. In: Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. (eds) Handbook of graph grammars and computing by graph transformation, vol 2: applications, languages and tools. World Scientific, Singapore, pp. 551\u2013603 See also: http:\/\/tfs.cs.tu\/berlin.de\/agg"},{"key":"18_CR13","unstructured":"Gardner, T., Griffin, C., Koehler, J., Hauser, R.: A review of OMG MOF 2.0 Query \/ Views \/ Transformations Submissions and Recommendations towards the final Standard. IBM Submission to the OMG, document 03-08-02, (2003)"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Hauser, R., Koehler, J.: Compiling Process Graphs into executable code. In: Proceedings of the 3rd International conference on generative programming and component engineering, vol 3286 of LNCS, pp. 317\u2013336. Springer, Berlin Heidelberg New York October (2004)","DOI":"10.1007\/978-3-540-30175-2_17"},{"key":"18_CR15","unstructured":"Heckel, R., K\u00fcster, J.M., Bandener, N., Gueldali, B., Jahnich, I., Koepke, C., Weking, M.: Automatische Qualit\u00e4tssicherung von UML Modellen. Bericht der Projektgruppe. Technical Report TR-RI-03-245, Universit\u00e4t Paderborn, December (2003)"},{"key":"18_CR16","first-page":"161","volume-title":"Proceedings of the 1st international conference of graph transformation, vol 2505 of LNCS","author":"R. Heckel","year":"2002","unstructured":"Heckel R., K\u00fcster J.M., Taentzer G. (2002). Confluence of typed attributed graph transformation. In: Corradini A., Ehrig H., Kreowski H.-J., Rozenberg G. (eds) Proceedings of the 1st international conference of graph transformation, vol 2505 of LNCS. Springer, Berlin Heidelberg New York, pp. 161\u2013176"},{"key":"18_CR17","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Towards automatic translation of UML models into semantic domains. In: Kreowski, H.-J., Knirsch, P. (eds.) Proceedings of the appligraph workshop on applied graph transformation, pp. 11\u201322, March 2002"},{"key":"18_CR18","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R. (1985). Communicating Sequential Processes. Prentice Hall, Englewood Cliffs"},{"issue":"11","key":"18_CR19","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai G., Agrawal A., Shi F., Sprinkle J. (2003). On the use of graph transformation in the formal specification of model interpreters. J. Universal Comput. Sci. 9(11):1296\u20131321","journal-title":"J. Universal Comput. Sci."},{"key":"18_CR20","volume-title":"Handbook of graph grammars and computing by graph transformation, vol 2: applications, languages, and tools.","author":"H.J. Kreowski","year":"1999","unstructured":"Kreowski H.J., Kuske S. (1999). Graph transformation units and modules. In: Engels G., Kreowski H.-J., Rozenberg G. (eds) Handbook of graph grammars and computing by graph transformation, vol 2: applications, languages, and tools. World Scientific, Singapore"},{"key":"18_CR21","volume-title":"Transformation units a structuring principle for graph transformation systems","author":"S. Kuske","year":"2000","unstructured":"Kuske S. (2000). Transformation units a structuring principle for graph transformation systems. Dissertation, Universit\u00e4t Bremen, Germany"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M.: Consistency management of object-oriented behavioral models. PhD thesis, University of Paderborn, Germany, March (2004)","DOI":"10.1016\/j.entcs.2004.02.056"},{"key":"18_CR23","unstructured":"K\u00fcster, J.M., Heckel, R., Engels, G.: Defining and validating transformations of UML models. In: Hosking, J., Cox, P. (eds.) IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003) Auckland, October 28 \u2013 October 31 2003, Auckland, New Zealand, proceedings, pp. 145\u2013152. IEEE Computer Society, (2003)"},{"key":"18_CR24","unstructured":"K\u00fcster, J.M., Sendall, S., Wahler, M.: Comparison of model transformation approaches. In: Proceedings workshop OCL and model engineering, (2004)"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"McUmber, W., Cheng, B.: A general framework for formalizing UML with formal languages. In: Proceedings 23rd international conference on software engineering. IEEE Computer Society, May 2001","DOI":"10.1109\/ICSE.2001.919116"},{"key":"18_CR26","unstructured":"Object Management Group: Model driven architecture, 2001. http:\/\/www.omg.org\/mda"},{"key":"18_CR27","unstructured":"Object Management Group (OMG): OMG unified modeling language specification, Version 1.5. OMG document formal\/03-03-01, March 2003"},{"key":"18_CR28","unstructured":"Object Management Group (OMG): QVT-merge group. MOF 2.0 query\/views\/transformations, revised submission. OMG document ad\/2004-04-01, April (2004)"},{"key":"18_CR29","unstructured":"Object Modeling Group: Unified Modeling Language specification, version 1.4.2, July (2004)"},{"key":"18_CR30","unstructured":"Osterweil, L.: Software processes are software too. In: Proceedings of the 9th international conference on software engineering, pp. 2\u201313. IEEE Computer Society, March 1987"},{"key":"18_CR31","first-page":"201","volume-title":"Term Graph Rewriting","author":"D. Plump","year":"1993","unstructured":"Plump D. (1993). Hypergraph rewriting: critical pairs and undecidability of confluence. In: Plasmeijer M., van Eekelen M.C. (eds) Term Graph Rewriting. Wiley, New York, pp. 201\u2013214"},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Plump, D.: Termination of graph rewriting is undecidable. In: Fundamenta informaticae, vol 33(2), pp. 201\u2013209. IOS Press, Amsterdam (1998)","DOI":"10.3233\/FI-1998-33204"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Plump D. Term graph rewriting. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol 2: Applications, languages and Tools, pp. 3\u201361. World Scientific, Singapore, (1999)","DOI":"10.1142\/9789812815149_0001"},{"key":"18_CR34","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"T.W. Pratt","year":"1971","unstructured":"Pratt T.W. (1971). Pair grammars, graph languages and translations. J. Comput. Syst. Sci. 5:560\u2013595","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"18_CR35","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1006\/jvlc.1996.0027","volume":"8","author":"J. Rekers","year":"1997","unstructured":"Rekers J., Sch\u00fcrr A. (1997). Defining and parsing visual languages with layered graph grammars. J. Vis. Lang. Comput. 8(1):27\u201355","journal-title":"J. Vis. Lang. Comput."},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, vol 1: Foundations","year":"1997","key":"18_CR36","unstructured":"Rozenberg G. (eds) (1997). Handbook of Graph Grammars and Computing by Graph Transformation, vol 1: Foundations. World Scientific, Singapore"},{"issue":"3","key":"18_CR37","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/S1571-0661(04)00262-2","volume":"55","author":"T. Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer T., Knapp A., Merz S. (2001). Model checking UML state machines and collaborations. Electron. Notes Theor. Comput. Sci. 55(3):357\u2013369","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"18_CR38","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E., Schmidt, G., Tinhofer, G. (eds.) Proceedings WG\u201994 international workshop on graph-theoretic concepts in computer science, pp. 151\u2013163. LNCS 903, Springer, Berlin Heidelberg New York (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"18_CR39","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1142\/9789812815149_0013","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, vol 2: Applications, Languages, and Tools","author":"A. Sch\u00fcrr","year":"1999","unstructured":"Sch\u00fcrr A., Winter A., Z\u00fcndorf A. (1999). The PROGRES approach: language and environment. In: Engels G., Kroewski H.-J., Rozenberg G. (eds) Handbook of Graph Grammars and Computing by Graph Transformation, vol 2: Applications, Languages, and Tools. World Scientific, Singapore, pp. 487\u2013550"},{"key":"18_CR40","doi-asserted-by":"crossref","unstructured":"Gorp, P.v., Stenten, H., Mens, T., Demeyer, S.: Towards automating source-consistent UML refactorings. In: Stevens, P., Whittle. J., Booch, G. (eds.), UML 2003 The unified modeling language. Modeling languages and applications. 6th International conference, San Francisco, October 20\u201324, USA, Proceedings, vol 2863 of LNCS, pp. 144\u2013158. Springer, Berlin Heidelberg New York (2003)","DOI":"10.1007\/978-3-540-45221-8_15"},{"key":"18_CR41","unstructured":"Varr\u00f3, D., Pataricza, A.: Automated formal verification of model transformations. In: J\u00fcrjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.) CSDUML 2003: critical systems development in UML; proceedings of the UML\u201903 workshop, Technical Report, pp. 63\u201378. Technische Universit\u00e4t M\u00fcnchen, September 2003"},{"issue":"2","key":"18_CR42","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0167-6423(02)00039-4","volume":"44","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3 D., Varr\u00f3 G., Pataricza A. (2002). Designing the automatic transformation of visual languages. Sci. of Comput. Programm 44(2):205\u2013227","journal-title":"Sci. of Comput. Programm"},{"key":"18_CR43","doi-asserted-by":"crossref","unstructured":"Whittle, J.: Transformations and software modeling languages: automating transformations in UML. In Jezequel, J.-M., Hussmann, H., Cook, S. (eds.), UML 2002\u2014The Unified Modeling Language. 5th International Conference, Dresden, Germany, September 30 \u2013 October 4, 2002, proceedings, vol 2460 of LNCS, pp. 227\u2013242. Springer, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-45800-X_19"},{"key":"18_CR44","unstructured":"Ed Willink. UMLX: a graphical transformation language for MDA. In: Rensink, A. (ed.) Proceedings of the workshop model driven architecture, CTIT Technical Report TR-CTIT-03-27, pp. 13\u201324. University of Twente (2003)"},{"key":"18_CR45","unstructured":"Z\u00fcndorf, A.: PROgrammierte GRaphErsetzungs-Systeme: Spezifikation, Implementierung und Anwendung einer integrierten Entwicklungsumgebung. Dissertation, RWTH Aachen (1995)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0018-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-006-0018-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0018-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T11:10:10Z","timestamp":1736507410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-006-0018-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8,10]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["18"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0018-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2006,8,10]]}}}