Documento de conferencia

Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z

|
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
http://creativecommons.org/licenses/by/4.0/

Esta obra se publica con la licencia Creative Commons Attribution 4.0 International (BY 4.0)

item.page.license
Imagen en miniatura