Convocatoria: Nr. 54 - Subprogr.II, área Básica-Informática, investigadores c/ doctorado (Bases - Acta final)
Fuente de financiamiento: PDT
Duración: 24 meses
Fecha de aprobación: noviembre de 2006.
Fecha de comienzo: abril de 2006.
Fecha de finalización: marzo de 2008.
Palabras clave: UML, Sistemas de Tiempo Real, Líneas de Producción
Resumen
El desarrollo de software guiado por modelos (Model-Driven Development, MDD) es un enfoque con el potencial de hacer más eficiente el desarrollo y más confiables los resultados.
Entre otras cosas, habilita la verificación de los sistemas en etapas tempranas del desarrollo, ofreciendo mayor control.
Gran parte de las técnicas de MDD utilizan UML (Unified Modeling Language), lenguaje incorporado como estándar de facto a nivel académico e industrial, que permite la descripción de múltiples aspectos de un sistema.
Sin embargo, UML posee serias debilidades para su uso a nivel industrial debido a que no permite especificar ciertos tipos de sistemas y carece de un marco formal.
El objetivo de este proyecto es mejorar la expresividad de ciertos modelos UML para especificar el comportamiento de sistemas de software, en particular: (I) aumentar la expresividad de las Interacciones (Interactions) del UML 2.0 con la incorporación de restricciones de tiempo real definidas en OCL/RT (Object Constraint Language for Real Time) y (II) extender las Máquinas de Estado (State Machines) para especificar familias de sistemas, es decir, sistemas que coinciden en su funcionalidad esencial pero que difieren en características periféricas. En ambos casos se pretende equipar a los nuevos lenguajes de una semántica formal.
Asistentes de investigación contratados:
Pedro Vilanova, Ingeniero en Sistemas y Licenciado en Análisis de Sistemas de Información, Universidad ORT Uruguay.
Desde junio de 2007 a marzo de 2008.