Publicado

2005-01-01

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

Autores/as

  • Marta Silvia Tabares Escuela de Ingeniería de Antioquia
  • Carlos Mario Zapata Universidad Nacional de Colombia-Sede Medellín-Facultad de Minas-Escuela de Sistemas-Grupo UN-INFO
  • Fernando Arango Universidad Nacional de Colombia-Sede Medellín-Facultad de Minas-Escuela de Sistemas-Grupo UN-INFO

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.

Cómo citar

APA

Tabares, M. S., Zapata, C. M. y Arango, F. (2005). Un método para el refinamiento de los atributos derivados del Diagrama de Clases. Avances en Sistemas e Informática, 2(1), 1–8. https://revistas.unal.edu.co/index.php/avances/article/view/93547

ACM

[1]
Tabares, M.S., Zapata, C.M. y Arango, F. 2005. Un método para el refinamiento de los atributos derivados del Diagrama de Clases. Avances en Sistemas e Informática. 2, 1 (ene. 2005), 1–8.

ACS

(1)
Tabares, M. S.; Zapata, C. M.; Arango, F. Un método para el refinamiento de los atributos derivados del Diagrama de Clases. ava. sis. inf 2005, 2, 1-8.

ABNT

TABARES, M. S.; ZAPATA, C. M.; ARANGO, F. Un método para el refinamiento de los atributos derivados del Diagrama de Clases. Avances en Sistemas e Informática, [S. l.], v. 2, n. 1, p. 1–8, 2005. Disponível em: https://revistas.unal.edu.co/index.php/avances/article/view/93547. Acesso em: 28 abr. 2025.

Chicago

Tabares, Marta Silvia, Carlos Mario Zapata, y Fernando Arango. 2005. «Un método para el refinamiento de los atributos derivados del Diagrama de Clases». Avances En Sistemas E Informática 2 (1):1-8. https://revistas.unal.edu.co/index.php/avances/article/view/93547.

Harvard

Tabares, M. S., Zapata, C. M. y Arango, F. (2005) «Un método para el refinamiento de los atributos derivados del Diagrama de Clases», Avances en Sistemas e Informática, 2(1), pp. 1–8. Disponible en: https://revistas.unal.edu.co/index.php/avances/article/view/93547 (Accedido: 28 abril 2025).

IEEE

[1]
M. S. Tabares, C. M. Zapata, y F. Arango, «Un método para el refinamiento de los atributos derivados del Diagrama de Clases», ava. sis. inf, vol. 2, n.º 1, pp. 1–8, ene. 2005.

MLA

Tabares, M. S., C. M. Zapata, y F. Arango. «Un método para el refinamiento de los atributos derivados del Diagrama de Clases». Avances en Sistemas e Informática, vol. 2, n.º 1, enero de 2005, pp. 1-8, https://revistas.unal.edu.co/index.php/avances/article/view/93547.

Turabian

Tabares, Marta Silvia, Carlos Mario Zapata, y Fernando Arango. «Un método para el refinamiento de los atributos derivados del Diagrama de Clases». Avances en Sistemas e Informática 2, no. 1 (enero 1, 2005): 1–8. Accedido abril 28, 2025. https://revistas.unal.edu.co/index.php/avances/article/view/93547.

Vancouver

1.
Tabares MS, Zapata CM, Arango F. Un método para el refinamiento de los atributos derivados del Diagrama de Clases. ava. sis. inf [Internet]. 1 de enero de 2005 [citado 28 de abril de 2025];2(1):1-8. Disponible en: https://revistas.unal.edu.co/index.php/avances/article/view/93547

Descargar cita

Visitas a la página del resumen del artículo

116

Descargas

Los datos de descargas todavía no están disponibles.