Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML

Autores
Dias Molina, María José; Dodero Mena, Diego Matías
Año de publicación
2011
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
UML es un poderoso método para diseñar y documentar sistemas de software. Existen muchas herramientas para asistir en la creación y mantenimiento de los documentos UML. Las más avanzadas incluyen ciertas características que permiten la traducción de modelos UML a código, y viceversa. UML no está lo suficientemente refinado para proveer todos los aspectos relevantes de una especificación, ya que hay ciertas restricciones que no pueden expresarse en el modelo y muchas veces son descriptas en lenguaje natural, pero esto puede resultar en ambigüedades. Para escribir restricciones no ambiguas se han desarrollado lenguajes formales. Uno de ellos es OCL, que permite incrementar la precisión de los modelos UML. Además existe JML para especificar programas escritos en el lenguaje Java. La motivación principal de la tesina es analizar y comparar los lenguajes OCL y JML, para luego definir una traducción entre ambos lenguajes y finalmente desarrollar una herramienta que realice la traducción automáticamente.
Tesis dirigida por Claudia Pons y Ricardo Rosenfeld. Grados alcanzados: Licenciado en Sistemas y Licenciado en Informática.
Licenciado en Sistemas
Universidad Nacional de La Plata
Facultad de Informática
Materia
Ciencias Informáticas
Object Constrain Language (OCL)
Languages
Java Modeling Language (JML)
verificación de programas
metamodelos
desarrollo de software dirigido por modelos (MDD)
lenguaje unificado de modelado (UML)
traducción OCL a JML
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-nd/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/63228
Acceder
id SEDICI_2e437fac61ca64b5fcb8e952af31d001
oai_identifier_str oai:sedici.unlp.edu.ar:10915/63228
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Desarrollo de una herramienta para derivación automática de especificaciones OCL a JMLDias Molina, María JoséDodero Mena, Diego MatíasCiencias InformáticasObject Constrain Language (OCL)LanguagesJava Modeling Language (JML)verificación de programasmetamodelosdesarrollo de software dirigido por modelos (MDD)lenguaje unificado de modelado (UML)traducción OCL a JMLUML es un poderoso método para diseñar y documentar sistemas de software. Existen muchas herramientas para asistir en la creación y mantenimiento de los documentos UML. Las más avanzadas incluyen ciertas características que permiten la traducción de modelos UML a código, y viceversa. UML no está lo suficientemente refinado para proveer todos los aspectos relevantes de una especificación, ya que hay ciertas restricciones que no pueden expresarse en el modelo y muchas veces son descriptas en lenguaje natural, pero esto puede resultar en ambigüedades. Para escribir restricciones no ambiguas se han desarrollado lenguajes formales. Uno de ellos es OCL, que permite incrementar la precisión de los modelos UML. Además existe JML para especificar programas escritos en el lenguaje Java. La motivación principal de la tesina es analizar y comparar los lenguajes OCL y JML, para luego definir una traducción entre ambos lenguajes y finalmente desarrollar una herramienta que realice la traducción automáticamente.Tesis dirigida por Claudia Pons y Ricardo Rosenfeld. Grados alcanzados: Licenciado en Sistemas y Licenciado en Informática.Licenciado en SistemasUniversidad Nacional de La PlataFacultad de InformáticaPons, Claudia2011-11info: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/63228spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-nd/4.0/Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:07:45Zoai:sedici.unlp.edu.ar:10915/63228Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:07:46.013SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
spellingShingle Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
Dias Molina, María José
Ciencias Informáticas
Object Constrain Language (OCL)
Languages
Java Modeling Language (JML)
verificación de programas
metamodelos
desarrollo de software dirigido por modelos (MDD)
lenguaje unificado de modelado (UML)
traducción OCL a JML
title_short Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_full Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_fullStr Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_full_unstemmed Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_sort Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
dc.creator.none.fl_str_mv Dias Molina, María José
Dodero Mena, Diego Matías
author Dias Molina, María José
author_facet Dias Molina, María José
Dodero Mena, Diego Matías
author_role author
author2 Dodero Mena, Diego Matías
author2_role author
dc.contributor.none.fl_str_mv Pons, Claudia
dc.subject.none.fl_str_mv Ciencias Informáticas
Object Constrain Language (OCL)
Languages
Java Modeling Language (JML)
verificación de programas
metamodelos
desarrollo de software dirigido por modelos (MDD)
lenguaje unificado de modelado (UML)
traducción OCL a JML
topic Ciencias Informáticas
Object Constrain Language (OCL)
Languages
Java Modeling Language (JML)
verificación de programas
metamodelos
desarrollo de software dirigido por modelos (MDD)
lenguaje unificado de modelado (UML)
traducción OCL a JML
dc.description.none.fl_txt_mv UML es un poderoso método para diseñar y documentar sistemas de software. Existen muchas herramientas para asistir en la creación y mantenimiento de los documentos UML. Las más avanzadas incluyen ciertas características que permiten la traducción de modelos UML a código, y viceversa. UML no está lo suficientemente refinado para proveer todos los aspectos relevantes de una especificación, ya que hay ciertas restricciones que no pueden expresarse en el modelo y muchas veces son descriptas en lenguaje natural, pero esto puede resultar en ambigüedades. Para escribir restricciones no ambiguas se han desarrollado lenguajes formales. Uno de ellos es OCL, que permite incrementar la precisión de los modelos UML. Además existe JML para especificar programas escritos en el lenguaje Java. La motivación principal de la tesina es analizar y comparar los lenguajes OCL y JML, para luego definir una traducción entre ambos lenguajes y finalmente desarrollar una herramienta que realice la traducción automáticamente.
Tesis dirigida por Claudia Pons y Ricardo Rosenfeld. Grados alcanzados: Licenciado en Sistemas y Licenciado en Informática.
Licenciado en Sistemas
Universidad Nacional de La Plata
Facultad de Informática
description UML es un poderoso método para diseñar y documentar sistemas de software. Existen muchas herramientas para asistir en la creación y mantenimiento de los documentos UML. Las más avanzadas incluyen ciertas características que permiten la traducción de modelos UML a código, y viceversa. UML no está lo suficientemente refinado para proveer todos los aspectos relevantes de una especificación, ya que hay ciertas restricciones que no pueden expresarse en el modelo y muchas veces son descriptas en lenguaje natural, pero esto puede resultar en ambigüedades. Para escribir restricciones no ambiguas se han desarrollado lenguajes formales. Uno de ellos es OCL, que permite incrementar la precisión de los modelos UML. Además existe JML para especificar programas escritos en el lenguaje Java. La motivación principal de la tesina es analizar y comparar los lenguajes OCL y JML, para luego definir una traducción entre ambos lenguajes y finalmente desarrollar una herramienta que realice la traducción automáticamente.
publishDate 2011
dc.date.none.fl_str_mv 2011-11
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/63228
url http://sedici.unlp.edu.ar/handle/10915/63228
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-nd/4.0/
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 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_ 1844615949351649280
score 13.069144

Publicaciones similares