{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T22:27:54Z","timestamp":1651876074966},"reference-count":11,"publisher":"International Academy Publishing (IAP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.4.807-813","type":"journal-article","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T16:46:06Z","timestamp":1398271566000},"source":"Crossref","is-referenced-by-count":2,"title":["A Formal Transformation Approach for Embedded Software Modeling"],"prefix":"10.17706","volume":"9","author":[{"given":"Haiyang","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Zhuang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,4,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.7.10.2454-2461"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.4.792-798"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.4.769-775"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2009.00214"},{"key":"ref5","first-page":"548","article-title":"\"A formal metamodeling approach to a transformation between the UML state machine and object-Z\", In Proceeding(s) of ICFEM 2002","volume":"2495","author":"Kim","year":"2002","unstructured":"[7]Kim S-K, Carrington D. \"A formal metamodeling approach to a transformation between the UML state machine and object-Z\", In Proceeding(s) of ICFEM 2002, LNCS 2495,pp.548-560,2002.","journal-title":"LNCS"},{"key":"ref6","first-page":"448","article-title":"An MDA Approach towards Integrating Formal and Informal Modeling Languages","volume":"3582","author":"Kim","year":"2005","unstructured":"[8]Kim S-K, Burger D, Carrington D. \"An MDA Approach towards Integrating Formal and Informal Modeling Languages\", Formal Method, LNCS 3582,pp.448-464, 2005.","journal-title":"Formal Method LNCS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0042-7"},{"key":"ref8","first-page":"736","article-title":"Merseguer Je, Petriu DC. \"Adding Dependability Analysis Capabilities to the MARTE Profile\", In Proceeding(s) of MoDELS 2008","volume":"5301","author":"Bernardi","year":"2008","unstructured":"[12]Bernardi S, Merseguer Je, Petriu DC. \"Adding Dependability Analysis Capabilities to the MARTE Profile\", In Proceeding(s) of MoDELS 2008, LNCS 5301,pp.736-750,2008.","journal-title":"LNCS"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0128-1"},{"issue":"no.11","key":"ref10","first-page":"2146","article-title":"Research on Model Transformation Method of Real-time System Based on Metamodeling","volume":"31","author":"Yaping","year":"2010","unstructured":"[15]Liu Yaping, Huang Zhiqiu, Zhu Yi. \"Research on Model Transformation Method of Real-time System Based on Metamodeling\", Journal of Chinese Computer Systems, vol.31,no.11,pp.2146-2153, 2010.","journal-title":"Journal of Chinese Computer Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.09.039"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:27:06Z","timestamp":1442330826000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/10597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":11,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2014,4,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.4.807-813","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,4,1]]}}}