Contribution à la multi-modélisation des applications distribuées pour le contrôle de l'évolution des logiciels

by Adeel Ahmad

Doctoral thesis in Informatique

Under the supervision of Henri Basson and Mourad Bouneffa.

defended on 09-12-2011

in Littoral , under the authority of École doctorale Sciences pour l'Ingénieur (Lille) , in a partnership with Laboratoire d'informatique, signal et image de la Côte d'Opale (Calais, Pas de Calais) (laboratoire) and Laboratoire d'Informatique Signal et Image de la Côte d'Opale / LISIC (laboratoire) .

Thesis committee President: Cyril Fonlupt.

Thesis committee members: Cyril Fonlupt, Dominique Groux-Leclet.

Examiners: Claude Godart, Mourad-Chabane Oussalah.

  • Alternative Title

    Contribution to the multi-modeling of distributed applications for software evolution control


  • Abstract

    The software evolution control requires a complete understanding of the changes and their impact on the various systems artifacts. We propose a multi-modeling approach for the change impact analysis to provide assistance in understanding the effects of projected or actual changes in distributed software systems. This work elaborate the modeling of software artifacts along with their various interdependencies to build a knowledge-based system, which allows, among others, an assistance for the software developers or maintenance engineers to establish an a priori evaluation of impact of changes. The model we develop integrates two major descriptions of software, at first, the underlying structural description that encompasses the levels of granularity and abstraction of software artifacts, and then the qualitative description designed to integrate the structural description. Initially, the formal models are designed separately for the respective descriptions, and then these are integrated for the objective to study the change impact and its potential propagation through the affected software artifacts. For a change, it is important to establish a qualitative assessment of its impact. The integrated modeling leads to a reasoning based on expert rules. The proposed model is being tested and validated through the development of a platform, implemented in the Eclipse environment.


  • Abstract

    Le contrôle de l'évolution des logiciels exige une compréhension profonde des changements et leur impact sur les différents artefacts du système. Nous proposons une approche de multi-modélisation pour l'analyse d'impact du changement pour une compréhension des effets des modifications prévus ou réels dans les systèmes distribués. Ce travail consiste à élaborer une modélisation des artefacts logiciels et de leur différents liens d'interdépendance pour construire un système à base de connaissance permettant, entre autres, d'assister les développeurs et les chargés de l'évolution des logiciels pour étblir une évaluation a priori de l'impact des modifications.La modélisation que nous élaborons intègre deux descriptions majeures des logiciels, dans un premier temps, la description structurelle sous-jacente qui englobe l'ensemble des niveaux granulaires et l'abstraction des constituants logiciels, et ensuite la description qualitative conçue pour s'intégrer à la description précédente. Deux modèles, d'abord élaborés individuellement pour les deux descriptions respectives, ont été intégrés ou mis en correspondance dans l'objectif d'étudier l'impact de toute modification et sa potentielle propagation à travers les constituants logiciels concernés. Lors de chaque modification, il devient alors possible d'établir un bilan qualitatif de son impact. La modélisation intégrée est élaborée pour se prêter à un raisonnement à base de règles expertes. La modélisation proposée est en cours d'expérimentation et validation à travers le développement d'une plate-forme d'implémentation basée sur l'environnement Eclipse.


It's available in the institution of thesis defence.

Consult library

Version is available

Where is this thesis?

  • Library : Université du Littoral-Côte d'Opale (Dunkerque, Nord). SCD.
See the Sudoc catalog libraries of higher education and research.