Lenguajes de modelado para la especificación de sistemas
Lenguajes de modelado para la especificación de sistemas
Uno de los objetivos principales del desarrollo de software dirigido por modelos es el de permitir la especificación, diseño, implementación y pruebas de sistemas software de forma sistemática, disciplinada y cuantificable, utilizando el nivel de abstracción adecuado, y usando los lenguajes, notaciones y herramientas más apropiadas para ello. En Atenea trabajamos en la definición de lenguajes de especificación de sistemas que permitan su representación y análisis de forma precisa y rigurosa, así como en el desarrollo de herramientas que permitan a los ingenieros de software utilizar dichos lenguajes y mecanismos de análisis en entornos reales. En la actualidad trabajamos en varios temas dentro de esta línea, como son el modelado y tratamiento de la incertidumbre inherente en los sistemas físicos, y en las notaciones y herramientas para modelar y analizar grandes volúmenes de datos de forma aproximada. También estudiamos la corrección y precisión de los modelos de grandes sistemas y de las transformaciones entre ellos, de forma que proporcionen representaciones lo más fidedignas posibles de los sistemas que queremos especificar.