Le prototypage heterogene formel de systemes distribues une perspective pour le developpement continu

par NABIL ZAKHAMA

Thèse de doctorat en Sciences appliquées

Sous la direction de P. ESTRAILLIER.

Soutenue en 1996

à Paris 6 .

    mots clés mots clés


  • Résumé

    Le prototypage des systemes d'information se limite frequemment a certaines phases du cycle de developpement, le plus souvent a la definition des besoins, et parfois a la conception. Le prototypage se situe generalement soit au niveau des modeles executables, soit au niveau du code cible ; de ce fait les prototypes sont homogenes. Les approches incrementales ameliorent les problemes precites, mais une etape d'implementation manuelle compromet la coherence formelle du modele du systeme. Dans les approches transformationnelles, la coherence est preservee au detriment de l'etape de conception qui, quoique creative et informelle, permet cependant l'optimisation du prototype. La generation du code cible a partir des modeles semi-formels resout le probleme des performances, au prix d'une perte de formalisation. Je propose une approche federatrice basee sur le prthf (prototypage reparti totalement heterogene et formel) selon un cycle de developpement continu. Notre methodologie electrique et multi-formalismes se base sur un processus d'analyse et prototypage qui permet de generer l'image code cible des modeles de specification/conception. Un formalisme central du type reseaux de petri aide a valider formellement le modele semi-formel formalise, et de le transformer ensuite en code cible. Nous gerons convenablement l'environnement de facon a garantir une validation modulaire et homogene du systeme, depuis sa specification a son implementation. Grace a notre outil, il est possible d'executer un prthf, et de completer ainsi la verification formelle par la validation comportementale. Notre contribution renforce les convergences technique et operationnelle. Non seulement le prthf permanent du systeme implique l'integration precoce et continue, mais il renforce aussi la validation precoce et continue. D'autre part, le prthf augmente la participation de l'utilisateur final, et minimise ainsi l'effet tunnel. Par ailleurs, le prthf favorise la gestion du risque, ainsi que le developpement parallele et reparti


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 307 P.
  • Annexes : 331 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1996 440
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1996
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.