LOOM
Modèle de tâches
- (defconcept TACHE :is-primitive (and OBJET_TACHE (exactly 1 NOM_TACHE) (exactly 1 SESSION_NO) (at-most 150 TACHE_COMPOSE_DE) (at-most 1 CONTROLE_TACHE) (at-most 1 COMPOSANT_DE_TACHE) (at-most 1 PAGE_WEB) (at-most 1 TYPE_PAGE_WEB)))
- (defrelation COMPOSANT_DE_TACHE :domain TACHE :inverse TACHE_COMPOSE_DE)