3.6.1 Expression des conflits

Pour la création du système de génération automatique du code de l'exécutif, il faut tout d'abord définir une syntaxe afin de d'exprimer les informations pertinentes qui doivent être prises en compte pour la création des parties non génériques de l'exécutif.

Ces informations sont mises dans un fichier descriptif, à la manière des fichiers de description des modules G ^enoM, contenant des mots-clef et des valeurs décrivant les services et les conflits :

service :

créé un service et définit un ensemble de paramètres.

request :

donne le nom de la requête qui sera envoyée au niveau fonctionnel.

module :

définit dans quel module se trouve la requête qui va correspondre à ce service.

inter :

liste de tous les services avec lequel celui-ci sera incompatible et qu'il interrompera.

wait :

liste de tous les services dont celui-ci devra attendre la fin avant de pouvoir être démarré.

group :

définit le nom du groupe dans lequel se trouve le service.

Voici un exemple, qui correspond à la figure 3.2, avec 5 requêtes (request1 à request5) réparties dans 3 modules (moduleA à moduleC) et réparties dans 2 groupes (groupeA et groupeB). Chaque requête correspond à un service (S1 à S5). Un exemple de règle est donné dans la section suivante.

service S1 {
   request: request1;
   module:  moduleA;
   inter:   S1, S2, S3;
   group:   groupeA;
}
   
service S2 {
   request: request2;
   module:  moduleB;
   wait:    S1, S2, S3;
   group:   groupeA;
}
   
service S3 {
   request: request3;
   module:  moduleA;
   inter:   S1, S2, S3, S4;
   group:   groupeA;
}
   
service S4 {
   request: request4;
   module:  moduleB;
   wait:    S3, S4, S5;
   group:   groupeB;
}
   
service S5 {
   request: request5;
   module:  moduleC;
   inter:   S4, S5;
   group:   groupeB;
}