Promising methods for verification of large-scale data models.

Promising methods for verification of large-scale data models.

The project is related to development of complex software systems based on formal static models and is addressed to the key problems of verification of large-scale data models applied in different industrial domains and specified using general-purpose object-oriented modeling languages (EXPRESS, UML/OCL, etc). The main directions of the project are:

research of the problem of verification of object-oriented data models applied in different industrial domains;

development of efficient methods for verification of such models;

approbation of the methods by development of demostration application for verification of industrial data models.

Implementer

System integration and multi-disciplinary collaborative environments