DOI:
https://doi.org/10.14483/23448350.19655Publicado:
2023-01-02Número:
Vol. 46 Núm. 1 (2023): Enero-Abril 2023Sección:
Ingeniería y TecnologíaFaltas en el aprendizaje del modelado de clases y casos de uso: una revisión sistemática
Learning Failures in Class Modeling and Use Cases: A Systematic Review
Palabras clave:
Faltas en el modelado de software, diagramas de casos de uso, diagramas de clase, UML, RSL (es).Palabras clave:
Faults in software modeling, use case diagrams, class diagrams, UML, SLR (en).Descargas
Resumen (es)
En este artículo se presenta una revisión de los estudios primarios que abordan la identificación de faltas durante el aprendizaje de los diagramas de casos de uso (DCU) y de los diagramas de clase (DC) en los últimos 10 años. Este trabajo es el inicio de un proyecto de investigación relacionado con la detección de faltas en los diagramas UML. Este artículo presenta un análisis del estado del arte con respecto a la tipificación de faltas en DCU y DC, con el objetivo de identificar oportunidades y brechas de investigación. Se encontraron 20 documentos de acuerdo con los criterios de inclusión y exclusión establecidos mediante la metodología utilizada para la revisión sistemática de literatura. Considerando la relevancia del tema, se puede observar que es limitada la investigación relacionada con la detección de faltas en los diagramas UML tanto en DCU como DC.
Resumen (en)
This paper presents a review of the main studies that address the identification of faults during the learning of use case diagrams (DCU) and class diagrams (DC) in the last 10 years. This work is the beginning of a research project related to the detection of faults in UML diagrams. This paper presents an analysis of the state of the art regarding the typification of faults in DCU and DC, with the objective of identifying opportunities and research gaps. 20 documents were found according to the inclusion and exclusion criteria established through the methodology employed for the systematic review of the literature. Considering the relevance of the topic, it can be observed that there is limited research on fault detection in UML diagrams for both DCU and DC.
Referencias
Agner, L. T., Lethbridge, T. C., Soares, I. W. (2019). Student experience with software modeling tools. Softw. Syst. Model., 18, 3025-3047. https://doi.org/10.1007/s10270-018-00709-6
Aguilar, R., Oktaba, H., Ramírez, R., Aguilar, J., Fernández, C., Rodríguez, O., Ucán, J. (2017). Ingeniería de Software. En L. A. Pineda Cortés (coord.), Computación en México por especialidades académicas (pp. 167-194). Amexcomp
Aguilar, R., Oktaba, H., Juárez, J. (2019). Introducción a la ingeniería de software. En R. A. Aguilar (ed.), Ingeniería de software en México: educación, industria e investigación (pp. 3-17). Amexcomp
Alanazi, M. N. (2009). Basic rules to build correct UML diagrams. En International Conference on New Trends in Information and Service Science, 72-76. https://doi.org/10.1109/NISS.2009.252
Baresi, L., Morzenti, A., Motta, A., Rossi, M. (2012). A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Software Engineering Notes, 37(4), 1-8. https://doi.org/10.1145/2237796.2237811
Brunet, J., Guerrero, D., Figueiredo, J. (2009). Design tests: An approach to programmatically check your code against design rules. En 31st International Conference on Software Engineering, 255-258. https://doi.org/10.1109/icse-companion.2009.5070995
Chaudron, M. R., Heijstek, W., Nugroho, A. (2014). How effective is UML modeling?. Software & Systems Modeling, 11, 571-580. https://doi.org/10.1007/s10270-012-0278-4
Chebanyuk, E., Markov, K. (2016). An approach to class diagrams verification according to SOLID design principles. En 4th International Conference on Model-Driven Engineering and Software Development, 435-441
Chourio, P., Azevedo, R., Castro, A., Gadelha, B. (2019). Most common errors in software modeling using UML. En Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 244-253. https://doi.org/10.1145/3350768.3353820
Claret, G., Régis-Gianas, Y. (2015). Mechanical verification of interactive programs specified by use cases. En IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 61-67. https://doi.org/10.1109/FormaliSE.2015.17
Clarisó, R., González C. A., Cabot J. (2019). Smart bound selection for the verification of UML/OCL class diagrams. IEEE Transactions on Software Engineering, 45(4), 412-426. https://doi.org/10.1109/TSE.2017.2777830
Genero, M., Cruz-Lemus, J. A., Piattini, M. G. (2014). Métodos de investigación en ingeniería del software. Ra-Ma
Hakim, H., Sellami, A., Ben-Abdallah, H. (2017). Identifying and localizing the inter-consistency errors among UML use cases and activity diagrams: An approach based on functional and structural size measurements. En IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 289-296. https://doi.org/10.1109/sera.2017.7965740
Halim, A. (2013). Predict fault-prone classes using the complexity of UML class diagram. En International Conference on Computer, Control, Informatics and Its Applications (IC3INA), 289-294. https://doi.org/10.1109/IC3INA.2013.6819188
Juristo, N., Moreno, A. M., Vegas, S. (2006). Técnicas de evaluación de software. Universidad Politécnica de Madrid
Kayama, M., Ogata, S. Masymoto, K., Hashimoto M., Otani M. (2014). A practical conceptual modeling teaching method based on quantitative error analyses for novices learning to create error-free simple class diagrams. En IIAI 3rd International Conference on Advanced Applied Informatics, 616-622. https://doi.org/10.1109/IIAI-AAI.2014.131
Kitchenham, B., Charters, S. (2007). Guidelines for Performing Systematic Literature Reviews in Software Engineering (Technical Report). Keele University and University of Durham
Motta, A. (2012).Towards the verification of multi-diagram UML models. En 34th International Conference on Software Engineering (ICSE), 1531-1534. https://doi.org/10.1109/ICSE.2012.6227044
Parachuri, D., Sajeev, A. S. M., Shukla, R. (2014). An empirical study of structural defects in industrial use-cases. En ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering, 14-23. https://doi.org/10.1145/2591062.2591174
Pressman, R., Maxim, B. (2021). Ingeniería del software: un enfoque práctico. McGraw-Hill
Rumbaugh, J., Jacobson, I., Booch, G. (2000). El lenguaje unificado de modelado. Manual de referencia. Addison Wesley
Sadowska, M., Huzar, Z. (2017). Semantic validation of UML class diagrams with the use of domain ontologies expressed in OWL 2. In: L. Madeyski, M. Śmiałek, B. Hnatkowska, Z. Huzar (eds.), Software Engineering: Challenges and Solutions, pp. 47-59. Springer. https://doi.org/10.1007/978-3-319-43606-7_4
Seidl, M., Scholz, M., Huemer, C., Kappel, G. (2015). UML @ Classroom: An introduction to Object-Oriented Modeling. Springer
Shaikh, A., Hafeez, A., Wagan, A. A., Alrizq, M., Alghamdi, A., Al Reshan, M. S. (2021). More than two decades of research on verification of UML class models: A systematic literature review. IEEE Access, 9, 142461-142474. https://doi.org/10.1109/ACCESS.2021.3121222
Shaikh, A., Wiil, U. K. (2012). UMLtoCSP (UOST): A tool for efficient verification of UML/OCL class diagrams through model slicing. En FSE ’12: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software, 1-4. https://doi.org/10.1145/2393596.2393639
Shaikh, A., Wiil, U. K. (2018). Overview of slicing and feedback techniques for efficient verification of UML/OCL class diagrams. IEEE Access, 6, 23864-23882. https://doi.org/10.1109/ACCESS.2018.2797695
Shuang, L., Jun, S., Yang, L., Yue, Z., Bimlesh, W., Jin, S. D., Xinyu, W. (2014). Automatic early defects detection in use case documents. En ASE ’14: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, 785-790. https://doi.org/10.1145/2642937.2642969
Simko, V., Hnetynka, P., Bures, T., Plasil, F. (2012). FOAM: A lightweight method for verification of use-cases. En 38th Euromicro Conference on Software Engineering and Advanced Applications, 228-232. https://doi.org/10.1109/SEAA.2012.15
Tianual, P., Pohthong, A. (2019). Defects detection technique of use case views during requirements engineering. En ICSCA ’19: Proceedings of the 2019 8th International Conference on Software and Computer Applications, 277-281. https://doi.org/10.1145/3316615.3316631
Torre, D., Labiche, Y., Genero, M., Baldassarre, M. T., Elaasar, M. (2018). UML diagram synthesis techniques: A systematic mapping study. En MiSE ‘18: Proceedings of the 10th International Workshop on Modelling in Software Engineering, 33-40. https://doi.org/10.1145/3193954.3193957
Vanwormhoudt, G., Caron, O., Carré, B. (2017). Aspectual templates in UML. Software & Systems Modeling, 16, 469-497. https://doi.org/10.1007/s10270-015-0463-3
Wu, H. (2022). QMaxUSE: A query-based verification tool for UML class diagrams with OCL invariants. In: E. B. Johnsen, M. Wimmer (eds.), Fundamental Approaches to Software Engineering, pp. 310-317. Springer. https://doi.org/10.1007/978-3-030-99429-7_17
Cómo citar
APA
ACM
ACS
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver
Descargar cita
Licencia
Derechos de autor 2023 Juan-Pablo Ucán-Pech, Raúl-Antonio Aguilar-Vera, Julio-César Díaz-Mendoza, Omar-Salvador Gómez-Gómez
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
El (los) autor(es) al enviar su artículo a la Revista Científica certifica que su manuscrito no ha sido, ni será presentado ni publicado en ninguna otra revista científica.
Dentro de las políticas editoriales establecidas para la Revista Científica en ninguna etapa del proceso editorial se establecen costos, el envío de artículos, la edición, publicación y posterior descarga de los contenidos es de manera gratuita dado que la revista es una publicación académica sin ánimo de lucro.
Institución de Educación Superior sujeta a inspección y vigilancia por el Ministerio de Educación Nacional
Acuerdo de creación N° 10 de 1948 del Concejo de Bogotá Acreditación Institucional de Alta Calidad - Resolución N° 23096 del 15 de diciembre del 2016
