A Systematic Mapping on Executable Models for the Architectural Design of Systems-of-Systems
Resumo
Systems-of-Systems (SoS) are complex systems composed of managerially and operationally independent constituent systems (CS). Smart cities are examples of SoS. These types of systems impose challenges to the traditional software architecture design, such as describing heterogeneous CS that are constantly evolving and identifying emergent behaviors from the interactions of those CS. Executable models (ExM) have been envisioned as a possible solution to deal with the challenges raised by SoS architectural design. However, to the best of our knowledge, no systematic mapping study (SMS) exists that investigate current state of art in the research area of SoS architectual design using ExM. Therefore, the main goal of this study is to synthesize evidence of that research area, observing research trends and identifying possible research gaps yet to be explored. Results reveal that (i) the use of model transformation from a static SoS domain-specific language to a ExM is intensely explored and (ii) ExM were used mainly to evaluate and synthesize SoS architectures but also to observe emergent behaviors and to measure quality attributes.
Referências
Arnold, A., Baleani, M., Ferrari, A., Marazza, M., Senni, V., Legay, A., Quilbeuf, J., and Etzien, C. (2016). An application of smc to continuous validation of heterogeneous systems. SIMU-TOOLS'16, page 76-85.
Beery, P., Enloe, M., Kummer, G., Paulo, E., Kelly, E., Watson, S., Smith, S., Kummer, K., Corbett, L., and Jankowski, B. (2019). Command and control for distributed lethality.
Binder, C., Gross, J.-A., Neureiter, C., and Lastro, G. (2019). Investigating emergent behavior caused by electric vehicles in the smart grid using co-simulation. pages 230-235.
Cavalcante, E. (2015). On the architecture-driven development of software-intensive systems-of-systems. ICSE '15, page 899-902.
Ciccozzi, F., Malavolta, I., and Selic, B. (2019). Execution of uml models: a systematic review of research and practice. 18(3):2313-2360.
Dahmann, J., Markina-Khusid, A., Doren, A., Wheeler, T., Cotter, M., and Kelley, M. (2017). Sysml executable systems of system architecture definition: A working example.
Esmaeilzadeh, E., Grenn, M., and Roberts, B. (2018). An agent-based model for improved system of systems decision making in air transportation. Systems Engineering, 22(1):20-42.
Garcia, J. and Tolk, A. (2010). Adding executable context to executable architectures: Shifting towards a knowledge-based validation paradigm for system-of-systems architectures. SCSC '10, page 593-600, San Diego, CA, USA.
Ge, B., Hipel, K., Yang, K., and Chen, Y. (2013). A novel executable modeling approach for system-of-systems architecture. 8(1):4-13.
Graciano Neto, V. V., Barros Paes, C. E., Garces, L., Guessi, M., Manzano, W., Oquendo, F., and Nakagawa, E. Y. (2017). Stimuli-sos: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures. JBCS, 23(1).
Graciano Neto, V. V., Guessi, M., Oliveira, L. B. R., Oquendo, F., and Nakagawa, E. Y. (2014). Investigating the model-driven development for systems-of-systems. ECSAW '14. ACM.
Graciano Neto, V. V., Manzano, W., Garcés, L., Guessi, M., Oliveira, B., Volpato, T., and Nakagawa, E. Y. (2018a). Back-sos: Towards a model-based approach to address architectural drift in systems-of-systems. SAC '18, page 1461-1463.
Graciano Neto, V. V., Manzano, W., Kassab, M., and Nakagawa, E. Y. (2018b). Model-based engineering & simulation of software-intensive systems-of-systems: Experience report and lessons learned. ECSA '18.
Guessi, M., Graciano Neto, V. V., Bianchi, T., Felizardo, K. R., Oquendo, F., and Nakagawa, E. Y. (2015). A systematic literature review on the description of software architectures for systems of systems. In 30th ACM SAC, pages 1433-1440.
Hachem, J. E., Chiprianov, V., Babar, A., and Aniorte, P. (2016). Towards methodological support for secure architectures of software-intensive systems-of-systems. SiSoS@ECSA '16.
Hojaji, F., Mayerhofer, T., Zamani, B., Hamou-Lhadj, A., and Bousse, E. (2019). Model execution tracing: a systematic mapping study. SoSyM, 18(6):3461-3485.
Hsu, J., Price, M., Clymer, J., Garcia Jr., J., and Gonzalez, E. (2014). Agent-based modeling the emergent behavior of a system-of-systems. volume 3, pages 1581-1590.
Hu, J., Huang, L., Chang, X., and Cao, B. (2014). A model driven service engineering approach to system of systems. pages 136-145.
Jensen, K. (1997). Coloured Petri Nets. Springer Berlin Heidelberg. Kitchenham, B. and Charters, S. (2007). Guidelines for performing systematic literature reviews in software engineering. 2:1-65.
Levis, A. H. and Wagenhals, L. W. (2000). C4isr architectures: I. developing a process for c4isr architecture design. Systems Engineering, 3(4):225-247.
Li, X., Wang, W., Shu, Z., Zhu, N., He, H., and Liao, T. (2016a). A system-of-systems architecture-driven modeling method for combat system effectiveness simulation.
Li, Z., Zhu, Y., and Yang, F. (2016b). Sos architecture alternatives tradespace modeling and computable experimentation: A framework with system engineering thinking. pages 677-681.
Li, Z.-F., Qin, D.-L., Yuan, H., Yang, F., and Zhu, Y.-F. (2013). A method of wesos capability assessment based on dm2 and abs. volume 3, pages 1-6.
Ludwig, M., Farcet, N., Babau, J.-P., and Champeau, J. (2011). Integrating design and runtime variability support into a system adl. 6698 LNCS:270-281.
Manzano, W., Graciano Neto, V., and Nakagawa, E. (2019). Dynamic-sos: An approach for the simulation of systems-of-systems dynamic architectures. Computer Journal, 63(5):709-731.
OMG Executable UML (2017). Action language for alf. Standard, Object Management Group, Massachusetts, USA.
OMG Executable UML (2018). Semantics of fuml. Standard, Object Management Group, Massachusetts, USA.
Oquendo, F., Buisson, J., Leroux, E., Moguérou, G., and Quilbeuf, J. (2016). The sosadl studio: An architecture development environment for software-intensive systems-of-systems. SiSoS@ECSA '16.
Perišić, A., Lazic, M., Perišić, B., and Obradovic, R. (2015). A smart house environment the system of systems approach to model driven simulation of building (house) attributes. pages 56-59.
Petersen, K., Feldt, R., Mujtaba, S., and Mattsson, M. (2008). Systematic mapping studies in software engineering. EASE'08, page 68-77.
Rao, M., Ramakrishnan, S., and Dagli, C. (2008). Modeling and simulation of net centric system of systems using systems modeling language and colored petri-nets: A demonstration using the global earth observation system of systems. Systems Engineering, 11(3):203-220.
Rieckmann, M., Fraser, D., Chiprianov, V., Szabo, C., and Falkner, K. (2013). Demonstration of model-driven performance prediction of distributed real-time embedded systems of systems. ECSAW '14.
Robbins, W. (2009). Achieving dodaf-driven simulations through executable architectures. SpringSim '09.
SEBoK (2017). The systems engineering body of knowledge (sebok), version 1.8. Silva, E., Cavalcante, E., and Batista, T. (2017). Refining missions to architectures in software-intensive systems-of-systems. pages 2-8.
Sindiy, O., DeLaurentis, D., and Stein, W. (2009). An agent-based dynamic model for analysis of distributed space exploration architectures. JAS, 57(3):579-606.
Spichkova, M., Liu, H., and Schmidt, H. (2015). Towards quality-oriented architecture: Integration in a global context. ECSAW '15.
Teixeira, P. G., Lebtag, B. G. A., d. Santos, R. P., Fernandes, J., Mohsin, A., Kassab, M., and Neto, V. V. G. (2020). Constituent system design: A software architecture approach. ICSA-C '20, pages 218-225.
Wang, R., Agarwal, S., and Dagli, C. (2015). Opm & color petri nets based executable system of systems architecting: A building block in fila-sos. pages 554-561.
Wang, R. and Dagli, C. (2011). Executable system architecting using systems modeling language in conjunction with colored petri nets in a model-driven systems development process. Systems Engineering, 14(4):383-409.
Wätzoldt, S. and Giese, H. (2015). Modeling collaborations in adaptive systems of systems. ECSAW '15.
Xiong, J., Ge, B.-F., Zhang, X.-K., Yang, K.-W., and Chen, Y.-W. (2010). Evaluation method of system-of-systems architecture using knowledge-based executable model. pages 141-147.
Yousefi, B. and Levis, A. (2016). Architecture-based simulation for system evaluation. volume 48, pages 39-46.
Zhang, M., Chen, H., Zhang, X., Luo, A., and Liu, J. (2018). Functionality evaluation of system of systems architecture based on extended influence diagrams. JSEE, 29(3):510-518.
Zhuang, Z., Lin-lin, L., and Hong-feng, Y. (2018). Architecture modeling of new c2 system of joint anti-ship combat. ICACS '18, page 248-252.
Beery, P., Enloe, M., Kummer, G., Paulo, E., Kelly, E., Watson, S., Smith, S., Kummer, K., Corbett, L., and Jankowski, B. (2019). Command and control for distributed lethality.
Binder, C., Gross, J.-A., Neureiter, C., and Lastro, G. (2019). Investigating emergent behavior caused by electric vehicles in the smart grid using co-simulation. pages 230-235.
Cavalcante, E. (2015). On the architecture-driven development of software-intensive systems-of-systems. ICSE '15, page 899-902.
Ciccozzi, F., Malavolta, I., and Selic, B. (2019). Execution of uml models: a systematic review of research and practice. 18(3):2313-2360.
Dahmann, J., Markina-Khusid, A., Doren, A., Wheeler, T., Cotter, M., and Kelley, M. (2017). Sysml executable systems of system architecture definition: A working example.
Esmaeilzadeh, E., Grenn, M., and Roberts, B. (2018). An agent-based model for improved system of systems decision making in air transportation. Systems Engineering, 22(1):20-42.
Garcia, J. and Tolk, A. (2010). Adding executable context to executable architectures: Shifting towards a knowledge-based validation paradigm for system-of-systems architectures. SCSC '10, page 593-600, San Diego, CA, USA.
Ge, B., Hipel, K., Yang, K., and Chen, Y. (2013). A novel executable modeling approach for system-of-systems architecture. 8(1):4-13.
Graciano Neto, V. V., Barros Paes, C. E., Garces, L., Guessi, M., Manzano, W., Oquendo, F., and Nakagawa, E. Y. (2017). Stimuli-sos: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures. JBCS, 23(1).
Graciano Neto, V. V., Guessi, M., Oliveira, L. B. R., Oquendo, F., and Nakagawa, E. Y. (2014). Investigating the model-driven development for systems-of-systems. ECSAW '14. ACM.
Graciano Neto, V. V., Manzano, W., Garcés, L., Guessi, M., Oliveira, B., Volpato, T., and Nakagawa, E. Y. (2018a). Back-sos: Towards a model-based approach to address architectural drift in systems-of-systems. SAC '18, page 1461-1463.
Graciano Neto, V. V., Manzano, W., Kassab, M., and Nakagawa, E. Y. (2018b). Model-based engineering & simulation of software-intensive systems-of-systems: Experience report and lessons learned. ECSA '18.
Guessi, M., Graciano Neto, V. V., Bianchi, T., Felizardo, K. R., Oquendo, F., and Nakagawa, E. Y. (2015). A systematic literature review on the description of software architectures for systems of systems. In 30th ACM SAC, pages 1433-1440.
Hachem, J. E., Chiprianov, V., Babar, A., and Aniorte, P. (2016). Towards methodological support for secure architectures of software-intensive systems-of-systems. SiSoS@ECSA '16.
Hojaji, F., Mayerhofer, T., Zamani, B., Hamou-Lhadj, A., and Bousse, E. (2019). Model execution tracing: a systematic mapping study. SoSyM, 18(6):3461-3485.
Hsu, J., Price, M., Clymer, J., Garcia Jr., J., and Gonzalez, E. (2014). Agent-based modeling the emergent behavior of a system-of-systems. volume 3, pages 1581-1590.
Hu, J., Huang, L., Chang, X., and Cao, B. (2014). A model driven service engineering approach to system of systems. pages 136-145.
Jensen, K. (1997). Coloured Petri Nets. Springer Berlin Heidelberg. Kitchenham, B. and Charters, S. (2007). Guidelines for performing systematic literature reviews in software engineering. 2:1-65.
Levis, A. H. and Wagenhals, L. W. (2000). C4isr architectures: I. developing a process for c4isr architecture design. Systems Engineering, 3(4):225-247.
Li, X., Wang, W., Shu, Z., Zhu, N., He, H., and Liao, T. (2016a). A system-of-systems architecture-driven modeling method for combat system effectiveness simulation.
Li, Z., Zhu, Y., and Yang, F. (2016b). Sos architecture alternatives tradespace modeling and computable experimentation: A framework with system engineering thinking. pages 677-681.
Li, Z.-F., Qin, D.-L., Yuan, H., Yang, F., and Zhu, Y.-F. (2013). A method of wesos capability assessment based on dm2 and abs. volume 3, pages 1-6.
Ludwig, M., Farcet, N., Babau, J.-P., and Champeau, J. (2011). Integrating design and runtime variability support into a system adl. 6698 LNCS:270-281.
Manzano, W., Graciano Neto, V., and Nakagawa, E. (2019). Dynamic-sos: An approach for the simulation of systems-of-systems dynamic architectures. Computer Journal, 63(5):709-731.
OMG Executable UML (2017). Action language for alf. Standard, Object Management Group, Massachusetts, USA.
OMG Executable UML (2018). Semantics of fuml. Standard, Object Management Group, Massachusetts, USA.
Oquendo, F., Buisson, J., Leroux, E., Moguérou, G., and Quilbeuf, J. (2016). The sosadl studio: An architecture development environment for software-intensive systems-of-systems. SiSoS@ECSA '16.
Perišić, A., Lazic, M., Perišić, B., and Obradovic, R. (2015). A smart house environment the system of systems approach to model driven simulation of building (house) attributes. pages 56-59.
Petersen, K., Feldt, R., Mujtaba, S., and Mattsson, M. (2008). Systematic mapping studies in software engineering. EASE'08, page 68-77.
Rao, M., Ramakrishnan, S., and Dagli, C. (2008). Modeling and simulation of net centric system of systems using systems modeling language and colored petri-nets: A demonstration using the global earth observation system of systems. Systems Engineering, 11(3):203-220.
Rieckmann, M., Fraser, D., Chiprianov, V., Szabo, C., and Falkner, K. (2013). Demonstration of model-driven performance prediction of distributed real-time embedded systems of systems. ECSAW '14.
Robbins, W. (2009). Achieving dodaf-driven simulations through executable architectures. SpringSim '09.
SEBoK (2017). The systems engineering body of knowledge (sebok), version 1.8. Silva, E., Cavalcante, E., and Batista, T. (2017). Refining missions to architectures in software-intensive systems-of-systems. pages 2-8.
Sindiy, O., DeLaurentis, D., and Stein, W. (2009). An agent-based dynamic model for analysis of distributed space exploration architectures. JAS, 57(3):579-606.
Spichkova, M., Liu, H., and Schmidt, H. (2015). Towards quality-oriented architecture: Integration in a global context. ECSAW '15.
Teixeira, P. G., Lebtag, B. G. A., d. Santos, R. P., Fernandes, J., Mohsin, A., Kassab, M., and Neto, V. V. G. (2020). Constituent system design: A software architecture approach. ICSA-C '20, pages 218-225.
Wang, R., Agarwal, S., and Dagli, C. (2015). Opm & color petri nets based executable system of systems architecting: A building block in fila-sos. pages 554-561.
Wang, R. and Dagli, C. (2011). Executable system architecting using systems modeling language in conjunction with colored petri nets in a model-driven systems development process. Systems Engineering, 14(4):383-409.
Wätzoldt, S. and Giese, H. (2015). Modeling collaborations in adaptive systems of systems. ECSAW '15.
Xiong, J., Ge, B.-F., Zhang, X.-K., Yang, K.-W., and Chen, Y.-W. (2010). Evaluation method of system-of-systems architecture using knowledge-based executable model. pages 141-147.
Yousefi, B. and Levis, A. (2016). Architecture-based simulation for system evaluation. volume 48, pages 39-46.
Zhang, M., Chen, H., Zhang, X., Luo, A., and Liu, J. (2018). Functionality evaluation of system of systems architecture based on extended influence diagrams. JSEE, 29(3):510-518.
Zhuang, Z., Lin-lin, L., and Hong-feng, Y. (2018). Architecture modeling of new c2 system of joint anti-ship combat. ICACS '18, page 248-252.
Publicado
03/10/2022
Como Citar
LEBTAG, Bruno G. A.; TEIXEIRA, Paulo Gabriel; GRACIANO NETO, Valdemar Vicente.
A Systematic Mapping on Executable Models for the Architectural Design of Systems-of-Systems. In: WORKSHOP EM MODELAGEM E SIMULAÇÃO DE SISTEMAS INTENSIVOS EM SOFTWARE (MSSIS), 4. , 2022, Uberlândia/MG.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2022
.
p. 11-20.
DOI: https://doi.org/10.5753/mssis.2022.225662.
