{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:52:22Z","timestamp":1763178742285},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,4,28]],"date-time":"2012-04-28T00:00:00Z","timestamp":1335571200000},"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":[[2014,2]]},"DOI":"10.1007\/s10270-012-0247-y","type":"journal-article","created":{"date-parts":[[2012,4,27]],"date-time":"2012-04-27T08:42:34Z","timestamp":1335516154000},"page":"273-299","source":"Crossref","is-referenced-by-count":29,"title":["Bridging the gap between formal semantics and implementation of triple graph grammars"],"prefix":"10.1007","volume":"13","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Hildebrandt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,4,28]]},"reference":[{"key":"247_CR1","doi-asserted-by":"crossref","unstructured":"Amelunxen, C., Klar, F., K\u00f6nigs, A., R\u00f6tschke, T., Sch\u00fcrr, A.: Metamodel-based tool integration with MOFLON. In: ICSE \u201908: Proceedings of the 30th ICSE, pp. 807\u2013810. ACM, New York (2008)","DOI":"10.1145\/1368088.1368206"},{"key":"247_CR2","unstructured":"Bapodra, M., Heckel, R.: From graph transformations to differential equations. In: Graph and Model Transformation. EC-EASST (2010)"},{"key":"247_CR3","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H.: Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. In: Proceedings of 23rd IEEE\/ACM International Conference on Automated Software Engineering\u2014Workshops, pp. 33\u201340. IEEE Computer Society Press (2008)","DOI":"10.1109\/ASEW.2008.4686291"},{"key":"247_CR4","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Precise semantics of EMF model transformations by graph transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds) Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, Toulouse, France, September 28\u2013October 3, 2008. LNCS, pp. 53\u201367 (2008)"},{"issue":"3","key":"247_CR5","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s10009-004-0155-8","volume":"6","author":"S. Burmester","year":"2004","unstructured":"Burmester S., Giese H., Niere J., Tichy M., Wadsack J.P., Wagner R., Wendehals L., Z\u00fcndorf A.: Tool integration at the meta-model level within the fujaba tool suite. Int. J. Softw. Tools Technol. Transf. (STTT) 6(3), 203\u2013218 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"247_CR6","unstructured":"de Lara, J., Vangheluwe, H.: AToM3 as a Meta-CASE Environment (DFD to SC). In: Proceedings of the 4th International Conference on Enterprise Information Systems (2002)"},{"key":"247_CR7","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. EATCS Monographs in Theoretical Computer Science. Springer, Berlin (2006)"},{"key":"247_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ermel, C., Hermann, F.: On the relationship of model transformations based on triple and plain graph grammars. In: GRaMoT\u201908: Proceedings of the third International Workshop on Graph and Model Transformations, pp. 9\u201316. ACM, New York (2008)","DOI":"10.1145\/1402947.1402950"},{"key":"247_CR9","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: Proceedings Models 2009 Model Driven Engineering Languages and Systems. LNCS, vol. 5795\/2009, pp. 241\u2013255. Springer Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_18"},{"key":"247_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Prange, U.: Formal analysis of model transformations based on triple graph rules with kernels. In: ICGT\u201908: Proceedings of the 4th International Conference on Graph Transformation, pp. 178\u2013193. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87405-8_13"},{"key":"247_CR11","doi-asserted-by":"crossref","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story Diagrams: a new graph rewrite language based on the unified modeling language and java. In: TAGT\u201998: Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations. Lecture Notes in Computer Science (LNCS), vol. 1764\/2000, pp. 296\u2013309. Springer, London, 16\u201320 November 2000","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"247_CR12","unstructured":"Giese, H., Glesner, S., Leitner, J., Sch\u00e4fer, W., Wagner, R.: Towards verified model transformations. In: Hearnden, D., S\u00fc\u00df, J., Baudry, B., Rapin, N. (eds.) Proceedings of the 3rd International Workshop on Model Development, Validation and Verification (MoDeVa) Genova, Italy, pp. 78\u201393. Le Commissariat \u00e0 l\u2019Energie Atomique\u2014CEA, (2006)"},{"key":"247_CR13","unstructured":"Giese, H., Hildebrandt, S.: Incremental model synchronization for multiple updates. In: Proceedings of the 3rd International Workshop on Graph and Model Transformations, May 12, 2008, Leipzig, Germany, volume Proceedings of GraMoT\u201908, May 12, 2008, Leipzig, Germany. ACM Press (2008)"},{"key":"247_CR14","unstructured":"Giese, H., Hildebrandt, S.: Efficient model synchronization of large-scale models. Technical Report 28, Hasso Plattner Institute at the University of Potsdam (2009)"},{"key":"247_CR15","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Toward bridging the gap between formal semantics and implementation of triple graph grammars. Technical Report 37, Hasso Plattner Institute at the University of Potsdam (2010)","DOI":"10.1109\/MoDeVVa.2010.14"},{"key":"247_CR16","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Toward bridging the gap between formal semantics and implementation of triple graph grammars. In: Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation, pp. 19\u201324. IEEE Computer Society (2010)","DOI":"10.1109\/MoDeVVa.2010.14"},{"key":"247_CR17","unstructured":"Giese, H., Hildebrandt, S., Neumann, S., W\u00e4tzoldt, S.: Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars. Technical Report 57, Hasso Plattner Institute at the University of Potsdam (2012)"},{"key":"247_CR18","unstructured":"Giese, H., Hildebrandt, S., Seibel, A.: improved flexibility and scalability by interpreting story diagrams. In: Magaria, T., Padberg, J., Taentzer, G. (eds.) Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), vol. 18. Electronic Communications of the EASST (2009)"},{"key":"247_CR19","doi-asserted-by":"crossref","unstructured":"Giese, H., Neumann, S., Hildebrandt, S.: Model synchronization at work: keeping SysML and AUTOSAR models consistent. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model Driven Enginering\u2014Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. Lecture Notes in Computer Science, vol. 5765, pp. 555\u2013579. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-17322-6_24"},{"key":"247_CR20","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. (SoSyM) 8(1) (2009)","DOI":"10.1007\/s10270-008-0089-9"},{"issue":"1","key":"247_CR21","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J. Greenyer","year":"2010","unstructured":"Greenyer J., Kindler E.: Comparing relational model transformation technologies: implementing query\/view\/transformation with triple graph grammars. Softw. Syst. Model. 9(1), 21\u201346 (2010)","journal-title":"Softw. Syst. Model."},{"key":"247_CR22","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. In: Proceedings of the First International Workshop on Model-Driven Interoperability, MDI \u201910, pp. 22\u201331. ACM, New York (2010)","DOI":"10.1145\/1866272.1866277"},{"key":"247_CR23","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal analysis of functional behaviour for model transformations based on triple graph grammars. In: Ehrig, H., Rensink, A., Rozenberg, G., Schrr, A. (eds.) Graph Transformations. Lecture Notes in Computer Science, vol. 6372, pp. 155\u2013170. Springer Berlin (2010)","DOI":"10.1007\/978-3-642-15928-2_11"},{"key":"247_CR24","unstructured":"ITU International Telecommunication Union. ITU-T Recommendation Z.100: Specification and Description Language (SDL) (2002)"},{"key":"247_CR25","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Satellite Events at the MoDELS 2005 Conference. LNCS, vol. 3844, pp. 128\u2013138. Springer, Berlin (2006)","DOI":"10.1007\/11663430_14"},{"key":"247_CR26","unstructured":"Kindler, E., Rubin, V., Wagner, R.: An adaptable TGG interpreter for in-memory model transformation. In: Sch\u00fcrr, A., Z\u00fcndorf, A. (eds.) Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany, vol. tr-ri-04-253 of Technical Report, pp. 35\u201338. University of Paderborn (2004)"},{"key":"247_CR27","doi-asserted-by":"crossref","unstructured":"Klar, F., Lauder, M., K\u00f6nigs, A., Sch\u00fcrr, A.: Extended triple graph grammars with efficient and compatible graph translators. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, vol. 5765, pp. 141\u2013174. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-17322-6_8"},{"issue":"3","key":"247_CR28","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"J. K\u00fcster","year":"2006","unstructured":"K\u00fcster J.: Definition and validation of model transformations. Softw. Syst. Model. 5(3), 233\u2013259 (2006)","journal-title":"Softw. Syst. Model."},{"key":"247_CR29","doi-asserted-by":"crossref","unstructured":"Lambers, L., Ehrig, H., Prange, U., Orejas, F.: Embedding and confluence of graph transformations with negative application conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Proceedings of International Conference on Graph Transformation (ICGT\u201908), LNCS, vol. 5214, pp. 162\u2013177. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-87405-8_12"},{"key":"247_CR30","unstructured":"Lambers, L.: Certifying Rule-based models using graph transformation. PhD thesis, Technische Universit\u00e4t Berlin (2010)"},{"key":"247_CR31","unstructured":"Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute handling for bidirectional model transformations: the triple graph grammar case. In: Proceedings of First International Workshop on Bidirectional Transformations. EC-EASST, (2012, to appear)"},{"key":"247_CR32","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Der Straeten, R., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 4199, pp. 200\u2013214. Springer, Berlin (2006)","DOI":"10.1007\/11880240_15"},{"key":"247_CR33","unstructured":"Object Management Group. MOF 2.0 QVT 1.0 Specification (2008)"},{"key":"247_CR34","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: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO. LNCS, vol. 5728, pp. 383\u2013397. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03741-2_26"},{"key":"247_CR35","doi-asserted-by":"crossref","unstructured":"Orejas, F., Lambers, L.: Delaying constraint solving in symbolic graph transformation. In: Proceedings of International Conference on Graph Transformation (ICGT\u201910), vol. 6372, pp. 43\u201358 (2010)","DOI":"10.1007\/978-3-642-15928-2_4"},{"key":"247_CR36","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, W., Wagner, R., Gausemeier, J., Eckes, R.: An Engineer\u2019s Workstation to support integrated development of flexible production control systems. In: Ehrig, H., Damm, W., Desel, J., Grosse-Rhode M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science (LNCS), vol. 3147, pp. 48\u201368. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-27863-4_5"},{"key":"247_CR37","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science. LNCS, vol. 903, pp. 151\u2013163. Spinger, Herrsching (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"247_CR38","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 Years of triple graph grammars: research challenges, new contributions, open problems. In: 4th International Conference of Graph Transformation, ICGT 2008, Leicester, United Kingdom, September 7\u201313, 2008. LNCS, vol. 5214, pp. 411\u2013425. Springer, Berlin (2008)"},{"key":"247_CR39","doi-asserted-by":"crossref","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Software, pp. 42\u201345 (2003)","DOI":"10.1109\/MS.2003.1231150"},{"issue":"1","key":"247_CR40","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P. Stevens","year":"2010","unstructured":"Stevens P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"key":"247_CR41","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Ermel, C., Rudolf, M.: 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, pp. 551\u2013603. World Scientific, Singapore (1999)","DOI":"10.1142\/9789812815149_0014"},{"key":"247_CR42","doi-asserted-by":"crossref","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental model synchronization for efficient run-time monitoring. In: Ghosh, S. (ed.) Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4\u20139, 2009, Reports and Revised Selected Papers. LNCS, vol. 6002, pp. 124\u2013139. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12261-3_13"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0247-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0247-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0247-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T01:12:31Z","timestamp":1561684351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0247-y"}},"subtitle":["Ensuring conformance of relational model transformation specifications and implementations"],"short-title":[],"issued":{"date-parts":[[2012,4,28]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["247"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0247-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,28]]}}}