{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T19:44:04Z","timestamp":1760903044500,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":75,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032056726","type":"print"},{"value":"9783032056733","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T00:00:00Z","timestamp":1760918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T00:00:00Z","timestamp":1760918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-05673-3_4","type":"book-chapter","created":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T19:13:35Z","timestamp":1760901215000},"page":"55-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Brief Survey on Human-AI Collaboration for Architecture Design of Industrial Systems"],"prefix":"10.1007","author":[{"given":"Antonio Monte","family":"Pegado","sequence":"first","affiliation":[]},{"given":"Luis M.","family":"Camarinha-Matos","sequence":"additional","affiliation":[]},{"given":"Andre Dionisio","family":"Rocha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,20]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"220121","DOI":"10.1109\/ACCESS.2020.3042874","volume":"8","author":"RS Peres","year":"2020","unstructured":"Peres, R.S., Jia, X., Lee, J., Sun, K., Colombo, A.W., Barata, J.: Industrial artificial intelligence in industry 4.0 - systematic review, challenges and outlook. IEEE Access 8, 220121\u2013220139 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.3042874","journal-title":"IEEE Access"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s10845-018-1433-8","volume":"31","author":"E Oztemel","year":"2020","unstructured":"Oztemel, E., Gursev, S.: Literature review of Industry 4.0 and related technologies. J. Intell. Manuf. 31(1), 127\u2013182 (2020). https:\/\/doi.org\/10.1007\/s10845-018-1433-8","journal-title":"J. Intell. Manuf."},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Abdulnour, S., Baril, C., Abdulnour, G., Gamache, S.: Implementation of Industry 4.0 Principles and Tools: Simulation and Case Study in a Manufacturing SME. Sustainability 14(10), Art. no. 10 (2022). https:\/\/doi.org\/10.3390\/su14106336","DOI":"10.3390\/su14106336"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1108\/JMTM-04-2020-0156","volume":"32","author":"LMALD Santos","year":"2020","unstructured":"Santos, L.M.A.L.D., et al.: Industry 4.0 collaborative networks for industrial performance. J. Manuf. Technol. Manag. 32(2), 245\u2013265 (2020). https:\/\/doi.org\/10.1108\/JMTM-04-2020-0156","journal-title":"J. Manuf. Technol. Manag."},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s10845-022-02060-6","volume":"35","author":"LM Camarinha-Matos","year":"2024","unstructured":"Camarinha-Matos, L.M., Rocha, A.D., Gra\u00e7a, P.: Collaborative approaches in sustainable and resilient manufacturing. J. Intell. Manuf. 35(2), 499\u2013519 (2024). https:\/\/doi.org\/10.1007\/s10845-022-02060-6","journal-title":"J. Intell. Manuf."},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Monte Pegado, A., Dionisio Rocha, A., Barata, J.: Enhancing software distribution and collaboration in manufacturing: developing the IMOS platform. IEEE Access 13, 480\u2013494 (2025). https:\/\/doi.org\/10.1109\/ACCESS.2024.3521867","DOI":"10.1109\/ACCESS.2024.3521867"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.jmsy.2021.04.016","volume":"60","author":"Z Qin","year":"2021","unstructured":"Qin, Z., Lu, Y.: Self-organizing manufacturing network: a paradigm towards smart manufacturing in mass personalization. J. Manuf. Syst. 60, 35\u201347 (2021). https:\/\/doi.org\/10.1016\/j.jmsy.2021.04.016","journal-title":"J. Manuf. Syst."},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2478\/fcds-2023-0018","volume":"48","author":"S Hyun","year":"2023","unstructured":"Hyun, S., Hurtado, J.A.: Traceability of architectural design decisions and software artifacts: a systematic mapping study. Found. Comput. Decis. Sci. 48(4), 401\u2013423 (2023). https:\/\/doi.org\/10.2478\/fcds-2023-0018","journal-title":"Found. Comput. Decis. Sci."},{"issue":"7","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1319","DOI":"10.1108\/JMTM-11-2021-0476","volume":"33","author":"M K\u0131rm\u0131z\u0131","year":"2022","unstructured":"K\u0131rm\u0131z\u0131, M., Kocaoglu, B.: Digital transformation maturity model development framework based on design science: case studies in manufacturing industry. J. Manuf. Technol. Manag. 33(7), 1319\u20131346 (2022). https:\/\/doi.org\/10.1108\/JMTM-11-2021-0476","journal-title":"J. Manuf. Technol. Manag."},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1016\/j.jmsy.2024.04.008","volume":"74","author":"R Andersen","year":"2024","unstructured":"Andersen, R., Napoleone, A., Andersen, A.-L., Brunoe, T.D., Nielsen, K.: A systematic methodology for changeable and reconfigurable manufacturing systems development. J. Manuf. Syst. 74, 449\u2013462 (2024). https:\/\/doi.org\/10.1016\/j.jmsy.2024.04.008","journal-title":"J. Manuf. Syst."},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Agote-Garrido, A., Mart\u00edn-G\u00f3mez, A.M., Lama-Ruiz, J.R.: Manufacturing system design in industry 5.0: incorporating sociotechnical systems and social metabolism for human-centered, sustainable, and resilient production. Systems 11(11), Art. no. 11 (2023). https:\/\/doi.org\/10.3390\/systems11110537","DOI":"10.3390\/systems11110537"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.ifacol.2022.04.192","volume":"55","author":"L Sakurada","year":"2022","unstructured":"Sakurada, L., Leitao, P., la Prieta, F.D.: Agent-based asset administration shell approach for digitizing industrial assets. IFAC-Pap. 55(2), 193\u2013198 (2022). https:\/\/doi.org\/10.1016\/j.ifacol.2022.04.192","journal-title":"IFAC-Pap."},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s44336-024-00009-2","volume":"1","author":"X Li","year":"2024","unstructured":"Li, X., Wang, S., Zeng, S., Wu, Y., Yang, Y.: A survey on LLM-based multi-agent systems: workflow, infrastructure, and challenges. Vicinagearth 1(1), 9 (2024). https:\/\/doi.org\/10.1007\/s44336-024-00009-2","journal-title":"Vicinagearth"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Augusto, J.C., Quinde, M.J., Oguego, C.L., Gim\u00e9nez Manuel, J.: Context-Aware Systems Architecture (CaSA). Cybern. Syst. 53(4), 319\u2013345 (2022). https:\/\/doi.org\/10.1080\/01969722.2021.1985226","DOI":"10.1080\/01969722.2021.1985226"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1016\/j.procir.2022.05.141","volume":"107","author":"A Torayev","year":"2022","unstructured":"Torayev, A., Mart\u00ednez-Arellano, G., Chaplin, J.C., Sanderson, D., Ratchev, S.: Towards modular and plug-and-produce manufacturing apps. Procedia CIRP 107, 1257\u20131262 (2022). https:\/\/doi.org\/10.1016\/j.procir.2022.05.141","journal-title":"Procedia CIRP"},{"key":"4_CR16","doi-asserted-by":"publisher","unstructured":"Vogel-Heuser, B., Neumann, E.-M., Fischer, J.: MICOSE4aPS: industrially applicable maturity metric to improve systematic reuse of control software. ACM Trans. Softw. Eng. Methodol. 31(1), 5:1\u20135:24 (2021). https:\/\/doi.org\/10.1145\/3467896","DOI":"10.1145\/3467896"},{"key":"4_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2022.101635","volume":"52","author":"Y Wu","year":"2022","unstructured":"Wu, Y., Zhou, L., Zheng, P., Sun, Y., Zhang, K.: A digital twin-based multidisciplinary collaborative design approach for complex engineering product development. Adv. Eng. Inform. 52, 101635 (2022). https:\/\/doi.org\/10.1016\/j.aei.2022.101635","journal-title":"Adv. Eng. Inform."},{"issue":"24","key":"4_CR18","doi-asserted-by":"publisher","first-page":"42311","DOI":"10.1109\/JSEN.2024.3480932","volume":"24","author":"X Zhou","year":"2024","unstructured":"Zhou, X., Hu, Y., Jia, Q., Xie, R.: Cross-domain integration for general sensor data synthesis: leveraging LLMs and domain-specific generative models in collaborative environments. IEEE Sens. J. 24(24), 42311\u201342326 (2024). https:\/\/doi.org\/10.1109\/JSEN.2024.3480932","journal-title":"IEEE Sens. J."},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Lee, J., Su, H.: A Unified Industrial Large Knowledge Model Framework in Industry 4.0 and Smart Manufacturing 1, 41\u201347 (2023). https:\/\/doi.org\/10.36922\/ijamd.3681","DOI":"10.36922\/ijamd.3681"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"I\u00f1igo, M.A., et al.: Towards standardized manufacturing as a service through asset administration shell and international data spaces connectors. In: IECON 2022 \u2013 48th Annual Conference of the IEEE Industrial Electronics Society, pp. 1\u20136 (2022). https:\/\/doi.org\/10.1109\/IECON49645.2022.9968592","DOI":"10.1109\/IECON49645.2022.9968592"},{"key":"4_CR21","unstructured":"ISO\/IEC\/IEEE 42010:2022(en), Software, systems and enterprise \u2014 Architecture description. Accessed: 16 Mar. 2025. https:\/\/www.iso.org\/obp\/ui\/en\/#iso:std:iso-iec-ieee:42010:ed-2:v1:en"},{"key":"4_CR22","doi-asserted-by":"publisher","unstructured":"Arantes, M., Bonnard, R., Mattei, A.P., de Saqui-Sannes, P.: General architecture for data analysis in industry 4.0 using SysML and model based system engineering. In: 2018 Annual IEEE International Systems Conference (SysCon), pp. 1\u20136 (2018). https:\/\/doi.org\/10.1109\/SYSCON.2018.8369574","DOI":"10.1109\/SYSCON.2018.8369574"},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Dahmann, J., et al.: SysML executable systems of system architecture definition: a working example. In: 2017 Annual IEEE International Systems Conference (SysCon), pp. 1\u20136 (2017). https:\/\/doi.org\/10.1109\/SYSCON.2017.7934816","DOI":"10.1109\/SYSCON.2017.7934816"},{"key":"4_CR24","doi-asserted-by":"publisher","unstructured":"V\u00e1zquez-Ingelmo, A., Garc\u00eda-Holgado, A., Garc\u00eda-Pe\u00f1alvo, F.J.; C4 model in a Software Engineering subject to ease the comprehension of UML and the software. In: 2020 IEEE Global Engineering Education Conference (EDUCON)pp. 919\u2013924 (2020). https:\/\/doi.org\/10.1109\/EDUCON45650.2020.9125335","DOI":"10.1109\/EDUCON45650.2020.9125335"},{"key":"4_CR25","doi-asserted-by":"publisher","unstructured":"Jokste, L., Kampars, J.: Comprehensible software architecture visualization with C4 model for WRM ecosystem members. In: 2024 IEEE 65th International Scientific Conference on Information Technology and Management Science of Riga Technical University (ITMS), pp. 1\u20135 (2024). https:\/\/doi.org\/10.1109\/ITMS64072.2024.10741937","DOI":"10.1109\/ITMS64072.2024.10741937"},{"key":"4_CR26","unstructured":"Lab, R.; openCAESAR Enables Ontological Modeling and Analysis. openCAESAR. Accessed: 29 Mar. 2025. https:\/\/www.opencaesar.io\/"},{"key":"4_CR27","unstructured":"Jackson, D.: Alloy open source language and analyzer for software modelling. Alloy. Accessed: 03 Apr. 2025. https:\/\/alloytools.org\/"},{"key":"4_CR28","doi-asserted-by":"publisher","unstructured":"Bau, N., Endres, S., Gerz, M., G\u00f6kg\u00f6z, F.; A cloud-based architecture for an interoperable, resilient, and scalable C2 information system. In: 2018 International Conference on Military Communications and Information Systems (ICMCIS), pp. 1\u20137 (2018). https:\/\/doi.org\/10.1109\/ICMCIS.2018.8398692","DOI":"10.1109\/ICMCIS.2018.8398692"},{"issue":"3","key":"4_CR29","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s11761-018-0245-1","volume":"12","author":"A Mohsin","year":"2018","unstructured":"Mohsin, A., Janjua, N.K.: A review and future directions of SOA-based software architecture modeling approaches for System of Systems. Serv. Oriented Comput. Appl. 12(3), 183\u2013200 (2018). https:\/\/doi.org\/10.1007\/s11761-018-0245-1","journal-title":"Serv. Oriented Comput. Appl."},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"Ara\u00fajo, C., Batista, T., Cavalcante, E., Oquendo, F.; Generating formal software architecture descriptions from semi-formal SysML-based models: a model-driven approach. In: Gervasi, O., Murgante, B., Misra, S., Garau, C., Ble\u010di\u0107, I., Taniar, D., Apduhan, B.O., Rocha, A.M.A.C., Tarantino, E., Torre, C.M. (eds.) Computational Science and Its Applications \u2013 ICCSA 2021, pp. 394\u2013410. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86970-0_28","DOI":"10.1007\/978-3-030-86970-0_28"},{"key":"4_CR31","doi-asserted-by":"publisher","unstructured":"Maroui, R., Ayeb, B.: Integrating the SysML and ACME in a model driven engineering approach to verify the web service composition. In: 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 183\u2013189 (2015). https:\/\/doi.org\/10.1109\/WETICE.2015.41","DOI":"10.1109\/WETICE.2015.41"},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Taoufik, S.R., Tahar, B.M., Mourad, K., Faouzi, M.: UML2.0 formalization and acme verification of the qualitative properties of software architectures. In: 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 192\u2013197 (2016). https:\/\/doi.org\/10.1109\/WETICE.2016.50","DOI":"10.1109\/WETICE.2016.50"},{"issue":"3","key":"4_CR33","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1109\/TSE.2025.3533387","volume":"51","author":"N Medvidovi\u0107","year":"2025","unstructured":"Medvidovi\u0107, N., Taylor, R.N., Dashofy, E.M.: Software architecture description revisited. IEEE Trans. Softw. Eng. 51(3), 789\u2013794 (2025). https:\/\/doi.org\/10.1109\/TSE.2025.3533387","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR34","doi-asserted-by":"publisher","unstructured":"Stewart, D., et al.: AADL-Based safety analysis using formal methods applied to aircraft digital systems. Reliab. Eng. Syst. Saf. 213, 107649 (2021). https:\/\/doi.org\/10.1016\/j.ress.2021.107649","DOI":"10.1016\/j.ress.2021.107649"},{"issue":"1","key":"4_CR35","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1109\/TR.2019.2936072","volume":"69","author":"F Wang","year":"2020","unstructured":"Wang, F., et al.: An approach to generate the traceability between restricted natural language requirements and AADL models. IEEE Trans. Reliab. 69(1), 154\u2013173 (2020). https:\/\/doi.org\/10.1109\/TR.2019.2936072","journal-title":"IEEE Trans. Reliab."},{"key":"4_CR36","doi-asserted-by":"publisher","unstructured":"Butting, A., et al.: Systematic language extension mechanisms for the montiarc architecture description language. In: Anjorin, A., Espinoza, H. (eds.) Modelling Foundations and Applications, pp. 53\u201370. Springer International Publishing, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61482-3_4","DOI":"10.1007\/978-3-319-61482-3_4"},{"key":"4_CR37","doi-asserted-by":"publisher","unstructured":"Chen, R., Sun, S.-P., Chao, W.S.: Architecture-oriented design method for smart tourism innovative service systems. In: 2016 International Conference on Advanced Materials for Science and Engineering (ICAMSE), pp. 219\u2013222 (2016). https:\/\/doi.org\/10.1109\/ICAMSE.2016.7840284","DOI":"10.1109\/ICAMSE.2016.7840284"},{"key":"4_CR38","doi-asserted-by":"publisher","unstructured":"Ma, W.-M., Wang, H.-T., Chao, W.S.: Model-based systems engineering using structure-behavior coalescence modeling language. In: 2022 14th International Conference on Information Technology and Electrical Engineering (ICITEE), pp. 109\u2013113 (2022). https:\/\/doi.org\/10.1109\/ICITEE56407.2022.9954100","DOI":"10.1109\/ICITEE56407.2022.9954100"},{"key":"4_CR39","doi-asserted-by":"publisher","unstructured":"Nicacio, J., Petrillo, F.: An approach to build consistent software architecture diagrams using devops system descriptors. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, in MODELS \u201922, pp. 312\u2013321. Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3550356.3561567","DOI":"10.1145\/3550356.3561567"},{"key":"4_CR40","doi-asserted-by":"publisher","unstructured":"Schmidt, C., Volz, F., Stojanovic, L., Sutschet, G.: Increasing interoperability between digital twin standards and specifications: transformation of DTDL to AAS. Sensors 23(18), Art. no. 18 (2023). https:\/\/doi.org\/10.3390\/s23187742","DOI":"10.3390\/s23187742"},{"key":"4_CR41","doi-asserted-by":"publisher","unstructured":"Rott, J., et al.: Integrating hierarchical task analysis into model-based system design using airbus XHTA and IBM rational rhapsody. In: 2018 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), pp. 1856\u20131860 (2018). https:\/\/doi.org\/10.1109\/IEEM.2018.8607656","DOI":"10.1109\/IEEM.2018.8607656"},{"key":"4_CR42","doi-asserted-by":"publisher","unstructured":"Batteh, J., et al.: Material production process modeling with automated modelica models from IBM rational rhapsody. Model. Conf., 158\u2013167 (2022). https:\/\/doi.org\/10.3384\/ECP21186158","DOI":"10.3384\/ECP21186158"},{"key":"4_CR43","doi-asserted-by":"publisher","unstructured":"Medeiros, A.L., Cavalcante, E., Batista, T., Silva, E.: ArchSPL-MDD: An ADL-based model-driven strategy for automatic variability management. In: 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software, pp. 120\u2013129 (2015). https:\/\/doi.org\/10.1109\/SBCARS.2015.23","DOI":"10.1109\/SBCARS.2015.23"},{"key":"4_CR44","unstructured":"Wang, X., Rutle, A., Lamo, Y., Box, P.O.; Towards User-Friendly and Efficient Analysis with Alloy"},{"key":"4_CR45","doi-asserted-by":"publisher","unstructured":"Kafa, V., Siegburg, M., Voigtl\u00e4nder, J.: Exercise Task Generation for UML Class\/Object Diagrams, via Alloy Model Instance Finding. In: Tait, B., Kroeze, J., Gruner, S. (eds.) ICT Education, pp. 112\u2013128. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-35629-3_8","DOI":"10.1007\/978-3-030-35629-3_8"},{"key":"4_CR46","doi-asserted-by":"publisher","unstructured":"Kahani, N., Bagherzadeh, M., Dingel, J., Cordy, J.R.: The problems with eclipse modeling tools: a topic analysis of eclipse forums. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 227\u2013237. ACM, Saint-malo France (2016). https:\/\/doi.org\/10.1145\/2976767.2976773","DOI":"10.1145\/2976767.2976773"},{"key":"4_CR47","doi-asserted-by":"publisher","unstructured":"S\u00e1nchez Cuadrado, J., Gogolla, M.: Model Finding in the EMF Ecosystem. J. Object Technol. 19, 10:1 (2020). https:\/\/doi.org\/10.5381\/jot.2020.19.2.a10","DOI":"10.5381\/jot.2020.19.2.a10"},{"key":"4_CR48","unstructured":"Fotsing, C., et al.: Cheddar Architecture Description Language"},{"key":"4_CR49","doi-asserted-by":"publisher","unstructured":"Dong, Y., Gou, Q., Tang, P.: Architecture-Level Schedulability Analysis with IO Constraint using AADL. In: 2021 8th International Conference on Dependable Systems and Their Applications (DSA), pp. 220\u2013229 (2021). https:\/\/doi.org\/10.1109\/DSA52907.2021.00034","DOI":"10.1109\/DSA52907.2021.00034"},{"key":"4_CR50","doi-asserted-by":"publisher","unstructured":"Marmsoler, D., Gidey, H.K.: FACTum studio: a tool for the axiomatic specification and verification of architectural design patterns. In: Bae, K., \u00d6lveczky, P.C. (eds.) Formal Aspects of Component Software, pp. 279\u2013287. Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02146-7_14","DOI":"10.1007\/978-3-030-02146-7_14"},{"key":"4_CR51","doi-asserted-by":"publisher","unstructured":"Li, Y., Li, Q., Wang, L., Cheng, W., Wu, T.: ADAPT: an agent-based development toolkit and operation platform for self-adaptive systems. In: 2017 IEEE Conference on Open Systems (ICOS), pp. 53\u201358 (2017). https:\/\/doi.org\/10.1109\/ICOS.2017.8280274","DOI":"10.1109\/ICOS.2017.8280274"},{"key":"4_CR52","doi-asserted-by":"publisher","unstructured":"Mittal, R., Blouin, D.: OSATE-DIM solves the instance model-view update problem in AADL. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, in MODELS \u201922, pp. 1\u20136. Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3550356.3559083","DOI":"10.1145\/3550356.3559083"},{"issue":"1","key":"4_CR53","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/3706601.3706609","volume":"44","author":"R Mittal","year":"2024","unstructured":"Mittal, R., Blouin, D.: Facilitating AADL Model Processing and Analysis with OSATE-DIM. Ada Lett 44(1), 53\u201357 (2024). https:\/\/doi.org\/10.1145\/3706601.3706609","journal-title":"Ada Lett"},{"key":"4_CR54","doi-asserted-by":"publisher","unstructured":"Dupont, G., Mustafiz, S., Khendek, F., Toeroe, M.: Building domain-specific modelling environments with papyrus: an experience report. In: Proceedings of the 10th International Workshop on Modelling in Software Engineering, in MiSE \u201918, pp. 49\u201356. Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3193954.3193962","DOI":"10.1145\/3193954.3193962"},{"key":"4_CR55","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2019.106039","volume":"137","author":"S Gorecki","year":"2019","unstructured":"Gorecki, S., Ribault, J., Zacharewicz, G., Ducq, Y., Perry, N.: Risk management and distributed simulation in Papyrus tool for decision making in industrial context. Comput. Ind. Eng. 137, 106039 (2019). https:\/\/doi.org\/10.1016\/j.cie.2019.106039","journal-title":"Comput. Ind. Eng."},{"key":"4_CR56","doi-asserted-by":"publisher","unstructured":"Bardaro, G., Semprebon, A., Chiatti, A., Matteucci, M.: From models to software through automatic transformations: an AADL to ROS end-to-end toolchain. In: 2019 Third IEEE International Conference on Robotic Computing (IRC), pp. 580\u2013585 (2019). https:\/\/doi.org\/10.1109\/IRC.2019.00118","DOI":"10.1109\/IRC.2019.00118"},{"issue":"2","key":"4_CR57","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/3092893.3092902","volume":"36","author":"D Buzdalov","year":"2017","unstructured":"Buzdalov, D.: Simulation of AADL models with software-in-the-loop execution. Ada Lett 36(2), 49\u201353 (2017). https:\/\/doi.org\/10.1145\/3092893.3092902","journal-title":"Ada Lett"},{"key":"4_CR58","doi-asserted-by":"publisher","unstructured":"Olenev, V., Lavrovskaya, I., Korobkov, I., Sheynin, Y.: Design and Simulation of Onboard SpaceWire Networks. In: 2019 24th Conference of Open Innovations Association (FRUCT), pp. 291\u2013299 (2019). https:\/\/doi.org\/10.23919\/FRUCT.2019.8711908","DOI":"10.23919\/FRUCT.2019.8711908"},{"key":"4_CR59","doi-asserted-by":"publisher","unstructured":"Zelenov, S., Buzdalov, S.: Visualization of behavioral aspects of AADL-models. In: 2017 Computer Science and Information Technologies (CSIT), pp. 87\u201391 (2017). https:\/\/doi.org\/10.1109\/CSITechnol.2017.8312147","DOI":"10.1109\/CSITechnol.2017.8312147"},{"issue":"5","key":"4_CR60","doi-asserted-by":"publisher","first-page":"1860","DOI":"10.4271\/2023-01-0995","volume":"5","author":"I Amundson","year":"2023","unstructured":"Amundson, I.: Checking compliance of AADL models with modeling guidelines using resolint. SAE Int. J. Adv. Curr. Pract. Mobil. 5(5), 1860\u20131868 (2023). https:\/\/doi.org\/10.4271\/2023-01-0995","journal-title":"SAE Int. J. Adv. Curr. Pract. Mobil."},{"key":"4_CR61","unstructured":"Badache, N., Roques, P.: Capella to SysML bridge: a tooled-up methodology for MBSE interoperability. In: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), TOULOUSE, France (2018). Accessed: 23 Mar. 2025. https:\/\/hal.science\/hal-01710529"},{"key":"4_CR62","doi-asserted-by":"publisher","unstructured":"Bouba, K., Ait Wakrime, A., Ouhammou, Y., Benaini, R.: A transformation methodology for capella to event-B models with DSL verification. J. Comput. Lang. 77, 101241 (2023). https:\/\/doi.org\/10.1016\/j.cola.2023.101241","DOI":"10.1016\/j.cola.2023.101241"},{"key":"4_CR63","unstructured":"Thomas, R., Webb, B.: Architectural views - lecture notes in software engineering. Presented for the Software Architecture course at the University of Queensland (2025)"},{"key":"4_CR64","doi-asserted-by":"publisher","unstructured":"Kannoth, S., et al.: Enabling SMEs to Industry 4.0 Using the BaSyx Middleware: a case study. In: Biffl, S., Navarro, E., L\u00f6we, W., Sirjani, M., Mirandola, R., Weyns, D. (eds.) Software Architecture, pp. 277\u2013294. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86044-8_19","DOI":"10.1007\/978-3-030-86044-8_19"},{"key":"4_CR65","doi-asserted-by":"publisher","unstructured":"Yall\u0131\u00e7, F., Albayrak, \u00d6., \u00dcnal, P.: Asset administration shell generation and usage for digital twins: a case study for non-destructive testing. In: Proceedings of the 3rd International Conference on Innovative Intelligent Industrial Production and Logistics, pp. 299\u2013306, SCITEPRESS - Science and Technology Publications, Valletta, Malta (2022). https:\/\/doi.org\/10.5220\/0011561400003329","DOI":"10.5220\/0011561400003329"},{"issue":"7","key":"4_CR66","doi-asserted-by":"publisher","first-page":"8954","DOI":"10.1007\/s11227-023-05774-3","volume":"80","author":"M Sadeghi","year":"2024","unstructured":"Sadeghi, M., Carenini, A., Corcho, O., Rossi, M., Santoro, R., Vogelsang, A.: Interoperability of heterogeneous systems of systems: from requirements to a reference architecture. J. Supercomput. 80(7), 8954\u20138987 (2024). https:\/\/doi.org\/10.1007\/s11227-023-05774-3","journal-title":"J. Supercomput."},{"key":"4_CR67","doi-asserted-by":"publisher","unstructured":"Lee, S., Ryu, K.: Development of the architecture and reconfiguration methods for the smart, self-reconfigurable manufacturing system. Appl. Sci. 12(10), Art. no. 10 (2022). https:\/\/doi.org\/10.3390\/app12105172","DOI":"10.3390\/app12105172"},{"key":"4_CR68","doi-asserted-by":"publisher","DOI":"10.1016\/j.mex.2023.102260","volume":"11","author":"A T\u00f3th","year":"2023","unstructured":"T\u00f3th, A., Nagy, L., Kennedy, R., Bohu\u0161, B., Abonyi, J., Ruppert, T.: The human-centric Industry 5.0 collaboration architecture. MethodsX 11, 102260 (2023). https:\/\/doi.org\/10.1016\/j.mex.2023.102260","journal-title":"MethodsX"},{"key":"4_CR69","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmatprotec.2021.117485","volume":"302","author":"M Mozaffar","year":"2022","unstructured":"Mozaffar, M., et al.: Mechanistic artificial intelligence (mechanistic-AI) for modeling, design, and control of advanced manufacturing processes: Current state and perspectives. J. Mater. Process. Technol. 302, 117485 (2022). https:\/\/doi.org\/10.1016\/j.jmatprotec.2021.117485","journal-title":"J. Mater. Process. Technol."},{"issue":"7","key":"4_CR70","doi-asserted-by":"publisher","first-page":"2288","DOI":"10.1080\/00207543.2022.2069525","volume":"61","author":"G Casta\u00f1\u00e9","year":"2023","unstructured":"Casta\u00f1\u00e9, G., et al.: The ASSISTANT project: AI for high level decisions in manufacturing. Int. J. Prod. Res. 61(7), 2288\u20132306 (2023). https:\/\/doi.org\/10.1080\/00207543.2022.2069525","journal-title":"Int. J. Prod. Res."},{"key":"4_CR71","doi-asserted-by":"publisher","unstructured":"Dhar, R., Vaidhyanathan, K., Varma, V.: Can LLMs Generate Architectural Design Decisions? - An Exploratory Empirical Study. In: 2024 IEEE 21st International Conference on Software Architecture (ICSA), pp. 79\u201389 (2024). https:\/\/doi.org\/10.1109\/ICSA59870.2024.00016","DOI":"10.1109\/ICSA59870.2024.00016"},{"key":"4_CR72","doi-asserted-by":"publisher","unstructured":"Bucaioni, A., Di Salle, A., Iovino, L., Pelliccione, P., Raimondi, F.: Architecture as Code. In: 2025 IEEE 22nd International Conference on Software Architecture (ICSA), pp. 187\u2013198 (2025). https:\/\/doi.org\/10.1109\/ICSA65012.2025.00027","DOI":"10.1109\/ICSA65012.2025.00027"},{"key":"4_CR73","doi-asserted-by":"publisher","unstructured":"Wu, S., Oltramari, A., Francis, J., Giles, C.L., Ritter, F.E.: Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making (2024). arXiv: arXiv:2408.09176. https:\/\/doi.org\/10.48550\/arXiv.2408.09176","DOI":"10.48550\/arXiv.2408.09176"},{"key":"4_CR74","unstructured":"\u2018Multi-Agent Systems for Pervasive Artificial Intelligence for assisting Humans in Modular Production Environments | MAS4AI | Projekt | Fact Sheet | H2020\u2019, CORDIS | European Commission. Accessed: 09 May 2025. https:\/\/cordis.europa.eu\/project\/id\/957204"},{"issue":"3","key":"4_CR75","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1109\/JAS.2025.125327","volume":"12","author":"J Xu","year":"2025","unstructured":"Xu, J., Sun, Q., Han, Q.-L., Tang, Y.: When Embodied AI Meets Industry 5.0: Human-Centered Smart Manufacturing. IEEECAA J. Autom. Sin. 12(3), 485\u2013501 (2025). https:\/\/doi.org\/10.1109\/JAS.2025.125327","journal-title":"IEEECAA J. Autom. Sin."}],"container-title":["IFIP Advances in Information and Communication Technology","Hybrid Human-AI Collaborative Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05673-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T19:13:38Z","timestamp":1760901218000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05673-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,20]]},"ISBN":["9783032056726","9783032056733"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05673-3_4","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,20]]},"assertion":[{"value":"20 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PRO-VE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Working Conference on Virtual Enterprises","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pro-ve2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.pro-ve.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}