Facilitando el análisis formal de código Java especificado con UML+OCL

dc.contributor.author Pons, Claudia Fabiana
dc.contributor.author Actis, Carolina
dc.contributor.author Baum, Gabriel
dc.date.accessioned 2023-11-30T16:59:07Z
dc.date.available 2023-11-30T16:59:07Z
dc.date.issued 2018-11
dc.description.abstract El lenguaje UML es 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 lenguaje JML. De esta forma las restricciones especificadas en el modelo son verificadas de manera ágil y simple en tiempo de ejecución, y también se habilita el análisis estático de éstas mediante el uso de probadores de teoremas implementados para JML.
dc.identifier.citation Actis, C; Pons, C.; Baum, G. (2018). Facilitando el análisis formal de código Java especificado con UML+OCL. En: Roberto Sotomayor, Lucia Rosario Malbernat, Miguel Méndez Garabetti; Felipe Evans (Comps.), CoNaIISI 2018 - Congreso Nacional de Ingeniería Informática – Sistemas de Información, Mar del Plata, Argentina, 2018, pp.965-978
dc.identifier.uri https://repositorio.uai.edu.ar/handle/123456789/2050
dc.language.iso es
dc.publisher Edutecne
dc.subject Lenguaje Unificado de Modelado
dc.subject UML
dc.subject Lenguaje de Especificación de Objetos
dc.subject OCL
dc.subject modelos
dc.title Facilitando el análisis formal de código Java especificado con UML+OCL
dc.type DOCUMENTOCONF
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0000178370.pdf
Size:
4.94 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description: