REGEP Dan Marius

Кандидат наук - SRC
Окончание контракта : 31.12.2003
https://lip6.fr/Dan.Regep

Научны(е)й руководител(и)ь : 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.

Защита диссертаций : 17.12.2003

Члены жюри :

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

Окончание контракта : 31.12.2003

Публикации 2000-2004

Mentions légales
Карта сайта