Définition d'un langage formel de requêtes basé sur un modèle entité-association

Abstract

Dans le cadre du développement des systèmes d'information, les méthodes formelles de spécification permettent d'éliminer ou de réduire le besoin des phases de conception et d'implémentation, l'importance étant mise sur les phases de spécification des besoins et d'analyse. La méthode EB[indice supérieur 3] est une de ces méthodes conçue pour spécifier le comportement fonctionnel des systèmes d'information. Elle est basée sur une algèbre de processus dont les requêtes de sortie sont spécifiées à l'aide de règles d'entrée-sortie. Ce mémoire présente la définition d'un langage formel de requêtes basé sur un modèle entité-association, qui permet de spécifier les requêtes de sortie de la méthode de spécification EB[indice supérieur 3] . Des schémas de traduction sont élaborés pour réaliser la compilation de ces requêtes vers du code exécutable. Ils sont utilisés par l'outil EB[indice supérieur 3]QG développé et intégré dans la plateforme APIS dédiée à la génération automatique des systèmes d'information à l'aide de la méthode de spécification EB[indice supérieur 3].