{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T22:39:25Z","timestamp":1769726365111,"version":"3.49.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"20","license":[{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Multimed Tools Appl"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s11042-013-1581-y","type":"journal-article","created":{"date-parts":[[2013,8,31]],"date-time":"2013-08-31T07:18:57Z","timestamp":1377933537000},"page":"8907-8920","source":"Crossref","is-referenced-by-count":8,"title":["Model transformation verification using similarity and graph comparison algorithm"],"prefix":"10.1007","volume":"74","author":[{"given":"Jong-Won","family":"Ko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyung-Yong","family":"Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jung-Soo","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,1]]},"reference":[{"key":"1581_CR1","doi-asserted-by":"crossref","unstructured":"Cabot J, Clariso R, Guerra E, Lara JD (2009) Verification and validation of declarative model-to model transformation through invariants. Journal of Systems and Software, In Press","DOI":"10.1016\/j.jss.2009.08.012"},{"key":"1581_CR2","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s11235-009-9258-6","volume":"44","author":"IK Chang","year":"2010","unstructured":"Chang IK, Kim JP, Hong JS, Lie CH (2010) Design of location areas with QoS considerations in a cellular network. Telecommunication Systems 44:333\u2013345","journal-title":"Telecommunication Systems"},{"key":"1581_CR3","unstructured":"Chung KY (2011) Sensibility ergonomics fashion recommendation system using weather Webbot. Proc. of the International Conference on Information Science and Applications, IEEE Computer Society, 712\u2013717"},{"key":"1581_CR4","author":"KY Chung","year":"2013","unstructured":"Chung KY, Yoo J, Kim KJ (2013) Recent trends on mobile computing and future networks. Personal and Ubiquitous Computing. doi: 10.1007\/s00779-013-0682-y","journal-title":"Personal and Ubiquitous Computing"},{"key":"1581_CR5","unstructured":"Csertan G, Varro D (2007) Visual Automated Transformations for Formal Verification and Validation of UML Model, SAC\u201907"},{"key":"1581_CR6","unstructured":"Czarnecki K, Helsen S (2003) Classification of model transformation approaches. In OOPSLA\u201903, Workshop on Generative Techniques in the Context of Model-Driven Architecture"},{"key":"1581_CR7","unstructured":"Darabos A, Varro D (2006) Towards testing the implementation of graph trans-formation, GT-VMT\u201906"},{"key":"1581_CR8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s11235-009-9250-1","volume":"45","author":"GU Hwang","year":"2010","unstructured":"Hwang GU, Ishizaki F (2010) Packet level performance analysis of a packet scheduler exploiting multiuser diversity. Telecommunication Systems 45:249\u2013258","journal-title":"Telecommunication Systems"},{"issue":"11","key":"1581_CR9","first-page":"3791","volume":"14","author":"YG Jung","year":"2011","unstructured":"Jung YG, Han MS, Chung KY, Lee SJ (2011) A study of a valid frequency range using correlation analysis of throat signal. Information-An International Interdisciplinary Journal 14(11):3791\u20133799","journal-title":"Information-An International Interdisciplinary Journal"},{"key":"1581_CR10","author":"SK Kang","year":"2013","unstructured":"Kang SK, Chung KY, Lee JH (2013) Development of head detection and tracking systems for visual surveillance. Personal and Ubiquitous Computing. doi: 10.1007\/s00779-013-0668-9","journal-title":"Personal and Ubiquitous Computing"},{"key":"1581_CR11","author":"GH Kim","year":"2013","unstructured":"Kim GH, Kim YG, Chung KY (2013) Towards virtualized and automated software performance test architecture. Multimedia Tools and Applications. doi: 10.1007\/s11042-013-1536-3","journal-title":"Multimedia Tools and Applications"},{"key":"1581_CR12","author":"JH Kim","year":"2012","unstructured":"Kim JH, Kim JK, Lee D, Chung KY (2012) Ontology driven interactive healthcare with wearable sensors. Multimedia Tools and Applications. doi: 10.1007\/s11042-012-1195-9","journal-title":"Multimedia Tools and Applications"},{"key":"1581_CR13","doi-asserted-by":"crossref","unstructured":"Ko JW, Han JS, Song YJ (2012) Pattern based model transformation using mapping patterns for model transformation verification. In: Proceedings of International Conference on IT Convergence and Security 2011. Lecture notes in electrical engineering, vol 120, pp 489\u2013493","DOI":"10.1007\/978-94-007-2911-7_46"},{"key":"1581_CR14","unstructured":"Lin YH, Gray JJ (2007) A model transformation approach to automated model transformation. Ph. D Thesis"},{"key":"1581_CR15","author":"SY Oh","year":"2013","unstructured":"Oh SY, Chung KY (2013) Target speech feature extraction using non-parametric correlation coefficient. Cluster Computing. doi: 10.1007\/s10586-013-0284-5","journal-title":"Cluster Computing"},{"key":"1581_CR16","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/s11235-009-9232-3","volume":"45","author":"JH Park","year":"2010","unstructured":"Park JH (2010) Subscriber authentication technology of AAA mechanism for mobile IPTV service offer. Telecommunication Systems 45:37\u201345","journal-title":"Telecommunication Systems"},{"issue":"5","key":"1581_CR17","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S Sendall","year":"2003","unstructured":"Sendall S, Kozaczynski W (2003) Model transformation: The heart and soul of model-driven software development. IEEE Software 20(5):42\u201345","journal-title":"IEEE Software"},{"issue":"11","key":"1581_CR18","first-page":"3591","volume":"14","author":"CW Song","year":"2011","unstructured":"Song CW, Chung KY, Jung JJ, Rim KW, Lee JH (2011) Localized approximation method using inertial compensation in WSNs. Information-An International Interdisciplinary Journal 14(11):3591\u20133600","journal-title":"Information-An International Interdisciplinary Journal"},{"key":"1581_CR19","unstructured":"Varro D (2002) Automatic transformation of UML models. Budapest University of Technology and Economics"},{"key":"1581_CR20","unstructured":"Varro D (2003) Automated model transformation for the analysis of IT system. Ph. D Thesis"},{"key":"1581_CR21","unstructured":"Varro D (2004) Towards formal verification of model transformations. Budapest University of Technology and Economics"},{"key":"1581_CR22","doi-asserted-by":"crossref","unstructured":"Varro G, Schurr A (2005) Benchmarking for graph transformation, Proceedings of the 2005 I.E. Symposium on Visual Languages and Human-Centric Computing","DOI":"10.1109\/VLHCC.2005.23"}],"container-title":["Multimedia Tools and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11042-013-1581-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11042-013-1581-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11042-013-1581-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T22:24:57Z","timestamp":1563834297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11042-013-1581-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,1]]},"references-count":22,"journal-issue":{"issue":"20","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["1581"],"URL":"https:\/\/doi.org\/10.1007\/s11042-013-1581-y","relation":{},"ISSN":["1380-7501","1573-7721"],"issn-type":[{"value":"1380-7501","type":"print"},{"value":"1573-7721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,1]]}}}