{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:59Z","timestamp":1762459019279},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336539"},{"type":"electronic","value":"9783642336546"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33654-6_10","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T03:47:41Z","timestamp":1347940061000},"page":"141-155","source":"Crossref","is-referenced-by-count":5,"title":["Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars"],"prefix":"10.1007","author":[{"given":"Ulrike","family":"Golas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"issue":"1","key":"10_CR2","first-page":"113","volume":"148","author":"A. K\u00f6nig","year":"2006","unstructured":"K\u00f6nig, A., Sch\u00fcrr, A.: Tool Integration with Triple Graph Grammars - A Survey. ENTCS\u00a0148(1), 113\u2013150 (2006)","journal-title":"ENTCS"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars - ensuring conformance of relational model transformation specifications and implementations. Software and Systems Modeling (2012)","DOI":"10.1007\/s10270-012-0247-y"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-04425-0_18","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Ehrig","year":"2009","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: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 241\u2013255. Springer, Heidelberg (2009)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-17322-6_8","volume-title":"Graph Transformations and Model-Driven Engineering","author":"F. Klar","year":"2010","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.) Nagl Festschrift. LNCS, vol.\u00a05765, pp. 141\u2013174. Springer, Heidelberg (2010)"},{"key":"10_CR7","unstructured":"Golas, U., Ehrig, H., Hermann, F.: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. ECEASST 39 (2011)"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","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. Software and Systems Modeling\u00a09(1), 21\u201346 (2010)","journal-title":"Software and Systems Modeling"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-27863-4_5","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"W. Sch\u00e4fer","year":"2004","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., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 48\u201368. Springer, Heidelberg (2004)"},{"key":"10_CR10","unstructured":"Kindler, E., Rubin, V., Wagner, R.: An Adaptable TGG Interpreter for In-Memory Model Transformation. In: Proceedings of Fujaba Days 2004, pp. 35\u201338 (2004)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/11841883_25","volume-title":"Graph Transformations","author":"E. Guerra","year":"2006","unstructured":"Guerra, E., de Lara, J.: Model View Management with Triple Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 351\u2013366. Springer, Heidelberg (2006)"},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","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. Software Tools for Technology Transfer\u00a06(3), 203\u2013218 (2004)","journal-title":"Software Tools for Technology Transfer"},{"key":"10_CR13","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: Proceedings of ICSE 2008, pp. 807\u2013810. ACM (2008)","DOI":"10.1145\/1368088.1368206"},{"key":"10_CR14","unstructured":"de Lara, J., Vangheluwe, H.: Using atom3 as a meta-case tool. In: Proceedings of ICEIS 2002, pp. 642\u2013649 (2002)"},{"key":"10_CR15","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: Proceedings of GRaMoT 2008, pp. 9\u201316. ACM (2008)","DOI":"10.1145\/1402947.1402950"},{"key":"10_CR16","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-642-01862-6_28","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"C. Brandt","year":"2009","unstructured":"Brandt, C., Hermann, F., Engel, T.: Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) BPMDS 2009 and EMMSAD 2009. LNBIP, vol.\u00a029, pp. 339\u2013352. Springer, Heidelberg (2009)"},{"key":"10_CR17","series-title":"LNCS","first-page":"249","volume-title":"ICGT 2012","author":"H. Giese","year":"2012","unstructured":"Giese, H., Lambers, L.: Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 249\u2013263. Springer, Heidelberg (2012)"},{"key":"10_CR18","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, pp. 19\u201324. IEEE (2010)","DOI":"10.1109\/MoDeVVa.2010.14"},{"key":"10_CR19","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs. Springer (2006)"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw.\u00a083(2), 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01, pp. 163\u2013245. World Scientific (1997)","DOI":"10.1142\/9789812384720_0003"},{"key":"10_CR22","first-page":"111","volume":"102","author":"H. Ehrig","year":"2010","unstructured":"Ehrig, H., Golas, U., Hermann, F.: Categorical Frameworks for Graph Transformation and HLR Systems based on the DPO Approach. BEATCS\u00a0102, 111\u2013121 (2010)","journal-title":"BEATCS"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive Categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"issue":"1","key":"10_CR24","doi-asserted-by":"publisher","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. Software and Systems Modeling\u00a08(1), 21\u201343 (2009)","journal-title":"Software and Systems Modeling"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-15928-2_4","volume-title":"Graph Transformations","author":"F. Orejas","year":"2010","unstructured":"Orejas, F., Lambers, L.: Delaying Constraint Solving in Symbolic Graph Transformation. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 43\u201358. Springer, Heidelberg (2010)"},{"key":"10_CR26","unstructured":"Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. ECEASST (to appear, 2012)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33654-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:17:45Z","timestamp":1620130665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33654-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336539","9783642336546"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33654-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}