{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T00:16:08Z","timestamp":1775175368193,"version":"3.50.1"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,4,23]],"date-time":"2022-04-23T00:00:00Z","timestamp":1650672000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,4,23]],"date-time":"2022-04-23T00:00:00Z","timestamp":1650672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s11219-022-09585-2","type":"journal-article","created":{"date-parts":[[2022,4,23]],"date-time":"2022-04-23T04:18:22Z","timestamp":1650687502000},"page":"1-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["How consistency is handled in model-driven software engineering and UML: an expert opinion survey"],"prefix":"10.1007","volume":"31","author":[{"given":"Damiano","family":"Torre","sequence":"first","affiliation":[]},{"given":"Marcela","family":"Genero","sequence":"additional","affiliation":[]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[]},{"given":"Maged","family":"Elaasar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,23]]},"reference":[{"key":"9585_CR1","doi-asserted-by":"crossref","unstructured":"Ahmad, M. A., & Nadeem, A. (2010). Consistency checking of UML models using description logics: a critical review. Paper presented at the 6th International Conference on Emerging Technologies Islamabad, Pakistan, October 18\u201319","DOI":"10.1109\/ICET.2010.5638468"},{"issue":"6","key":"9585_CR2","doi-asserted-by":"publisher","first-page":"454","DOI":"10.17706\/jsw.12.6.454-471","volume":"12","author":"D Allaki","year":"2017","unstructured":"Allaki, D., Dahchour, M., & En-Nouaary, A. (2017). Managing inconsistencies in UML models: a systematic literature review. Journal of Software, 12(6), 454\u2013471.","journal-title":"Journal of Software"},{"key":"9585_CR3","unstructured":"Akdur, D., Demir\u00f6rs, O., & Garousi, V. (2015) The results of a world-wide survey on software modeling and model-driven engineering in the embedded system domain Technical Report METU\/II-2015-55"},{"key":"9585_CR4","unstructured":"Arisholm, E., Briand, L. C., & Anda, B. C. D. (2008). First workshop on empirical studies of model-driven engineering at MODELS 2008."},{"key":"9585_CR5","unstructured":"Arlow, J., & Neustadt, I. (2005). UML 2.0 and the Unified Process: practical object-oriented analysis and design, 2nd ed. Addison-Wesley Professional"},{"key":"9585_CR6","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., & Wimmer, M. (2016). Model-driven software engineering in practice. 2nd edn.","DOI":"10.1007\/978-3-031-02549-5"},{"key":"9585_CR7","doi-asserted-by":"crossref","unstructured":"Briand, L. C., Labiche, Y., & O'Sullivan, L. (2003). Impact analysis and change management of UML models. Paper presented at the International Conference on Software Maintenance, Amsterdam, The Netherlands, September 2003","DOI":"10.1109\/ICSM.2003.1235428"},{"key":"9585_CR8","doi-asserted-by":"publisher","first-page":"3193","DOI":"10.1007\/s10270-019-00746-9","volume":"18","author":"L Burgue\u00f1o","year":"2019","unstructured":"Burgue\u00f1o, L., Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., et al. (2019). Contents for a model-based software engineering body of knowledge. Software and Systems Modeling, 18, 3193\u20133205.","journal-title":"Software and Systems Modeling"},{"key":"9585_CR9","doi-asserted-by":"publisher","first-page":"3207","DOI":"10.1007\/s10270-018-00713-w","volume":"18","author":"A Cicchetti","year":"2019","unstructured":"Cicchetti, A., Ciccozzi, F., & Pierantonio, A. (2019). Multi-view approaches for software and system modelling: a systematic literature review. Software and Systems Modeling, 18, 3207\u20133233.","journal-title":"Software and Systems Modeling"},{"key":"9585_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/1125944.1125949","volume":"49","author":"B Dobing","year":"2006","unstructured":"Dobing, B., & Parsons, J. (2006). How UML is used ACM, 49, 109\u2013113. https:\/\/doi.org\/10.1145\/1125944.1125949","journal-title":"How UML is used ACM"},{"key":"9585_CR11","unstructured":"Dragomir, I., Graf, S., Karsai, G., Noyrit, F., Ober, I., Torre, D., Labiche, Y., Genero, M., Elaasar, M. (2015). Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. CEUR Workshop Proceedings 1508, CEUR-WS.org 2015."},{"key":"9585_CR12","unstructured":"Engels, G., Hausmann, J. H., & Heckel, R. (2002). Testing the consistency of dynamic UML diagrams. Paper presented at the Integrated Design and Process Technology, Pasadena, California, June 24."},{"key":"9585_CR13","doi-asserted-by":"crossref","unstructured":"Engels, G., Heckel, R., & K\u00fcster, J. M. (2001a). Rule-based specification of behavioral consistency based on the UML meta-model. Paper presented at the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, Toronto, Ontario, Canada, October 1\u20135.","DOI":"10.1007\/3-540-45441-1_21"},{"key":"9585_CR14","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1145\/503209.503235","volume":"26","author":"G Engels","year":"2001","unstructured":"Engels, G., K\u00fcster, J. M., Heckel, R., & Groenewegen, L. (2001b). A methodology for specifying and analyzing consistency of object-oriented behavioral models. Sigsoft Software Engineering. Notes, 26, 186\u2013195. https:\/\/doi.org\/10.1145\/503209.503235","journal-title":"Notes"},{"key":"9585_CR15","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez-S\u00e1ez, A. M., Genero, M., Caivano, D., & Chaudron, M. R. V. (2015). On the use of UML documentation in software maintenance: results from a survey in industry. Paper presented at the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2015 ACM\/IEEE.","DOI":"10.1109\/MODELS.2015.7338260"},{"key":"9585_CR16","unstructured":"Forward, A., Badreddin, O., & Lethbridge, T. C. (2010). Perceptions of software modeling: a survey of software practitioners. Paper presented at the 5th Workshop From code centric to model centric: Evaluating the effectiveness of MDD (C2M:EEMDD), Paris, France."},{"key":"9585_CR17","unstructured":"Frankel, D. (2003). Model Driven Architecture: Applying MDA to enterprise computing. John Wiley & Sons."},{"key":"9585_CR18","doi-asserted-by":"publisher","first-page":"46","DOI":"10.4018\/jdm.2011070103","volume":"22","author":"M Genero","year":"2011","unstructured":"Genero, M., Fern\u00e1ndez-Saez, A. M., Nelson, H. J., Poels, G., & Piattini, M. (2011). A systematic literature review on the quality of UML models. Journal of Database Management, 22, 46\u201370. https:\/\/doi.org\/10.4018\/jdm.2011070103","journal-title":"Journal of Database Management"},{"key":"9585_CR19","unstructured":"Groves, R. M., Fowler, F. J., Couper, M. P., Lepkowski, J. M., Singer, E., & Tourangeau, R. (2009). Survey methodology. Second edn. John Wiley & Sons."},{"key":"9585_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27236-3","volume-title":"The software dilemma balancing creativity and control on the path to sustainable software","author":"R Gutbrod","year":"2012","unstructured":"Gutbrod, R., & Wiele, C. (2012). The software dilemma balancing creativity and control on the path to sustainable software. Springer."},{"key":"9585_CR21","volume-title":"Guide to the Unified Process Featuring UML, Java and Design Patterns","author":"J Hunt","year":"2003","unstructured":"Hunt, J. (2003). Guide to the Unified Process featuring UML, Java and design patterns (2nd ed.). Springer-Verlag.","edition":"2"},{"key":"9585_CR22","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., & Rouncefield, M. (2014). Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure. Science of Computer Programming,\u00a089, 144\u2013161","DOI":"10.1016\/j.scico.2013.03.017"},{"key":"9585_CR23","doi-asserted-by":"crossref","unstructured":"Huzar, Z., Kuzniarz, L., Reggio, G., & Sourrouille, J. L. (2005). Consistency problems in UML-based software development. Paper presented at the International Conference on UML Modeling Languages and Applications, Lisbon, Portugal.","DOI":"10.1007\/978-3-540-31797-5_1"},{"key":"9585_CR24","first-page":"119","volume":"5","author":"N Ibrahim","year":"2011","unstructured":"Ibrahim, N., Ibrahim, R., Saringat, M. Z., Mansor, D., & Herawan, T. (2011). Consistency rules between UML use case and activity diagrams using logical approach International Journal of Software Engineering and its Applications, 5, 119\u2013134.","journal-title":"Consistency rules between UML use case and activity diagrams using logical approach International Journal of Software Engineering and its Applications"},{"key":"9585_CR25","unstructured":"IEEE. (1992). IEEE standard for software veri\u00decation and validation plans (IEEE Std 1012-1986). https:\/\/standards.ieee.org\/findstds\/standard\/1012-1986.html (last accessed on May 2018)."},{"key":"9585_CR26","doi-asserted-by":"crossref","unstructured":"Jedlitschka, A., Ciolkowski, M., Denger, C., Freimut, B., & Schlichting, A. (2007). Relevant information sources for successful technology transfer: a survey using inspections as an example. Paper presented at the the International Symposium on Empirical Software Engineering and Measurement (ESEM).","DOI":"10.1109\/ESEM.2007.60"},{"key":"9585_CR27","doi-asserted-by":"crossref","unstructured":"Kalibatiene, D., Vasilecas, O., & Dubauskaite, R. (2013). Rule based approach for ensuring consistency in different UML models. Paper presented at the 6th SIGSAND\/PLAIS EuroSymposium 2013, Gda\u0144sk, Poland, September 26.","DOI":"10.1007\/978-3-642-40855-7_1"},{"key":"9585_CR28","doi-asserted-by":"crossref","unstructured":"Kitchenham, B., Budgen, D., & Brereton, P. (2015). Evidence-based software engineering and systematic reviews. Chapman & Hall\/CRC.","DOI":"10.1201\/b19467"},{"key":"9585_CR29","unstructured":"Kitchenham, B., & Charters, S. (2007). Guidelines for performing systematic literature reviews in software engineering. Keele University."},{"key":"9585_CR30","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-1-84800-044-5_3","volume-title":"Guide to Advanced Empirical Software Engineering","author":"BA Kitchenham","year":"2008","unstructured":"Kitchenham, B. A., & Pfleeger, S. L. (2008). Personal opinion surveys. guide to advanced empirical software engineering (pp. 63\u201392). Springer."},{"key":"9585_CR31","doi-asserted-by":"crossref","unstructured":"Knapp, A., & Mossakowski, T. (2018). Multi-view Consistency in UML: A Survey. In: Heckel R., Taentzer G. (eds) Graph transformation, specifications, and nets. Lecture Notes in Computer Science, 10800. Springer.","DOI":"10.1007\/978-3-319-75396-6_3"},{"key":"9585_CR32","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1146\/annurev.psych.50.1.537","volume":"50","author":"JA Krosnick","year":"1990","unstructured":"Krosnick, J. A. (1990). Survey research. Annual Review of Psychology, 50, 537\u2013567.","journal-title":"Survey research Annual Review of Psychology"},{"key":"9585_CR33","unstructured":"Labiche, Y. (2008). The UML is more than boxes and lines. Paper presented at the Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3."},{"key":"9585_CR34","unstructured":"Lethbridge, T., Cabot, J., Egyed, A. (2015). 18th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-6908-4."},{"key":"9585_CR35","unstructured":"Linaker, J., Sulaman, S. M., Mello, R. M. D., & H\u00f6st, M. (2015). Guidelines for conducting surveys in software engineering, TR 5366801. Lund University."},{"key":"9585_CR36","doi-asserted-by":"publisher","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"FJ Lucas","year":"2009","unstructured":"Lucas, F. J., Molina, F., & Toval, A. (2009). A systematic review of UML model consistency management. Information and Software Technology, 51, 1631\u20131645. https:\/\/doi.org\/10.1016\/j.infsof.2009.04.009","journal-title":"Information and Software Technology"},{"key":"9585_CR37","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1177\/1077800410364740","volume":"16","author":"JA Maxwell","year":"2010","unstructured":"Maxwell, J. A. (2010). Using numbers in qualitative research Qualitative Inquiry, 16, 475\u2013482.","journal-title":"Using numbers in qualitative research Qualitative Inquiry"},{"key":"9585_CR38","doi-asserted-by":"crossref","unstructured":"Mens, T., Van der Straeten, R., & Simmonds, J. (2005). A framework for managing consistency of evolving UML models. In: Software evolution with UML and XML. IGI Publishing, pp 1\u201330.","DOI":"10.4018\/978-1-59140-462-0.ch001"},{"key":"9585_CR39","unstructured":"Mukerji, J., & Miller, J. (2003). Overview and guide to OMG's architecture. Object Management Group."},{"key":"9585_CR40","doi-asserted-by":"crossref","unstructured":"Muskens, J., Bril, R. J., & Chaudron, M. R. V. (2005). Generalizing consistency checking between software views. Paper presented at the 5th Working IEEE\/IFIP Conference on Software Architecture, Pittsburgh, Pennsylvania, USA, November 6\u201310.","DOI":"10.1109\/WICSA.2005.37"},{"key":"9585_CR41","unstructured":"NATO. (1968). Software engineering. Paper presented at the Report on a conference sponsored by the NATO SCIENCE COMMITTEE, Garmisch, Germany."},{"key":"9585_CR42","unstructured":"OMG. (2015). OMG Unified Modeling LanguageTM - Superstructure Version 2.5. https:\/\/www.omg.org\/spec\/UML\/2.5\/About-UML\/ (last accessed on May 2018)."},{"key":"9585_CR43","unstructured":"OMG. (2016). Object Management Group - Object Constraint Language (OCL)."},{"key":"9585_CR44","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.entcs.2005.04.029","volume":"137","author":"RF Paige","year":"2005","unstructured":"Paige, R. F., Kolovos, D. S., & Polack, F. A. C. (2005). Refinement via consistency checking in MDA. Electronic Notes in Theoretical Computer Science, 137, 151\u2013161. https:\/\/doi.org\/10.1016\/j.entcs.2005.04.029","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9585_CR45","doi-asserted-by":"crossref","unstructured":"Panesar-Walawege, R., Sabetzadeh, M., & Briand, L. (2013). Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation. Informationand Software Technology, 55(5), 836\u2013886.","DOI":"10.1016\/j.infsof.2012.11.009"},{"key":"9585_CR46","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.ress.2004.04.011","volume":"87","author":"Z Pap","year":"2005","unstructured":"Pap, Z., Majzik, I., Pataricza, A., & Szegi, A. (2005). Methods of checking general safety criteria in UML statechart specifications. Reliability Engineering & System Safety, 87, 89\u2013107. https:\/\/doi.org\/10.1016\/j.ress.2004.04.011","journal-title":"Reliability Engineering & System Safety"},{"key":"9585_CR47","volume-title":"UML Bible","author":"T Pender","year":"2003","unstructured":"Pender, T. (2003). UML bible (1st ed.). John Wiley & Sons Inc.","edition":"1"},{"key":"9585_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2015.03.007","volume":"64","author":"K Petersen","year":"2015","unstructured":"Petersen, K., Vakkalanka, S., & Kuzniarz, L. (2015). Guidelines for conducting systematic mapping studies in software engineering: An update. Information & Software Technology, 64, 1\u201318. https:\/\/doi.org\/10.1016\/j.infsof.2015.03.007","journal-title":"Information & Software Technology"},{"key":"9585_CR49","doi-asserted-by":"crossref","unstructured":"Petre, M. (2013). UML in practice. Paper presented at the 35th International Conference on Software Engineering, San Francisco, CA, USA, May 18th\u201326th.","DOI":"10.1109\/ICSE.2013.6606618"},{"key":"9585_CR50","doi-asserted-by":"crossref","unstructured":"Pilskalns, O., Williams, D., Aracic, D., & Andrews, A. (2006). Security consistency in UML designs. Paper presented at the 30th Annual International Computer Software and Applications Conference, Chicago, USA, September 17\u201321.","DOI":"10.1109\/COMPSAC.2006.76"},{"key":"9585_CR51","first-page":"75","volume":"10","author":"A Pinsonneault","year":"1993","unstructured":"Pinsonneault, A., & Kraemer, K. L. (1993). Survey research methodology in management information systems: an assessment Journal of Management Information Systems - Special section: Strategic and competitive information systems, 10, 75\u2013105.","journal-title":"Survey research methodology in management information systems: an assessment Journal of Management Information Systems - Special section: Strategic and competitive information systems"},{"key":"9585_CR52","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1080\/07421222.1993.11518001","volume":"10","author":"A Pinsonneault","year":"1993","unstructured":"Pinsonneault, A., & Kraemer, K. L. (1993). Survey research methodology in management information systems: an assessment. Journal of Management Information Systems, 10, 75\u2013105.","journal-title":"Journal of Management Information Systems"},{"key":"9585_CR53","doi-asserted-by":"crossref","unstructured":"Punter, T., Ciolkowski, M., Freimut, B., & John, I. (2003a). Conducting on-line surveys in software engineering. Paper presented at the International Symposium on Empirical Software Engineering.","DOI":"10.1109\/ISESE.2003.1237967"},{"key":"9585_CR54","doi-asserted-by":"crossref","unstructured":"Punter, T., Ciolkowski, M., Freimut, B., & John, I. (2003b). Conducting on-line surveys in software engineering. Paper presented at the the International Symposium on Empirical Software Engineering (ISESE).","DOI":"10.1109\/ISESE.2003.1237967"},{"key":"9585_CR55","doi-asserted-by":"crossref","unstructured":"Qu, H., & Veres, S. (2016). Verification of logical consistency inrobotic reasoning. Robotics and Autonomous Systems, 83, 44\u201356.","DOI":"10.1016\/j.robot.2016.06.005"},{"key":"9585_CR56","unstructured":"Rumbaugh, J., Jacobson, I., & Booch, G. (2004). Unified Modeling Language reference manual, 2nd ed. Pearson Higher Education."},{"key":"9585_CR57","unstructured":"Reggio, G., Leotta, M., Ricca, F., & Clerissi, D. (2013). What are the used UML diagrams? A preliminary survey. Paper presented at the In Proceedings of 3rd International Workshop on Experiences and Empirical Studies in Software Modeling - CEUR Workshop Proceedings (EESSMod 2013), Miami, Florida - USA, October 1."},{"key":"9585_CR58","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, P., Markkula, J., Oivo, M., & Turula, K. (2012). Survey on agile and lean usage in finnish software industry. Paper presented at the the ACM-IEEE international symposium on Empirical software engineering and measurement (ESEM '12).","DOI":"10.1145\/2372251.2372275"},{"key":"9585_CR59","unstructured":"Scanniello, G., Gravino, C., & Tortora, G. (2010). Investigating the role of UML in the software modeling and maintenance - A preliminary industrial survey. Paper presented at the the 12th International Conference on Enterprise Information Systems (ICEIS'2010), Funchal, Madeira, Portugal."},{"key":"9585_CR60","doi-asserted-by":"publisher","unstructured":"Simmonds, J., Straeten, R. V., Jonkers, V., & Mens, T. (2004). Maintaining consistency between UML models using description logicZ RSTI \u2013 L\u2019Object LMO\u201904 10, 231\u2013244. https:\/\/doi.org\/10.3166\/objet.10.2-3.231-244","DOI":"10.3166\/objet.10.2-3.231-244"},{"key":"9585_CR61","doi-asserted-by":"crossref","unstructured":"Song, I-Y., Khare, R., An, Y., & Hilsbos, M. (2008). A multi-level methodology for developing UML sequence diagrams. Paper presented at the 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20\u201324.","DOI":"10.1007\/978-3-540-87877-3_10"},{"key":"9585_CR62","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1142\/9789812389718_0015","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"G Spanoudakis","year":"2001","unstructured":"Spanoudakis, G., & Zisman, A. (2001). Inconsistency management in software engineering: survey and open research issues. In S. K. Chang (Ed.), Handbook of Software Engineering and Knowledge Engineering (pp. 329\u2013380). World Scientific Publishing Co."},{"key":"9585_CR63","unstructured":"Survey Monkey. (1999) https:\/\/www.surveymonkey.net\/. Accessed last access on November 2016."},{"key":"9585_CR64","first-page":"997","volume":"86","author":"L Telinski","year":"2013","unstructured":"Telinski, L., Agner, W., Soares, I. W., Stadzisz, P. C., & Sim\u00e3o, J. M. (2013). A Brazilian survey on UML and model-driven practices for embedded software development J Syst Softw, 86, 997\u20131005.","journal-title":"A Brazilian survey on UML and model-driven practices for embedded software development J Syst Softw"},{"key":"9585_CR65","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/MS.2004.1293067","volume":"21","author":"D Thomas","year":"2004","unstructured":"Thomas, D. (2004). MDA: Revenge of the modelers or UML utopia? IEEE Software, 21, 15\u201317.","journal-title":"IEEE Software"},{"key":"9585_CR66","doi-asserted-by":"crossref","unstructured":"Torre, D. (2014). On collecting and validating UML consistency rules: a research proposal. Paper presented at the Doctoral Symposium at 18th International Conference on Evaluation and Assessment in Software Engineering (EASE 2014), London, UK, 12 May.","DOI":"10.1145\/2601248.2613084"},{"key":"9585_CR67","doi-asserted-by":"crossref","unstructured":"Torre, D. (2016). Verifying the consistency of UML models. Paper presented at the 27th IEEE International Symposium on Software Reliability Engineering, Fast Abstract (ISSRE 2016) Ottawa, Canada.","DOI":"10.1109\/ISSREW.2016.32"},{"key":"9585_CR68","doi-asserted-by":"crossref","unstructured":"Torre, D., Labiche, Y., & Genero, M. (2014). UML consistency rules: a systematic mapping study. Paper presented at the 18th International Conference on Evaluation and Assessment in Software Engineering (EASE 2014), London, UK, 13-14 May.","DOI":"10.1145\/2601248.2601292"},{"key":"9585_CR69","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.jss.2018.06.029","volume":"144","author":"D Torre","year":"2018","unstructured":"Torre, D., Labiche, Y., Genero, M., & Elaasar, M. (2018). A systematic identification of consistency rules for UML diagrams. Journal of Systems and Software, 144, 121\u2013142.","journal-title":"Journal of Systems and Software"},{"key":"9585_CR70","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/2894784.2894801","volume":"41","author":"D Torre","year":"2016","unstructured":"Torre, D., Labiche, Y., Genero, M., Elaasar, M., Das, T. K., Hoisl, B., & Kowal, M. (2016). 1st International Workshop on UML Consistency Rules (WUCOR) Post workshop report SIGSOFT. Software Engineering Notes, 41, 34\u201337. https:\/\/doi.org\/10.1145\/2894784.2894801","journal-title":"Software Engineering Notes"},{"key":"9585_CR71","doi-asserted-by":"crossref","unstructured":"Torre, D., Soltana, G., Sabetzadeh, M., Briand, L., Auffinger, Y., & Goes, P. (2019). Using models to enable compliance checking against the GDPR: An experience report. 22nd ACM\/IEEE InternationalConference on Model Driven Engineering Languages and Systems, (MODELS 2019) Munich, Germany.","DOI":"10.1109\/MODELS.2019.00-20"},{"key":"9585_CR72","doi-asserted-by":"crossref","unstructured":"Torre, D., Labiche, Y., Genero, M., Elaasar, M., & Menghi, C. (2020). UML consistency rules: a case study with open-source UML models. 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020).","DOI":"10.1145\/3372020.3391554"},{"issue":"3","key":"9585_CR73","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1007\/s10270-020-00834-1","volume":"20","author":"W Torres","year":"2021","unstructured":"Torres, W., van den Brand, M. G. J., & Serebrenik, A. (2021). A systematic literature review of cross-domain model consistency checking by model management tools. Software and Systems Modeling, 20(3), 897\u2013916.","journal-title":"Software and Systems Modeling"},{"key":"9585_CR74","doi-asserted-by":"crossref","unstructured":"Usman, M., Nadeem, A., Tai-hoon, K., & Eun-suk, C. (2008). A survey of onsistency checking techniques for UML models. Paper presented at the Advanced Software Engineering and Its Applications, Hainan Island, China, December 13\u201315.","DOI":"10.1109\/ASEA.2008.40"},{"key":"9585_CR75","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in Software Engineering: An Introduction","author":"C Wohlin","year":"2000","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M. C., Regnell, B., & Wessl\u00e9n, A. (2000). Experimentation in software engineering: an introduction. Kluwer Academic Publishers."},{"key":"9585_CR76","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., Hst, M., Ohlsson, M. C., Regnell, B., & Wessln, A. (2012). Experimentation in software engineering. Springer Publishing Company, Incorporated. https:\/\/doi.org\/10.1007\/978-3-642-29044-2","journal-title":"Springer Publishing Company, Incorporated."},{"key":"9585_CR77","doi-asserted-by":"crossref","unstructured":"Yang, J. (2009). A framework for formalizing UML models with formal language rCOS. Paper presented at the 4th International Conference on Frontier of Computer Science and Technology, Shanghai, China, December 17\u201319.","DOI":"10.1109\/FCST.2009.72"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-022-09585-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-022-09585-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-022-09585-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T12:36:58Z","timestamp":1700483818000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-022-09585-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,23]]},"references-count":77,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["9585"],"URL":"https:\/\/doi.org\/10.1007\/s11219-022-09585-2","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4,23]]},"assertion":[{"value":"23 January 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 April 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors of this paper certify that they have NO affiliations with or involvement in any organization or entity with any financial interest (such as honoraria; educational grants; participation in speakers\u2019 bureaus; membership, employment, consultancies, stock ownership, or other equity interest; and expert testimony or patent-licensing arrangements), or non-financial interest (such as personal or professional relationships, affiliations, knowledge or beliefs) in the subject matter or materials discussed in this manuscript.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}