Objektorientēta analīze piedāvā pusformālas lietošanas gadījumu vadāmas metodes problēmas domēna modelēšanai no skaitļošanas neatkarīga skatu punkta. Piedāvātā pieeja – Topoloģiskā Funkcionēšanas Modelēšana Modeļvadāmai Arhitektūrai (TFM4MDA) palielina formalizācijas pakāpi. Tā izmanto Topoloģiskā Funkcionēšanas Modeļa (TFM) matemātiskus pamatus. Šis modelis holistiski attēlo sistēmas pilnu funkcionalitāti. TFM4MDA ievieš biznesa sistēmas formālāku analīzi, proti, ļauj definēt ne to, ko grib klients, bet to, ko klientam vajag, ka arī atļauj tekstuālo funkcionālo prasību verifikāciju, pazaudēto prasību pārbaudi atbilstībā ar problēmas domēna „kā ir” modeli. Lietojumprogrammas lietošanas gadījumu modelis ir definēts, izmantojot uz mērķiem bāzēto metodi. Domēna konceptu modelis ir definēts, izmantojot TFM grafu transformāciju. TFMfMDA apmierina MDA galveno īpašību – skatījumu sadalīšanu.