{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:53:45Z","timestamp":1725537225550},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042102"},{"type":"electronic","value":"9783642042119"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04211-9_10","type":"book-chapter","created":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T01:36:22Z","timestamp":1251941782000},"page":"95-105","source":"Crossref","is-referenced-by-count":0,"title":["Model Transformation Using Graph Transactions"],"prefix":"10.1007","author":[{"given":"Leila","family":"Ribeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana","family":"Foss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daltro","family":"Nunes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Computer\u00a039(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. ENTCS, vol.\u00a0152, pp. 125\u2013142 (2006)","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-45832-8_22","volume-title":"Graph Transformation","author":"T. Mens","year":"2002","unstructured":"Mens, T., Demeyer, S., Janssens, D.: Formalising behaviour preserving program transformations. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 286\u2013301. Springer, Heidelberg (2002)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ehrig, K.: Overview of formal concepts for model transformations based on typed attributed graph transformation. ENTCS, vol.\u00a0152, pp. 3\u201322 (2006)","DOI":"10.1016\/j.entcs.2006.01.011"},{"key":"10_CR5","doi-asserted-by":"publisher","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Fondations","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, Fondations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"10_CR6","unstructured":"Foss, L.: Transactional Graph Transformation Systems. Phd thesis, Federal University of Rio Grande do Sul, Porto Alegre, Brazil (2008)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/11841883_15","volume-title":"Graph Transformations","author":"P. Baldan","year":"2006","unstructured":"Baldan, P., Corradini, A., Foss, L., Gadducci, F.: Graph transactions as processes. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 199\u2013214. Springer, Heidelberg (2006)"},{"key":"10_CR8","unstructured":"Alur, D., et al.: Core J2EE Patterns: Best Practices and Design Strategies. Core Design Series. Sun Microsystems, Inc (2003)"},{"key":"10_CR9","unstructured":"OMG: Mda guide version 1.01 (2003)"},{"key":"10_CR10","unstructured":"Costa, S.A., Ribeiro, L.: Formal verification of graph grammars using mathematical induction. In: Brazilian Symposium on Formal Methods, pp. 161\u2013176 (2008)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-87405-8_14","volume-title":"4th Int. Conference on Graph Transformations","author":"H. Ehrig","year":"2008","unstructured":"Ehrig, H., Ermel, C.: Semantical correctness and completeness of model transformations using graph and rule transformation. In: 4th Int. Conference on Graph Transformations, pp. 194\u2013210. Springer, Heidelberg (2008)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Compositionality of model transformations. ENTCS, vol.\u00a0236, pp. 5\u201319 (2009)","DOI":"10.1016\/j.entcs.2009.03.011"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-87405-8_17","volume-title":"Graph Transformations","author":"G. Rangel","year":"2008","unstructured":"Rangel, G., Lambers, L., Knig, B., Ehrig, H., Baldan, P.: Behavior preservation in model refactoring using dpo transformations with borrowed contexts. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 242\u2013256. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Foundations of Reuse and Domain Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04211-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T06:26:57Z","timestamp":1558506417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04211-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042102","9783642042119"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04211-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}