Ingénierie de systèmes d'information : une approche de multi-modélisation et de méta-modélisation

This research focuses on a proposal which integrates different formalisms during the modeling process that concerns either models of object oriented techniques or models of information systems. To reach this goal, we established and experimented a meta-model. The originality of this meta-model is its structure based on views in order to describe models from static and dynamic aspects but also using semi-formal, formal and informal approaches. Before introducing our proposals, we present a study about different languages and formalisms which are characteristic of various modeling approaches. This framework of meta-modeling is extended in order to improve the system multi-modeling. Usually, multi-modeling is essentially concerned by the use of additional diagrams describing the system. We complete this form of modeling with a study of the relationships between different pieces of models which are described using various formalisms : semi-formal, formal or informal. A prototype has been developed in order to show and to experiment capabilities that we expect from a modeling tool providing a more rigorous modeling of information systems. Our prototype, a modeling tool generator, is based on the use of three different softwares components, a graphical editor generator, a syntactic editor generator and a parameterized editor for structured documents. The prototype has been used in several situations: the meta-modeling of a subset of OMT and OOA methods, the proposal of a reference kernel for the comparison of varius methods models, the multi-modeling of a specific information system (STORM systems for multimedia applications) and to help to multi-modeling using a customized framework of systems specifications documents.Ce travail de recherche est centré sur une proposition pour l'intégration de différents formalismes dans la modélisation soit de modèles de méthodes orientées objets, soit de modèles de systèmes d'information. Pour remplir cet objectif nous avons établi et expérimenté un méta-modèle. Une originalité de notre méta-modèle est son organisation en vues pour décrire des modèles selon des aspects statiques, dynamiques mais aussi semi-formels, formels et informels. Nos propositions sont précédées d'une étude de différents langages et formalismes qui caractérisent les approches actuelles de modélisation. Ce cadre de méta-modélisation est étendu pour favoriser une multi-modélisation de systèmes. D'une manière classique, la multi-modélisation est limitée à l'utilisation de diagrammes complémentaires pour décrire un système. Nous complétons cette forme de multi-modélisation par une étude de relations nécessaires entre différents fragments de modèles décrits avec des formalismes variés : semi-formels, formels ou informels. Pour concrétiser notre proposition nous avons réalisé un premier prototype d'atelier pour illustrer et expérimenter les services que nous attendons d'un atelier de modélisation adapté à des modélisations plus rigoureuses de systèmes d'information. Ce prototype est en réalité un générateur d'ateliers de modélisation basé sur l'utilisation de trois logiciels différents de type générateur d'éditeurs graphiques, générateur d'éditeurs syntaxiques et éditeur paramètre de documents structurés. Notre prototype a été utilisé dans plusieurs situations : méta-modélisation de sous-ensembles des méthodes OMT et OOA, proposition d'un noyau de référentiel de comparaison de modèles de méthodes, multi-modélisation d'un système d'information spécifique (modèle STORM d'applications multimédias) et guidage d'une multi-modélisation au travers d'un canevas standard de dossier de spécifications de systèmes