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 (TFMfMDA) palielina formalizācijas pakāpi. Tā izmanto Topoloģiskā Funkcionēšanas Modeļa (TFM) matemātiskus pamatus. TFMfMDA ievieš biznesa sistēmas formālāku analīzi, ļauj definēt 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 konstruēts uz TFM pamata, izmantojot uz mērķiem bāzēto metodi. Domēna konceptu un to attiecību modelis ir definēts, izmantojot TFM grafu transformāciju. Raksts arī ieskicē prasības rīkam, kas atbalsta TFMfMDA.