Bases de projet pour les environnements de développement de logiciel
Institution:
Paris 11Disciplines:
Directors:
Abstract EN:
A software development environment is an integrated frame for storing, processing and developing all information concerning the development of a software. An environment should make it possible for several users to work, simultaneously or not, on the same project, this project being able to evolve, and have different states. For solving the problems raised by this situation, and particularly the problems of configuration management. A software evolution model is defined: the derivation-Jock model. The principle of the project database gen ration from the specification of the environment is defined, in association with this model. This principle makes it possible to handle very easily software development environments, to change their structure with no risk, and to get procedures for exchanging structured software between different environments. A formal framework, using the formalism of algebraic specifications makes it possible to prove the correctness of the project database generation. The generation of a project data base is defined in this framework as an abstract implementation between the specification of an environment and the specification of a database system. Some prototypes illustrate these works: a multi-user database system devoted to software development processes, a generator of project database kernels, and environments which integrate these works: Asspégaz and PEGASE.
Abstract FR:
Un atelier de Génie Logiciel forme un support intégré pour classer, traiter et développer toutes les informations et les objets associés au développement d'un logiciel. Il doit permettre à différents utilisateurs de travailler, en même temps ou non, sur un même projet, susceptible d'évoluer, et de traverser différentes étapes. Afin de résoudre les problèmes liés à cette utilisation simultanée, et en particulier les problèmes de gestion de configurations différentes d'un même projet, un modèle d'évolution du logiciel est présenté ici : le modèle dérivation-archivage. En association avec ce modèle, un principe de génération de bases de projet à partir de leur spécification est introduit. Il permet notamment de manipuler les ateliers de génie logiciel avec une grande facilité, d'en changer la structure sans risque, et de réaliser automatiquement des échanges de logiciels complexes entre des environnements distincts. Un cadre formel, utilisant le formalisme de spécifications algébriques, permet de prouver la validité des résultats qui sont énoncés sur la génération de bases de projet. La génération d’environnements est définie comme l'implémentation abstraite d'une spécification d'environnement par une spécification de SGBD. Des prototypes illustrent ces travaux : un système de gestion de bases de données multi-utilisateurs, un générateur de noyaux de bases de projet, et des environnements intégrant le tout, Asspégaz et PEGASE.