Modèles et techniques pour spécifier, développer et utiliser un framework : une approche par méta-modélisation - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2002

Models and Techniques to Specify, Develop and Use a Framework : a Meta-Modeling Approach

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

Résumé

The use of a framework poses problems related to the respect of its structure and behavior. These problems are the consequence of the loss of design time information during implementation, which results in the absence of a relevant documentation at re-use time. The goal of this thesis is to provide models to express behavioral and structural dependencies. These models are integrated into the framework life cycle from the specification to the finalization. The model of structural dependencies proposes an explicit expression of dependencies through a partial reification of the framework. Independent of any language, it provides assistance and verification capabilities, and it is accessible by framework developers and users. The model of behavioral dependencies augments the static interface of classes with their dynamic specification (protocol). This specification expresses the valid sequences of the class incoming and outgoing messages. This specification, based on the formal model of Esterel, allows static and dynamic checks.
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.
Fichier principal
Vignette du fichier
Rapicault.pdf (6.5 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00505470 , version 1 (23-07-2010)

Identifiants

  • HAL Id : tel-00505470 , version 1

Citer

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. ⟨NNT : ⟩. ⟨tel-00505470⟩
188 Consultations
1939 Téléchargements

Partager

Gmail Facebook X LinkedIn More