LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Noticias » Estudiantes de doctorado

REGEP Dan Marius

Doctor
Equipo : MoVe
Fecha de salida : 31/03/2004
Dirección de investigación : 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.
Defensa : 17/12/2003 - 16h - Site Scott - Salle Gérard Noguez
miembros del jurado :
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

Publicaciones 2000-2004

 Mentions légales
Mapa del sitio |