{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T19:15:41Z","timestamp":1782846941159,"version":"3.54.5"},"reference-count":105,"publisher":"Zhejiang University Press","issue":"11","license":[{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front Inform Technol Electron Eng"],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1631\/fitee.2000311","type":"journal-article","created":{"date-parts":[[2020,11,20]],"date-time":"2020-11-20T13:03:45Z","timestamp":1605877425000},"page":"1567-1590","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["A survey of model-driven techniques and tools for cyber-physical systems"],"prefix":"10.1631","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9026-2543","authenticated-orcid":false,"given":"Bo","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuan-rui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xue-lian","family":"Cao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bin","family":"Gu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tie-xin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"635","published-online":{"date-parts":[[2020,11,20]]},"reference":[{"key":"ref1","volume-title":"The B-Book: Assigning Programs to Meanings","author":"Abrial","year":"2005"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/icst.2012.197"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.02.003"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.12.003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2331147.2331159"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2017.2694423"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/icnsc.2017.8000159"},{"key":"ref9","volume-title":"The Unified Modeling Language User Guide","author":"Booch","year":"1999"},{"key":"ref10","first-page":"1","article-title":"Exogenous model merging by means of model management operators","volume-title":"Proc 3rd Workshop on Software Evolution Through Trans-formations: Embracing the Change","author":"Boronat","year":"2006"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3139258.3139281"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3384\/ecp17132557"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2508443.2508452"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0061-2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34059-8_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30982-3_3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.02.002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ms.2012.174"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48628-4_6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19440-5_11"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_1"},{"key":"ref22","first-page":"1","article-title":"Classification of model trans-formation approaches","volume-title":"Proc 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture","author":"Czarnecki","year":"2003"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/jproc.2011.2160929"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/jproc.2011.2161237"},{"key":"ref25","article-title":"Efficient development of safe avionics software with DO-178C objectives using SCADE Suite","volume-title":"ESTEREL Technologies","year":"2015"},{"key":"ref26","first-page":"145","article-title":"The Architecture Analysis & Design Language (AADL): an introduction","author":"Feiler","year":"2006","journal-title":"Software Engineering Institute"},{"key":"ref27","volume-title":"UML Distilled: a Brief Guide to the Standard Object Modeling Language","author":"Fowler","year":"2003"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/c2010-0-66331-0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/9781118989166"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"ref31","volume-title":"From Vision to Reality: Cyber-Physical Systems","author":"Gill","year":"2008"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.3837\/tiis.2014.12.001"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref34","first-page":"124","article-title":"A hybrid relational modelling language","volume-title":"Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Springer, Cham","author":"He","year":"2017"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2016.05.006"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063502"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/lics.1996.561342"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/compsac.2018.00042"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18023-1_5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/tii.2016.2596101"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_14"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref43","volume-title":"Business Process Execution Language for Web Services: BPEL and BPEL4WS","author":"Juric","year":"2004"},{"key":"ref44","volume-title":"MDA Explained: the Model Driven Architecture: Practice and Promise","author":"Kleppe","year":"2003"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0017-9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38088-4_19"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ds-rt.2013.14"},{"key":"ref48","first-page":"139","article-title":"Practical declarative model trans-formation with Tefkat","volume-title":"MoDELS Int Workshops Doctoral Symp","author":"Lawley","year":"2005"},{"key":"ref49","doi-asserted-by":"crossref","DOI":"10.1109\/ISORC.2008.25","article-title":"Cyber physical systems: design challenges","volume-title":"Int Symp on Object\/Component\/Service-Oriented Real-Time Distributed Computing","author":"Lee","year":"2008"},{"key":"ref50","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1145\/1837274.1837462","article-title":"CPS foundations","volume-title":"Proc 47th Design Automation Conf","author":"Lee","year":"2010"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3231590"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318266"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.mfglet.2014.12.001"},{"key":"ref55","article-title":"Verification of Object-Oriented Software","volume-title":"The KeY Approach","author":"Leino","year":"2007"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_1"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-018-7039-7"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/jas.2017.7510349"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29628-9_4"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55089-9_5"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_22"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/s0890-5401(03)00067-1"},{"key":"ref63","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","article-title":"From timed to hybrid systems","volume-title":"Real-Time: Theory in Practice","author":"Maler","year":"1992"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-09994-7_2"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-4436-6_4"},{"key":"ref66","volume-title":"MDA Distilled: Principles of Model-Driven Architecture","author":"Mellor","year":"2004"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"ref68","article-title":"MDA Guide Version 1.0.1","author":"Miller","year":"2003","journal-title":"Object Management Group"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2020.100972"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_28"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.05.190"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_18"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref76","volume-title":"System Design, Modeling, and Simulation Using Ptolemy II","author":"Ptolemaeus","year":"2014"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/iccnc.2014.6785354"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0358-0"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/2930957.2930963"},{"issue":"3","key":"ref81","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3166\/ejc.18.217-238","article-title":"Taming Dr. Frankenstein: contract-based design for cyber-physical systems","volume":"18","author":"Sangiovanni-Vincentelli","year":"2012","journal-title":"Eur J Contr"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/ms.2003.1231147"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/ms.2003.1231146"},{"key":"ref84","volume-title":"Modeling and Analysis of Heal-Time and Embedded Systems with UML and MARTE","author":"Selic","year":"2014"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/sutc.2008.85"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/2593458.2593463"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/icdcsw.2009.82"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45928-7_2"},{"key":"ref89","volume-title":"Meta-data Inter-change (XMI) Specification","author":"Object","year":"2000"},{"key":"ref90","volume-title":"Model Driven Architecture","author":"Object","year":"2006"},{"key":"ref91","volume-title":"Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification","author":"Object","year":"2008"},{"key":"ref92","author":"Object","year":"2013","journal-title":"Business Process Model and Notation (BPMN) Version 2.0.2"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0070-1"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.05.004"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0028-8"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/ds-rt.2013.12"},{"issue":"1","key":"ref97","first-page":"33","article-title":"Overview of formal methods","volume":"30","author":"Wang","year":"2019","journal-title":"J Softw"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25423-4_25"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1007\/s10257-016-0321-z"},{"key":"ref100","volume-title":"W3C Recommendation","year":"1999"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_25"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_16"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1109\/compsacw.2014.119"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47016-0"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-01766-2_128"}],"container-title":["Frontiers of Information Technology & Electronic Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.2000311.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1631\/FITEE.2000311\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.2000311.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T06:36:38Z","timestamp":1771655798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1631\/FITEE.2000311"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11]]},"references-count":105,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["1596"],"URL":"https:\/\/doi.org\/10.1631\/fitee.2000311","relation":{},"ISSN":["2095-9184","2095-9230"],"issn-type":[{"value":"2095-9184","type":"print"},{"value":"2095-9230","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11]]},"assertion":[{"value":"29 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 September 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 November 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}