Comme nous l'avons vu, seule une partie de l'exécutif est spécifique à l'application considérée. Cette partie relative aux services et surtout à leurs inter-dépendances, est cependant très critique (la cohérence du système en dépend) et laborieuse à écrire. C'est pourquoi nous nous proposons de synthétiser automatiquement les règles Kheops modélisant ces inter-dépendances et qui seront elles-même automatiquement traduite en un automate.