Un método para el refinamiento de los atributos derivados del Diagrama de Clases
Palabras clave:
Diagrama de Clases UML, Refinamiento, Métodos Formales, Atributos Derivados (es)UML Class Diagram, Refinement, Formal Methods, Derived Attributes (en)
Descargas
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 de refinamiento 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.
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 be used 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.
Referencias
Arango, F. y Jiménez, C. (1997), Metodología para la evolución de software de 3ª generación, Technical report, Universidad Nacional de Colombia, Sede Medellín, Postgrado en Ingeniería de Sistemas. Informe final proyecto COLCIENCIAS-UN, código 1118-14-006-93. 261 p.
Back, R., Petre, L. y Paltor, I. (1999), Formalizing UML use cases in the refinement calculus, Technical Report 279, Turku Centre for Computer Science, Turku, Finland. En: <http://www.tucs.fi/publications/techreports/.../TR279.php>.
Booch, G., Jacobson, I. y Rumbaugh, J. (1997), The OMG Unified Modeling Language Specification, Rational Software Corp. 566 p.
D'Souza, D. y Wills, A. (1998), Catalysis: Objects, Frameworks and Components with UML, Addis on-Wesley.
Fournet, C., Laneve, C., Maranget, L. y Remy, D. (2000), Inheritance in the join calculus, in ‘Foundations of Software Technology and Theoretical Computer Science (FSTTCS2000)’, New Delhi, pp. 397-408.
France, R. y Bieman, J. (2001), Multi-view software evolution: a UML-based framework for evolving object- oriented software, in ‘Proceedings of the International Conference on Software Maintenance (ICSM 2001)’, p. 10.
Larman, C. (2003), UML y patrones, Prentice Hall, Segunda Edición, Madrid.
Sampaio, A., Mota, A. y Ramos, R. (2003), Class and capsule refinement in UML for real time, in ‘Workshop de Métodos Formals'.
Shen, W., Lu, Y. y Low, W. (2003), Extending the UML metamodel to support software refinement, in ‘Proceedings of the Workshop on Consistency Problems in UML - based Software Development II’, San Francisco, pp. 35—42.
UML (2005), *Unified modeling language uml. resource page*. En Línea: <http://www.uml.org> C-03/05.