UML modellek ellenőrzése

Információs rendszerek UML alapú modelljének automatikus verifikációja
Típus: 
OTKA
Kezdés éve: 
1999
Befejezés éve: 
2001

Tanszéki projektvezető

Tanszéki résztvevők

Elérhetőségek

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

Bemutatás

A kutatás fő célja egy módszer kifejlesztése információs rendszerek UML alapú modelljének automatikus verifikációjára. A jelenlegi kutatás keretében egy általános transzformációs leírás és ezt megvalósító keretrendszer kerül kifejlesztére. Ezt a rendszert fogjuk használni kisérleti transzformációk implementására, amely segítségével dinamikus struktúrájú rendszerek kvalitatív jósági attribútuma megvizsgálható. A módszer később egyéb rendszerekre is kiterjeszthető lesz.

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató