N° d'ordre

Jean-Pierre Giraudin

Description

Niveau: Supérieur, Doctorat, Bac+8

• mémoire

N° d'ordre : 2252 THÈSE présentée pour obtenir LE TITRE DE DOCTEUR DE L'INSTITUT NATIONAL POLYTECHNIQUE DE TOULOUSE École doctorale : Informatique et Télécommunications Spécialité : Informatique Par Mahmoud NASSAR Analyse/conception par points de vue : le profil VUML Soutenue le 28 Septembre 2005 devant le jury composé de : M. Jean-Pierre GIRAUDIN Rapporteur et Président du jury MM. Bernard COULETTE Directeur de thèse Jean BÉZIVIN Rapporteur Bernard CARRÉ Examinateur Xavier CRÉGUT Examinateur Abdelaziz KRIOUILE Examinateur

• toulouse ecole doctorale


• ecole nationale


• supérieure d'electrotechnique, d'electronique, d'informatique et d'hydraulique de toulouse


• collaboration étroite


• informatique de l'ensias de rabat


• supérieure d'informatique et d'analyse des systèmes


• membre de jury

Sujets

• Mémoire
• Université de Nantes
• Université de Lille

Informations

• Publié par: profil-feym-2012
• Publié le: 01 septembre 2005
• Nombre de lectures: 38
• Langue: Français
• Poids de l'ouvrage: 2 Mo

Extrait

N° d’ordre : 2252




THÈSE
présentée

pour obtenir

LE TITRE DE DOCTEUR DE L’INSTITUT
NATIONAL POLYTECHNIQUE DE TOULOUSE


École doctorale : Informatique et Télécommunications

Spécialité : Informatique

Par

Mahmoud NASSAR



Analyse/conception par points de vue : le profil
VUML



Soutenue le 28 Septembre 2005 devant le jury composé de :

M. Jean-Pierre GIRAUDIN Rapporteur et Président du jury
MM. Bernard COULETTE Directeur de thèse Jean BÉZIVIN Rapporteur
Bernard CARRÉ Examinateur Xavier CRÉGUT Exam
Abdelaziz KRIOUILE Exam

































à ma mère,
à mes sœurs,
à mon épouse


Remerciements
Les travaux présentés dans ce mémoire ont été réalisés au sein de l’équipe ISYCOM (Ingénierie
des Systèmes COMplexes) du laboratoire GRIMM (Groupe de Recherche en Informatique et
Mathématiques du Mirail) de l’Université de Toulouse le Mirail (UTM) en étroite collaboration avec
le Laboratoire LGI (Laboratoire Génie Informatique) de l’Ecole Nationale Supérieure d’Informatique
et d’Analyse des Systèmes (ENSIAS) de Rabat.
Je tiens à remercier très vivement mon directeur de thèse Monsieur Bernard COULETTE,
Professeur à l’Université de Toulouse le Mirail, pour son soutien, sa disponibilité, sa patience, la
collaboration étroite dans laquelle nous avons travaillé et son aide qui m’ont permis de mener à bien
ces travaux. Merci également pour ses relectures minutieuses de ce mémoire.
Je tiens également à assurer ma reconnaissance à Monsieur Jean BEZIVIN, Professeur à
l’Université de Nantes, et Monsieur Jean-Pierre GIRAUDIN, Professeur à l’IUT2 de Grenoble pour
l’intérêt qu’ils ont témoigné à ces travaux et pour avoir accepté d’être rapporteurs de cette thèse. Je les
remercie également pour les remarques et conseils prodigués. Merci aussi à Monsieur Jean-Pierre
GIRAUDIN de m’avoir fait l’honneur de présider ce jury.
Merci infiniment à Monsieur Bernard CARRÉ, Maître de conférences à l’Université de LILLE, de
m’avoir fait l’honneur d’être membre de jury de cette thèse.
J’exprime également ma profonde gratitude à Monsieur Xavier CRÉGUT, Maître de conférences à
l’Ecole Nationale Supérieure d’Electrotechnique, d’Electronique, d’Informatique et d’Hydraulique de
Toulouse (ENSEEIHT), pour les nombreuses discussions techniques que nous avons eues. Je le
remercie également pour ses conseils et ses remarques tout au long de ces années. Je le remercie aussi
pour avoir bien voulu participer à ce jury.
Je tiens à exprimer ma plus sincère gratitude à Monsieur Abdelaziz KRIOUILE, Professeur à
l’ENSIAS de Rabat, pour m’avoir assisté durant cette thèse. Ses conseils m’ont été d’une grande aide.
Je le remercie également de m’avoir fait l’honneur de participer au jury de cette thèse.
Merci à Madame Sophie EBERSOLD, Maître de conférences à l’Université de Toulouse le Mirail,
pour les nombreuses discussions que nous avons eues sur le thème de cette thèse et pour ses précieux
conseils.
Merci à tous les membres de l’équipe GRIMM/ISYCOM pour leur accueil et la bonne ambiance
dans laquelle ils m’ont permis de travailler pendant ces années de thèse. Je les remercie aussi pour leur
soutien et leurs commentaires enrichissants lors de mes présentations orales.
Je remercie très vivement tous les partenaires du réseau franco-marocain STIC en Génie Logiciel
lancé en 2002 pour leurs remarques et suggestions qui m’ont permis d'affiner et de valider ce travail.
J’adresse également mes chaleureux remerciements à tous les membres du Laboratoire Génie
Informatique de l’ENSIAS de Rabat. Leurs conseils, leur amitié et leur bonne humeur m’ont beaucoup
encouragé durant mes travaux.
Je remercie tous ceux qui ont contribué de près ou de loin à la réalisation de ce travail.
Enfin, je tiens à remercier tous ceux qui m’ont soutenu, et plus particulièrement ma famille, mon
épouse Salima et mes amis. Résumé

