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ő
professor emeritus
Szoba: IB420
Tel.:
+36 1 463-3595 Email: pataric (*) mit * bme * hu |
Tanszéki résztvevők
tanársegéd
Tel.:
+36 1 463- Email: csertan (*) mit * bme * hu |
mesteroktató
Szoba: IB417
Tel.:
+36 1 463-3586 Email: huszerl (*) mit * bme * hu |
habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598 Email: majzik (*) mit * bme * hu |
professor emeritus
Szoba: IB420
Tel.:
+36 1 463-3595 Email: pataric (*) mit * bme * hu |
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.
Pataricza András, 2010. augusztus 12. 15:26 | Legutóbb frissítve: 2010. augusztus 12. 15:26