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

• Autores: Carlos Mario Zapata Jaramillo, Paula Andrea Tamayo Osorio, Natália Meneses
• Localización: Entre ciencia e ingeniería, ISSN-e 2539-4169, ISSN 1909-8367, Vol. 4, Nº. 7, 2010, págs. 47-61
• Idioma: español
• Enlaces
  • Texto completo
• Resumen

  • 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.