L'objectif de la thèse est de proposer une extension du langage de modélisation unifié (UML)
orientée points de vue. Cette extension, appelée VUML (View based Unified Modeling Language)
offre un formalisme (extension d’UML) pour modéliser un système logiciel par une approche
combinant objets et points de vue. Le principal ajout à UML est celui du concept de classe multivues.
Une classe multivues est une unité d’abstraction et d’encapsulation qui permet de stocker et restituer
l'information en fonction du profil de l'utilisateur. Elle offre des mécanismes de gestion des droits
d’accès aux informations, de changement dynamique de points de vue et de gestion de la cohérence
entre les vues dépendantes. De plus, VUML propose un modèle de composant multivues qui permet de
représenter une classe multivues au niveau du diagramme de composants.
Sur le plan sémantique, VUML étend le métamodèle d’UML et introduit un certain nombre de
stéréotypes regroupés sous forme d’un profil UML. A l’instar d’UML, la sémantique VUML
comprend un aspect statique et un aspect dynamique. La sémantique statique de VUML est définie par
le métamodèle, des règles de bonne modélisation (well-formedness rules) exprimées en langage formel
OCL (Object Constraint Language) et des descriptions textuelles informelles. La sémantique
dynamique quant à elle est décrite d’une manière informelle.
Sur le plan méthodologique, VUML propose un noyau d’une démarche qui permet d’intégrer de
façon logique et consistante la notion de point de vue dans le processus de développement dans le
contexte de l’approche MDA (Model Driven Architecture).
L’outil support à VUML a été conçu et réalisé en adaptant l’atelier Objecteering/UML par la
technique des profils. Cet outil permet de mener une modélisation à base de vues, de vérifier la
cohérence des modèles élaborés et de générer du code objet (Java,...) en appliquant un patron
d’implémentation générique sur un diagramme de classes VUML.

Mots clés : Modélisation, profil UML, vue/point de vue, classe/composant multivues, approche MDA.

Abstract
This thesis proposes a viewpoint oriented extension of the Unified Modelling Language. This
extension, called VUML (View based Unified Modelling Language) provides a formalism for
modelling software systems through objects and viewpoints. The main UML extension is the concept
of multiviews class whose goal is to encapsulate and deliver information according to the user profile
(viewpoint). VUML allows the dynamic change of viewpoint and offers mechanisms to manage
consistency among dependent views. Moreover, VUML proposes a multiviews component model.
Such a component allows to represent a multiviews class in a component diagram.
On the semantic level, VUML extends the metamodel of UML and introduces a set of stereotypes
grouped in a UML profile. As in UML, the VUML semantics includes static and dynamic aspects. The
VUML static semantics is defined by the metamodel, the well-formedness rules expressed in the
formal language OCL (Object Constraint Language), and informal textual descriptions. The VUML
dynamic semantics is described so far in an informal manner.
On the methodological level, VUML proposes a process that makes possible a logical and
consistent integration of the viewpoint concept in the development process according to the MDA
approach.
A VUML tool has been designed and implemented by adapting the Objecteering/UML tool through
the profile technique. This tool allows to carry out a view based modelling, to check the consistency of
the elaborated models and to generate object code (Java...) by applying a generic implementation
pattern to a VUML class diagram.

Keywords: Modelling, UML profile, view/viewpoint, multiviews class/component, MDA approach.