{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:45:43Z","timestamp":1725518743783},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540874041"},{"type":"electronic","value":"9783540874058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87405-8_13","type":"book-chapter","created":{"date-parts":[[2008,9,17]],"date-time":"2008-09-17T10:48:17Z","timestamp":1221648497000},"page":"178-193","source":"Crossref","is-referenced-by-count":9,"title":["Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Ulrike","family":"Prange","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Aschenbrenner, N., Geiger, L.: Transforming Scene Graphs Using Triple Graph Grammars - A Practice Report. In: Proceedings of AGTIVE 2007 (2007)","DOI":"10.1007\/978-3-540-89020-1_3"},{"key":"13_CR3","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)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/11880240_38","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Giese","year":"2006","unstructured":"Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 543\u2013557. Springer, Heidelberg (2006)"},{"key":"13_CR5","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":"13_CR6","unstructured":"Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration Based on the Algebraic Approach to Triple Graph Grammars. ECEASST (to appear, 2008)"},{"key":"13_CR7","unstructured":"Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Technical Report tr-ri-07-284, University of Paderborn (2007)"},{"key":"13_CR8","series-title":"EATCS Monographs","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. EATCS Monographs. Springer, Heidelberg (2006)"},{"key":"13_CR9","unstructured":"OMG: Unified Modeling Language, version 2.1.1 (2006)"},{"key":"13_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"13_CR11","unstructured":"Bisztray, D., Ehrig, K., Heckel, R.: Case Study: UML to CSP Transformation. In: AGTIVE 2007 Graph Transformation Tool Contest (2007)"},{"key":"13_CR12","unstructured":"Lambers, L.: Adhesive High-Level Replacement Systems with Negative Application Conditions. Technical Report 2007\/14, TU Berlin (2007)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87405-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:37:32Z","timestamp":1606185452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87405-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540874041","9783540874058"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87405-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}