Verificación de modelos independientes de la plataforma: un caso de estudio

El lenguaje UML ha sido ampliamente aceptado como el lenguaje estándar de modelado en la industria. El lenguaje OCL es una parte integral de UML, y fue introducido para definir restricciones adicionales que no se pueden expresar en este. Las expresiones OCL son concisas y precisas, y no presentan la...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Actis, Carolina Inés
Otros Autores: Pons, Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2017
Materias:
Ciencias Informáticas
Acceleo, ATL, Eclipse, Java, JML, desarrollo dirigido por modelos (MDD), OCL, OpenJML, traducción OCL a JML, transformaciones de modelos, UML, verificación de programas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/67013
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-67013
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Acceleo, ATL, Eclipse, Java, JML, desarrollo dirigido por modelos (MDD), OCL, OpenJML, traducción OCL a JML, transformaciones de modelos, UML, verificación de programas
spellingShingle Ciencias Informáticas
Acceleo, ATL, Eclipse, Java, JML, desarrollo dirigido por modelos (MDD), OCL, OpenJML, traducción OCL a JML, transformaciones de modelos, UML, verificación de programas
Actis, Carolina Inés
Verificación de modelos independientes de la plataforma: un caso de estudio
topic_facet Ciencias Informáticas
Acceleo, ATL, Eclipse, Java, JML, desarrollo dirigido por modelos (MDD), OCL, OpenJML, traducción OCL a JML, transformaciones de modelos, UML, verificación de programas
description El lenguaje UML ha sido ampliamente aceptado como el lenguaje estándar de modelado en la industria. El lenguaje OCL es una parte integral de UML, y fue introducido para definir restricciones adicionales que no se pueden expresar en este. Las expresiones OCL son concisas y precisas, y no presentan las ambigüedades del lenguaje natural. Sin embargo, al ser una notación de diseño, OCL no es ejecutable: está definido sobre el modelo, por lo que sus restricciones no se reflejan en el código fuente. Por otro lado, JML es un lenguaje de especificación formal que puede ser utilizado para especificar clases Java. A diferencia de OCL, las expresiones JML están escritas de forma que pueden ser compiladas y analizadas en tiempo de ejecución. En este trabajo se propone transformar de forma automática las restricciones OCL a especificaciones escritas en el .onguaje JML. De esta forma se podrán verificar las restricciones en tiempo de ejecución, y se podrá hacer un análisis estático de estas mediante el uso de probadores de teoremas implementados para JML.
author2 Pons, Claudia
author_facet Pons, Claudia
Actis, Carolina Inés
format Tesis
Tesis de grado
author Actis, Carolina Inés
author_sort Actis, Carolina Inés
title Verificación de modelos independientes de la plataforma: un caso de estudio
title_short Verificación de modelos independientes de la plataforma: un caso de estudio
title_full Verificación de modelos independientes de la plataforma: un caso de estudio
title_fullStr Verificación de modelos independientes de la plataforma: un caso de estudio
title_full_unstemmed Verificación de modelos independientes de la plataforma: un caso de estudio
title_sort verificación de modelos independientes de la plataforma: un caso de estudio
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/67013
work_keys_str_mv AT actiscarolinaines verificaciondemodelosindependientesdelaplataformauncasodeestudio
bdutipo_str Repositorios
_version_ 1764820480804519939

Ejemplares similares