{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:59:04Z","timestamp":1750309144328,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FAPESP","award":["2023\/00488-5"],"award-info":[{"award-number":["2023\/00488-5"]}]},{"name":"CAPES","award":["88887.852976\/2023-00"],"award-info":[{"award-number":["88887.852976\/2023-00"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3643655.3643884","type":"proceedings-article","created":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T11:25:37Z","timestamp":1722943537000},"page":"29-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Automatic Generation of Systems-of-Systems Architectural Configurations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7058-3024","authenticated-orcid":false,"given":"Marcos","family":"Borges","sequence":"first","affiliation":[{"name":"Federal University of Ceara, Ceara, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5602-3023","authenticated-orcid":false,"given":"Wallace","family":"Manzano","sequence":"additional","affiliation":[{"name":"University of Sao Paulo, Sao Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5402-8744","authenticated-orcid":false,"given":"Lincoln","family":"Rocha","sequence":"additional","affiliation":[{"name":"Federal University of Ceara, Ceara, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6683-6869","authenticated-orcid":false,"given":"Paulo","family":"Maia","sequence":"additional","affiliation":[{"name":"State University of Ceara, Ceara, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7754-4298","authenticated-orcid":false,"given":"Elisa","family":"Nakagawa","sequence":"additional","affiliation":[{"name":"University of Sao Paulo, Sao Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,8,6]]},"reference":[{"volume-title":"1st SESoS (Montpellier, France) (SESoS '13)","author":"Batista Thais","key":"e_1_3_2_1_1_1","unstructured":"Thais Batista. 2013. Challenges for SoS Architecture Description. In 1st SESoS (Montpellier, France) (SESoS '13). ACM, New York, NY, USA, 35--37."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SESoS.2015.12"},{"key":"e_1_3_2_1_3_1","unstructured":"J. Boardman and B. Sauser. 2006. System of Systems - the meaning of of. In SOSE. Los Angeles California USA 6 pp.--."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134288"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"Marcos Borges. 2023. Approach to Generate Systems-of-Systems Architectural Configurations. 10.5281\/zenodo.10254286","DOI":"10.5281\/zenodo.10254286"},{"volume-title":"A Flexible","author":"Boyer Benot","key":"e_1_3_2_1_6_1","unstructured":"Benot Boyer, Kevin Corre, Axel Legay, and Sean Sedwards. 2013. PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. In Quantitative Evaluation of Systems (Lecture Notes in Computer Science, Vol. 8054), Kaustubh Joshi, Markus Siegle, Mari\u00eblle Stoelinga, and Pedro R. D'Argenio (Eds.). Buenos Aires, Argentina, 160 -- 164."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21523"},{"key":"e_1_3_2_1_8_1","article-title":"Simulation Based Studies in Software Engineering: A Matter of Validity","volume":"18","author":"Nicolau de Fran\u00e7a Breno Bernard","year":"2015","unstructured":"Breno Bernard Nicolau de Fran\u00e7a and Guilherme H. Travassos. 2015. Simulation Based Studies in Software Engineering: A Matter of Validity. CLEI Electron. J. 18, 1 (2015). http:\/\/www.clei.org\/cleiej\/paper.php?id=329","journal-title":"CLEI Electron. J."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9386-4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1117\/12.3008705"},{"key":"e_1_3_2_1_11_1","volume-title":"39th International Conference on Software Engineering, ICSE 2017 - Companion Volume. IEEE Press","author":"Graciano Neto Valdemar Vicente","year":"2017","unstructured":"Valdemar Vicente Graciano Neto. 2017. A model-based approach towards the building of trustworthy software-intensive systems-of-systems. In 39th International Conference on Software Engineering, ICSE 2017 - Companion Volume. IEEE Press, Buenos Aires, Argentina, 425--428."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13173-017-0062-y"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.24251\/HICSS.2018.724"},{"key":"e_1_3_2_1_14_1","volume-title":"Externalizing Patterns for Simulations in Software Engineering of Systems-of-systems. In 33rd Annual ACM Symposium on Applied Computing (SAC). ACM","author":"Graciano Neto Valdemar Vicente","year":"2018","unstructured":"Valdemar Vicente Graciano Neto, Wallace Manzano, Adair Jos\u00e9 Rohling, Mauricio Gon\u00e7alves Vieira Ferreira, Tiago Volpato, and Elisa Yumi Nakagawa. 2018. Externalizing Patterns for Simulations in Software Engineering of Systems-of-systems. In 33rd Annual ACM Symposium on Applied Computing (SAC). ACM, New York, NY, USA, Pau, France, 1687--1694."},{"volume-title":"GranDSI-BR: Big Research Challenges in Information Systems in Brazil (2016-2026)","author":"Graciano Neto Valdemar Vicente","key":"e_1_3_2_1_15_1","unstructured":"Valdemar Vicente Graciano Neto, Flavio Oquendo, and Elisa Yumi Nakagawa. 2017. Smart Systems-of-Information Systems: Foundations and an Assessment Model for Research Development. In GranDSI-BR: Big Research Challenges in Information Systems in Brazil (2016-2026), Clodis Boscarioli, Renata Araujo, and Rita Suzana Pitangueira Maciel (Eds.). Brazilian Computer Society, Brazil, 13--24."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2016.05.006"},{"key":"e_1_3_2_1_17_1","volume-title":"System of Systems Engineering - Innovations for 21st century","author":"Jamshidi Mohammad","unstructured":"Mohammad Jamshidi. 2009. System of Systems Engineering - Innovations for 21st century (1st ed.). Wiley Series in Systems Engineering and Management, Vol. 1. Wiley, Hoboken, New Jersey, United States.","edition":"1"},{"key":"e_1_3_2_1_18_1","volume-title":"Maldonado","author":"Lana Cristiane A.","year":"2016","unstructured":"Cristiane A. Lana, Nilton M. Souza, M\u00e1rcio E. Delamaro, Elisa Y. Nakagawa, Fl\u00e1vio Oquendo, and Jos\u00e9 C. Maldonado. 2016. Systems-of-Systems Development: Initiatives, Trends, and Challenges. In XLII Conferencia Latinoamericana de Inform\u00e1tica (CLEI '16). IEEE Press, Valparaiso, Chile, 1--10."},{"key":"e_1_3_2_1_19_1","volume-title":"Statistical Model Checking: An Overview. In 1st International Conference on Runtime Verification (St. Julians, Malta) (RV'10)","author":"Legay Axel","year":"2010","unstructured":"Axel Legay, Beno\u00eet Delahaye, and Saddek Bensalem. 2010. Statistical Model Checking: An Overview. In 1st International Conference on Runtime Verification (St. Julians, Malta) (RV'10). Springer-Verlag, Berlin, Heidelberg, 122--135."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"e_1_3_2_1_21_1","article-title":"Dynamic-SoS","volume":"63","author":"Manzano Wallace","year":"2019","unstructured":"Wallace Manzano, Valdemar Vicente Graciano Neto, and Elisa Yumi Nakagawa. 2019. Dynamic-SoS: An Approach for the Simulation of Systems-of-Systems Dynamic Architectures. Comput. J. 63, 5 (04 2019), 709--731.","journal-title":"Comput. J."},{"key":"e_1_3_2_1_22_1","volume-title":"Harnessing Emergence: The Control and Design of Emergent Behavior in System of Systems Engineering. In Conference on Summer Computer Simulation","author":"Mittal Saurabh","year":"2015","unstructured":"Saurabh Mittal and Larry Rainey. 2015. Harnessing Emergence: The Control and Design of Emergent Behavior in System of Systems Engineering. In Conference on Summer Computer Simulation (Chicago, Illinois). Society for Computer Simulation International, Chicago, Illinois, USA, 1--10."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Saurabh Mittal Robert L. Wittman John Gibson Josh Huffman and Hans Miller. 2023. Providing a User Extensible Service-Enabled Multi-Fidelity Hybrid Cloud-Deployable SoS Test and Evaluation (TE) Infrastructure: Application of Modeling and Simulation (MS) as a Service (MSaaS). Information (Switzerland) 14 10 (2023).","DOI":"10.3390\/info14100528"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3129790.3129822"},{"key":"e_1_3_2_1_25_1","volume-title":"Verification and Validation: Foundational Techniques","volume":"806","author":"Quilbeuf Jean","year":"2016","unstructured":"Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, and Axel Legay. 2016. A Logic for the Statistical Model Checking of Dynamic Software Architectures. In ISoLA (Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Vol. 9952). Springer, Corfou, Greece, 806 -- 820."},{"key":"e_1_3_2_1_26_1","unstructured":"George Rebovich. 2014. MITRE Systems Engineering Guide. https:\/\/www.mitre.org\/sites\/default\/files\/publications\/se-guide-book-interactive.pdf. Accessed: 2023-12-30."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976794"},{"volume-title":"A Mission-oriented Tool for System-of-systems Modeling","author":"Silva Eduardo","key":"e_1_3_2_1_28_1","unstructured":"Eduardo Silva, Thais Batista, and Everton Cavalcante. 2015. A Mission-oriented Tool for System-of-systems Modeling. In SESoS. IEEE, Florence, Italy, 31--36."},{"volume-title":"Guide to Modeling and Simulation of Systems of Systems","author":"Zeigler Bernard P.","key":"e_1_3_2_1_29_1","unstructured":"Bernard P. Zeigler, Hessam S. Sarjoughian, Raphal Duboz, and Jean-Christophe Souli. 2012. Guide to Modeling and Simulation of Systems of Systems. Springer, Berlim, Germany."}],"event":{"name":"SESoS '24: 12th ACM\/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"SESoS '24"},"container-title":["Proceedings of the 12th ACM\/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643655.3643884","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3643655.3643884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:28Z","timestamp":1750287028000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643655.3643884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":29,"alternative-id":["10.1145\/3643655.3643884","10.1145\/3643655"],"URL":"https:\/\/doi.org\/10.1145\/3643655.3643884","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-08-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}