Study of the effetcts of a modification through the High Level Specifications

D. Prun, P. Estraillier

IBP-Masi 1995/12: Rapport de Recherche Masi / Masi research reports
24 pages - Mai/May 1995 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: Study of the effetcts of a modification through the High Level Specifications

Résumé : Dans le domaine de la maintenance des logiciels, de nombreux outils et techniques existent mais ceux-ci sont principalement orientés au niveau du code, ce qui est très coûteux. Dans ce papier, nous nous interessons aux répercussions d'un changement appliqués sur les spécifications de haut niveau. Sur la base le modèle des Specification_Units (une décomposition modulaire du système où le comportement interne d'un module est modélisé par des réseaux de Petri colorés), nous définissons et caractérisons différentes espèces de dépendances (intra ou extra modulaire). Puis, sur la base de cette relation de propagation, nous proposons une méthodologie à suivre devant une modification des spécifications.

Abstract : In the area of system engineering maintenance, a lot of tools and techniques exist but they are only oriented for code level maintenance which can be very costly. This paper focuses on change repercussion in high-level specification (HLS). Based on the Specification_Units model (a modular decomposition of the system, where behavior is expressed with Colored Petri Nets), we define and characterise different kinds of dependencies (intra-modular and extra-modular). On the basis of this propagation relation, we suggest a maintenance guide-line, to be followed in front of a change within HLS.

Publications internes Masi 1995 / Masi research reports 1995