MIT nyitóoldal
Térkép

Projects
   Actual
   Finished
   Complete list

Automated verification and validation of UML-based models of information systems

OTKA project
1999 - 2001

Local supervisor: Pataricza András
Official project supervisor: BME MIT FTSRG

The main objective of the proposed research is the development of a methodology for the automatic validation and verification of dependable systems described by means of UML.
The framework of the current research a general transformation description and generation framework will be developed based on a pattern matchind approach. This framework will be used to implement pilot transformations evaluating the qualitativ correcness attributes of systems having a dynamic structure. The methodology will be extended to evaluate systems of a regular structure.

Further information about the project:
Official homepage: http://www.inf.mit.bme.hu/FTSRG/Projects/otka_pa.html
Department homepage: http://www.mit.bme.hu/projects/autuml99/
Official email address: pataric@mit.bme.hu