Luận văn thạc sĩ VNU 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: Luận văn thạc sĩ VNU approche composant de la spécification à limplantation
Luận văn thạc sĩ VNU approche composant de la spécification à limplantation
PGGÍ1CGuniuemigeFRflilCOPHOfllE4« la Fravatnonia pour rlntarnanouaInstitut de la Francophonie pour rinfonnatiqueHanoi, VietnamLORIANancy. FrancoApproc Luận văn thạc sĩ VNU approche composant de la spécification à limplantation che Composant : de la specification à 1’implantationMémoire de fill d’etudesThi Minh Tuyen NguyenLieu de stage : Ếquipe DEDALE, LORIA Campus Scientifique, BP 239 F-54506 Vandeeuvre Ids Nancy CodexSons la direction de : Arnaud Lanoj.x ■leaning SoiiqnièresNancy, le 14 novembre 2008RemerciementsJe voud Luận văn thạc sĩ VNU approche composant de la spécification à limplantation rais tout d’abord remercier Jeanine Souquières de m’avoir accueillie au sein de I'equipe de recherche DEDAI. E dll Laboratoire Lorrain de Recherche enLuận văn thạc sĩ VNU approche composant de la spécification à limplantation
Inlbnnatiqne et. ses Applications (LORIA).Je tieus également à remercier tout particulièrement Arnaud Lanoix et .leaninc Souquières pour m’avoir encaPGGÍ1CGuniuemigeFRflilCOPHOfllE4« la Fravatnonia pour rlntarnanouaInstitut de la Francophonie pour rinfonnatiqueHanoi, VietnamLORIANancy. FrancoApproc Luận văn thạc sĩ VNU approche composant de la spécification à limplantation echerche qu’ils out bien voulu inc laisser.Mes plus sincères remerciements vont ẽgalement ã tous les professeurs et les personnels de rinstitut de la Francophonie pour I’lnformatique (11'1) pour m’avoir donnee des count de tres grande qnaliti* et. pour leur soulien Lout ail long de Hies óLndcs ỈI lì Luận văn thạc sĩ VNU approche composant de la spécification à limplantation ELUn grand merci aux post-doctorants Ct thésards de 1’équipc DEDALE qui m’ont aidéc au cours des neuf niois de ce stage, et plus particulierement ả SaLuận văn thạc sĩ VNU approche composant de la spécification à limplantation
muel Colin.Je remercie chaleureusement Hies camarades tie la promotion XII pour leur amitié sans faille el. jo lour souhaito bonne chance pour la soutPGGÍ1CGuniuemigeFRflilCOPHOfllE4« la Fravatnonia pour rlntarnanouaInstitut de la Francophonie pour rinfonnatiqueHanoi, VietnamLORIANancy. FrancoApproc Luận văn thạc sĩ VNU approche composant de la spécification à limplantation ALE du LORIA travaille sur les approches de verification d’architectures logicielles à base de composants. Les composants sont des boit.es noires pour lesquelles seules Irin s interfaces sont coniines. I ne interface décrit les fonclioimalit.ás oilerl.cs el /oil rcqniscs par le composant considéré. Luận văn thạc sĩ VNU approche composant de la spécification à limplantation Pour que différents composants puissent ẽtre dẽployés Ct tra-vailler ensemble, ils doivent pouvoir coopẽrer. c’est-a-dire que leurs interfaces doiventLuận văn thạc sĩ VNU approche composant de la spécification à limplantation
ẽtre compatibles.Mon travail de stage a port.6 Snr la liaison cut re les travaux do r&piipe DEDALE sur r assemblage de composants au niveau UML.B et PGGÍ1CGuniuemigeFRflilCOPHOfllE4« la Fravatnonia pour rlntarnanouaInstitut de la Francophonie pour rinfonnatiqueHanoi, VietnamLORIANancy. FrancoApproc Luận văn thạc sĩ VNU approche composant de la spécification à limplantation alcurs à partir des E.IIỈS exist ants; cclui dr la specification aver la definition de la compatibility outre methodes à Faldo do Java Modeling Language (JML).Vlots-clés : composant. arlaptateur, specification, compatibility, EJB, J\1I.AbstractThe DEDALE team, a research group at LORIA institute, w Luận văn thạc sĩ VNU 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 intLuận văn thạc sĩ VNU approche composant de la spécification à limplantation
erfaces which describe their visible behaviors. A provided interface of one component can be connected with a required interface of another component PGGÍ1CGuniuemigeFRflilCOPHOfllE4« la Fravatnonia pour rlntarnanouaInstitut de la Francophonie pour rinfonnatiqueHanoi, VietnamLORIANancy. FrancoApproc Luận văn thạc sĩ VNU approche composant de la spécification à limplantation this 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 L’ML B ami Enterprise Java Bean (EJB). We have proposed a relationship at different levels : at the programing level with the definitio Luận văn thạc sĩ VNU approche composant de la spécification à limplantation n of adapters using EJB existing components; at. the specification level with the definition of method compatibility using the Java Modeling LanguageLuận văn thạc sĩ VNU approche composant de la spécification à limplantation
(JML).Keywords : component, adapter, specification, matching, E.IB, J .ML2Tabic des matières1Introduction71.1Probléinatique ..........................PGGÍ1CGuniuemigeFRflilCOPHOfllE4« la Fravatnonia pour rlntarnanouaInstitut de la Francophonie pour rinfonnatiqueHanoi, VietnamLORIANancy. FrancoApprocPGGÍ1CGuniuemigeFRflilCOPHOfllE4« la Fravatnonia pour rlntarnanouaInstitut de la Francophonie pour rinfonnatiqueHanoi, VietnamLORIANancy. FrancoApprocGọi ngay
Chat zalo
Facebook