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ő

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

Tanszéki résztvevők

A munkatárs fényképe
tanársegéd
Tel.:
+36 1 463-
Email: csertan (*) mit * bme * hu
A munkatárs fényképe
mesteroktató
Szoba: IB417
Tel.:
+36 1 463-3586
Email: huszerl (*) mit * bme * hu
A munkatárs fényképe
habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu
A munkatárs fényképe
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.

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