Normal view MARC view ISBD view

Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z

By:

Becker, Valeria

Contributor(s):

Pons, Claudia Fabiana

Material type: Article

ArticleSeries: ^p Datos electrónicos (1 archivo : 269 KB)Subject(s):

Online resources:

Click here to access online

Summary: 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Home library	Collection	Call number	URL	Status	Date due	Barcode
Capítulo de libro	Biblioteca de la Facultad de Informática	Biblioteca digital	A0049 (Browse shelf(Opens below))	Link to resource	No corresponde

Browsing Biblioteca de la Facultad de Informática shelves, Collection: Biblioteca digital Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0046 Efficient tone detection solutions using programmable logic devices	A0047 Design aspects for describing frameworks	A0048 Acciones como fuente del conocimiento de una comunidad	A0049 Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z	A0050 Information flow analysis for a typed assembly language with polymorphic stacks	A0051 A normalisation result for higher-order calculi with explicit substitutions	A0052 Correspondence assertions for process synchronization in concurrent communications	Next

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)

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.

Proceedings of IX Congreso Argentino de Ciencias de la Computación CACIC, October 2003.