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

Autores
Becker, Valeria; Pons, Claudia
Año de publicación
2003
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Ingeniería de Software y Bases de Datos (ISBD)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/22650

id SEDICI_a3eda41812db28222de89f671c3808a6
oai_identifier_str oai:sedici.unlp.edu.ar:10915/22650
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-zBecker, ValeriaPons, ClaudiaCiencias InformáticasFormal LanguagesOCLbase de datosSemanticsUMLObject-ZSOFTWARE ENGINEERINGlenguajes formalessemánticaEn 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.Eje: Ingeniería de Software y Bases de Datos (ISBD)Red de Universidades con Carreras en Informática (RedUNCI)2003-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf977-989http://sedici.unlp.edu.ar/handle/10915/22650spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:57Zoai:sedici.unlp.edu.ar:10915/22650Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:57.788SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
spellingShingle Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
Becker, Valeria
Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
title_short Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_full Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_fullStr Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_full_unstemmed Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_sort Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
dc.creator.none.fl_str_mv Becker, Valeria
Pons, Claudia
author Becker, Valeria
author_facet Becker, Valeria
Pons, Claudia
author_role author
author2 Pons, Claudia
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
topic Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
dc.description.none.fl_txt_mv 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.
Eje: Ingeniería de Software y Bases de Datos (ISBD)
Red de Universidades con Carreras en Informática (RedUNCI)
description 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.
publishDate 2003
dc.date.none.fl_str_mv 2003-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/22650
url http://sedici.unlp.edu.ar/handle/10915/22650
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
977-989
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260117894987776
score 13.13397