Thèse soutenue

Adaptation des contraintes OCL lors de l'évolution des métamodèles et modèles
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Kahina Hassam
Direction : Salah Sadou
Type : Thèse de doctorat
Discipline(s) : STIC
Date : Soutenance en 2011
Etablissement(s) : Lorient
Ecole(s) doctorale(s) : École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère)
Partenaire(s) de recherche : autre partenaire : Université européenne de Bretagne (2007-2016)

Mots clés

FR

Mots clés contrôlés

Résumé

FR  |  
EN

Les applications informatiques sont désormais le support de la plupart des processus métiers. La moindre défaillance, panne ou immobilisation peut conduire à une dégradation importante du service rendu. Le secteur du logiciel, fer de lance de la mouvance "nouvelle technologie", doit donc relever le double défi posé par une complexité croissante et par un renforcement des attentes des décideurs et des utilisateurs. Le secteur arpente depuis plusieurs années maintenant le chemin menant à la quête de la plus grande qualité, à coûts et délais maîtrisés. Une nouvelle façon d'envisager la production et la maintenance des systèmes logiciels consiste à s'appuyer sur des modèles, qui sont considérés comme des entités de première classe. Il s'agit de l'ingénierie dirigée par les modèles (IDM), ou Model Driven Engineering (MDE) en anglais. Dans ce paradigme de développement, la modélisation d'un logiciel impose souvent l'usage de nombreux modèles conformes à différents langages. Or, pour garantir un usage efficace de ces modèles par des algorithmes, ces modèles et les langages de modélisation utilisés doivent être bien définis. Pour cela, du fait du manque d'expressivité des langages de métamodélisation et de modélisation utilisés, il est souvent nécessaire de rajouter des contraintes aux métamodèles et modèles sous peine de sous-spécifier la syntaxe d'un langage ou la description dun système logiciel. L'OMG (Object Management Group) propose d'exprimer rigoureusement ces contraintes à l'aide d'un langage appelé OCL (Object Constraint Language). Au cours du développement ou de la maintenance d'un logiciel, les modèles et langages de modélisation doivent évoluer pour s'améliorer, corriger des erreurs ou répondre à de nouveaux besoins. Dans le cadre IDM, cette évolution peut se faire de diverses manières : par adaptations progressives ou bien par l'application dun processus automatique de transformation de modèles. Malheureusement, durant ces évolutions les contraintes OCL associées aux métamodèles ou aux modèles sont souvent oubliées ou alors réécrites à la main ce qui peut entraîner des incohérences ou prendre énormément de temps. L'objectif de cette thèse est donc de définir des concepts et des outils permettant dans un cadre dirigé par les modèles d'adapter aussi automatiquement que possible les contraintes OCL associées à un modèle en évolution.