Modèles et techniques pour spécifier, développer et utiliser un framework : une approche par méta-modélisation

Résumé : L'utilisation d'un framework pose des problèmes liés au respect de la structure et du comportement de celui-ci. Ces problèmes sont la conséquence de la perte des informations de conception lors de l'implémentation, ce qui se traduit par l'absence d'une documentation pertinente lors de l'utilisation. Ainsi le but de cette thèse est de fournir un modèle d'expression des dépendances structurelles et comportementales. Ces modèles sont intégrés au cycle de vie du framework, de la spécification jusqu'à la finalisation. Le modèle de dépendances structurelles propose une expression explicite des dépendances grâce à une réification partielle du framework. Ce modèle, indépendant de tout langage permet au développeur du framework aussi bien qu'à un utilisateur, de consulter les dépendances entre les éléments du framework, et de bénéficier d'une aide dynamique ainsi que d'un système de vérification. Le modèle de dépendances comportementales étend l'interface statique des classespar une spécification dynamique (protocole) de celles-ci. Cette spécification définit les séquences valides d'enchaînement de messages entrant et sortant de la classe. Cette spécification, basée sur le modèle formel d'Esterel, permet des vérifications statiques et dynamiques.
Type de document :
Thèse
Modélisation et simulation. Université Nice Sophia Antipolis, 2002. Français
Liste complète des métadonnées

Littérature citée [109 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00505470
Contributeur : Estelle Nivault <>
Soumis le : vendredi 23 juillet 2010 - 17:20:27
Dernière modification le : lundi 4 décembre 2017 - 15:14:10
Document(s) archivé(s) le : lundi 25 octobre 2010 - 12:03:43

Identifiants

  • HAL Id : tel-00505470, version 1

Collections

Citation

Pascal Rapicault. Modèles et techniques pour spécifier, développer et utiliser un framework : une approche par méta-modélisation. Modélisation et simulation. Université Nice Sophia Antipolis, 2002. Français. 〈tel-00505470〉

Partager

Métriques

Consultations de la notice

178

Téléchargements de fichiers

771