{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T11:26:31Z","timestamp":1787052391659,"version":"build-2736575974"},"reference-count":45,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2027,1,1]],"date-time":"2027-01-01T00:00:00Z","timestamp":1798761600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2027,1]]},"DOI":"10.1016\/j.scico.2026.103554","type":"journal-article","created":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T15:15:04Z","timestamp":1786547704000},"page":"103554","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["From agent-oriented modelling to cyber-physical implementation: A model-driven approach"],"prefix":"10.1016","volume":"255","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6848-1320","authenticated-orcid":false,"given":"Claudio","family":"Navarro","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8836-603X","authenticated-orcid":false,"given":"Lorenzo","family":"Devia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8907-5348","authenticated-orcid":false,"given":"Jose E.","family":"Labra Gayo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5690-7451","authenticated-orcid":false,"given":"Carlos","family":"Cares","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2026.103554_bib0001","series-title":"Information Technology and Systems: Proceedings of ICITS 2019","first-page":"93","article-title":"Agent-oriented engineering for cyber-physical systems","author":"Cares","year":"2019"},{"issue":"3","key":"10.1016\/j.scico.2026.103554_bib0002","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1002\/inst.12109","article-title":"Systems of systems, cyber-physical systems, the internet-of-things... whatever whatever next?","volume":"19","author":"de C. Henshaw","year":"2016","journal-title":"Insight"},{"key":"10.1016\/j.scico.2026.103554_bib0003","series-title":"2023 IEEE\/ACM 11th International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS)","first-page":"46","article-title":"Contemporary challenges when developing cyber-physical systems of systems-a case study","author":"Sj\u00f6berg","year":"2023"},{"key":"10.1016\/j.scico.2026.103554_bib0004","series-title":"Model-Driven Software Development","first-page":"119","article-title":"A generalized notion of platforms for model-driven development","author":"Atkinson","year":"2005"},{"issue":"5","key":"10.1016\/j.scico.2026.103554_bib0005","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.2003.1231146","article-title":"The pragmatics of model-driven development","volume":"20","author":"Selic","year":"2003","journal-title":"IEEE Softw."},{"issue":"2","key":"10.1016\/j.scico.2026.103554_bib0006","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","article-title":"On the unification power of models","volume":"4","author":"B\u00e9zivin","year":"2005","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.scico.2026.103554_bib0007","series-title":"CEUR Workshop Proceedings","first-page":"74","article-title":"Model-driven methods to design of reliable multiagent cyber-physical systems","volume":"2478","author":"Staroletov","year":"2019"},{"key":"10.1016\/j.scico.2026.103554_bib0008","series-title":"Proceedings of the XVII-th International Conference on Software Engineering SoftEngine 2022","first-page":"14","article-title":"A model-driven approach for cyber-physical systems: a method engineering perspective","author":"Cares","year":"2022"},{"issue":"1","key":"10.1016\/j.scico.2026.103554_bib0009","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3078623","article-title":"Dependable model-driven development of CPS: from stateflow simulation to verified implementation","volume":"3","author":"Jiang","year":"2018","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"10.1016\/j.scico.2026.103554_bib0010","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/j.procir.2021.05.119","article-title":"V-model based development of cyber-physical systems and cyber-physical production systems","volume":"100","author":"Gr\u00e4\u00dfler","year":"2021","journal-title":"Procedia CIRP"},{"issue":"11","key":"10.1016\/j.scico.2026.103554_bib0011","doi-asserted-by":"crossref","first-page":"1567","DOI":"10.1631\/FITEE.2000311","article-title":"A survey of model-driven techniques and tools for cyber-physical systems","volume":"21","author":"Liu","year":"2020","journal-title":"Front. Inf. Technol. Electron. Eng."},{"key":"10.1016\/j.scico.2026.103554_bib0012","doi-asserted-by":"crossref","first-page":"48605","DOI":"10.1109\/ACCESS.2021.3068358","article-title":"Model-driven engineering tools and languages for cyber-physical systems\u2013a systematic literature review","volume":"9","author":"Mohamed","year":"2021","journal-title":"IEEE Access"},{"issue":"1","key":"10.1016\/j.scico.2026.103554_bib0013","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/25148625","article-title":"Design science in information systems research","volume":"28","author":"Hevner","year":"2004","journal-title":"MIS Q."},{"issue":"3","key":"10.1016\/j.scico.2026.103554_bib0014","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2753\/MIS0742-1222240302","article-title":"A design science research methodology for information systems research","volume":"24","author":"Peffers","year":"2007","journal-title":"J. Manag. Inf. Syst."},{"key":"10.1016\/j.scico.2026.103554_bib0015","doi-asserted-by":"crossref","DOI":"10.7717\/peerj-cs.2305","article-title":"Componentizing autonomous underwater vehicles by physical-running algorithms","volume":"10","author":"Navarro","year":"2024","journal-title":"PeerJ Comput. Sci."},{"key":"10.1016\/j.scico.2026.103554_bib0016","series-title":"Congresso Ibero-Americano Em Engenharia De Software (CIbSE)","first-page":"150","article-title":"An agent-oriented model-driven development process for cyber-physical systems","author":"Navarro","year":"2025"},{"key":"10.1016\/j.scico.2026.103554_bib0017","first-page":"18","article-title":"A cyber-physical systems architecture for industry 4.0-based manufacturing systems","volume":"3","author":"Lee","year":"2015","journal-title":"Manuf. Lett."},{"key":"10.1016\/j.scico.2026.103554_bib0018","series-title":"The Internet of Things: Do-It-Yourself at Home Projects for Arduino, Raspberry Pi, and Beaglebone Black","author":"Norris","year":"2015"},{"issue":"7","key":"10.1016\/j.scico.2026.103554_bib0019","first-page":"441","article-title":"Toward modeling trust cyber-physical systems: a model-based system engineering method","volume":"14","author":"Oudina","year":"2023","journal-title":"Int. J. Adv. Comput. Sci. Appl."},{"issue":"1","key":"10.1016\/j.scico.2026.103554_bib0020","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/JAS.2017.7510349","article-title":"Review on cyber-physical systems","volume":"4","author":"Liu","year":"2017","journal-title":"IEEE\/CAA J. Autom. Sin."},{"key":"10.1016\/j.scico.2026.103554_bib0021","series-title":"Conference on Integrated Computer Technologies in Mechanical Engineering\u2013Synergetic Engineering","first-page":"719","article-title":"Architecting autonomous underwater vehicles by adapting software product lines","author":"Cares","year":"2022"},{"issue":"2","key":"10.1016\/j.scico.2026.103554_bib0022","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","article-title":"Intelligent agents: theory and practice","volume":"10","author":"Wooldridge","year":"1995","journal-title":"Knowl. Eng. Rev."},{"key":"10.1016\/j.scico.2026.103554_bib0023","series-title":"Proceedings of ISRE\u201997: 3rd IEEE International Symposium on Requirements Engineering","first-page":"226","article-title":"Towards modelling and reasoning support for early-phase requirements engineering","author":"Yu","year":"1997"},{"key":"10.1016\/j.scico.2026.103554_bib0024","series-title":"Social Modeling for Requirements Engineering","first-page":"573","article-title":"A reference model for i*","author":"Cares","year":"2011"},{"key":"10.1016\/j.scico.2026.103554_bib0025","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","article-title":"Tropos: an agent-oriented software development methodology","volume":"8","author":"Bresciani","year":"2004","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"10.1016\/j.scico.2026.103554_bib0026","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1010071910869","article-title":"The Gaia methodology for agent-oriented analysis and design","volume":"3","author":"Wooldridge","year":"2000","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"10.1016\/j.scico.2026.103554_bib0027","series-title":"Developing Intelligent Agent Systems: A Practical Guide","author":"Padgham","year":"2005"},{"key":"10.1016\/j.scico.2026.103554_bib0028","article-title":"Designing a multi-agent solution for a bookstore with the PASSI methodology","volume":"57","author":"Burrafato","year":"2002","journal-title":"AOIS@ CAiSE"},{"key":"10.1016\/j.scico.2026.103554_bib0029","series-title":"Tools for Thinking: Modelling in Management Science","author":"Pidd","year":"2003"},{"key":"10.1016\/j.scico.2026.103554_bib0030","series-title":"International Conference on Model Driven Engineering Languages and Systems","first-page":"57","article-title":"Adopting model driven software development in industry\u2013a case study at two companies","author":"Staron","year":"2006"},{"key":"10.1016\/j.scico.2026.103554_bib0031","series-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"Kleppe","year":"2003"},{"key":"10.1016\/j.scico.2026.103554_bib0032","series-title":"ECOOP 2007 \u2013 Object-Oriented Programming","first-page":"600","article-title":"Metamodel adaptation and model co-adaptation","author":"Wachsmuth","year":"2007"},{"key":"10.1016\/j.scico.2026.103554_bib0033","series-title":"International Conference on Conceptual Modeling","first-page":"218","article-title":"Learning pros and cons of model-driven development in a practical teaching experience","author":"Pastor","year":"2016"},{"key":"10.1016\/j.scico.2026.103554_bib0034","series-title":"2008 The 28th International Conference on Distributed Computing Systems Workshops","first-page":"495","article-title":"Secure control: towards survivable cyber-physical systems","author":"Cardenas","year":"2008"},{"key":"10.1016\/j.scico.2026.103554_bib0035","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/j.compind.2015.08.004","article-title":"Industrial automation based on cyber-physical systems technologies: prototype implementations and challenges","volume":"81","author":"Leit\u00e3o","year":"2016","journal-title":"Comput. Ind."},{"key":"10.1016\/j.scico.2026.103554_bib0036","series-title":"2010 IEEE 34th Annual Computer Software and Applications Conference Workshops","first-page":"13","article-title":"Modeling cyber-physical systems with semantic agents","author":"Lin","year":"2010"},{"issue":"5","key":"10.1016\/j.scico.2026.103554_bib0037","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MS.2003.1231147","article-title":"What models mean","volume":"20","author":"Seidewitz","year":"2003","journal-title":"IEEE Softw."},{"key":"10.1016\/j.scico.2026.103554_bib0038","unstructured":"F. Dalpiaz, X. Franch, J. Horkoff, Istar 2.0 language guide, (2016). arXiv preprint arXiv: 1605.07767."},{"key":"10.1016\/j.scico.2026.103554_bib0039","doi-asserted-by":"crossref","DOI":"10.4025\/actascitechnol.v41i1.38349","article-title":"A framework for web applications using an agile and collaborative model driven development (AC-MDD)","volume":"41","author":"Romano","year":"2019","journal-title":"Acta Sci. Technol."},{"issue":"13","key":"10.1016\/j.scico.2026.103554_bib0040","doi-asserted-by":"crossref","first-page":"3951","DOI":"10.3390\/s25133951","article-title":"LocSys: a low-code paradigm for the development of cyber-physical applications","volume":"25","author":"Panayiotou","year":"2025","journal-title":"Sensors"},{"key":"10.1016\/j.scico.2026.103554_bib0041","series-title":"2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)","first-page":"18","article-title":"MoDD: a model-driven framework for data collection in drone-based systems","author":"Ait Habouche","year":"2024"},{"key":"10.1016\/j.scico.2026.103554_bib0042","unstructured":"N. Fernandes, R. Campos-Rebelo, J. Barros, Leveraging high-level petri nets for cyber-physical systems development 3730 (2024) pp. 155\u2013163."},{"issue":"5","key":"10.1016\/j.scico.2026.103554_bib0043","doi-asserted-by":"crossref","first-page":"221","DOI":"10.3390\/jmmp8050221","article-title":"A universal framework for skill-based cyber-physical production systems","volume":"8","author":"Hossfeld","year":"2024","journal-title":"J. Manuf. Mater. Process."},{"issue":"3","key":"10.1016\/j.scico.2026.103554_bib0044","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3737698","article-title":"Modeling and verification of hybrid systems by extending AADL","volume":"35","author":"Xu","year":"2025","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/j.scico.2026.103554_bib0045","series-title":"2024 ACM\/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS)","first-page":"123","article-title":"Formally verified C code generation from hybrid communicating sequential processes","author":"Wang","year":"2024"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642326001206?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642326001206?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T10:36:06Z","timestamp":1787049366000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642326001206"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2027,1]]},"references-count":45,"alternative-id":["S0167642326001206"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2026.103554","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2027,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"From agent-oriented modelling to cyber-physical implementation: A model-driven approach","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2026.103554","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"103554"}}