Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z

Título:

Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z

Autor:

Becker, Valeria

Colaboradores:

; Pons, Claudia Fabiana

Temas:

HERRAMIENTAS DE SOFTWAREMODELADO DE SOFTWAREUMLOCLOBJECT-Z

En:

Proceedings of IX Congreso Argentino de Ciencias de la Computación CACIC, October 2003.

Resumen:

En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z. Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba de teoremas sobre los modelos. Esta traducción está siendo implementada como parte de una herramienta CASE que permite editar y gestionar modelos. Esperamos que pueda servir como un medio que ayude promover el uso industrial de UML y OCL. Keywords: OCL, UML, Object-Z, lenguajes formales, semántica.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Idioma:

Español

Publicación:

, 2003

Puede solicitar más fácilmente el ejemplar con: A0049

Ver estantes