Summary

Models have become very useful tools to raise the level of abstraction of systems with a high degree of complexity. Languages and notations such as UML have made it possible to represent such systems at an appropriate level of abstraction. However, this is not enough.

Description

It is necessary to be able to test the correctness of such models, and to carry out different types of analysis using these models, such as system verification, property analysis, or simulation. There are currently some tools that allow to perform these types of analysis on UML models. In this PhD course we will present the tools available in the UML-based Specification Environment (USE) for testing, simulating and analyzing UML and OCL models. It also presents the Model Validator (MV), a component of the tool for validation, verification and testing of systems by automatically building object models. The application cases will be carried out in the context of cyber-physical systems, where the use of models is very important due to their high complexity.

Data of the activity

Teaches:

Dr. Antonio Vallecillo, Professor of the Department of Languages and Computer Science, University of Málaga.

Date:

November 15-17 Monday and Tuesday, 16:00 - 20:00, and Wednesday 9:00-11:00 (tutorials with PhD students).

Directed to:

Doctoral Candidates in the Computer Science Doctoral Program

No. of hours:

10 hours

Place:

University of Almeria (Software Analysis and Development Laboratory, 1st floor, CITE-III building)

Certificate:

Issued by the organizers of the event
Registration