Approche composant de la spécification à limplantation
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Approche composant de la spécification à limplantation
Approche composant de la spécification à limplantation
PGGnceunmegsiTAiggDELAffififiCOPHOniEintttift đ« la Fraacc-anama pou> rinfO(WJiiqu«Institut de la Francophonie pour rinformatiqueHanoi. VietnamLORIANa Approche composant de la spécification à limplantation ancy. France*Approche Composant : de la specification à I'implantationMémoire de fin d’etudesThi Minh Tuyen NguyenLieu de stage : Équipe DEDALE, LORIA Campus Scientifique. BP 239 F-54506 Vandopuvre IỎS Nancy CodexSous la direction de : Arnaud LanoixJeanine SouqinercsNancy, le 14 novembre 2008Remerci Approche composant de la spécification à limplantation ementsJe voudrais tout d abord remercier .Jeanine Souquières de m’avoir accueillie au sein de I'equipe de recherche DEDALE du Laboratoire Lorrain de RApproche composant de la spécification à limplantation
echerche en Inlbrinatique el see Applications (LORIA).Je tiens ẽgalement à remercier tout particulièrement Arnaud Lanoix et Jeanine Souquières pour inPGGnceunmegsiTAiggDELAffififiCOPHOniEintttift đ« la Fraacc-anama pou> rinfO(WJiiqu«Institut de la Francophonie pour rinformatiqueHanoi. VietnamLORIANa Approche composant de la spécification à limplantation erty de recherche qu’ils out bion vouhi mo laisser.Mes plus sincères remerelements vont ẽgalement ả tous les professeurs et les personnels de rinstitut de la Francophonie pour rinformatique (IF1) pour m’avoir donnee des fours de tres grande qnaliti* el. pour lour soulion lout ail long do Hies Modes Approche composant de la spécification à limplantation «1 riFLUn grand merci aux post-doctorants ot thésards de Péquipe DEDALE qui m’ont aidéc an cours des neuf mois de ce stage, et plus particuliẽreinentApproche composant de la spécification à limplantation
ã Samuel Colin.Je remercie chaleureuseinent. Illes camarades de la promotion XII pour leur amilié sans faille 01 jo lour smihaito bonne chance pour laPGGnceunmegsiTAiggDELAffififiCOPHOniEintttift đ« la Fraacc-anama pou> rinfO(WJiiqu«Institut de la Francophonie pour rinformatiqueHanoi. VietnamLORIANa Approche composant de la spécification à limplantation e DEDALE du LORIA travaille sur les approches de verification d’architectures logicielles à base de composants. I.es composants sont des boiles noires pour lesquelles settles lenrs interfaces sont counties. L ite interface dócrit les íonctionnalités offert.es et/ou requises par le composant considér Approche composant de la spécification à limplantation é. Pour quc đifférents composants puissent ẽtre déployés Ct traveller ensemble, ils doivent pouvoir coopẽrer, c’est-à-dire que leurs interfaces doivenApproche composant de la spécification à limplantation
t étre compatibles.Mon travail de stage a port ó stir la liaison ent re les travaux do 1’óquipe DEDALE stir rassemblage de composants au niveau UML/B PGGnceunmegsiTAiggDELAffififiCOPHOniEintttift đ« la Fraacc-anama pou> rinfO(WJiiqu«Institut de la Francophonie pour rinformatiqueHanoi. VietnamLORIANa Approche composant de la spécification à limplantation ap Latours A panir dos E.IIÌS cxistanis; ccliii do la specification avcc la di'finiiion do la compatibility outre methodes A 1’aido do Java Modeling Language (JML).Mots-clés : composant, adaptatenr, specification, compatibility, EJB, JMLAbstractThe DEDALE team, a research group at LORIA institute, w Approche composant de la spécification à limplantation orks on component-based software verification approaches. Components are considered as black-boxes communicating through required and/or provided inteApproche composant de la spécification à limplantation
rfaces which describe their visible behaviors. A provided interface of one component can be connected with a required interface of another component iPGGnceunmegsiTAiggDELAffififiCOPHOniEintttift đ« la Fraacc-anama pou> rinfO(WJiiqu«Institut de la Francophonie pour rinformatiqueHanoi. VietnamLORIANa Approche composant de la spécification à limplantation his means that their interfaces must be compatible.We have studied how to etablish a relationship between the work of the DEDALE team about component assembly with CML/B and Enterprise Java Bean (EJB). We have proposed a relationship at different levels : al the programing level with the definition Approche composant de la spécification à limplantation of adapters using EJB existing components; at the specification level with the definition of method compatibility using the Java Modeling Language (JMApproche composant de la spécification à limplantation
L).Keywords : component, adapter, specification, matching, EJB. J.ML2Tabic des matières1Introduction71.1Problématique ................................PGGnceunmegsiTAiggDELAffififiCOPHOniEintttift đ« la Fraacc-anama pou> rinfO(WJiiqu«Institut de la Francophonie pour rinformatiqueHanoi. VietnamLORIANaPGGnceunmegsiTAiggDELAffififiCOPHOniEintttift đ« la Fraacc-anama pou> rinfO(WJiiqu«Institut de la Francophonie pour rinformatiqueHanoi. VietnamLORIANaGọi ngay
Chat zalo
Facebook