loading

Approche Composant : de la spécification à l'implantation / NGUYEN, Thi Minh Tuyen

Tác giả : NGUYEN, Thi Minh Tuyen

Năm xuất bản : 2008

Chủ đề : 1. adaptateur. 2. compatibilité. 3. composant. 4. EJB. 5. JML. 6. spécification. 7. Thesis.

Thông tin chi tiết

Tóm tắt :

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).

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Viện Quốc tế Pháp ngữ - ĐHQGHN
https://repository.vnu.edu.vn/handle/VNU_123/275