LOOM
- (defconcept TACHE_SERVICE :is-primitive (and TACHE (exactly 1 ETAT_SERVICE)))
- (defset ETAT_SERVICE_TYPE :is (one-of 'ACTIF 'INACTIF 'ATTENTE))
- (defrelation ETAT_SERVICE :domain TACHE_SERVICE :range ETAT_SERVICE_TYPE)
- (defconcept TACHE_ETAPE :is-primitive (and TACHE (exactly 1 ETAT_ETAPE)))
- (defset ETAT_ETAPE_TYPE :is (one-of 'ACTIF 'INACTIF 'EXECUTION 'ATTENTE))
- (defrelation ETAT_ETAPE :domain TACHE_ETAPE :range ETAT_ETAPE_TYPE)