{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T15:56:15Z","timestamp":1769010975304,"version":"3.49.0"},"reference-count":44,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2016,5,23]],"date-time":"2016-05-23T00:00:00Z","timestamp":1463961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Natural Science Foundation of Guangdong Province, China","award":["2015A030308002"],"award-info":[{"award-number":["2015A030308002"]}]},{"name":"National Key Technology R&D Program of China","award":["2015BAF20B01"],"award-info":[{"award-number":["2015BAF20B01"]}]},{"name":"Fundamental Research Funds for the Central Universities, SCUT","award":["2014ZM0014, 2015ZZ079 and 1600219246"],"award-info":[{"award-number":["2014ZM0014, 2015ZZ079 and 1600219246"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61262013, 51575194, 61572220, 61472283, 61103185 and 61363011"],"award-info":[{"award-number":["61262013, 51575194, 61572220, 61472283, 61103185 and 61363011"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry"},{"name":"Science and Technology Planning Project of Guangdong Province, China","award":["2012A010702004, 2012A090100012, 2013B011302016 and 2015B010101005"],"award-info":[{"award-number":["2012A010702004, 2012A090100012, 2013B011302016 and 2015B010101005"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2016,7,21]]},"abstract":"<jats:p>The multidisciplinary nature and time criticality of computing in Cyber-Physical Robot Systems (CPRS) makes it significantly different from traditional computer systems. This article attempts to create a usage-specific language called Cyber-Physical Robot Language (CPRL), which supports the CPRS design and implementation in an integrative and swift way. Multiview description and integration strategies as well as formal execution semantics for usage-specific simulation and verification are outlined. A graphic unified environment for CPRS modeling is supplied, in which several tools are integrated. A 6-DOF distributed robot system development in the environment is presented. The approach is an attempt to support CPRS design in an effective way, at the same time guaranteeing the system function and performance requirements.<\/jats:p>","DOI":"10.1145\/2873057","type":"journal-article","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T21:47:58Z","timestamp":1464126478000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Usage-Specific Semantic Integration for Cyber-Physical Robot Systems"],"prefix":"10.1145","volume":"15","author":[{"given":"Fang","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, South China University of Technology, China"}]},{"given":"Jiafu","family":"Wan","sequence":"additional","affiliation":[{"name":"School of Mechanical and Automotive Engineering, South China University of Technology, China"}]},{"given":"Ping","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, South China University of Technology, China"}]},{"given":"Di","family":"Li","sequence":"additional","affiliation":[{"name":"School of Mechanical and Automotive Engineering, South China University of Technology, China"}]},{"given":"Daqiang","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Tongji University, China"}]},{"given":"Keliang","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Automation, Jiangxi University of Science and Technology, China"}]}],"member":"320","published-online":{"date-parts":[[2016,5,23]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240339"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/774789.774793"},{"key":"e_1_2_1_3_1","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems. IEEE, Edmonton, Alta, 1113--1125","author":"Brooks A."},{"key":"e_1_2_1_4_1","first-page":"480","article-title":"Machine-to-machine communications: Architectures, standards, and applications","volume":"6","author":"Chen M.","year":"2012","journal-title":"KSII Transactions on Internet and Information Systems"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.112"},{"key":"e_1_2_1_6_1","volume-title":"Retrieved","year":"2010"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/426713"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805817"},{"key":"e_1_2_1_9_1","volume-title":"Retrieved","author":"Garage Willow","year":"2009"},{"key":"e_1_2_1_10_1","unstructured":"A. Ghosal and T. Henzinger. 2006. Hierarchical Timing Language. Technical Report No. UCB\/EECS-2006-79. Electrical Engineering and Computer Sciences University of California at Berkeley University of California at Berkeley.  A. Ghosal and T. Henzinger. 2006. Hierarchical Timing Language. Technical Report No. UCB\/EECS-2006-79. Electrical Engineering and Computer Sciences University of California at Berkeley University of California at Berkeley."},{"key":"e_1_2_1_11_1","volume-title":"1st International Workshop (EMSOFT\u201901)","author":"Henzinger T."},{"key":"e_1_2_1_12_1","volume-title":"Retrieved","author":"Holobloc Inc.","year":"2005"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2146417.2146425"},{"key":"e_1_2_1_14_1","volume-title":"Retrieved","author":"International Electro technical Commission (IEC).","year":"2005"},{"key":"e_1_2_1_15_1","volume-title":"Retrieved","author":"V. U.","year":"2013"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2005.10"},{"key":"e_1_2_1_17_1","volume-title":"Retrieved","author":"Ledeczi Akos","year":"2002"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000751"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2009.11.011"},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Fang Li Jiafu Wan Ping Zhang and Di Li. 2013. A multi-view integration language for cyber-physical robotic system. In ICMLC. IEEE Vienna Austria 387--392.  Fang Li Jiafu Wan Ping Zhang and Di Li. 2013. A multi-view integration language for cyber-physical robotic system. In ICMLC. IEEE Vienna Austria 387--392.","DOI":"10.1109\/ICMLC.2013.6890499"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.05.010"},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design. IEEE","author":"Marcel A."},{"key":"e_1_2_1_25_1","volume-title":"Retrieved","year":"2003"},{"issue":"4","key":"e_1_2_1_26_1","first-page":"1","article-title":"OMG Meta-Object Facility (MOF) Core Specification","volume":"2","author":"Object Management Group","year":"2014","journal-title":"Version"},{"key":"e_1_2_1_27_1","volume-title":"Retrieved","author":"Object Management Group","year":"2001"},{"key":"e_1_2_1_28_1","volume-title":"Retrieved","year":"2015"},{"key":"e_1_2_1_29_1","volume-title":"15th IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE","author":"Porter J."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1032650.1033564"},{"key":"e_1_2_1_31_1","volume-title":"Retrieved","author":"Community C","year":"2003"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"e_1_2_1_33_1","volume-title":"Retrieved","author":"University of California Berkeley.","year":"2003"},{"key":"e_1_2_1_34_1","volume-title":"Retrieved","author":"University of Patras.","year":"2005"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442116.2442120"},{"key":"e_1_2_1_36_1","volume-title":"5th IEEE International Conference on Industrial Informatics (INDIN\u201907)","author":"Vyatkin V.","year":"1831"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJAHUC.2013.055454"},{"key":"e_1_2_1_38_1","first-page":"947","article-title":"Cyber-physical systems for optimal energy management scheme of autonomous electric vehicle","volume":"56","author":"Wan Jiafu","year":"2013","journal-title":"KSII Transactions on Internet and Information Systems"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-014-0499-6"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2014.6871677"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2331147.2331163"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2011.75"},{"key":"e_1_2_1_43_1","volume-title":"Asilomar Conference on Signal, Systems and Computers. IEEE Computer Society Press","author":"Yang G."},{"key":"e_1_2_1_44_1","volume-title":"Retrieved","author":"ZeroC Inc.","year":"2009"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442116.2442117"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2873057","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2873057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:53:49Z","timestamp":1750222429000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2873057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,23]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7,21]]}},"alternative-id":["10.1145\/2873057"],"URL":"https:\/\/doi.org\/10.1145\/2873057","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,23]]},"assertion":[{"value":"2014-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}