Prueba

Un Método para el Refinamiento de los Atributos Derivados del Diagrama de Clases
Marta Silvia Tabares
ESCUELA DE INGENIERÍA DE ANTIOQUIA. mstabare@unalmed.edu.co

Carlos Mario Zapata y Fernando Arango
UNIVERSIDAD NACIONAL DE COLOMBIA. Facultad de Minas. Escuela de Sistemas. Grupo UN-INFO {cmzapata ; farango}@unalmed.edu.co Recibido para revisión Mar 2005, aceptado May 2005, versión finalrecibida May 2005

Resumen: Las técnicas de Abstracción y Refinamiento aplicadas a los modelos conceptuales orientados a objetos, permiten a los ingenieros de software depurar los requisitos del interesado, de forma tal que puedan obtenerse productos válidos y óptimos, que garanticen la consistencia de la información en la etapa de desarrollo. En este artículo se propone un método que provee reglas derefinamiento expresadas en un lenguaje formal para ser empleadas entre las etapas de análisis y diseño del ciclo de vida del desarrollo de un sistema de información. Específicamente, estas reglas parten de casos de uso cuya funcionalidad se expresa mediante métodos y atributos derivados pertenecientes a clases relacionadas con el caso de uso. Palabras Clave: Diagrama de Clases UML, Refinamiento,Métodos Formales, Atributos Derivados. Abstract: Abstraction and Refinement techniques applied to Object - Oriented Conceptual Models, allows Software Engineers debugging stakeholders’ requirements, getting optimal and valid products that guarantee the information consistency at the development stage. In this paper, we propose a method that provides refinement rules, expressed in a formal language to beused in the transition between analysis and design stages of the Information Systems Life Cycle. Specifically, these rules are taken from use a case whose functionality is expressed by methods and derived attributes belonging to related classes to the use case. Keywords: UML Class Diagram, Refinement, Formal Methods, Derived Attributes.

1

INTRODUCCIÓN

En el contexto de UML [véase UML(2005)], a las Clases se les proveen características que les permiten agrupar objetos del dominio del negocio a través de la definición de atributos, operaciones y relaciones entre ellas, para así describir los términos que el dominio requiera. A partir de esto, es posible la aplicación de técnicas de Abstracción y Refinamiento que le permitan a los analistas descender en el nivel de abstracción yacercarse paulatinamente a la solución informática concreta a los problemas de los interesados. Este proceso generalmente se realiza de manera heurística, tomando como punto de partida los modelos del dominio Larman (2003), en los cuales se incluye sólo una descripción de las clases y las relaciones básicas entre ellas; sin embargo, en la definición de los diagramas de clases, UML considera elementos queper-

miten realizar un proceso de refinamiento en la etapa de análisis, refiriéndose éste a la adición de más elementos a medida que se avanza en las etapas del desarrollo [véase Shen, Lu y Low (2003)], tales como: estereotipos, interfaces y encapsulamiento, además de otras operaciones no consideradas en la construcción inicial de las clases [Booch, Jacobson y Rumbaugh (1997)]. Otros elementoscomo los atributos derivados, por ejemplo, requieren una definición precisa que se suele dejar a etapas muy cercanas a la programación, lo cual suele dejar en manos del programador decisiones de diseño que deberían estar más ligadas con los analistas y diseñadores. A partir de los casos de uso, y más particularmente de las interacciones entre el usuario final y el sistema, que se suelen bosquejarinicialmente al elaborar los casos de uso, es posible identificar tales atributos, y darles un tratamiento formal que posibilite a los programadores

Av. Sist Inf., Vol. 2 No. 1 pp. 1–8, Medellín, Junio 2005, ISSN 1657–7663

2

M.S. Tabares, C.M. Zapata, y F. Arango / Avances en Sistemas e Informática 2 (1) 2005 1 – 8

una transición más suave hacia el código. El propósito de este artículo...