{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:26:35Z","timestamp":1725639995840},"publisher-location":"Dordrecht","reference-count":8,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400729100"},{"type":"electronic","value":"9789400729117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-94-007-2911-7_45","type":"book-chapter","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T10:47:44Z","timestamp":1323168464000},"page":"479-487","source":"Crossref","is-referenced-by-count":0,"title":["Model Optimization with Graph Transformation and PSO Algorithm for Model Transformation Verification"],"prefix":"10.1007","author":[{"given":"Jong-Won","family":"Ko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Su-Jin","family":"Beak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young-Jae","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,12,7]]},"reference":[{"key":"45_CR1","unstructured":"Miller SJ (2004) Pattern-based model transformation: a metamodel-based approach to model evolution. Ph.D Thesis"},{"key":"45_CR2","unstructured":"Lin Y, Gray J (2007) A model transformation approach to automated model transformation. Ph.D Thesis"},{"key":"45_CR3","unstructured":"Varro D (2003) Automated model transformation for the analysis of IT system. Ph.D Thesis"},{"key":"45_CR4","unstructured":"Czanecki K, Helsen S (2003) Classification of model transformation approaches. In: OOPSLA\u201903. Workshop on Generative Techniques in the Context of Model-Driven Architecture"},{"key":"45_CR5","unstructured":"Kessentini M, Sahraoui H, Boukadoum M (2008) Model transformation as an optimization problem, MoDELS"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Iacob M-E, Steen MWA, Heerink L (2008) Reusable model transformation patterns","DOI":"10.1109\/EDOCW.2008.51"},{"key":"45_CR7","unstructured":"Darabos A, Varro D (2006) Towards testing the implementation of graph transformation, GT-VMT\u201906"},{"key":"45_CR8","unstructured":"Csertan G, Varro D (2007) Visual automated transformations for formal verification and validation of UML Model, SAC\u201907"}],"container-title":["Lecture Notes in Electrical Engineering","Proceedings of the International Conference on IT Convergence and Security 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-2911-7_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T11:26:33Z","timestamp":1561029993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-007-2911-7_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,7]]},"ISBN":["9789400729100","9789400729117"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-2911-7_45","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2011,12,7]]}}}