MIT nyitóoldal
Térkép

Projektek
   Futó
   Lezárt
   Összes

Információs rendszerek UML alapú modelljének automatikus verifikációja

OTKA projekt
1999 - 2001

Tanszéki témavezető: Pataricza András
Hivatalos projektvezető: BME MIT FTSRG

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.

További információk a projektről:
Hivatalos honlap: http://www.inf.mit.bme.hu/FTSRG/Projects/otka_pa.html
Tanszéki honlap: http://www.mit.bme.hu/projects/autuml99/
Hivatalos emailcím: pataric@mit.bme.hu