Approche Composant : de la spécification à l'implantation
L'équipe DEDALE du LORIA travaille sur les approches de vérification d'architectures logicielles à base de composants. Les composants sont des boîtes noires pour lesquelles seules leurs interfaces sont connues. Une interface décrit les fonctionnalités offertes et/ou requises par le comp...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Theses and Dissertations |
| Language: | French |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/275 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | French |
| Summary: | L'équipe DEDALE du LORIA travaille sur les approches de vérification d'architectures
logicielles à base de composants. Les composants sont des boîtes noires pour lesquelles seules
leurs interfaces sont connues. Une interface décrit les fonctionnalités offertes et/ou requises
par le composant considéré. Pour que différents composants puissent être déployés et travailler
ensemble, ils doivent pouvoir coopérer, c'est-à-dire que leurs interfaces doivent être
compatibles.
Mon travail de stage a porté sur la liaison entre les travaux de l'équipe DEDALE sur l'assemblage
de composants au niveau UML/B et les composants Enterprise Java Bean (EJB).
Nous avons proposé une liaison à différents niveaux : celui de la programmation avec la dé-
finition d'adaptateurs à partir des EJBs existants ; celui de la spécification avec la définition
de la compatibilité entre méthodes à l'aide de Java Modeling Language (JML). |
|---|