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.
Notas
Eje: Ingeniería de Software y Bases de Datos (ISBD)
Información general
Fecha de exposición:octubre 2003
Fecha de publicación:octubre 2003
Idioma del documento:Español
Evento:IX Congreso Argentino de Ciencias de la Computación
Institución de origen:Red de Universidades con Carreras en Informática (RedUNCI)
Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)