Transformation de spécifications : de Telos à JSD

Ce mémoire présente un outil de transformation de spécifications. Cet outil permet de générer des diagrammes de structure d'entité de la méthode JSD à partir d'un modèle conceptuel du domaine d'application exprimé en langage Telos. La transformation est un processus semi-automatique car elle requiert l'intervention du concepteur. Elle est basée sur les liens qui existent entre un modèle conceptuel du domaine d'application et un diagramme de structure d'entité. Ces liens sont exprimés à l'aide de règles de transformation. Le prototype de l'outil est implanté avec l'environnement de programmation automatique Refine. Pour définir la structure et la sémantique d'un modèle conceptuel d'un domaine d'application ce mémoire propose une définition formelle d'un schème de modélisation conceptuelle, le métamodèle entités et activités sous contraintes. Puisque le langage Telos supporte un nombre illimité de niveaux d'instanciation, le métamodèle est défini aussi avec le langage Telos. L'origine de ce schème provient de SADT, de RML et de St-Denis. Un domaine d'application est décrit en termes des activités et des entités qui le composent. Aux catégories déjà existantes dans le métamodèle, nous ajoutons les catégories mutants et utilisateurs. Elles corrigent un manque de correspondance entre les définitions des activités et des entités. Nous ajoutons également la catégorie état-de qui introduit la notion d'état d'une entité. Pour simplifier la spécification d'activités concurrentes dans un diagramme de structure d'entité, nous créons l'opération concurrence. Les diagrammes de structure sont générés en deux phases. Dans une première phase l'outil génère de façon automatique des diagrammes de structure d'entités partiels. Les activités d'une entité sont partiellement ordonnées en se basant sur la définition formelle des catégories du métamodèle. Puisqu'il existe plusieurs options lors de la génération des diagrammes, l'option la plus globale est toujours choisie. Ensuite, dans une deuxième phase, les diagrammes de structure sont simplifiés et validés auprès du concepteur. Les diagrammes de structure partiels sont regroupés à l'aide des liens de généralisation (isA) et d'état (état-de). La précision de l'outil dans la génération des diagrammes de structure dépend de la précision du modèle du domaine d'application. Le concepteur peut modifier manuellement les diagrammes de structure résultants. Nous suggérons des règles d'acquisition de connaissances lors des modifications manuelles afin d'optimiser le processus de conception