Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Capítulo de libro |
| Lengua: | español |
| Series: | ^p Datos electrónicos (1 archivo : 269 KB)
|
| Temas: | |
| Acceso en línea: | www.lifia.info.unlp.edu.ar/papers/2003/Becker2003.pdf Consultar en el Cátalogo |
| 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. |
| Notas: | 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) |