Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

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

2003
 
Document type: Objeto de conferencia

Abstract

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.

Notes

Eje: Ingeniería de Software y Bases de Datos (ISBD)

General information

Exposure date: octubre 2003
Issue date: octubre 2003
Document language: Spanish
Event: IX Congreso Argentino de Ciencias de la Computación
Origin: Red de Universidades con Carreras en Informática (RedUNCI)
Pages: 977-989

Download Files

Thumbnail
Documento completo
Download file (658.4Kb) - PDF
 
Created: 19 de octubre de 2012
Available since: 19 de octubre de 2012
Please, use one of this identificators(URI) for cite o linking this item:
  • http://sedici.unlp.edu.ar/handle/10915/22650

    • This item appears in the following Collection(s)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)