: MOISE est une méthodologie de gestion de la connaissance qui comporte une étape de spécification de la connaissance, laquelle distingue la connaissance statique de la connaissance dynamique. Cette étape met en œuvre un langage de représentation de la connaissance graphique (LRC) qui combine un langage dédié à la représentation de la connaissance statique (réseaux sémantiques) et un autre à celle de la connaissance dynamique (langage de tâches). Les connaissances décrites dans le LRC ou spécifications de la connaissance (graphiques) constituent le document de référence, véritable point source de la description de la connaissance. Différentes transformations automatiques de ce document initial, sous d'autres formes, ont été envisagées. Sous une forme textuelle de type rapport (Winword), ce qui a déjà été réalisé. Sous une forme hypertextuelle permettant une navigation dans les spécifications graphiques, ce qui est en cours d'étude. Ou encore sous une forme exécutable permettant la validation de modèles ou même la génération de prototypes de systèmes experts, ce qui est en cours de réalisation. Cette dernière transformation ou opérationnalisation de modèles formels est l'étude présentée dans cet article.
