next up previous contents
Next: 3.6.1 Expression des conflits Up: 3. L'exécutif Previous: 3.5 Structuration de l'exécutif   Table des matières


3.6 Synthèse automatique des règles

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.




next up previous contents
Next: 3.6.1 Expression des conflits Up: 3. L'exécutif Previous: 3.5 Structuration de l'exécutif   Table des matières
Thomas Nemeth
1999-10-03