Herramienta para automatizar la transformación UML/OCL a Object-Z

Autores
Becker, Valeria
Año de publicación
2006
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión aceptada
Colaborador/a o director/a de tesis
Pons, Claudia
Descripción
En el proceso de construcción de software, el análisis y diseño son una tarea muy importante. UML (Unified Modeling Language, [OMG]) ha sido desarrollado para modelar sistemas Orientado a Objetos integrando lenguajes predecesores tales como la notación de Booch, OMT, etc. Este lenguaje ha sido aceptado como un estándar por OMG (Object Management Group) en el año 1997 [OMG]. Los principales diagramas provistos por UML son: diagramas de casos de usos, diagramas de clases, diagramas de estados, diagramas de secuencias. UML también provee un lenguaje textual, OCL (Object Constraint Language), fácil de leer y de escribir, que permite especificar características adicionales sobre los modelos en una forma similar a lógica de predicados. OCL es un lenguaje semi formal, su sintaxis está precisamente definida pero su semántica aún presenta ambigüedad, imprecisión e inconsistencia. Las expresiones OCL no tienen efectos laterales, es decir que su evaluación no puede alterar el estado del sistema correspondiente. Su evaluación solamente retorna un valor. En este trabajo presentamos una traducción de UML/OCL en lógica de predicados de primer orden. El objetivo es verificar propiedades de los diagramas UML y verificar la validez de las expresiones OCL que acompañan a dichos diagramas. Para ello se define una sintaxis y semántica para OCL. El beneficio de esta formalización es permitir la evaluación de expresiones OCL en un modelo UML.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Informática
Materia
Ciencias Informáticas
Object-oriented programming
aplicaciones informáticas
Languages
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/3942
Acceder
id SEDICI_266c50881616d9869efdf2b6443415b7
oai_identifier_str oai:sedici.unlp.edu.ar:10915/3942
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Herramienta para automatizar la transformación UML/OCL a Object-ZBecker, ValeriaCiencias InformáticasObject-oriented programmingaplicaciones informáticasLanguagesEn el proceso de construcción de software, el análisis y diseño son una tarea muy importante. UML (Unified Modeling Language, [OMG]) ha sido desarrollado para modelar sistemas Orientado a Objetos integrando lenguajes predecesores tales como la notación de Booch, OMT, etc. Este lenguaje ha sido aceptado como un estándar por OMG (Object Management Group) en el año 1997 [OMG]. Los principales diagramas provistos por UML son: diagramas de casos de usos, diagramas de clases, diagramas de estados, diagramas de secuencias. UML también provee un lenguaje textual, OCL (Object Constraint Language), fácil de leer y de escribir, que permite especificar características adicionales sobre los modelos en una forma similar a lógica de predicados. OCL es un lenguaje semi formal, su sintaxis está precisamente definida pero su semántica aún presenta ambigüedad, imprecisión e inconsistencia. Las expresiones OCL no tienen efectos laterales, es decir que su evaluación no puede alterar el estado del sistema correspondiente. Su evaluación solamente retorna un valor. En este trabajo presentamos una traducción de UML/OCL en lógica de predicados de primer orden. El objetivo es verificar propiedades de los diagramas UML y verificar la validez de las expresiones OCL que acompañan a dichos diagramas. Para ello se define una sintaxis y semántica para OCL. El beneficio de esta formalización es permitir la evaluación de expresiones OCL en un modelo UML.Licenciado en InformáticaUniversidad Nacional de La PlataFacultad de InformáticaPons, Claudia2006info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionTesis de gradohttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/3942spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T10:41:56Zoai:sedici.unlp.edu.ar:10915/3942Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:41:57.047SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Herramienta para automatizar la transformación UML/OCL a Object-Z
title Herramienta para automatizar la transformación UML/OCL a Object-Z
spellingShingle Herramienta para automatizar la transformación UML/OCL a Object-Z
Becker, Valeria
Ciencias Informáticas
Object-oriented programming
aplicaciones informáticas
Languages
title_short Herramienta para automatizar la transformación UML/OCL a Object-Z
title_full Herramienta para automatizar la transformación UML/OCL a Object-Z
title_fullStr Herramienta para automatizar la transformación UML/OCL a Object-Z
title_full_unstemmed Herramienta para automatizar la transformación UML/OCL a Object-Z
title_sort Herramienta para automatizar la transformación UML/OCL a Object-Z
dc.creator.none.fl_str_mv Becker, Valeria
author Becker, Valeria
author_facet Becker, Valeria
author_role author
dc.contributor.none.fl_str_mv Pons, Claudia
dc.subject.none.fl_str_mv Ciencias Informáticas
Object-oriented programming
aplicaciones informáticas
Languages
topic Ciencias Informáticas
Object-oriented programming
aplicaciones informáticas
Languages
dc.description.none.fl_txt_mv En el proceso de construcción de software, el análisis y diseño son una tarea muy importante. UML (Unified Modeling Language, [OMG]) ha sido desarrollado para modelar sistemas Orientado a Objetos integrando lenguajes predecesores tales como la notación de Booch, OMT, etc. Este lenguaje ha sido aceptado como un estándar por OMG (Object Management Group) en el año 1997 [OMG]. Los principales diagramas provistos por UML son: diagramas de casos de usos, diagramas de clases, diagramas de estados, diagramas de secuencias. UML también provee un lenguaje textual, OCL (Object Constraint Language), fácil de leer y de escribir, que permite especificar características adicionales sobre los modelos en una forma similar a lógica de predicados. OCL es un lenguaje semi formal, su sintaxis está precisamente definida pero su semántica aún presenta ambigüedad, imprecisión e inconsistencia. Las expresiones OCL no tienen efectos laterales, es decir que su evaluación no puede alterar el estado del sistema correspondiente. Su evaluación solamente retorna un valor. En este trabajo presentamos una traducción de UML/OCL en lógica de predicados de primer orden. El objetivo es verificar propiedades de los diagramas UML y verificar la validez de las expresiones OCL que acompañan a dichos diagramas. Para ello se define una sintaxis y semántica para OCL. El beneficio de esta formalización es permitir la evaluación de expresiones OCL en un modelo UML.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Informática
description En el proceso de construcción de software, el análisis y diseño son una tarea muy importante. UML (Unified Modeling Language, [OMG]) ha sido desarrollado para modelar sistemas Orientado a Objetos integrando lenguajes predecesores tales como la notación de Booch, OMT, etc. Este lenguaje ha sido aceptado como un estándar por OMG (Object Management Group) en el año 1997 [OMG]. Los principales diagramas provistos por UML son: diagramas de casos de usos, diagramas de clases, diagramas de estados, diagramas de secuencias. UML también provee un lenguaje textual, OCL (Object Constraint Language), fácil de leer y de escribir, que permite especificar características adicionales sobre los modelos en una forma similar a lógica de predicados. OCL es un lenguaje semi formal, su sintaxis está precisamente definida pero su semántica aún presenta ambigüedad, imprecisión e inconsistencia. Las expresiones OCL no tienen efectos laterales, es decir que su evaluación no puede alterar el estado del sistema correspondiente. Su evaluación solamente retorna un valor. En este trabajo presentamos una traducción de UML/OCL en lógica de predicados de primer orden. El objetivo es verificar propiedades de los diagramas UML y verificar la validez de las expresiones OCL que acompañan a dichos diagramas. Para ello se define una sintaxis y semántica para OCL. El beneficio de esta formalización es permitir la evaluación de expresiones OCL en un modelo UML.
publishDate 2006
dc.date.none.fl_str_mv 2006
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/acceptedVersion
Tesis de grado
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/3942
url http://sedici.unlp.edu.ar/handle/10915/3942
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/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
dc.format.none.fl_str_mv application/pdf
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_ 1846063836054945792
score 13.22299

Publicaciones similares