Approche Composant : de la spécification à l'implantation

Tuyen Thi Minh Nguyen (1)

1 DEDALE - Development of specifications

Ce rapport présente mon travail de stage au LORIA dans l'équipe DEDALE entre mars et novembre 2008. Il porte 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).

Mots clés: composant; adaptateur; spécification; compatibilité; EJB; JML

Domaines: Génie logiciel [cs.SE]

Tuyen Thi Minh Nguyen. Approche Composant : de la spécification à l'implantation. 2008. ⟨hal-00343186⟩