Projet ANR-06-TLOG-0011 – DOMINO : DOMaINes et prOcessus méthodologique
Programme : Programme Technologies Logicielles (TLOG) 2006
Année de financement : 2006
Coordinateur du projet : UNIVERSITE TOULOUSE III [PAUL SABATIER] (UNIVERSITE TOULOUSE III [PAUL SABATIER])
Partenaires : Entreprise autre que TPE ou PME; Commissariat à l'énergie atomique et aux énergies alternatives; École nationale supérieure des techniques avancées; Inria Centre Paris - Rocquencourt; PME; Université de Toulouse III - Paul Sabatier
Montant : 779076.0 euros
Durée : 24 mois
Résumé : Un domaine est un champ d’expertise formalisé à l’aide de langages de modélisation dédiés appelés DSL (Domain Specific Language) élaborant des modèles spécifiques a priori réutilisables. Comment prendre en compte dès lors l’ensemble de ces spécificités que les applications doivent supporter et les greffer d’une manière homogène lors de la définition d’un processus de développement ?   Le projet DOMINO (DOMaINes et prOcessus méthodologique) propose une démarche basée sur la description d’un système par divers modèles exprimés dans des langages de modélisation dédiés différents, en exploitant l'Ingénierie Des Modèles (IDM ou en anglais MDA/MDE pour Model Driven Architecture/Engineering) pour fiabiliser tout processus d'ingénierie accompagnant le développement de logiciels. Le terme de processus fiable, fondamental dans le contexte d’une modélisation multi-formalisme, doit être compris comme l’ensemble des techniques permettant de concevoir et fiabiliser des logiciels ayant des contraintes importantes de continuité de service en opérationnel. Fiabiliser un processus de développement est la première étape essentielle pour délivrer un service de confiance justifié.  L’originalité de notre démarche DOMINO consiste à se donner les moyens de mettre en place toutes les techniques pour vérifier la cohérence des modèles. Tout d’abord, elle est ponctuelle et intervient lors de la constitution des modèles spécifiques à un domaine à partir de la sémantique de leurs langages,  aux phases et activités clés du processus par des règles de cohérence méthodologiques et lors des évolutions et transformations des modèles entre ces phases. D’autre part, cette cohérence est  renforcée  en exploitant des liens de traçabilité entre les modèles, donc d’une manière transversale aux activités du processus.  Cette étude est découpée en cinq lots, dont les 3 premiers mettent l’accent principalement sur l’étude d’une démarche méthodologique de processus fiable de développement. Le quatrième lot cherchera à construire des (méta)modèles à partir de la syntaxe abstraite des langages, en particulier dans le cadre des DSL, et montrera comment ces modèles pourront s’intégrer dans les processus. Enfin le cinquième lot traitera plus spécifiquement de l’interopérabilité de services spatiaux de supervision et de contrôle.  Ces cinq lots sont donc les suivants :  - processus méthodologique à base de modèles,  - cohérence et traçabilité des modèles,  - conception fiable de composants MDA,  - ingénierie des domaines dirigés par les modèles,  - cas d'études : interopérabilité de services spatiaux de supervision et de contrôle ,  conception de systèmes basés sur des simulteurs temps réel