{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T04:17:59Z","timestamp":1751948279005,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,24]],"date-time":"2018-09-24T00:00:00Z","timestamp":1537747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2017\/06195-9"],"award-info":[{"award-number":["2017\/06195-9"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,24]]},"DOI":"10.1145\/3241403.3241432","type":"proceedings-article","created":{"date-parts":[[2018,9,19]],"date-time":"2018-09-19T12:16:51Z","timestamp":1537359411000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Model-based engineering &amp; simulation of software-intensive systems-of-systems"],"prefix":"10.1145","author":[{"given":"Valdemar Vicente Graciano","family":"Neto","sequence":"first","affiliation":[{"name":"Universidade Federal de Goi\u00e1s, Goi\u00e2nia, Goi\u00e1s, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wallace","family":"Manzano","sequence":"additional","affiliation":[{"name":"Universidade de S\u00e3o Paulo, S\u00e3o Carlos, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Kassab","sequence":"additional","affiliation":[{"name":"Pennsylvania State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisa Yumi","family":"Nakagawa","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, S\u00e3o Carlos, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Bashir Al-Hashimi. 1995. The Art of Simulation Using PSpice: Analog and Digital (1st ed.). CRC Press Inc. Boca Raton FL USA. Bashir Al-Hashimi. 1995. The Art of Simulation Using PSpice: Analog and Digital (1st ed.). CRC Press Inc. Boca Raton FL USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.03.032"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/324138.324142"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"E. Barbi G. Cantone D. Falessi F. Morciano M. Rizzuto V. Sabbatino and S. Scarrone. 2012. A model-driven approach for configuring and deploying Systems of Systems. In 7th SoSE. IEEE Genova Italy 214--218. E. Barbi G. Cantone D. Falessi F. Morciano M. Rizzuto V. Sabbatino and S. Scarrone. 2012. A model-driven approach for configuring and deploying Systems of Systems. In 7th SoSE. IEEE Genova Italy 214--218.","DOI":"10.1109\/SYSoSE.2012.6384139"},{"key":"e_1_3_2_1_5_1","unstructured":"Jan Bosch. 2000. Design and Use of Software Architectures: Adopting and Evolving a Product-line Approach. Addison-Wesley New York USA. Jan Bosch. 2000. Design and Use of Software Architectures: Adopting and Evolving a Product-line Approach. Addison-Wesley New York USA."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"J. F. Broenink and Y. Ni. 2012. Model-driven robot-software design using integrated models and co-simulation. In SAMOS. Samos Greece 339--344. J. F. Broenink and Y. Ni. 2012. Model-driven robot-software design using integrated models and co-simulation. In SAMOS. Samos Greece 339--344.","DOI":"10.1109\/SAMOS.2012.6404197"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12566-9_4"},{"key":"e_1_3_2_1_8_1","first-page":"1","article-title":"Simulation of Systems of Systems","volume":"4","author":"Carle P.","year":"2012","journal-title":"AerospaceLab"},{"key":"e_1_3_2_1_9_1","unstructured":"Deniz Cetinkaya Alexander Verbraeck and Mamadou D. Seck. 2012. Model Transformation from BPMN to DEVS in the MDD4MS Framework. In 8th TMS\/DEVS. SCS Orlando USA Article 28 6 pages. Deniz Cetinkaya Alexander Verbraeck and Mamadou D. Seck. 2012. Model Transformation from BPMN to DEVS in the MDD4MS Framework. In 8th TMS\/DEVS. SCS Orlando USA Article 28 6 pages."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9386-4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1019479"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3129790.3129822"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0547-8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2039630"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"N. Fischer and H. Salzwedel. 2011. Overcoming the Generation Gap in aircraft designs with executable specifications. In 31st DASC. IEEE Sydney Australia 1--10. N. Fischer and H. Salzwedel. 2011. Overcoming the Generation Gap in aircraft designs with executable specifications. In 31st DASC. IEEE Sydney Australia 1--10.","DOI":"10.1109\/DASC.2011.6095961"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"e_1_3_2_1_17_1","first-page":"1","article-title":"DEVS-ruby: A Domain Specific Language for DEVS Modeling and Simulation (WIP) (DEVS '14). SCSI, Tampa, Florida","volume":"15","author":"Franceschini Romain","year":"2014","journal-title":"Article"},{"volume-title":"ICCSW'14 Imperial College Computing Student Workshop","author":"Franceschini Romain","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.19153\/cleiej.18.2.3"},{"key":"e_1_3_2_1_20_1","unstructured":"Valdemar Vicente Graciano Neto. 2018. A simulation-driven model-based approach for designing software-intensive systems-of-systems architectures. Ph.D. Dissertation. ICMC - USP. Valdemar Vicente Graciano Neto. 2018. A simulation-driven model-based approach for designing software-intensive systems-of-systems architectures. Ph.D. Dissertation. ICMC - USP."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.24251\/HICSS.2018.724"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642803.2642825"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3229345.3229369"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167422"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167313"},{"key":"e_1_3_2_1_26_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. Brazilian Computer Society Porto Alegre Brazil 1--12. Valdemar Vicente Graciano Neto Flavio Oquendo and Elisa Yumi Nakagawa. 2017. Smart Systems-of-Information Systems: Foundations and an Assessment Model for Research Development. Brazilian Computer Society Porto Alegre Brazil 1--12."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13173-017-0062-y"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0544-y"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Milena Guessi Everton Cavalcante and Lucas B. R. Oliveira. 2015. Characterizing Architecture Description Languages for Software-Intensive Systems-of-Systems. In 3rd SESoS. IEEE Florence Italy 12--18. Milena Guessi Everton Cavalcante and Lucas B. R. Oliveira. 2015. Characterizing Architecture Description Languages for Software-Intensive Systems-of-Systems. In 3rd SESoS. IEEE Florence Italy 12--18.","DOI":"10.1109\/SESoS.2015.10"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2007.34"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2014.40"},{"volume-title":"26th SEKE. Knowledge Systems institution","author":"Hu Jianpeng","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","unstructured":"ISO\/IEC\/IEEE. 2011. ISO\/IEC\/IEEE 42010:2011 Systems and software engineering - Architecture description. (Dec 2011) 1--46. ISO\/IEC\/IEEE. 2011. ISO\/IEC\/IEEE 42010:2011 Systems and software engineering - Architecture description. (Dec 2011) 1--46."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465490"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","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 42nd CLEI. IEEE Valparaiso Chile 1--10. 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 42nd CLEI. IEEE Valparaiso Chile 1--10.","DOI":"10.1109\/CLEI.2016.7833329"},{"key":"e_1_3_2_1_36_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_37_1","unstructured":"J. B. Michael R. Riehle and M. T. Shing. 2009. The verification and validation of software architecture for systems of systems. In 4th SoSE. IEEE Albuquerque USA 1--6. J. B. Michael R. Riehle and M. T. Shing. 2009. The verification and validation of software architecture for systems of systems. In 4th SoSE. IEEE Albuquerque USA 1--6."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695795"},{"volume-title":"45th Winter Simulation Conference (WSC","year":"2013","author":"Mittal S.","key":"e_1_3_2_1_39_1"},{"volume-title":"System of Systems Engineering","author":"Mittal Saurabh","key":"e_1_3_2_1_40_1"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489850.2489853"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194754.3194758"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2794381"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2794381"},{"volume-title":"11th","author":"Oquendo Flavio","key":"e_1_3_2_1_45_1"},{"volume-title":"11th IEEE System of Systems Engineering Conference (SoSE","year":"2016","author":"Oquendo Flavio","key":"e_1_3_2_1_46_1"},{"volume-title":"10th","author":"Oquendo Fl\u00e1vio","key":"e_1_3_2_1_47_1"},{"volume-title":"15th Latin American Test Workshop (LATW","year":"2014","author":"Piccolboni L.","key":"e_1_3_2_1_48_1"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2008.11.003"},{"volume-title":"8th WDES. SBC, Macei\u00f3, Brazil, 53--57.","author":"Santos Daniel Soares","key":"e_1_3_2_1_50_1"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"volume-title":"Formal Methods for Model-Driven Engineering","author":"Selic Bran","key":"e_1_3_2_1_52_1"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/3103196.3103198"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/3059156.3059157"},{"key":"e_1_3_2_1_55_1","unstructured":"Yentl Van Tendeloo and Hans Vangheluwe. 2014. The Modular Architecture of the Python(P)DEVS Simulation Kernel (DEVS '14). SCS International San Diego CA USA Article 14 6 pages. Yentl Van Tendeloo and Hans Vangheluwe. 2014. The Modular Architecture of the Python(P)DEVS Simulation Kernel (DEVS '14). SCS International San Diego CA USA Article 14 6 pages."},{"key":"e_1_3_2_1_56_1","unstructured":"Hans Vangheluwe. 2008. Foundations of modelling and simulation of complex systems. Electronic Communications of the EASST 10 (2008). Hans Vangheluwe. 2008. Foundations of modelling and simulation of complex systems. Electronic Communications of the EASST 10 (2008)."},{"key":"e_1_3_2_1_57_1","first-page":"11","article-title":"Design patterns: Elements of reusable object-oriented software. Reading","volume":"49","author":"Vlissides John","year":"1995","journal-title":"Addison-Wesley"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.482"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.121508"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2012.37"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"crossref","unstructured":"Bernard P. Zeigler Hessam S. Sarjoughian Raphal Duboz and Jean-Christophe Souli. 2012. Guide to Modeling and Simulation of Systems of Systems. Springer-Verlag London London United Kingdom. Bernard P. Zeigler Hessam S. Sarjoughian Raphal Duboz and Jean-Christophe Souli. 2012. Guide to Modeling and Simulation of Systems of Systems. Springer-Verlag London London United Kingdom.","DOI":"10.1007\/978-0-85729-865-2"}],"event":{"name":"ECSA '18: 12th European Conference on Software Architecture","acronym":"ECSA '18","location":"Madrid Spain"},"container-title":["Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241403.3241432","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3241403.3241432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T21:57:24Z","timestamp":1751925444000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241403.3241432"}},"subtitle":["experience report and lessons learned"],"short-title":[],"issued":{"date-parts":[[2018,9,24]]},"references-count":61,"alternative-id":["10.1145\/3241403.3241432","10.1145\/3241403"],"URL":"https:\/\/doi.org\/10.1145\/3241403.3241432","relation":{},"subject":[],"published":{"date-parts":[[2018,9,24]]},"assertion":[{"value":"2018-09-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}