Za izvedbo modelskega programiranja potrebujemo zato dober model, ki bo verodostojno in natančno izražal, kaj mora program delati, in primerno orodje, ki bo model »prevedlo« v izvirno kodo enega izmed programskih jezikov. To kodo bomo potem po že znanih metodah prevedli v strojno kodo in delujoč program.
Učinkovit in uporaben model mora zadoščati petim osnovnim zahtevam.