Verification of UML-based models

Automated verification and validation of UML-based models of information systems
Típus: 
OTKA
Kezdés éve: 
1999
Befejezés éve: 
2001

Tanszéki projektvezető

A munkatárs fényképe
professor
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Tanszéki résztvevők

A munkatárs fényképe
assistant lecturer
Tel.:
+36 1 463-
Email: csertan (*) mit * bme * hu
A munkatárs fényképe
master lecturer
Szoba: IB417
Tel.:
+36 1 463-3586
Email: huszerl (*) mit * bme * hu

Contact information

Koordinátor: 
BME MIT FTSRG
Felelős: 
András Pataricza

Bemutatás

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.

© 2010-2019 BME MIT