Quality Management Issues along Life-cycle of Distributed Applications

A. Diagne, P. Estraillier, F. Kordon

LIP6 1998/025: Rapport de Recherche LIP6 / LIP6 research reports
11 pages - Juin/June 1998 - Document en anglais.

PostScript : 43 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Systèmes Répartis et Coopératifs

Titre français : Formalisation des contraintes de qualité sur le cycle de vies des applications réparties
Titre anglais : Quality Management Issues along Life-cycle of Distributed Applications

Résumé : Devant la complexité sans cesse croissante des applications informatiques et leur interconnexion à travers les réseaux, le paradigme de distribution devient un standard de fait. Une application informatique est souvent conçue de nos jours comme devant faire partie d'un système plus grand auquel il peut rendre des services ou en requérir de lui. L'approche par modules (ou composants) est une démarche de plus en plus fréquente en génie logiciel. Elle consiste à principalement à construire des applications à partie de composants spécifiés, vérifiés et réalisés ad-hoc ou réutilisés. Vérifier et valider la conception de même que optimiser la solution réalisée deviennent alors des besoins le long du cycle de vie d'une application. Un autre besoin très important est d'assurer qu'il n'y a aucune dérive entre le résultat de la spécification et la solution réalisée. Nous proposons une approche multi-formalismes avec deux modèles de composants. Le premier est dédié à la spécification et permet d'entreprendre des activités de vérification et de validation. Le second est dédié à la réalisation et offre des moyens pour optimiser le code généré. Les deux partagent le même fondement formel qui sont les réseaux de Petri colorés et la traçabilité entre eux est assurée de manière semi-automatique sur la base de règles formelles.

Abstract : Face to the much and much complexity in computer applications and their interconnection via networks, the distribution paradigm has become a standard. Nowadays, an application is often built to be part of a larger system to which they can offer services or require them from it. The component-based approach is becoming standard in Software Engineering. It is mainly an incremental way to build applications from components that have been tailored, validated, verified and implemented ad-hoc or reused. Verification and validation during conception as well as optimization during implementation become therefore important activities in applications life-cycle. Another strong need is to ensure that there is no drift between what is specified and the implemented solution. We propose a multi-formalisms approach with two component models. The first one is dedicated to specification and allows to undertake verification and validation. The second one is dedicated to code generation and offers optimization means. Both, they have colored Petri nets as formal basis and the traceability between them is semi-automatic, based on formal rules which ensure lack of drift from specification to implementation.

Mots-clés : Applications réparties, Qualité, Traçabilité

Key-words : Distributed Applications, Quality, Traceability

Publications internes LIP6 1998 / LIP6 research reports 1998

Responsable Éditorial / Editor
webmaster@lip6.fr