Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study

Software & Systems Modeling - Tập 22 - Trang 415-447 - 2022
Istvan David1, Malvina Latifaj2, Jakob Pietron3, Weixing Zhang4,5, Federico Ciccozzi2, Ivano Malavolta6, Alexander Raschke3, Jan-Philipp Steghöfer4,5, Regina Hebig4,5
1DIRO, Université de Montréal, Montreal, Canada
2Mälardalen University, Västerås, Sweden
3Ulm University, Ulm, Germany
4Chalmers University of Technology, Gothenburg, Sweden
5University of Gothenburg, Gothenburg, Sweden
6Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

Tóm tắt

Blended modeling aims to improve the user experience of modeling activities by prioritizing the seamless interaction with models through multiple notations over the consistency of the models. Inconsistency tolerance, thus, becomes an important aspect in such settings. To understand the potential of current commercial and open-source modeling tools to support blended modeling, we have designed and carried out a systematic study. We identify challenges and opportunities in the tooling aspect of blended modeling. Specifically, we investigate the user-facing and implementation-related characteristics of existing modeling tools that already support multiple types of notations and map their support for other blended aspects, such as inconsistency tolerance, and elevated user experience. For the sake of completeness, we have conducted a multivocal study, encompassing an academic review, and grey literature review. We have reviewed nearly 5000 academic papers and nearly 1500 entries of grey literature. We have identified 133 candidate tools, and eventually selected 26 of them to represent the current spectrum of modeling tools.

Tài liệu tham khảo

