Detalle

Es preciso poder probar la corrección de dichos modelos, y de llevar a cabo distintos tipos de análisis usando esos modelos, como puede ser la verificación del sistema, el análisis de propiedades, o la simulación. Existen actualmente algunas herramientas que permiten llevar a cabo estos tipos de análisis sobre los modelos UML. En este curso de doctorado presentaremos las herramientas disponibles en el Entorno de Especificación basado en UML (USE) para probar, simular y analizar modelos UML y OCL. También presenta el Model Validator (MV), un componente de la herramienta para la validación, verificación y pruebas de sistemas mediante la construcción automática de modelos de objetos. Los casos de aplicación se realizarán en el contexto de los sistemas ciberfísicos, en donde el uso de modelos es muy importante por su elevada complejidad.