REGEP Dan Marius

PhD graduated
Team : MoVe
Departure date : 03/31/2004
https://lip6.fr/Dan.Regep

Supervision : Fabrice KORDON

LfP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis

Le développement rapide d'applications réparties sûres par leur conception correcte et leur implémentation conforme constitue un sujet de recherche délicat qui nécessite des solutions dans chacun de ces domaines : 1) Description d'architectures logicielles ; 2) Vérification et validation de la conception ; 3) Implémentation conforme des modèles ; 4) Méthodologies de développement.
Nos objectifs ont été de définir un langage de spécification adapté aux applications réparties afin de capturer leurs éléments caractéristiques, de les développer dans le contexte du développement par prototypage et de les déployer de manière transparente sur des architectures hétérogènes. Nous avons eu constamment à l'esprit les contraintes suivantes : - permettre la génération automatique des éléments qui assurent le contrôle réparti puisqu'il s'agit du point le plus délicat de ces systèmes, - rester compatible avec les démarches de développement de l'industrie et en particulier avec des standards comme UML (Unified Modelling Language), afin d'apporter une aide aux ingénieurs sans perturber leur travail, - supporter l'évaluation des prototypes par simulation mais aussi la vérification de leurs propriétés par utilisation des méthodes formelles,
Dans cette thèse nous proposons comme solution LfP (A langage for Prototyping) un langage de spécification ayant les capacités de description d'un ADL (Architectural Description Language) formel, compatible et complémentaire avec la notation UML. ce langage est facilement intégrable dans une démarche de développement par prototypage évolutif.

Defence : 12/17/2003

Jury members :

Claude Girault, Professeur à l’Université Pierre et Marie Curie,Président
Laurence Duchien, Proffeseur à l’Université des Sciences et Technologies de Lille, Rapporteur
Didier Buchs, Professeur à l’Université de Genève, Rapporteur
Charles-François Ducateau, Professeur à l’Université Paris 5, Examinateur
Jean-Michel Couvreur, Maître de Conférences à l’Université de Bordeaux, Examinateur
Jean-Pierre Velu, Ingénieur de recherches à Sagem S.A., Examinateur
Fabrice Kordon, Professeur à l’Université Pierre et Marie Curie, Directeur

Departure date : 03/31/2004

2000-2004 Publications

Mentions légales
Site map