Please use this identifier to cite or link to this item: http://repository.vnu.edu.vn/handle/VNU_123/275
Title: Approche Composant : de la spécification à l'implantation
Authors: LANOIX, Arnaud
SOUQUIERES, Jeanine
NGUYEN, Thi Minh Tuyen
Keywords: composant
adaptateur
spécification
compatibilité
EJB
JML
Issue Date: 2008
Abstract: 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).
URI: http://repository.vnu.edu.vn/handle/VNU_123/275
Appears in Collections:IFI - Master Theses

Files in This Item:
Thumbnail

  • File : stage-nguyen_thi_minh_tuyen.pdf
  • Description : 
  • Size : 1.96 MB
  • Format : Adobe PDF


  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.