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

Título:

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

Autor:

Dias Molina, María José

Otros autores / Colaboradores:

 Dodero Mena, Diego Matías; 

Temas:

UML; 

URL:

,

Palabras clave:

OCL, JML, Comparación OCL Y JML, OCLE, Desarrollo dirigido por modelos (MDD), Verificación de programas, ESC/Java2, Sireum/Kiassan, JML4c, OpenJML , Eclipse, Traducción OCL a JML, Colecciones OCL, Jack, Loop, Key, MOFScript, Metamodelos, 

Nota de tesis:

Tesina (Licenciatura en Sistemas, Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.

Extensión:

x, 153p. + 1 CD-ROM

Resumen:

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 lenguajes naturales, 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.

Puede solicitar más fácilmente el ejemplar con: TES 11/28