Documento de conferencia
Acceso Abierto
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
Becker, Valeria
Pons, Claudia Fabiana
Enlace externo
Resumen
En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.\nNuestro 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.\nEsta 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.
Palabras clave
Base de Datos
Formal Languages
Semantics
SOFTWARE ENGINEERING
OCL
UML
Object-Z
lenguajes formales
Semántica