Skip to Main content Skip to Navigation
Theses

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

Abstract : 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.
Document type :
Theses
Complete list of metadatas

Cited literature [109 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00505470
Contributor : Estelle Nivault <>
Submitted on : Friday, July 23, 2010 - 5:20:27 PM
Last modification on : Monday, October 12, 2020 - 10:30:21 AM
Long-term archiving on: : Monday, October 25, 2010 - 12:03:43 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

292

Files downloads

3158