175

Formalisation informatique des descriptions : HyperQuest

Le formalisme informatique est écrit en LCRC ou CASUEL. Il utilise des mots clé tels que "defObject", "defSlot" et "defValue" qui permettent de repérer les entités conceptuelles et les mots "subpart" et "spec" pour définir les relations entre objets. Cette connaissance modulaire est écrite selon une syntaxe BNF (voir annexe 4), puis est interprétée dans HyperQuest pour être convertie en entités hypertextes au moment de la création du questionnaire. Les correspondances définies sont les suivantes :

modèle descriptif ----------------->pile <Questionnaire>
objet -------------------------------->carte de la pile <Questionnaire> attributs d'un objet---------------->champs de la carte <Objet> attribut de l'objet ------------------>item (ligne) dans le champs de carte <Objet> composants d'un objet ----------->boutons de la carte <Objet> spécialisations d'un objet -------->boutons de la carte <Spécialisations(Objet)> valeurs d'attribut qualitatif ------>boutons de la carte <Attribut(Objet)> valeurs d'attribut numérique ---->boutons curseur de la carte <Attribut(Objet)> valeurs d'attribut commentaire -->boite de dialogue de carte <Attribut(Objet)> règles et contraintes -------------->scripts liés aux champs et boutons de carte.

Les transpositions définies ci-dessus sont valables pour n'importe quel type d'application, ce qui rend le générateur de questionnaire indépendant du domaine étudié (généricité inter-applications).

De plus, chaque entité hypertexte (cartes, boutons et champs) est porteuse d'un message prédéfini qui conservera un même type d'action dans le questionnaire (par exemple une procédure de navigation). Ces message sont constitués une fois pour toute et sont reproduits à chaque création d'une instance d'un objet hypertexte (généricité intra-application).

Nous allons maintenant illustrer ces correspondances à l'aide du questionnaire généré pour le domaine des Hyalonema.