Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Especificación formal en OCL de reglas de consistencia entre el modelo de clases y de casos de uso de UML

González Calderón, Guillermo (2007) Especificación formal en OCL de reglas de consistencia entre el modelo de clases y de casos de uso de UML. Maestría thesis, Universidad Nacional de Colombia, Medellín.

Texto completo

[img]
Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

1MB

Resumen

Resumen: En el ciclo de vida del software, durante las fases de definición y análisis se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que representan tanto el problema como su solución. Por lo general, la mayoría de esos modelos se expresan en el Lenguaje Unificado de Modelamiento (UML), dirigido por el Grupo de Gestión de Objetos (Object Management Group, OMG). UML define un conjunto de artefactos que permiten especificar los requisitos del software, los cuales deberían guardar consistencia cuando se traten del mismo modelo, ya que están definidos bajo las reglas de buena formación (Well-Formedness Rules, WFR), las cuales se encuentran definidas dentro de la especificación de UML en el Lenguaje de Restricciones de Objetos (Object Constraint Language, OCL). La consistencia interna de cada artefacto está por tanto definida en la especificación de UML y algunas de las herramientas CASE (Computer-Aided Software Engineering) utilizan esas reglas intramodelo para validar este tipo de consistencia. Sin embargo la consistencia entre diferentes artefactos no se encuentra definida en la especificación de UML y poco se ha trabajado con este tipo de consistencia; además, los trabajos que se han realizado en este tema se identifican por: • No se suele definir de manera formal la consistencia entre los diferentes artefactos. • Por lo general se estudia sólo la consistencia entre alguno de los artefactos y el código resultante. •Algunos establecen reglas formales de consistencia, pero únicamente a nivel de intramodelo. Entre los artefactos más utilizados para especificar una pieza de software se encuentran el diagrama de clases y el diagrama de casos de uso, los cuales suministran dos perspectivas diferentes del desarrollo de software: por un lado el diagrama de clases, de tipo estructural, muestra los objetos del mundo y sus relaciones; por otro lado, el diagrama de casos de uso, de tipo comportamental, se concentra en las funciones que realizan los actores del mundo para lograr un resultado en el software. Estos dos puntos de vista deberían ser complementarios y, por ello, tener información común, susceptible de ser sometida a un análisis de consistencia. En esta Tesis se propone un método para verificar la consistencia entre el diagrama de clases y el diagrama de casos de uso de UML de una manera formal. Dicho proceso se lleva a cabo evaluando una serie de reglas definidas en OCL que se deben cumplir para garantizar que la información brindada por dichos modelos sea consistente. Como se reconoce la participación de los dos diagramas en la elaboración de las Interfaces Gráficas de Usuario (Graphical User Interfaces, GUI), se define adicionalmente la consistencia con este artefacto. Las reglas se implementaron en XQuery, utilizando como diagramas de entrada representaciones en XML generadas con la herramienta CASE ArgoUML® (en el caso del diagrama de clases y de casos de uso) y con Microsoft Visio® (en el caso de las GUI). Finalmente, se muestra un caso de estudio donde se aplican estas reglas y se muestran los posibles errores y advertencias que se tienen entre los elementos de tales artefactos., Abstract: Requirements specification is made throughout the definition and the analysis phases of software development lifecycle. For completing this task, a capture process of the stakeholder’s needs and expectations is needed; the results of this process are then translated into representative diagrams, for modeling both the problem domain and the solution. Commonly, most of these diagrams are expressed in the Unified Modelling Language (UML), a directed standard of the Object Management Group (OMG). UML defines a set of artifacts for specifying the software requirements; the UML artifacts are defined by means of Well-Formedness Rules (WFR) in the Object Constraint Language (OCL) and, consequently, must be consistent with each other. The intra-model consistency of each artifact is guaranteed by the UML specification, and some of the CASE (Computer-Aided Software Engineering) tools use intra-model rules for consistency checking. However, consistency among different UML artifacts is not defined by the UML specification, and the research about inter-model consistency is still immature. Some of the issues for this research topic are: • Inter-model consistency is not usually defined in a formal way. • In most cases, only consistency between one artifact and the resultant code is studied. • Some of the works in this area establish formal consistency rules, but only in the intra-model level. Two of the most useful artifacts for making a specification of a software piece are class and use case diagram. These diagrams present two different viewpoints of software development: firstly, class diagram gives a structural viewpoint, and it can represent the objects of the world and its relationships; secondly, the use case diagram gives a behavioural viewpoint, and it concentrates in the functions that the actors of the world carry out for achieving a result in the software piece. These two viewpoints should be complementary and, as a consequence, they should contain information in common. This information is susceptible of being checked by means of a consistency analysis.

Tipo de documento:Tesis/trabajos de grado - Thesis (Maestría)
Colaborador / Asesor: Zapata Jaramillo, Carlos Mario
Palabras clave:Desarrollo del software, Ingeniería de software
Temática:0 Generalidades / Computer science, information & general works
Unidad administrativa:Sede Medellín > Facultad de Minas > Escuela de Sistemas
Código ID:10621
Enviado por : Biblioteca Sede Medellín Universidad Nacional de Colombia
Enviado el día :29 Oct 2013 21:15
Ultima modificación:29 Oct 2013 21:15
Ultima modificación:29 Oct 2013 21:15
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox