Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden

La Ingeniería de Software utiliza modelos de procesos de desarrollo de software y un conjunto de técnicas y metodologías para definir, analizar y diseñar sistemas de información. Una de esas técnicas es el Lenguaje Unificado de Modelado (UML). UML se caracteriza por ser un lenguaje semiformal, generando problemas de ambigüedad, claridad y consistencia. Algunos investigadores intentan formalizarlo mediante Lógica de predicados de primer orden, teoría de conjuntos, lenguajes controlados y/o restringidos y metamodelado; sin embargo, estos acercamientos no son suficientes debido a que se suelen enfocar en un solo diagrama y únicamente en la sintaxis, dejando de lado la semántica. En este artículo se presenta un conjunto de reglas que permiten la representación de las primitivas conceptuales de UML mediante lógica de predicados de primer orden, así como un caso de estudio, partiendo de una descripción de los requisitos de un sistema en el lenguaje controlado UN-Lencep.

• Tipo de recurso: Article of journal
• Fecha de publicación: 2019
• Institución: Universidad Católica de Pereira
• Repositorio: Repositorio Institucional - RIBUC
• Idioma: spa
• OAI Identifier: oai:repositorio.ucp.edu.co:10785/9921
• Acceso en línea: https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758; http://hdl.handle.net/10785/9921
• Rights: openAccess
• License: Derechos de autor 2019 Entre Ciencia e Ingeniería