Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z
Becker, Valeria
Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z - ^p Datos electrónicos (1 archivo : 269 KB) .
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 12-03-2008)
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.
DIF-M2382
HERRAMIENTAS DE SOFTWARE
MODELADO DE SOFTWARE
UML
OCL
OBJECT-Z
Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z - ^p Datos electrónicos (1 archivo : 269 KB) .
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 12-03-2008)
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.
DIF-M2382
HERRAMIENTAS DE SOFTWARE
MODELADO DE SOFTWARE
UML
OCL
OBJECT-Z