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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/63228
Ver los metadatos del registro completo
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-03T10:40:19Zoai: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-03 10:40:19.439SEDICI (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_ |
1842260268362498048 |
score |
13.13397 |