Addazi, L., Ciccozzi, F.: Blended graphical and textual modelling for UML profiles: a proof-of-concept implementation and experiment. J. Syst. Softw. 175, 110912 (2021). https://doi.org/10.1016/j.jss.2021.110912 Adve, S.V., Gharachorloo, K.: Shared memory consistency models: a tutorial. Computer 29(12), 66–76 (1996). https://doi.org/10.1109/2.546611 Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model 7(3), 345–359 (2008). https://doi.org/10.1007/s10270-007-0061-0 Balegas, V., Duarte, S., Ferreira, C., Rodrigues, R., Preguiça, N.M., Najafzadeh, M., Shapiro, M.: Putting consistency back into eventual consistency. In: Proceedings of the Tenth European Conference on Computer Systems, EuroSys 2015, ACM, pp. 6:1–6:16, (2015). https://doi.org/10.1145/2741948.2741972 Balzer, R.: Tolerating Inconsistency. In: Proceedings of the 13th International Conference on Software Engineering, IEEE/ACM, pp. 158–165 (1991) Barisic, A., Amaral, V., Goulão, M.: Usability evaluation of domain-specific languages. In: 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, IEEE, pp. 342–347,(2012). https://doi.org/10.1109/QUATIC.2012.63 Basili, V.R., Caldiera, G., Rombach, H.D.: The goal question metric approach. In: Encyclopedia of Software Engineering, vol. 2, Wiley, pp. 528–532 (1994) Berger, T., Völter, M., Jensen, H.P., Dangprasert, T., Siegmund, J.: Efficiency of projectional editing: a controlled experiment. In: Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, ACM, pp. 763–774, (2016). https://doi.org/10.1145/2950290.2950315 Broy, M.: Software and system modeling: structured multi-view modeling, specification, design and implementation. In: Conquering Complexity, Springer, pp. 309–372,(2012). https://doi.org/10.1007/978-1-4471-2297-5_14 Bucchiarone, A., Cabot, J., Paige, R.F., Pierantonio, A.: Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model 19(1), 5–13 (2020). https://doi.org/10.1007/s10270-019-00773-6 Carreira, P., Amaral, V., Vangheluwem, H.: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Springer, Berlin (2020) Charfi, A., Schmidt, A., Spriestersbach, A.: A hybrid graphical and textual notation and editor for UML actions. In: Model Driven Architecture—Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Springer, LNCS, vol. 5562, pp. 237–252,(2009). https://doi.org/10.1007/978-3-642-02674-4_17 Cicchetti, A., Ciccozzi, F., Pierantonio, A.: Multi-view approaches for software and system modelling: a systematic literature review. Softw. Syst. Model 18(6), 3207–3233 (2019). https://doi.org/10.1007/s10270-018-00713-w Ciccozzi, F., Malavolta, I., Selic, B.: Execution of UML models: a systematic review of research and practice. Softw. Syst. Model 18(3), 2313–2360 (2019). https://doi.org/10.1007/s10270-018-0675-4 Ciccozzi, F., Tichy, M., Vangheluwe, H., Weyns, D.: Blended modelling: what, why and how. In: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, IEEE, pp. 425–430 (2019b). https://doi.org/10.1109/MODELS-C.2019.00068 Corley, J., Syriani, E., Ergin, H., Van Mierlo, S.: Modern software engineering methodologies for mobile and cloud environments, IGI Global, chap Cloud-based Multi-View Modeling Environments, pp. 120–139. 7 (2016) David, I.: A Foundation for Inconsistency Management in Model-Based Systems Engineering. PhD thesis, University of Antwerp, Belgium, Middelheimlaan 1, 2020 Antwerpen, Belgium (2019) David, I., Syriani, E., Verbrugge, C., Buchs, D., Blouin, D., Cicchetti, A., Vanherpen, K.: Towards inconsistency tolerance by quantification of semantic inconsistencies. In: Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), CEUR-WS.org, CEUR Workshop Proceedings, vol. 1717, pp. 35–44 (2016) David, I., Denil, J., Vangheluwe, H.: Process-oriented inconsistency management in collaborative systems modeling. In: 16th International Industrial Simulation Conference 2018, ISC 2018, Eurosis, pp. 54–61 (2018) David, I., Aslam, K., Faridmoayer, S., Malavolta, I., Syriani, E., Lago, P.: Collaborative model-driven software engineering: a systematic update. In: 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, IEEE, pp. 273–284, (2021). https://doi.org/10.1109/MODELS50736.2021.00035 Dennis, A.R., Valacich, J.S.: A replication manifesto. AIS Trans Replication Res 1:1, (2015). https://doi.org/10.17705/1atrr.00001 Di Francesco, P., Lago, P., Malavolta, I.: Architecting with microservices: a systematic mapping study. J. Syst. Softw. 150, 77–97 (2019). https://doi.org/10.1016/j.jss.2019.01.001 do Nascimento, L.M., Viana, D.L., Neto, P., Martins, D., Garcia, V.C., Meira, S.: A systematic mapping study on domain-specific languages. In: The Seventh International Conference on Software Engineering Advances (ICSEA 2012), pp. 179–187 (2012) Easterbrook, S., Finkelstein, A., Kramer, J., Nuseibeh, B.: Coordinating Distributed ViewPoints: the anatomy of a consistency check. Concurr. Eng. 2(3), 209–222 (1994). https://doi.org/10.1177/1063293X9400200307 Engelen, L., van den Brand, M.: Integrating textual and graphical modelling languages. Electron. Notes Theor. Comput. Sci. 253(7), 105–120 (2010). https://doi.org/10.1016/j.entcs.2010.08.035 Engels, G., Küster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, ACM, pp. 186–195,(2001). https://doi.org/10.1145/503209.503235 Erdweg, S., et al.: Evaluating and comparing language workbenches: existing results and benchmarks for the future. Comput. Lang Syst. Struct. 44, 24–47 (2015). https://doi.org/10.1016/j.cl.2015.08.007 Finkelstein, A.: A foolish consistency: technical challenges in consistency management. In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, Springer, LNCS, vol 1873, pp. 1–5 (2000). https://doi.org/10.1007/3-540-44469-6_1 Finkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multperspective specifications. IEEE Trans. Softw. Eng. 20(8), 569–578 (1994). https://doi.org/10.1109/32.310667 Franzago, M., Ruscio, D.D., Malavolta, I., Muccini, H.: Collaborative Model-Driven Software Engineering: A Classification Framework and a Research Map. IEEE Trans Software Eng 44(12), 1146–1175 (2018). https://doi.org/10.1109/TSE.2017.2755039 Franzosi, R.: Quantitative narrative analysis. 162, Sage (2010) Garousi, V., Fernandes, J.M.: Highly-cited papers in software engineering: the top-100. Inf. Softw. Technol. 71, 108–128 (2016). https://doi.org/10.1016/j.infsof.2015.11.003 Garousi, V., Felderer, M., Mäntylä, M.V.: Guidelines for including grey literature and conducting multivocal literature reviews in software engineering. Inf. Softw. Technol. 106, 101–121 (2019). https://doi.org/10.1016/j.infsof.2018.09.006 Gausemeier, J., Schäfer, W., Greenyer, J., Kahl, S., Pook, S., Rieke, J.: Management of cross-domain model consistency during the development of advanced mechatronic systems. In: DS 58-6: Proceedings of ICED 09, the 17th International Conference on Engineering Design, ICED, vol. 6, pp. 1–12 (2009) Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Springer, LNCS, vol. 4199, pp. 543–557 (2006). https://doi.org/10.1007/11880240_38 Gjøsæter, T., Prinz, A., Scheidgen, M.: Meta-model or Grammar? Methods and Tools for the Formal Definition of Languages. In: Nordic Workshop on Model Driven Engineering (NW-MoDE 2008), pp. 67–82 (2008) Granada, D., Vara, J.M., Blanco, F.J.P., Marcos, E.: Model-based Tool Support for the Development of Visual Editors—A Systematic Mapping Study. In: Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, SciTePress, pp. 330–337, (2017). https://doi.org/10.5220/0006430503300337 Greenhalgh, T., Peacock, R.: Effectiveness and efficiency of search methods in systematic reviews of complex evidence: audit of primary sources. BMJ 331(7524), 1064–1065 (2005) Gu, Z., Wang, S., Kodase, S., Shin, K.G.: An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software. In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, IEEE Computer Society, pp. 78–81 (2003) https://doi.org/10.1109/REAL.2003.1253256 Haviland, M.G.: Yates’s correction for continuity and the analysis of 2\(\times \) 2 contingency tables. Stat. Med. 9(4), 363–367 (1990). https://doi.org/10.1002/sim.4780090403 Huning, L., Osterkamp, T., Schaarschmidt, M., Pulvermüller, E.: Seamless integration of hardware interfaces in UML-based MDSE tools. In: Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Online Streaming, July 6–8, 2021, SCITEPRESS, pp 233–244, (2021). https://doi.org/10.5220/0010575802330244 ISO/IEC/IEEE (2011) Systems and software engineering—architecture description. ISO/IEC/IEEE 42010:2011(E) (Revision of ISO/IEC 42010:2007 and IEEE Std 1471-2000) pp. 1–46 Iung, A., Carbonell, J., Marchezan, L., Rodrigues, E.M., Bernardino, M., Basso, F.P., Medeiros, B.: Systematic mapping study on domain-specific language development tools. Empir. Softw. Eng. 25(5), 4205–4249 (2020). https://doi.org/10.1007/s10664-020-09872-1 Kehrer, T., Kelter, U., Taentzer, G.: Consistency-preserving edit scripts in model versioning. In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, IEEE, pp. 191–201,(2013). https://doi.org/10.1109/ASE.2013.6693079 Kelly, S .: Collaborative modelling with version control. In: Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Springer, LNCS, vol. 10748, pp. 20–29, (2017).https://doi.org/10.1007/978-3-319-74730-9_3 Kitchenham, B.A., Brereton, P.: A systematic review of systematic review process research in software engineering. Inf. Softw. Technol. 55(12), 2049–2075 (2013). https://doi.org/10.1016/j.infsof.2013.07.010 Kitchenham, B.A., Charters, S.: Guidelines for performing systematic literature reviews in software engineering, Version 2.3. EBSE Technical Report EBSE-2007-01, Keele University and University of Durham (2007) Klare, H., Kramer, M.E., Langhammer, M., Werle, D., Burger, E., Reussner, R.H.: Enabling consistency in view-based system development: the vitruvius approach. J. Syst. Softw. 171(110), 815 (2021). https://doi.org/10.1016/j.jss.2020.110815 Kolovos, D.S., Rose, L.M., Matragkas, N.D., Paige, R.F., Guerra, E., Cuadrado, J.S., de Lara, J., Ráth, I., Varró, D., Tisi, M., Cabot, J.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of the Workshop on Scalability in Model Driven Engineering, ACM, p. 2 (2013). https://doi.org/10.1145/2487766.2487768 Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. 28(9), 690–691 (1979). https://doi.org/10.1109/TC.1979.1675439 Lazăr, C.L.: Integrating Alf editor with Eclipse UML editors. Studia Universitatis Babes-Bolyai, Informatica 56(3): (2011) Maro, S., Steghöfer, J., Anjorin, A., Tichy, M., Gelin, L.: On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, ACM, pp. 1–12 (2015) Maróti M, Kecskés T, Kereskényi R, Broll B, Völgyesi P, Jurácz L, Levendovszky T, Lédeczi Á (2014) Next generation (meta) modeling: web-and cloud-based collaborative tool infrastructure. MPM@ MoDELS 1237:41–60 Mens, T., Straeten, R.V.D., D’Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, Springer, LNCS, vol. 4199, pp. 200–214, (2006). https://doi.org/10.1007/11880240_15 Merkle, B.: Textual modeling tools: overview and comparison of language workbenches. In: Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, ACM, pp. 139–148, (2010). https://doi.org/10.1145/1869542.1869564 Michaux, J., Blanc, X., Shapiro, M., Sutra, P.: A semantically rich approach for collaborative model edition. In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), ACM, pp. 1470–1475 (2011). https://doi.org/10.1145/1982185.1982500 Moody, D.L.: The physics of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans. Softw. Eng. 35(6), 756–779 (2009). https://doi.org/10.1109/TSE.2009.67 Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simul 80(9), 433–450 (2004). https://doi.org/10.1177/0037549704050532 Negm, E., Makady, S., Salah, A.: Survey on domain specific languages implementation aspects. International Journal of Advanced Computer Science and Applications 10 (2019) Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proceedings of the 25th International Conference on Software Engineering, IEEE, pp. 455–464,(2003). https://doi.org/10.1109/ICSE.2003.1201223 Nuseibeh, B., Easterbrook, S.M., Russo, A.: Making inconsistency respectable in software development. J. Syst. Softw. 58(2), 171–180 (2001). https://doi.org/10.1016/S0164-1212(01)00036-X Persson, M., Törngren, M., Qamar, A., Westman, J., Biehl, M., Tripakis, S., Vangheluwe, H., Denil, J.: A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, IEEE, pp. 10:1–10:10 (2013). https://doi.org/10.1109/EMSOFT.2013.6658588 Petersen, K., Feldt, R., Mujtaba, S., Mattsson, M.: Systematic mapping studies in software engineering. In: 12th International Conference on Evaluation and Assessment in Software Engineering, EASE 2008, BCS, Workshops in Computing (2018) Petersen, K., Vakkalanka, S., Kuzniarz, L.: Guidelines for conducting systematic mapping studies in software engineering: an update. Inf. Softw. Technol. 64, 1–18 (2015). https://doi.org/10.1016/j.infsof.2015.03.007 Ráth, I., Ökrös, A., Varró, D.: Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations. Softw. Syst. Model 9(4), 453–471 (2010). https://doi.org/10.1007/s10270-009-0122-7 Reineke, J., Stergiou, C., Tripakis, S.: Basic problems in multi-view modeling. Softw. Syst. Model 18(3), 1577–1611 (2019). https://doi.org/10.1007/s10270-017-0638-1 Ries, B., Capozucca, A., Guelfi, N.: Messir: a text-first DSL-based approach for UML requirements engineering (tool demo). In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, ACM, pp. 103–107, (2018). https://doi.org/10.1145/3276604.3276614 Rodgers, M., Sowden, A., Petticrew, M., Arai, L., Roberts, H., Britten, N., Popay, J.: Testing methodological guidance on the conduct of narrative synthesis in systematic reviews: effectiveness of interventions to promote smoke alarm ownership and function. Evaluation 15(1), 49–73 (2009). https://doi.org/10.1177/1356389008097871 Rothstein, H.R., Hopewell, S.: Grey literature. Handb. Res. Synth. Meta-anal. 2, 103–125 (2009). https://doi.org/10.1002/0470870168.ch4 Scheidgen, M.: Textual modelling embedded into graphical modelling. In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Springer, LNCS, vol 5095, pp. 153–168, https://doi.org/10.1007/978-3-540-69100-6_11 (2008) Schulze, M., Weiland, J., Beuche, D.: Automotive model-driven development and the challenge of variability. In: 16th International Software Product Line Conference, SPLC ’12, Salvador, Brazil - September 2-7, 2012, Volume 1, ACM, pp. 207–214 (2012). https://doi.org/10.1145/2362536.2362565 Shapiro, M., Preguiça, N.M., Baquero, C., Zawirski, M.: Conflict-Free Replicated Data Types. In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Springer, Lecture Notes in Computer Science, vol. 6976, pp. 386–400 (2011). https://doi.org/10.1007/978-3-642-24550-3_29 Simonyi, C.: The Death of Computer Languages, The Birth of Intentional Programming. Tech. Rep. MSR-TR-95-52 (1995) Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Handbook of Software Engineering and Knowledge Engineering: Volume I: Fundamentals, World Scientific, pp. 329–380 (2001) Stevens, P.: Maintaining consistency in networks of models: bidirectional transformations in the large. Softw. Syst. Model 19(1), 39–65 (2020). https://doi.org/10.1007/s10270-019-00736-x Syriani, E., Riegelhaupt, D., Barroca, B., David, I.: Generation of custom textual model editors. Modelling 2(4), 609–625 (2021) Torres, W., van den Brand, M.G.J., Serebrenik, A.: A systematic literature review of cross-domain model consistency checking by model management tools. Softw. Syst. Model 20(3), 897–916 (2021). https://doi.org/10.1007/s10270-020-00834-1 Van Mierlo, S., Van Tendeloo, Y., Meyers, B., Exelmans, J., Vangheluwe, H.: SCCD: SCXML extended with class diagrams. Proc. Workshop Eng. Interact. Syst. SCXML 2, 1–2 (2016) Van Mierlo, S., Van Tendeloo, Y., David, I., Meyers, B., Gebremichael, A., Vangheluwe, H.: A multi-paradigm approach for modelling service interactions in model-driven engineering processes. In: Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, SpringSim (Mod4Sim) 2018, ACM, pp. 6:1–6:12 (2018) van Rest, O., Wachsmuth, G., Steel, J.R.H., Süß, J.G., Visser, E.: Robust Real-Time Synchronization between Textual and Graphical Editors. In: Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Springer, LNCS, vol 7909, pp. 92–107 (2012). https://doi.org/10.1007/978-3-642-38883-5_11 Vangheluwe, H., de Lara, J., Mosterman, P.J.: An introduction to multi-paradigm modelling and simulation. In: Proceedings of the AIS’2002 conference (AI, Simulation and Planning in High Autonomy Systems), pp. 9–20 (2002) Vanherpen, K.: A Contract-based approach for multi-viewpoint consistency in the concurrent design of cyber-physical systems. PhD thesis, University of Antwerp, Belgium, Middelheimlaan 1, 2020 Antwerpen, Belgium (2018) Vanherpen, K., Denil, J., David, I., Meulenaere, P.D., Mosterman, P.J., Törngren, M., Qamar, A., Vangheluwe, H.: Ontological reasoning for consistency in the design of cyber-physical systems. In: 1st International Workshop on Cyber-Physical Production Systems, CPPS@CPSWeek 2016, IEEE, pp. 1–8 (2016). https://doi.org/10.1109/CPPS.2016.7483922 Voelter, M.: Language and IDE modularization and composition with MPS. In: Generative and Transformational Techniques in Software Engineering IV, International Summer School, GTTSE 2011, Springer, LNCS, vol. 7680, pp. 383–430, (2011). https://doi.org/10.1007/978-3-642-35992-7_11 Vogels, W.: Eventually consistent. Commun. ACM 52(1), 40–44 (2009). https://doi.org/10.1145/1435417.1435432 Völter, M., Siegmund, J., Berger, T., Kolb, B.: Towards user-friendly projectional editors. In: Software Language Engineering—7th International Conference, SLE 2014, Springer, LNCS, vol. 8706, pp. 41–61 (2014). https://doi.org/10.1007/978-3-319-11245-9_3 von Hanxleden, R., Lee, E.A., Motika, C., Fuhrmann, H.: Multi-view modeling and pragmatics in 2020—position paper on designing complex cyber-physical systems. In: Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Springer, LNCS, vol. 7539, pp. 209–223. https://doi.org/10.1007/978-3-642-34059-8_11 Wixom, B.H., Todd, P.A.: A theoretical integration of user satisfaction and technology acceptance. Inf. Syst. Res. 16(1), 85–102 (2005). https://doi.org/10.1287/isre.1050.0042 Wohlin, C.: Guidelines for snowballing in systematic literature studies and a replication in software engineering. In: 18th international conference on evaluation and assessment in software engineering, EASE ’14, ACM, pp. 38:1–38:10, (2014). https://doi.org/10.1145/2601248.2601268 Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B.: Experimentation in Software Engineering. Springer (2012). https://doi.org/10.1007/978-3-642-29044-2 Yang, G., Zhou, X., Lian, Y.: Constraint-based consistency checking for multi-view models of cyber-physical system. In: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, IEEE, pp 370–376, (2017). https://doi.org/10.1109/QRS-C.2017.68 Zaheri, M., Famelis, M., Syriani, E.: Towards checking consistency-breaking updates between models and generated artifacts. In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, IEEE, pp. 400–409, (2021). https://doi.org/10.1109/MODELS-C53483.2021.00063 Zhang, H., Babar, M.A., Tell, P.: Identifying relevant studies in software engineering. Inf. Softw. Technol. 53(6), 625–637 (2011). https://doi.org/10.1016/j.infsof.2010.12.010