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.