{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T15:54:08Z","timestamp":1772553248803,"version":"3.50.1"},"reference-count":78,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T00:00:00Z","timestamp":1507852800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Editorial waiver"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Braz Comput Soc"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1186\/s13173-017-0062-y","type":"journal-article","created":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T11:16:02Z","timestamp":1507893362000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures"],"prefix":"10.1186","volume":"23","author":[{"given":"Valdemar Vicente","family":"Graciano Neto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos Eduardo","family":"Barros Paes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lina","family":"Garc\u00e9s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milena","family":"Guessi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wallace","family":"Manzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"Oquendo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisa Yumi","family":"Nakagawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,13]]},"reference":[{"issue":"4","key":"62_CR1","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier MW (1998) Architecting principles for systems-of-systems. Syst Eng 1(4):267\u2013284.","journal-title":"Syst Eng"},{"key":"62_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-48992-6_1","volume-title":"10th European Conference on Software Architecture","author":"F Oquendo","year":"2016","unstructured":"Oquendo F (2016) Software architecture challenges and emerging research in software-intensive systems-of-systems In: 10th European Conference on Software Architecture, 3\u201321. Springer, Copenhagen."},{"key":"62_CR3","first-page":"1","volume-title":"2016 11th System of Systems Engineering Conference (SoSE)","author":"M Guessi","year":"2016","unstructured":"Guessi M, Oquendo F, Nakagawa EY (2016) Checking the architectural feasibility of systems-of-systems using formal descriptions In: 2016 11th System of Systems Engineering Conference (SoSE), 1\u20136. IEEE, Kongsberg."},{"key":"62_CR4","first-page":"61","volume-title":"Proceedings of Workshop on Distributed Development, Software Ecosystems and Systems of Systems, ser. WDES\u2019 16","author":"VV Graciano Neto","year":"2016","unstructured":"Graciano Neto VV, Paes CEB, Oquendo F, Nakagawa EY (2016) Supporting simulation of systems-of-systems software architectures by a model-driven derivation of a stimulus generator In: Proceedings of Workshop on Distributed Development, Software Ecosystems and Systems of Systems, ser. WDES\u2019 16, 61\u201370. SBC, Maring\u00e1."},{"key":"62_CR5","unstructured":"ROAD, 2SOS (2013)) Road2sos project - roadmaps for systems-of-systems engineering. http:\/\/road2sos-project.eu\/cms\/front_content.php . Accessed June 2016."},{"key":"62_CR6","doi-asserted-by":"crossref","unstructured":"Nielsen CB, Larsen PG, Fitzgerald J, Woodcock J, Peleska J (2015) Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput Surv 48(2):18:1\u201318:41. [Online]. Available: http:\/\/doi.acm.org\/10.1145\/2794381 .","DOI":"10.1145\/2794381"},{"key":"62_CR7","first-page":"357","volume-title":"8th European Conference on Software Architecture, ser. ECSA","author":"V Chiprianov","year":"2014","unstructured":"Chiprianov V, Falkner K, Szabo C, Puddy G (2014) Architectural support for model-driven performance prediction of distributed real-time embedded systems of systems. In: Avgeriou P Zdun U (eds)8th European Conference on Software Architecture, ser. ECSA, 357\u2013364. Springer, Vienna."},{"key":"62_CR8","first-page":"1","volume-title":"11th IEEE System of Systems Engineering Conference (SoSE)","author":"F Oquendo","year":"2016","unstructured":"Oquendo F (2016) Formally describing the software architecture of systems-of-systems with SosADL In: 11th IEEE System of Systems Engineering Conference (SoSE), 1\u20136. IEEE, Kongsberg."},{"key":"62_CR9","unstructured":"Cerrudo C (2015) Keeping smart cities smart: preempting emerging cyber attacks in U.S. cities. Tech Rep."},{"issue":"102","key":"62_CR10","first-page":"1","volume":"2015","author":"W Steinhogl","year":"2015","unstructured":"Steinhogl W (2015) Trustworthy systems of systems\u2014a prerequisite for the digitalization of industry. ERCIM News 2015(102):1\u20132.","journal-title":"ERCIM News"},{"key":"62_CR11","first-page":"1","volume-title":"Trustworthy Computing and Services: International Conference, ISCTCS 2012, Beijing, China, Revised Selected Papers","author":"M Nami","year":"2013","unstructured":"Nami M, Suryn W (2013) Software trustworthiness: past, present and future. In: Yuan Y, Wu X, Lu Y (eds)Trustworthy Computing and Services: International Conference, ISCTCS 2012, Beijing, China, Revised Selected Papers, 1\u201312. Springer Berlin Heidelberg, Berlin."},{"key":"62_CR12","first-page":"1","volume-title":"Proceedings of Big Research Challenges in Information Systems in Brazil (2016\u20132026) at Brazilian Symposium on Information Systems, ser. GRANDSI-BR\/SBSI","author":"VV Graciano Neto","year":"2016","unstructured":"Graciano Neto VV, Oquendo F, Nakagawa EY (2016) Systems-of-systems: challenges for information systems research in the next 10 years In: Proceedings of Big Research Challenges in Information Systems in Brazil (2016\u20132026) at Brazilian Symposium on Information Systems, ser. GRANDSI-BR\/SBSI, 1\u20133. SBC, Florian\u00f3polis."},{"key":"62_CR13","first-page":"334","volume-title":"2011 6th International Conference on Systems of Systems Engineering (SoSE)","author":"D Wachholder","year":"2015","unstructured":"Wachholder D, Stary C (2015) Enabling emergent behavior in systems-of-systems through bigraph-based modeling In: 2011 6th International Conference on Systems of Systems Engineering (SoSE), 334\u2013339. IEEE, San Antonio."},{"key":"62_CR14","first-page":"1","volume-title":"SCS","author":"S Mittal","year":"2015","unstructured":"Mittal S, Rainey L (2015) Harnessing emergence: the control and design of emergent behavior in system of systems engineering In: SCS, 1\u201310. SCSI, San Diego."},{"key":"62_CR15","volume-title":"Guide to modeling and simulation of systems of systems","author":"BP Zeigler","year":"2012","unstructured":"Zeigler BP, Sarjoughian HS, Duboz R, Souli J-C (2012) Guide to modeling and simulation of systems of systems. Springer, Berlim."},{"key":"62_CR16","first-page":"22:1","volume-title":"Proceedings of the 2014 European Conference on Software Architecture Workshops, ser. ECSAW \u201914","author":"VV Graciano Neto","year":"2014","unstructured":"Graciano Neto VV, Guessi M, Oliveira LBR, Oquendo F, Nakagawa EY (2014) Investigating the model-driven development for systems-of-systems In: Proceedings of the 2014 European Conference on Software Architecture Workshops, ser. ECSAW \u201914, 22:1\u201322:8. ACM, Vienna."},{"key":"62_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.elecom.2007.10.004","volume":"10","author":"H Vangheluwe","year":"2008","unstructured":"Vangheluwe H (2008) Foundations of modelling and simulation of complex systems. Electron Commun EASST 10:1\u201312.","journal-title":"Electron Commun EASST"},{"issue":"3","key":"62_CR18","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1109\/TNN.2002.1000128","volume":"13","author":"MA Sanchez-Montanes","year":"2002","unstructured":"Sanchez-Montanes MA, Konig P, Verschure PFMJ (2002) Learning sensory maps with real-world stimuli in real time using a biophysically realistic learning rule. IEEE Trans Neural Netw 13(3):619\u2013632.","journal-title":"IEEE Trans Neural Netw"},{"key":"62_CR19","doi-asserted-by":"crossref","unstructured":"Rajkumar RR, Lee I, Sha L, Stankovic J (2010) Cyber-physical systems: the next computing revolution In: Proceedings of the 47th Design Automation Conference, ser. DAC \u201910, 731\u2013736. ACM, New York. [Online]. Available: http:\/\/doi.acm.org\/10.1145\/1837274.1837461 .","DOI":"10.1145\/1837274.1837461"},{"key":"62_CR20","unstructured":"Selic B (2012) MDE basics with a UML focus In: Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, 1. Bertinoro. talk available at: www.sti.uniurb.it\/events\/sfm12mde\/slides\/selic.pdf . Accessed 8 Oct 2017."},{"key":"62_CR21","doi-asserted-by":"crossref","unstructured":"Hehenberger P, Vogel-Heuser B, Bradley D, Eynard B, Tomiyama T, Achiche S (2016) Design, modelling, simulation and integration of cyber physical systems: methods and applications. Comput Ind 82:273\u2013289. [Online]. Available: http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0166361516300902 .","DOI":"10.1016\/j.compind.2016.05.006"},{"key":"62_CR22","doi-asserted-by":"crossref","unstructured":"France R, Rumpe B (2007) Model-driven development of complex software: a research roadmap In: 2007 Future of Software Engineering, ser. FOSE \u201907, 37\u201354. IEEE Computer Society, Washington. [Online]. Available: http:\/\/dx.doi.org\/10.1109\/FOSE.2007.14 .","DOI":"10.1109\/FOSE.2007.14"},{"key":"62_CR23","unstructured":"Carle P, Kervarc R, Cuisinier R, Huynh N, Bedou\u00ebt J, Rivi\u00e8re T, Noulard E (2012) Simulation of systems of systems. AerospaceLab 4:1\u201310. [Online]. Available https:\/\/hal.archives-ouvertes.fr\/hal-01184315 . Accessed 8 Oct 2017."},{"key":"62_CR24","doi-asserted-by":"crossref","unstructured":"Baldwin WC, Sauser B, Cloutier R (2015) Simulation approaches for system of systems: events-based versus agent based modeling. Procedia Comput Sci 44:363\u2013372. [Online]. Available: http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1877050915002689 .","DOI":"10.1016\/j.procs.2015.03.032"},{"key":"62_CR25","doi-asserted-by":"crossref","unstructured":"Falkner K, Szabo C, Chiprianov V, Puddy G, Rieckmann M, Fraser D, Aston C (2016) Model-driven performance prediction of systems of systems. Softw Syst Model:1\u201327. [Online]. Available: http:\/\/dx.doi.org\/10.1007\/s10270-016-0547-8 . Accessed 8 Oct 2017.","DOI":"10.1007\/s10270-016-0547-8"},{"key":"62_CR26","doi-asserted-by":"crossref","unstructured":"Banks J (1999) Introduction to simulation In: Proceedings of the 31st Conference on Winter Simulation: Simulation\u2014a Bridge to the Future - Volume 1, ser. WSC \u201999, 7\u201313. ACM, New York. [Online]. Available: http:\/\/doi.acm.org\/10.1145\/324138.324142 .","DOI":"10.1145\/324138.324142"},{"key":"62_CR27","unstructured":"Bosch J (2000) Design and use of software architectures: adopting and evolving a product-line approach. Addison-Wesley, New York."},{"key":"62_CR28","first-page":"53","volume-title":"Proceedings of Workshop on Distributed Development, Software Ecosystems and Systems of Systems, ser. WDES","author":"DS Santos","year":"2014","unstructured":"Santos DS, Oliveira BMG, Oquendo F, Delamaro M, Nakagawa EY (2014) Towards the evaluation of system-of-systems software architectures In: Proceedings of Workshop on Distributed Development, Software Ecosystems and Systems of Systems, ser. WDES, 53\u201357. SBC, Macei\u00f3."},{"key":"62_CR29","volume-title":"The Re-Emergence of Emergence","author":"DJ Chalmers","year":"2006","unstructured":"Chalmers DJ (2006) Strong and weak emergence. In: Davies P Clayton P (eds)The Re-Emergence of Emergence. Oxford University Press, Oxford."},{"key":"62_CR30","doi-asserted-by":"publisher","DOI":"10.1002\/9781118732793","volume-title":"Modeling and simulation of discrete event systems, 1st ed","author":"BK Choi","year":"2013","unstructured":"Choi BK, Kang D (2013) Modeling and simulation of discrete event systems, 1st ed. Wiley Publishing, Mapo-Gu Seoul."},{"key":"62_CR31","unstructured":"BKCASE Editorial Board (2017) The Guide to the Systems Engineering Body of Knowledge (SEBoK), v. 1.8. R.D. Adcock (EIC). Hoboken, NJ: The Trustees of the Stevens Institute of Technology. Accessed DATE. www.sebokwiki.org. BKCASE is managed and maintained by the Stevens Institute of Technology Systems Engineering Research Center, the International Council on Systems Engineering, and the Institute of Electrical and Electronics Engineers Computer Society. http:\/\/sebokwiki.org\/wiki\/Guide_to_the_Systems_Engineering_Body_of_Knowledge_(SEBoK). . Accessed 8 Oct 2017."},{"key":"62_CR32","doi-asserted-by":"crossref","unstructured":"Bruneau J, Consel CDiasim: a simulator for pervasive computing applications. Softw Pract Experience 43(8):885\u2013909. [Online]. Available: http:\/\/dx.doi.org\/10.1002\/spe.2130 .","DOI":"10.1002\/spe.2130"},{"key":"62_CR33","first-page":"77","volume-title":"ADVANCING NUCLEAR RESEARCH AND ENERGY DEVELOPMENT: Proceedings of the International Nuclear Science, Technology & Engineering Conference 2013 (iNuSTEC2013), vol 1584, no. 1","author":"NAA Rahman","year":"2014","unstructured":"Rahman NAA, Ramli AR, Lombigit L, Abdullah NA, Khalid MAH (2014) Stimulus generation technique for code simulation of FPGA based gamma spectroscopy system In: ADVANCING NUCLEAR RESEARCH AND ENERGY DEVELOPMENT: Proceedings of the International Nuclear Science, Technology & Engineering Conference 2013 (iNuSTEC2013), vol 1584, no. 1, 77\u201383. AIP Publishing, Melville."},{"key":"62_CR34","first-page":"1","volume-title":"2014 15th Latin American Test Workshop - LATW","author":"L Piccolboni","year":"2014","unstructured":"Piccolboni L, Pravadelli G (2014) Simplified stimuli generation for scenario and assertion based verification In: 2014 15th Latin American Test Workshop - LATW, 1\u20136. IEEE, Fortaleza."},{"key":"62_CR35","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1109\/DSD.2012.37","volume-title":"2012 15th Euromicro Conference on Digital System Design","author":"S Yang","year":"2012","unstructured":"Yang S, Wille R, Gro\u00dfe D, Drechler R (2012) Coverage-driven stimuli generation In: 2012 15th Euromicro Conference on Digital System Design, 525\u2013528. IEEE, Cesme."},{"key":"62_CR36","doi-asserted-by":"crossref","unstructured":"Bogado V, Gonnet S, Leone H (2014) Modeling and simulation of software architecture in discrete event system specification for quality evaluation. Simulation 90(3):290\u2013319. [Online]. Available: http:\/\/dx.doi.org\/10.1177\/0037549713518586 .","DOI":"10.1177\/0037549713518586"},{"key":"62_CR37","volume-title":"The art of simulation using PSpice: analog and digital, 1st ed","author":"B Al-Hashimi","year":"1995","unstructured":"Al-Hashimi B (1995) The art of simulation using PSpice: analog and digital, 1st ed. CRC Press, Inc., Boca Raton."},{"key":"62_CR38","doi-asserted-by":"crossref","unstructured":"Kitchen N, Kuehlmann A (2007) Stimulus generation for constrained random simulation In: Proceedings of the 2007 IEEE\/ACM International Conference on Computer-aided design, ser. ICCAD \u201907, 258\u2013265. IEEE Press, San Jose. [Online]. Available: http:\/\/dl.acm.org\/citation.cfm?id=1326073.1326127 .","DOI":"10.1109\/ICCAD.2007.4397275"},{"key":"62_CR39","first-page":"351","volume-title":"Proc. International Workshop on Logic and Synthesis (IWLS)","author":"SM Plaza","year":"2007","unstructured":"Plaza SM, Markov IL, Bertacco V (2007) Toggle: a coverage-guided random stimulus generator In: Proc. International Workshop on Logic and Synthesis (IWLS), 351\u2013357. IEEE, San Diego."},{"key":"62_CR40","doi-asserted-by":"crossref","unstructured":"Barton PI, Pantelides CC (1994) Modeling of combined discrete\/continuous processes. AIChE J 40(6):966\u2013979. [Online]. Available: http:\/\/dx.doi.org\/10.1002\/aic.690400608 .","DOI":"10.1002\/aic.690400608"},{"key":"62_CR41","first-page":"7","volume-title":"ACM Student Research Competition at MODELS","author":"C Gomes","year":"2016","unstructured":"Gomes C (2016) Foundations for continuous time hierarchical co-simulation In: ACM Student Research Competition at MODELS, 7\u201313. CEUR, Saint Malo."},{"key":"62_CR42","first-page":"89","volume-title":"Proceedings of Workshop on Distributed Development, Software Ecosystems and Systems of Systems, ser. WDES\u2019 15","author":"VV Graciano Neto","year":"2015","unstructured":"Graciano Neto VV, Guessi M, de Oliveira LBR, Oquendo F, Garc\u00e9s L, Nakagawa EY (2015) A conceptual map of model-driven development for systems-of-systems In: Proceedings of Workshop on Distributed Development, Software Ecosystems and Systems of Systems, ser. WDES\u2019 15, 89\u201392. SBC, Belo Horizonte."},{"key":"62_CR43","first-page":"1","volume-title":"Proceedings of XLII Conferencia Latinoamericana de Informatica CLEI 2016\u0301, ser. CLEI \u201916","author":"CA Lana","year":"2016","unstructured":"Lana CA, Souza NM, Delamaro ME, Nakagawa EY, Oquendo F, Maldonado JC (2016) Systems-of-systems development: initiatives, trends, and challenges In: Proceedings of XLII Conferencia Latinoamericana de Informatica CLEI 2016\u0301, ser. CLEI \u201916, 1\u201310. IEEE Press, Valparaiso."},{"key":"62_CR44","doi-asserted-by":"crossref","unstructured":"Sendall S, Kozaczynski W (2003) Model transformation: the heart and soul of model-driven software development. IEEE Softw 20(5):42\u201345. [Online]. Available: http:\/\/dx.doi.org\/10.1109\/MS.2003.1231150 .","DOI":"10.1109\/MS.2003.1231150"},{"key":"62_CR45","volume-title":"Implementing domain-specific languages with Xtext and Xtend","author":"L Bettini","year":"2013","unstructured":"Bettini L (2013) Implementing domain-specific languages with Xtext and Xtend. Packt Publishing, Birmingham."},{"key":"62_CR46","unstructured":"Eclipse (2012) Acceleo. [Online]. Available: http:\/\/www.eclipse.org\/acceleo\/ . Accessed 8 Oct 2017."},{"key":"62_CR47","first-page":"5","volume-title":"Domain-Specific Program Development","author":"Y Sun","year":"2008","unstructured":"Sun Y, Demirezen Z, Lukman T, Mernik M, Gray J (2008) Model transformations require formal semantics. In: Lawall J R\u00e9veill\u00e8re L (eds)Domain-Specific Program Development, 5. ACM, Nashville."},{"key":"62_CR48","volume-title":"Systems and software engineering - Architecture description","author":"ISO\/IEC\/IEEE","year":"2011","unstructured":"ISO\/IEC\/IEEE (2011) Systems and software engineering - Architecture description. International Organization for Standardization (ISO)\/International Electrotechnical Commission (IEC)\/Institute of Electrical and Electronics Engineers (IEEE), Geneva. ISO\/IEC\/IEEE 42010."},{"key":"62_CR49","doi-asserted-by":"publisher","first-page":"1433","DOI":"10.1145\/2695664.2695795","volume-title":"Proceedings of ACM Symposium on Applied Computing, ser","author":"M Guessi","year":"2015","unstructured":"Guessi M, Graciano Neto VV, Bianchi T, Felizardo KR, Oquendo F, Nakagawa EY (2015) A systematic literature review on the description of software architectures for systems of systems In: Proceedings of ACM Symposium on Applied Computing, ser, 1433\u20131440. SAC, Salamanca."},{"key":"62_CR50","doi-asserted-by":"crossref","unstructured":"Foster H, Mukhija A, Rosenblum DS, Uchitel S (2011) Rigorous software engineering for service-oriented systems: results of the SENSORIA Project on software engineering for service-oriented computing. Springer, Berlin. ch. Specification and Analysis of Dynamically-Reconfigurable Service Architectures, [Online]. Available http:\/\/dx.doi.org\/10.1007\/978-3-642-20401-2_20 . Accessed 8 Oct 2017.","DOI":"10.1007\/978-3-642-20401-2_20"},{"key":"62_CR51","doi-asserted-by":"crossref","unstructured":"Allen R, Garlan D (1997) A formal basis for architectural connection. ACM Trans Softw Eng Methodol 6(3):213\u2013249. [Online]. Available: http:\/\/doi.acm.org\/10.1145\/258077.258078 .","DOI":"10.1145\/258077.258078"},{"key":"62_CR52","doi-asserted-by":"crossref","unstructured":"Oquendo F (2004) \u03c0-ADL: An architecture description language based on the higher-order typed \u03c0-calculus for specifying dynamic and mobile software architectures. SIGSOFT Softw Eng Notes 29(3):1\u201314. [Online]. Available: http:\/\/doi.acm.org\/10.1145\/986710.986728 .","DOI":"10.1145\/986710.986728"},{"key":"62_CR53","doi-asserted-by":"crossref","unstructured":"Oquendo F (2016) \u03c0-Calculus for SoS: A foundation for formally describing software-intensive systems-of-systems In: 11th IEEE System of Systems Engineering Conference (SoSE), 1\u20136. IEEE, Kongsberg. [Online]. Available: http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp=%26arnumber=7542925%26isnumber=7542882 .","DOI":"10.1109\/SYSOSE.2016.7542925"},{"key":"62_CR54","volume-title":"26th International Conference on Software Engineering and Knowledge Engineering (SEKE)","author":"J Hu","year":"2014","unstructured":"Hu J, Huang L, Cao B, Chang X (2014) Extended DEVSML as a model transformation intermediary to make UML diagrams executable In: 26th International Conference on Software Engineering and Knowledge Engineering (SEKE). Knowledge Systems Institute Graduate School, Vancouver."},{"key":"62_CR55","volume-title":"Software architecture in practice","author":"L Bass","year":"2012","unstructured":"Bass L, Clements P, Kazman R (2012) Software architecture in practice. Addison-Wesley Longman Publishing Co., Inc., Boston."},{"key":"62_CR56","doi-asserted-by":"crossref","unstructured":"Cavalcante E, Batista TV, Oquendo F (2015) Supporting dynamic software architectures: from architectural description to implementation In: The Working IEEE\/IFIP Conference on Software Architecture (WICSA) 2015, 31\u201340, Montreal. [Online]. Available: http:\/\/dx.doi.org\/10.1109\/WICSA.2015.21 . Accessed 8 Oct 2017.","DOI":"10.1109\/WICSA.2015.21"},{"issue":"2","key":"62_CR57","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson P, H\u00f6st M (2009) Guidelines for conducting and reporting case study research in software engineering. Empirical Softw Engg 14(2):131\u2013164.","journal-title":"Empirical Softw Engg"},{"key":"62_CR58","doi-asserted-by":"crossref","unstructured":"de Albuquerque JP, Horita FEA, Degrossi LC, dos Santos Rocha R, de Andrade SC, Restrepo-Estrada C, Leyh W (2017) Leveraging volunteered geographic information to improve disaster resilience: lessons learned from AGORA and future research directions In: Volunteered Geographic Information and the Future of Geospatial Data, 158\u2013184. IGI Global.","DOI":"10.4018\/978-1-5225-2446-5.ch009"},{"key":"62_CR59","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.cageo.2015.04.001","volume":"80","author":"FE Horita","year":"2015","unstructured":"Horita FE, de Albuquerque JP, Degrossi LC, Mendiondo EM, Ueyama J (2015) Development of a spatial decision support system for flood risk management in Brazil that combines volunteered geographic information with wireless sensor networks. Comput Geosci 80:84\u201394.","journal-title":"Comput Geosci"},{"key":"62_CR60","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.envsoft.2012.03.006","volume":"39","author":"O David","year":"2013","unstructured":"David O, Lloyd II JAW, Green T, Rojas K, Leavesley G, Ahuja L (2013) A software engineering perspective on environmental modeling framework design: the object modeling system. Environ Model Softw 39:201\u2013213. [Online]. Available: http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1364815212000886 . thematic Issue on the Future of Integrated Modeling Science and Technology.","journal-title":"Environ Model Softw"},{"key":"62_CR61","doi-asserted-by":"crossref","unstructured":"Iqbal MZ, Arcuri A, Briand LEnvironment modeling and simulation for automated testing of soft real-time embedded software. Softw Syst Model 14(1):483\u2013524.","DOI":"10.1007\/s10270-013-0328-6"},{"key":"62_CR62","doi-asserted-by":"crossref","unstructured":"Santos DS, Oliveira BRN, Duran A, Nakagawa EYReporting an experience on the establishment of a quality model for systems-of-systems In: The 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, 304\u2013309, Pittsburgh.","DOI":"10.18293\/SEKE2015-155"},{"key":"62_CR63","doi-asserted-by":"crossref","unstructured":"de Fran\u00e7a BBN, Travassos GH (2016) Experimentation with dynamic simulation models in software engineering: planning and reporting guidelines. Empir Softw Eng 21(3):1302\u20131345. [Online]. Available: http:\/\/dx.doi.org\/10.1007\/s10664-015-9386-4 .","DOI":"10.1007\/s10664-015-9386-4"},{"key":"62_CR64","first-page":"56","volume-title":"International Conference on Engineering of Complex Computer Systems (ICECCS)","author":"X Xia","year":"2013","unstructured":"Xia X, Wu J, Liu C, Xu L (2013) A model-driven approach for evaluating system of systems In: International Conference on Engineering of Complex Computer Systems (ICECCS), 56\u201364. IEEE, Singapore."},{"key":"62_CR65","unstructured":"OMGSysml open source specification project. Accessed June 2016 http:\/\/sysml.org\/ ."},{"key":"62_CR66","unstructured":"MATLAB (2010) version 7.10.0 (R2010a). The MathWorks Inc., Natick. https:\/\/www.mathworks.com\/products\/matlab.html ."},{"key":"62_CR67","doi-asserted-by":"crossref","unstructured":"Becker S, Koziolek H, Reussner R (2009) The Palladio component model for model-driven performance prediction. J Syst Softw 82(1):3\u201322. [Online]. Available: http:\/\/dx.doi.org\/10.1016\/j.jss.2008.03.066 .","DOI":"10.1016\/j.jss.2008.03.066"},{"key":"62_CR68","first-page":"153","volume-title":"Proceedings of International Conference on Software Engineering Advances, ser","author":"P Alexander","year":"2015","unstructured":"Alexander P, Nicolaescu A, Lichter H (2015) Model-based evaluation and simulation of software architecture evolution In: Proceedings of International Conference on Software Engineering Advances, ser, 153\u2013156. ICSEA, Barcelona."},{"key":"62_CR69","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1109\/WSC.2008.4736181","volume-title":"2008 Winter Simulation Conference","author":"R Kewley","year":"2008","unstructured":"Kewley R, Cook J, Goerger N, Henderson D, Teague E (2008) Federated simulations for systems of systems integration In: 2008 Winter Simulation Conference, 1121\u20131129. IEEE, Miami."},{"key":"62_CR70","unstructured":"Soyez J-B, Morvan G, Merzouki R, Dupont D (2014) A multilevel agent-based approach to model and simulate systems of systems In: InTraDE project final workshop, Lille."},{"key":"62_CR71","unstructured":"IEEE Standard for Modeling and Simulation (M amp;S) High Level Architecture (HLA)\u2014Framework and Rules. IEEE Std 1516-2010 (Revision of IEEE Std 1516-2000), pp 1\u201338."},{"key":"62_CR72","volume-title":"IRM4MLS: the influence reaction model for multi-level simulation","author":"G Morvan","year":"2011","unstructured":"Morvan G, Veremme A, Dupont D (2011) IRM4MLS: the influence reaction model for multi-level simulation. Springer, Berlin."},{"key":"62_CR73","doi-asserted-by":"crossref","unstructured":"Schweizer B, Lu D, Li P (2016) Co-simulation method for solver coupling with algebraic constraints incorporating relaxation techniques. Multibody Syst Dyn 36(1):1\u201336. [Online]. Available: http:\/\/dx.doi.org\/10.1007\/s11044-015-9464-9 .","DOI":"10.1007\/s11044-015-9464-9"},{"issue":"8","key":"62_CR74","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand S, Burke EK, Chen TY, Clark J, Cohen MB, Grieskamp W, Harman M, Harrold MJ, McMinn P, et al (2013) An orchestrated survey of methodologies for automated software test case generation. J Syst Softw 86(8):1978\u20132001.","journal-title":"J Syst Softw"},{"issue":"8","key":"62_CR75","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel B (1990) Automated software test data generation. IEEE Trans Softw Eng 16(8):870\u2013879.","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"62_CR76","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.121508","volume":"25","author":"G Wiederhold","year":"1992","unstructured":"Wiederhold G (1992) Mediators in the architecture of future information systems. Computer 25(3):38\u201349.","journal-title":"Computer"},{"key":"62_CR77","first-page":"425","volume-title":"Proceedings of the 39th International Conference on Software Engineering, ICSE 2017 - Companion Volume","author":"VV Graciano Neto","year":"2017","unstructured":"Graciano Neto VV (2017) A model-based approach towards the building of trustworthy software-intensive systems-of-systems In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017 - Companion Volume, 425\u2013428. IEEE, Buenos Aires."},{"key":"62_CR78","doi-asserted-by":"crossref","unstructured":"Jamshidi M (2009) System of systems engineering\u2014innovations for 21st century, ser. Wiley Series in Systems Engineering and Management. Wiley.","DOI":"10.1002\/9780470403501"}],"container-title":["Journal of the Brazilian Computer Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13173-017-0062-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13173-017-0062-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13173-017-0062-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T10:46:00Z","timestamp":1723545960000},"score":1,"resource":{"primary":{"URL":"https:\/\/journal-bcs.springeropen.com\/articles\/10.1186\/s13173-017-0062-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,13]]},"references-count":78,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["62"],"URL":"https:\/\/doi.org\/10.1186\/s13173-017-0062-y","relation":{},"ISSN":["0104-6500","1678-4804"],"issn-type":[{"value":"0104-6500","type":"print"},{"value":"1678-4804","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,13]]},"article-number":"13"}}