A modellalapú szoftverfejlesztés az utóbbi évtized egyik kiemelkedő kutatási területe. A modellek az elkészítendő alkalmazás absztrakt megjelenítései, így az abstrakciós szint megfelelő megválasztásával az alkalmazásunkat kellő részletességgel tudjuk ábrázolni. Ezek a modellek segítik az elkészült alkalmazás dokumentálását, lehetővé teszik, hogy belőlük generáljuk bizonyos részletekig az alkalmazást. Hosszú távon a modellezés célja, hogy ne legyen szükség kézzel kódot írni, és így az alkalmazások karbantarthatósága szigni kánsan egyszerűbbé váljon. Doktori kutatásom célja a modellekhez kapcsolt kényszerek kezelésének továbbfejlesztése, optimalizálása. Az eredmények o ffline és online fordító optimalizálási, valamint kényszer relaxálási témákhoz kapcsolódnak.