{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T19:20:27Z","timestamp":1774898427435,"version":"3.50.1"},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100005713","name":"Office of the Secretary of Defense","doi-asserted-by":"publisher","award":["W911NF-17-3-0004"],"award-info":[{"award-number":["W911NF-17-3-0004"]}],"id":[{"id":"10.13039\/100005713","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2022,7]]},"DOI":"10.1109\/tase.2021.3094055","type":"journal-article","created":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T23:38:56Z","timestamp":1628638736000},"page":"2637-2645","source":"Crossref","is-referenced-by-count":4,"title":["RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7019-9700","authenticated-orcid":false,"given":"Angeline","family":"Aguinaldo","sequence":"first","affiliation":[{"name":"Computer Science Department, University of Maryland, College Park, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob","family":"Bunker","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Maryland, College Park, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Blake","family":"Pollard","sequence":"additional","affiliation":[{"name":"National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ankit","family":"Shukla","sequence":"additional","affiliation":[{"name":"Siemens Corporate Technology, Princeton, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3506-6563","authenticated-orcid":false,"given":"Arquimedes","family":"Canedo","sequence":"additional","affiliation":[{"name":"Siemens Corporate Technology, Princeton, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5689-3969","authenticated-orcid":false,"given":"Gustavo","family":"Quiros","sequence":"additional","affiliation":[{"name":"Siemens Corporate Technology, Princeton, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Regli","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Maryland, College Park, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Category Theory for the Sciences","author":"Spivak","year":"2014"},{"key":"ref2","article-title":"Abstraction, composition and contracts: A sheaf theoretic approach","volume-title":"arXiv:1802.03080","author":"Speranzon","year":"2018"},{"key":"ref3","volume-title":"Functional Programming: Practice and Theory","author":"MacLennan","year":"1990"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1108\/IR-01-2016-0037"},{"key":"ref5","article-title":"A purely equational formalism for functorial data migration","volume-title":"arXiv:1503.03571","author":"Schultz","year":"2015"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2815072.2815075"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.05.001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2016.12.002"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3390\/s20123418"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICIF.2006.301721"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-016-2814-1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.93.1"},{"key":"ref13","article-title":"A compositional framework for scientific model augmentation","volume-title":"arXiv:1907.03536","author":"Halter","year":"2019"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2019.103124"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1115\/1.4042551"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2017.8256184"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843314"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2574644"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3389\/frobt.2016.00064"},{"key":"ref20","article-title":"A survey of robot programming systems","volume-title":"Proc. Australas. Conf. Robot. Automat. (CSIRO)","author":"Biggs"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44833-4_6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1999.772516"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.28945\/3775"},{"key":"ref24","volume-title":"Robmosys","year":"2020"},{"key":"ref25","volume-title":"Franka Emika","year":"2018"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630615"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759506"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3389\/frobt.2016.00033"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1868358.1868363"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-0860-0_17"},{"key":"ref31","volume-title":"Ozoblockly","year":"2020"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2018.02.009"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2017.8256120"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2783342"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1983.12681"},{"key":"ref36","article-title":"Does your robot have skills","volume-title":"Proc. 43rd Int. Symp. Robot.","author":"B\u00f8gh"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59412-0_33"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"ref40","volume-title":"Sdformat","year":"2020"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2014.08.006"},{"key":"ref42","article-title":"ROS: An open-source robot operating system","volume-title":"Proc. ICRA Workshop Open Source Softw.","author":"Quigley"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.21236\/ADA400176"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2011.6147965"},{"key":"ref45","article-title":"The levels of conceptual interoperability model: Applying systems engineering principles to M&S","volume-title":"arXiv:0908.0191","author":"Wang","year":"2009"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843082"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2017.8256275"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843174"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843257"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8856\/9814439\/9488275-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/9814439\/09488275.pdf?arnumber=9488275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T00:01:27Z","timestamp":1705017687000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9488275\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7]]},"references-count":49,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tase.2021.3094055","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7]]}}}