Erőforrások egységes szemléletű kezelése, megfelelő ontológiák illetve metamodellek megalkotása.

Koncepcionális modellező rendszerek, követelményspecifikációs nyelvek alapján tervezési eljárás és keretrendszer fejlesztése az alkalmazás-specifikációs modellek bizonyíthatóan helyes származtatásához.