Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden
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.
Descargas
Citas
Becker V., Pons C.: Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z. Proceedings of IX Congreso Argentino de Ciencias de la Computación CACIC (2003)
Brean, Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V. ECOOP'97, Finland (1997)
Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Boston (2000)
Garrido, M.: Lógica simbólica. Ed. Tecnos, Madrid (1995)
Jacobson, I., Booch, G., Rumbaugh, J.: El Proceso Unificado de Desarrollo de Software. Addison Wesley, Madrid (2001)
Molina, J.C., Pastor, O.: Mda, OO-Method y la tecnología OLIVANOVA model execution. Actas del I Taller sobre Desarrollo Dirigido por Modelos, MDA y Aplicaciones (DSDM’04) Málaga. (2004)
Moreno, A.M.: Object Oriented Analysis from Textual Specifications. Proceedings of the 9th Intl. Conf. on Software Engineering and Knowledge Engineering, Madrid (1997)
Moreno, A.M., Van De Riet, R.P.: Justification of the Equivalence between Linguistic and Conceptual Patterns for the Object Model. Proc. of the International Workshop on Applications of Natural Language to Information Systems, Vancouver, (1997). OMG (Object Management Group). (2010). OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2., http://www.omg.org.
Ramírez, F., Cabrera, C.: Desarrollo de un modelo de implantación de agentes inteligentes en la red univirtual como intérpretes semánticos del lenguaje natural. Pereira, (2006)
Reeves, S., Clarke, M. Logic for Computer Science. Addison-Wesley, Wokingham (1990)
Steimann, F., Kühne, T.: A Radical Reduction of UML's Core Semantics.In: J-M Jézéquel, H. Hussman, S. Cook (Eds): UML, 2002, LNCS, vol. 2460, pp. 34--48. Springer, Heidelberg (2002)
Shroff M., France R.: Towards a Formalization of UML Class Structures in Z” in COMPSAC. Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC’97), Washington DC. (1997)
Warmer J., Kleppe A.: The Object Constraint Language: Getting your models ready for MDA. Addison Wesley, Londres (2003)
Zapata, C., Arango, F.: Construcción Automática de Esquemas Conceptuales a partir de Lenguaje Natural. Autores editores, Medellín (2007)
Zapata, C., Gelbukh, A., Arango, F.: UN-Lencep: Obtención Automática de Diagramas UML a Partir de un Lenguaje Controlado. Avances en la Ciencia de la Computación, VII Encuentro Internacional de Computación ENC’06, (2006)
<
Revista Entre Ciencia e Ingeniería .png)
entrecei@ucp.edu.co.png)
ISSN (Impreso) 1909-8367 - ISSN (En Línea) 2539-4169
Attribution-NonCommercial 4.0 International (CC By-NC 4.0)
.png)
Carrera 21 No. 49-95 Av. de las Américas, Pereira, Risaralda, Colombia