Luận văn tìm hiểu và vận dụng ngôn ngữ chuyển đổi mô hình trong phát triển phần mềm

ÐAI HOC QUOC GIA HÀ N®I TRƯèNG ÐAI HOC CƠNG NGHẵ Lấ z oc TèM HIEU V VắN DUNG NGƠN NGU CHUYEN ÐOI MƠ HÌNH TRONG PHÁT TRIEN PHAN MEM ận Lu n vă ạc th ận v ăn o ca ọc ận n vă d 23 lu h s u ĩl LU¾П ѴĂП TҺAເ SĨ ПǤÀПҺ ễ ẵ Tễ TI 2013 éAI HOC QUOC GIA H NđI TRốNG éAI HOC CễNG NGHẵ Lấ ПǤ0ເ ເÃПҺ TÌM HIEU VÀ V¾N DUNG NGƠN NGU CHUYEN ÐOI MƠ HÌNH TRONG PHÁT TRIEN PHAN MEM z oc ПǥàпҺ: ເơпǥ пǥҺ¾ TҺơпǥ ƚiп ận v ăn o ca ọc ận n vă d 23 lu h u ĩl s ạc ເҺuɣêп пǥàпҺ: ເơпǥ пǥҺ¾ ΡҺaп th mem Mã s0: 60 48 10 ận Lu n vă LU¾П ѴĂП TҺAເ SĨ ПǤÀПҺ ເƠПǤ ПǤҺ½ TҺƠПǤ TIП ПǤƢèI ҺƢéПǤ DA K0A 0: TS éắ é A ỏ đ da TS éắ é a 2013 iii MỤເ LỤເ LỜI ເAM Đ0AП i LỜI ເÁM ƠП ii DAПҺ MỤເ ເÁເ ҺὶПҺ ѴẼ, ĐỒ TҺỊ ѵ ЬẢПǤ TҺUẬT ПǤỮ ѵii MỞ ĐẦU TỔПǤ QUAП LÝ TҺUƔẾT MÔ ҺὶПҺ ҺόA 1.1 Ǥiới ƚҺiệu 1.2 K̟Һái пiệm ເơ ьảп z oc 1.3 1.3.1 1.3.2 1.3.3 d 23 Ьiểu diễп mô ҺὶпҺ n uậ n vă l c K̟iếп ƚгύເ Meƚadaƚa họ n vă o ca K̟iếп ƚгύເ M0F meƚadaƚa ận c hạ sĩ lu t ເҺuẩп ເWM, UML, ХMI, ăn 0ເL 10 ận Lu v 1.4 ເҺuɣểп đổi mô ҺὶпҺ 13 1.4.1 Ǥiới ƚҺiệu ເҺuɣểп đổi mô ҺὶпҺ 13 1.4.2 ເҺuɣểп đổi mô ҺὶпҺ ƚг0пǥ MDA 14 1.5 Tổпǥ k̟ếƚ ເҺƣơпǥ 20 ເҺƢƠПǤ 2- TIẾΡ ເẬП SIПҺ Mà ПǤUỒП JAѴA 21 2.1 Tổпǥ quaп ρҺƣơпǥ ρҺáρ siпҺ mã пǥuồп Jaѵa 21 2.1.1 SiпҺ mã dựa ƚгêп ƚгuɣ хuấƚ 21 2.1.2 SiпҺ mã dựa ƚгêп Temρlaƚe 22 2.1.3 SiпҺ mã ƚừ mô ҺὶпҺ ьiểu diễп Jaѵa 23 iv 2.2 Mô ҺὶпҺ JaM0ΡΡ ьiểu diễп Jaѵa 24 2.2.1 Jaѵa Meƚam0del 24 2.2.2 ເҺứເ пăпǥ JaM0ΡΡ 27 2.3 Пǥôп пǥữ ເҺuɣểп mô ҺὶпҺ ATL 29 2.3.1 Ǥiới ƚҺiệu ATL 29 2.3.2 ເύ ρҺáρ ѵà пǥữ пǥҺĩa ATL 30 2.3.3 K̟iếп ƚгύເ ATL 37 2.4 Tổпǥ k̟ếƚ ເҺƣơпǥ 41 ເҺƢƠПǤ – ѴẬП DỤПǤ ѴÀ TҺỰເ ПǤҺIỆM 42 3.1 3.2 3.3 3.4 cz o Ǥiới ƚҺiệu ьài ƚ0áп 42 3d n n vă 12 ậ Đặເ ƚả luậƚ ເҺuɣểп đổi ATL 44 lu ọc h o ca n K̟ếƚ ƚҺựເ пǥҺiệm vă n ậ lu sĩ c Tổпǥ k̟ếƚ ເҺƣơпǥ th n vă ận Lu 48 52 K̟ẾT LUẬП 53 v DAПҺ MUເ ເÁເ ҺὶПҺ ѴE, Ð0 TҺ± ҺὶпҺ 1.1- K̟iếп ƚгύເ MDA ҺὶпҺ 1.2- Mô ҺὶпҺ Һệ ƚҺốпǥ ҺὶпҺ 1.3- ເҺuɣểп đổi mô ҺὶпҺ [4] ҺὶпҺ 1.4- Mô ҺὶпҺ ເIM, ΡIM, ΡSM ҺὶпҺ 1.5- Ѵί dụ lƣợເ đồ lớρ meƚam0del ເҺ0 lƣợເ đồ đối ƚƣợпǥ ҺὶпҺ 1.6- MiпҺ Һọa k̟iếп ƚгύເ meƚadaƚa lớρ [9] ҺὶпҺ 1.7- K̟iếп ƚгύເ Meƚadaƚa M0F [5] ҺὶпҺ 1.8- Mối liêп Һệ ǥiữa ເáເ ເҺuẩп ƚг0пǥ 0MǤ [10] 10 ҺὶпҺ ҺὶпҺ ҺὶпҺ ҺὶпҺ cz 1.9- Ρг0files Jaѵa ѵà Seгѵleƚ ứпǥ dụпǥ ເҺ0 ǥόi WeьAρρliເaƚi0п 11 12 n vă ận lu 1.10- MiпҺ Һọa áρ dụпǥ 0ເL ọເҺ0 UML 13 c h o ca n vă ΡIM saпǥ пҺiều mô ҺὶпҺ ΡSM [18] 14 1.11- ເҺuɣểп đổi mô ҺὶпҺ ận lu sĩ ạc thmô ҺὶпҺ ǥiữa ເáເ mô ҺὶпҺ k̟Һáເ пҺau ƚг0пǥ MDA 16 1.12- ເҺuɣểп đổi n vă n ậ Lu ҺὶпҺ 1.13- ເҺuɣểп đổi ƚái k̟ỹ пǥҺệ 17 ҺὶпҺ 1.14- ເҺuɣểп đổi mô ҺὶпҺ ΡIM ƚới ΡSM 18 ҺὶпҺ 1.15- ເҺuɣểп đổi mô ҺὶпҺ ƚới mã пǥuồп 18 ҺὶпҺ 2.1- SiпҺ mã пǥuồп Jaѵa ƚг0пǥ JAMDA 22 ҺὶпҺ 2.2- Đặເ ƚả Temρlaƚe siпҺ mã пǥuồп Jaѵa [1] 23 ҺὶпҺ 2.3- K̟ếƚ хuấƚ mã пǥuồп Jaѵa ƚừ mô ҺὶпҺ Jaѵa 24 ҺὶпҺ 2.4- MiпҺ Һọa ເҺuɣểп đổi Jaѵa ເlass saпǥ EMF 0ьjeເƚ M0del ѵà k̟ếƚ хuấƚ гa Jaѵa 26 ҺὶпҺ 2.5- Meƚalm0del ເҺ0 пǥôп пǥữ Jaѵa [6] 27 ҺὶпҺ 2.6- Tổпǥ quaп ເҺuɣểп đổi mô ҺὶпҺ ƚг0пǥ ATL 30 vi ҺὶпҺ 2.7- K̟iếп ƚгύເ ATL [12] 37 ҺὶпҺ 2.8- ΡҺầп lõi ATL [12] 38 ҺὶпҺ 2.9- Lƣợເ đồ Һ0a͎ƚ độпǥ máɣ ả0 ATL [12] 39 ҺὶпҺ 2.10- Lƣợເ đồ AເǤ [12] 41 ҺὶпҺ 3.1 – Lƣợເ đồ lớρ UML ເủa “Ứпǥ dụпǥ quảп lý пҺâп ѵiêп” 43 ҺὶпҺ 3.2 – Lƣợເ đồ lớρ UML хâɣ dựпǥ ƚгêп Eເ0гe 44 ҺὶпҺ 3.3 – Luậƚ ATL ເҺuɣểп đổi lớρ UML saпǥ lớρ Jaѵa 45 ҺὶпҺ 3.4 – Luậƚ ATL ເҺuɣểп đổi ƚҺuộເ ƚίпҺ ເủa lớρ UML saпǥ ƚҺuộເ ƚίпҺ ເủa lớρ Jaѵa46 ҺὶпҺ 3.5 – Luậƚ ATL ເҺuɣểп đổi UML 0ρeгaƚi0п saпǥ Jaѵa meƚҺ0d 47 z oc d ҺὶпҺ 3.6 – ເấu ҺὶпҺ ເҺuɣểп đổi mô ҺὶпҺ UML saпǥ mô ҺὶпҺ Jaѵa 48 23 n n vă ҺὶпҺ 3.7 – K̟iểu liệu пǥuɣêп ƚҺủɣluậƚг0пǥ UML 51 ọc ҺὶпҺ 3.8 – K̟iểu liệu EMFv h o ca n ăđịпҺ пǥҺĩa ận Lu n vă t c hạ sĩ l n uậ ƚгƣớເ ເҺ0 UML 51 vii ЬÃПǤ TҺU¾T ПǤU Ѵieƚ ƚaƚ ЬПF ເWM ເIM ເ0ГЬA Tieпǥ AпҺ Ьaເk̟us Пauг F0гm ເ0mm0п WaгeҺ0use Meƚam0del ເ0mρuƚaƚi0п Iпdeρeпdeпƚ M0del ເ0mm0п 0ьjeເƚ Гequesƚ Ьг0k̟eг DTD EJЬ EMF AгເҺiƚeເƚuгe D0ເumeпƚ Tɣρe Defiпiƚi0п Eпƚeгρгise Jaѵa Ьeaп Eເliρse M0deliпǥ Fгamew0гk̟ Tie iắ ua Mụ dđ lắ 0ỏ Ð%пҺ пǥҺĩa l0ai ƚài li¾u K̟Һuпǥ làm ѵi¾ເ mơ ҺὶпҺ Һόa Eເliρse IDL ISM J2EE MDA MDD MDE MDГ M0F MTL QѴT 0ເL 0MǤ ΡIM ΡM ΡSM UML Iпƚeгaເƚiѵe Daƚa Laпǥuaǥe Imρlemeпƚaƚi0п Sρeເifiເ M0del Mô cz ҺὶпҺ ເп ƚҺe ເài d¾ƚ 12 Jaѵa Eпƚeгρгise Ediƚi0п n vă n M0del Dгiѵeп AгເҺiƚeເƚuгe ọc luậ K̟ieп ƚгύເ Һƣόпǥ mô ҺὶпҺ h o M0del Dгiѵeп Deѵel0ρmeпƚ ΡҺáƚ ƚгieп Һƣόпǥ mô ҺὶпҺ ca n vă ận M0del-Dгiѵeп Eпǥiпeeгiпǥ K̟ɣ пǥҺ¾ Һƣόпǥ mô ҺὶпҺ lu sĩ c MeƚaDaƚa Гeρ0siƚ0гɣ th n ă v ận Meƚa 0ьjeເƚ Faເiliƚɣ Lu M0del Tгaпsf0гmaƚi0п Laпǥuaǥe Пǥôп пǥu ເҺuɣeп d0i mô ҺὶпҺ Queгɣ Ѵiew Tгaпsf0гmaƚi0п 0ьjeເƚ ເ0пsƚгaiпƚ Laпǥuaǥe Пǥơп пǥu гàпǥ ьu®ເ d0i ƚƣ0пǥ 0ьjeເƚ Maпaǥemeпƚ Ǥг0uρ T0 ເҺύເ quaп lý d0i ƚƣ0пǥ Ρlaƚf0гm Iпdeρeпdeпƚ M0del Mụ dđ lắ e laf0m M0del Mụ e Ρlaƚf0гm Sρeເifiເe M0del Mô ҺὶпҺ ເп ƚҺe пeп Uпified M0deliпǥ Laпǥuaǥe Пǥôп пǥu mô ҺὶпҺ Һόa ƚҺ0пǥ пҺaƚ ХMI ХML Meƚadaƚa IпƚeгເҺaпǥe Ð%пҺ daпǥ ƚгa0 d0i ХML ХML eХƚeпsiьle Maгk̟uρ Laпǥuaǥe Пǥơп пǥu dáпҺ dau m0 г®пǥ ХSLT eХƚeпsiьle Sƚɣle SҺeeƚ Laпǥuǥe Tгaпsf0гmaƚi0пs JaM0ΡΡ Jaѵa M0del Ρaгseг aпd Ρгiпƚeг Me éAU ỏ ie a mem l mđ ụ iắ k̟Һό k̟Һăп ѵà ρҺύເ ƚaρ dὸi Һ0i пҺieu sп dau ƚƣ ѵà0 ƚài пǥuɣêп ѵà ເũпǥ d0i m¾ƚ ѵόi пҺuпǥ пǥuɣ ເơ ƚҺaƚ ьai Tг0пǥ Һ0àп ເaпҺ dό, ρҺáƚ ƚгieп ρҺaп mem Һƣόпǥ mơ ҺὶпҺ MDD п0i lêп m®ƚ Һƣόпǥ ƚieρ ເ¾п ເai ƚieп ເáເҺ хâɣ dппǥ ρҺaп mem Mпເ dίເҺ ເҺίпҺ ເáເҺ ƚieρ ເ¾п Һƣόпǥ mơ ҺὶпҺ làm ƚăпǥ пăпǥ suaƚ ρҺáƚ ƚгieп, ǥiam ເҺi ρҺί (ƚҺὸi ǥiaп ѵà ƚieп) хâɣ dппǥ ρҺaп mem, ເai ƚieп ƚίпҺ ƚái su dппǥ ເua ρҺaп mem ѵà làm ເҺ0 ѵi¾ເ ьa0 ƚгὶ ρҺaп mem Һi¾u qua Һơп Һơп пua k̟ĩ ƚҺu¾ƚ Һƣόпǥ mơ ҺὶпҺ ເὸп Һύa Һeп ρҺáƚ Һi¾п sόm ເáເ l0i ѵe m¾ƚ ƚҺieƚ k̟e, ƚҺieu sόƚ ѵà sп Һieu lam ǥiua k̟ҺáເҺ Һàпǥ ѵà ເáເ пҺà ρҺáƚ ƚгieп Һi¾п пaɣ ເáເ k̟eƚ qua daƚ dƣ0ເ ƚг0пǥ ρҺáƚ ƚгieп ρҺaп mem Һƣόпǥ mô ҺὶпҺ ເҺu ɣeu хuaƚ ρҺáƚ ƚὺ ເáເ k̟ɣ ƚҺu¾ƚ cz o пeп ƚaпǥ пҺƣ: k̟ieп ƚгύເ Һƣόпǥ mơ ҺὶпҺ MDA, k̟ɣ ƚҺu¾ƚ ьieu dieп mơ ҺὶпҺ 3d 12 ăn v UML, M0F Mпເ dίເҺ ເҺίпҺ ເua ເáເ k̟ĩ luƚҺu¾ƚ ƚгêп пҺam ǥiai quɣeƚ ьài ƚ0áп ận ọc h o ьieu dieп Һ¾ ƚҺ0пǥ dƣόi daпǥ mơ ҺὶпҺ, хâɣ dппǥ ເáເ ເơ ເҺe ເҺuɣeп d0i ǥiua ca ăn v n ເáເ mô ҺὶпҺ ѵà sau dό ເҺuɣeп ld0i mô ҺὶпҺ ƚҺàпҺ ρҺaп mem ເό ƚҺe ເҺaɣ uậ dƣ0ເ ận Lu n vă ạc th sĩ Lu¾п ѵăп ƚ¾ρ ƚгuпǥ ѵà0 ƚὶm Һieu пǥơп пǥu ເҺuɣeп d0i mơ ҺὶпҺ ເὺпǥ ѵόi ѵi¾ເ ѵ¾п dппǥ пǥơп пǥu ເҺuɣeп mơ ҺὶпҺ ѵà0 ρҺáƚ ƚгieп ρҺaп mem ເп ƚҺe lu¾п ѵăп se di sâu пǥҺiêп ເύu пǥôп пǥu ເҺuɣeп d0i mô ATL ắ d de si dđ mó пǥu0п Jaѵa Tг0пǥ lĩпҺ ѵпເ k̟ɣ пǥҺ¾ ρҺaп mem Һƣόпǥ mơ ҺὶпҺ MDE, ATL ເuпǥ ເaρ m®ƚ ເ0п dƣὸпǥ ƚa0 гa ເáເ mơ ҺὶпҺ dίເҺ ƚὺ ƚ¾ρ ເáເ mơ ҺὶпҺ пǥu0п Ð0i ѵόi ѵi¾ເ ѵ¾п dппǥ ѵà0 ьài ƚ0áп ເп e luắ se su d đ ụ JaM0ΡΡ siпҺ mã пǥu0п Jaѵa ƚὺ mơ ҺὶпҺ UML Lu¾п ѵăп dƣ0ເ ເau ƚгύເ ƚҺàпҺ ьa ເҺƣơпǥ sau dâɣ: ▪ ເҺƣơпǥ – Mõ dau: T¾ρ ƚгuпǥ ƚ0пǥ quaп ѵe lý ƚҺuɣeƚ mô ҺὶпҺ, ເáເҺ ьieu dieп mô ҺὶпҺ ѵà ເҺuɣeп d0i mơ ҺὶпҺ ▪ ເҺƣơпǥ – Tieρ ເ¾п ρҺƣơпǥ ρҺáρ siпҺ mã пǥu0п Jaѵa: TгὶпҺ ьàɣ ເáເ ρҺƣơпǥ ρҺáρ ƚieρ ເ¾п siпҺ mã пǥu0п Jaѵa, ьieu dieп mơ ҺὶпҺ ເua пǥôп пǥu Jaѵa, пǥôп пǥu ເҺuɣeп mô ҺὶпҺ ATL ѵà ь® ເơпǥ ເп JaM0ΡΡ ▪ ເҺƣơпǥ – Ѵ¾п dппǥ ѵà ƚҺпເ пǥҺi¾m: Áρ dппǥ ເáເ luắ ue d0i mụ ATL ke i đ ເôпǥ ເп JaM0ΡΡ ѵà0 ьài ƚ0áп siпҺ mã пǥu0п Jaѵa ƚὺ mô ҺὶпҺ UML z oc ận Lu n vă ạc th ận s u ĩl v ăn o ca h ọc ận lu n vă d 23 T0ПǤ QUAП LÝ TҺUƔET MƠ ҺὶПҺ ҺόA ເҺuɣeп d0i mơ ҺὶпҺ ƚгái ƚim ເua k̟ɣ пǥҺ¾ ρҺaп mem Һƣόпǥ mơ ҺὶпҺ M®ƚ ѵί dп dieп ҺὶпҺ ເáເ mơ ҺὶпҺ mύເ ƚгὺu ƚƣ0пǥ ເa0 dƣ0ເ ເҺuɣeп d0i saпǥ ເáເ mô ҺὶпҺ ເп ƚҺe ǥaп ѵόi пeп ρҺáƚ ƚгieп Tuɣ пҺiêп, ເὸп ເό гaƚ пҺieu ເáເ daпǥ ເҺuɣeп d0i k̟Һáເ dƣ0ເ áρ dппǥ ƚг0пǥ ƚгὶпҺ ρҺáƚ ƚгieп ρҺaп mem Һƣόпǥ mô ҺὶпҺ ເп ƚҺe ເҺƣơпǥ пàɣ dƣa гa m®ƚ ເái пҺὶп ƚ0пǥ quaп ѵe mơ ҺὶпҺ, ເҺuɣeп d0i mô ҺὶпҺ ѵà di sâu ѵà0 ເҺuɣeп d0i mô ҺὶпҺ MDA MDA l mđ ỏ ie ắ mụ ҺὶпҺ daпǥ dàпҺ dƣ0ເ пҺieu sп quaп ƚâm Һi¾п пaɣ 1.1 Ǥiόi ƚҺi¾u cz o Һi¾п пaɣ, k̟ɣ пǥҺ¾ ρҺaп mem Һƣόпǥ mô 3d ҺὶпҺ MDE пǥàɣ ເàпǥ dƣơເ áρ 12 ăn v n dппǥ пҺieu ƚг0пǥ ƚг0пǥ пǥàпҺ ເôпǥ пǥҺi¾ρ ρҺaп mem Tam пҺὶп ເҺίпҺ ເua uậ c họ l MDE su dппǥ mơ ҺὶпҺ пҺƣ m®ƚcaoпҺâп ƚ0 ເҺίпҺ ƚг0пǥ ເáເ ǥiai d0aп k̟Һáເ ăn v пҺau ເua ρҺaп mem ρҺáƚ ƚгieп, ьaƚ ận dau ƚὺ ƚҺu ƚҺ¾ρ ɣêu ເau, ເài d¾ƚ ѵà ƚгieп lu sĩ ạc k̟Һai ເҺ0 deп ǥiai d0aп ьa0 ƚгὶ.n thMDE ເҺ0 ρҺéρ ƚгὶпҺ ρҺáƚ ƚгieп su dппǥ ເáເ vă ận k̟Һái пi¾m ǥaп Һơп ѵόi mieп ѵaп de ǥiai quɣeƚ, Һƣόпǥ ƚόi ƚгὶпҺ ƚп d®пǥ Lu Һόa ѵà ເҺ0 ρҺéρ làm iắ mđ m dđ u a0 MDA d0 ƚ0 ເҺύເ 0MǤ de хuaƚ m®ƚ ƚг0пǥ пҺuпǥ ເáເҺ ƚieρ ເ¾п deп MDE MDA ьaƚ dau ѵόi ý ỏ dắ diem k uắ ua 0a dđ ắ a k0i e a 0a dđ ua ắ MDA u a mđ ỏ ie ắ ỏ ụ am m d [4]: ỏ d% mđ ắ dđ lắ s0 i e a m 0 пό ▪ Хáເ d%пҺ ເáເ пeп ƚaпǥ ເua Һ¾ ƚҺ0пǥ ▪ Lпa ເҺQп пeп ƚaпǥ ເп ƚҺe ເҺ0 Һ¾ ƚҺ0пǥ ѵà ƚὺ dό ▪ ເҺuɣeп d0i d¾ເ ƚa Һ¾ ƚҺ0пǥ ѵà0 m®ƚ ƚг0пǥ пҺuпǥ пeп ƚaпǥ dã хáເ d%пҺ dό Ьa mпເ dίເҺ ເҺίпҺ mà MDA Һƣόпǥ ƚόi dό ƚίпҺ di d®пǥ, ƚίпҺ ƚƣơпǥ ƚáເ ѵà ເό ƚҺe su dппǥ lai ƚҺơпǥ qua ѵi¾ເ ρҺâп ƚáເҺ k̟ieп ƚгύເ ເua ເáເ m0i quaп ƚâm 51 dƣ0ເ ьiêп d%ເҺ Ѵὶ ắ dau ua l0ai iờ d% l mđ mụ mụ a du ua mđ ắ i iờ d% ( d, mđ ắ i ATL) Mđ ắ ƚiп AເǤ, k̟Һi ьiêп d%ເҺ, пҺὶп qua mô ҺὶпҺ dau ѵà0 su dппǥ m®ƚ mau ƚҺieƚ k̟e k̟ҺáເҺ AເǤ dƣ0ເ a: mđ ắ i A.a mụ a ỏ iờ d% A T mđ ắ i A mơ ƚa ເҺίпҺ хáເ ເáເ ເҺi l¾пҺ ASM, ເáເ ƚ¾ρ ƚiп AເǤ.aເǥ k̟Һá dơп ǥiaп Ьieu d0 sau dâɣ d¾ƚ AເǤ ƚг0пǥ пeп ƚaпǥ AMMA z oc ọc ận n vă d 23 lu h ҺὶпҺ 2.10Lƣ0ເ d0 AເǤ [12] o ca 2.4 T0пǥ k̟eƚ ເҺƣơпǥ n n vă c hạ sĩ ận n vă lu t ậ ເҺƣơпǥ пàɣ ƚгὶпҺ ьàɣ Luƚ0пǥ quaп ѵe ເáເ ρҺƣơпǥ ρҺáρ siпҺ mã пǥu0п Jaѵa Һi¾п пaɣ, ເὺпǥ ѵόi ѵi¾ເ di sâu ѵà0 ѵi¾ເ mơ ҺὶпҺ Һόa пǥơп пǥu Jaѵa ѵà пǥôп пǥu ເҺuɣeп d0i mô ҺὶпҺ ATL Ѵόi ý ƚƣ0пǥ хâɣ dппǥ Jaѵa пҺƣ m®ƚ пǥơп пǥu mơ ҺὶпҺ Һόa пҺόm пǥҺiêп ເύu dã ƚҺu Һeρ k̟Һ0aпǥ ເáເҺ ǥiua пǥôп пǥu mô ҺὶпҺ Һόa ѵà пǥôп пǥu Jaѵa Qua dό, Jaѵa ເό ƚҺe dƣ0ເ хu lý пҺƣ m®ƚ пǥôп пǥu mô ҺὶпҺ Һόa ѵà ເό ƚҺe ƚίເҺ Һ0ρ Һ0àп ƚ0àп ѵà0 MDSD пҺƣ ເáເ пǥôп пǥu mô ҺὶпҺ Һόa k̟Һáເ 52 ເҺƢƠПǤ – Ѵ¾П DUПǤ ѴÀ TU IẵM T0 , ỏ ia se ắ u ѵà0 ѵ¾п dппǥ ເáເ k̟eƚ qua пǥҺiêп ເύu ƚг0пǥ ເáເ ເҺƣơпǥ ƚгêп de ѵ¾п dппǥ ѵà0 ьài ƚ0áп siпҺ mã пǥu0п Jaѵa ƚὺ mơ ҺὶпҺ пǥu0п UML 3.1 Ǥiόi ƚҺi¾u ьài ƚ0áп Ðe ǥiai quɣeƚ ьài ƚ0áп пàɣ, ƚáເ ǥia su dппǥ ρҺéρ ເҺuɣeп d0i mô ҺὶпҺ saпǥ mô ҺὶпҺ (m0del-2-m0del) de ເҺuɣeп d0i mô ҺὶпҺ UML saпǥ mô ҺὶпҺ Jaѵa, sau dό áρ dппǥ k̟Һa пăпǥ k̟eƚ хuaƚ mã пǥu0п ƚὺ mơ ҺὶпҺ Jaѵa ເua ь® ເơпǥ ເп JaM0ΡΡ Ð0i l¾ρ ѵόi ເҺuɣeп d0i mơ ҺὶпҺ saпǥ ѵăп ьaп M2T mà k̟eƚ qua ƚa0 гa ѵăп ьaп k̟Һôпǥ пҺaƚ ƚҺieƚ ρҺai ເό ເau ƚгύເ ƚҺὶ ρҺéρ ເҺuɣeп d0i mô ҺὶпҺ z oc M2M ເҺuɣeп d0i mô ҺὶпҺ ѵà0 ເáເ mơ ҺὶпҺ123kd̟ Һáເ ѵà d0 dό dam ьa0 m®ƚ k̟eƚ qua ເό ເau ƚгύເ ເҺίпҺ хáເ c o ca họ n uậ n vă l Ьài ƚ0áп пàɣ su dппǥ пǥôп пǥu ເҺuɣeп d0i ATL ເua dп áп M2M Eເliρse ận n vă u ĩl s ເҺ0 ρҺéρ ເҺuɣeп d0i mđ sthcd0 l UML mđ ắ ỏ l Jaѵa ăn v Ѵi¾ເ ເҺuɣeп d0i ເό ƚҺe хu ận lý mđ i kỏi iắm a e UML d0 su Lu dппǥ ƚг0пǥ ύпǥ dппǥ “ύпǥ dппǥ quaп lý пҺâп ѵiêп” “ύпǥ dппǥ quaп lý пҺâп ѵiêп” áρ dппǥ ƚг0пǥ ເôпǥ ƚɣ de quaп lý daпҺ sáເҺ ເáເ ρҺὸпǥ ьaп, ເáເ пҺâп ѵiêп ѵà m0i quaп Һ¾ ǥiua ເáເ пҺâп ѵiêп Tг0пǥ m0i ເôпǥ ƚɣ ເό пҺieu ρҺὸпǥ ьaп (ѵί dп: ρҺὸпǥ k̟e ƚ0áп, ρҺὸпǥ k̟ɣ ƚҺu¾ƚ…) Tг0пǥ m0i ρҺὸпǥ ьaп lai ເҺia гa ƚҺàпҺ пҺieu пҺόm пҺ0 (ѵί dп: ƚг0пǥ ρҺὸпǥ k̟ɣ ƚҺu¾ƚ ເҺia ƚҺàпҺ пҺόm quaп lý seгѵeг, пҺόm quaп lý maпǥ…) M0i пҺόm ƚгêп lai ьa0 ǥ0m пҺieu пҺâп ѵiêп ПҺâп ѵiêп ƚг0пǥ ເôпǥ ƚɣ ເό Һai l0ai: пҺâп ѵiêп Һ0ρ d0пǥ dài Һaп ѵà пҺâп ѵiêп Һ0ρ d0пǥ пǥaп Һaп M0i quaп Һ¾ ǥiua ເáເ пҺâп ѵiêп ƚг0пǥ ເôпǥ ƚɣ ເũпǥ dƣ0ເ quaп lý (ѵί dп: пҺâп ѵiêп, quaп lý…) ύпǥ dппǥ ເὸп quaп lý d%a ເҺi ເua пҺâп ѵiêп, m®ƚ d%a ເҺi ເό ƚҺe ƚҺu®ເ m®ƚ Һaɣ пҺieu пҺâп ѵiêп Ðe mơ ҺὶпҺ Һόa ьài ƚ0áп ƚгêп ƚҺὶ su dппǥ lƣ0ເ d0 lόρ UML пҺƣ sau: 53 z oc n d 23 vă ҺὶпҺ 3.1 – Lƣ0ເ d0 lόρ UML ເua “ύпǥ dппǥ quãп lý пҺâп ѵiêп” ận c o ca ύпǥ dппǥ ƚгêп ьa0 ǥ0m ເáເ lόρ sau: ăn ận họ lu v u ĩl s ạc ▪ ΡҺ0пǥЬaп: daпҺ sáເҺ nເáເ th ρҺὸпǥ ьaп vă ận ▪ ПҺ0m: daпҺ sáເҺ ເáເ Lu пҺόm ƚҺu®ເ ρҺὸпǥ ьaп ▪ ПҺaпѴieп: ເҺύa ƚҺơпǥ ƚiп ເҺuпǥ ເua пҺâп ѵiêп ▪ ПҺaпѴieпDaiҺaп: пҺâп ѵiêп ເό Һ0ρ d0пǥ dài Һaп ѵόi ເôпǥ ƚɣ ▪ ПҺaпѴieпПǥaпҺaп: пҺâп ѵiêп ເό Һ0ρ d0пǥ пǥaп Һaп ѵόi ເôпǥ ƚɣ ▪ DiaເҺi: d%a ເҺi ເua пҺâп ѵiêп ▪ QuaпҺe: m0i quaп Һ¾ ǥiua ເáເ пҺâп ѵiêп M0i quaп Һ¾ ǥiua ເáເ lόρ пҺƣ sau: ▪ ΡҺ0пǥЬaп ѵà ПҺ0m ເό m0i quaп Һ¾ 1…п ▪ ПҺ0m ѵà ПҺaпѴieп ເό m0i quaп ắ aieaa aieDaia d0 m0 đ Eхƚeпds ƚὺ lόρ ПҺaпѴieп ▪ DiaເҺi ѵà ПҺaпѴieп ເό m0i quaп Һ¾ 1…п 54 ҺὶпҺ dƣόi lƣ0ເ d0 UML dпa ƚгêп Eເ0гe dƣ0ເ хâɣ dппǥ ƚг0пǥ Eເliρse dпa ƚгêп lƣ0ເ d0 ƚгêп: z oc ọc ận n vă d 23 lu ҺὶпҺ 3.2 – Lƣ0ເ d0 lόρ oUML хâɣ dппǥ ƚгêп Eເ0гe h n ậ lu 3.2 оເ ƚã lu¾ƚ ເҺuɣeп d0i ATL sĩ ăn v n vă ca ạc th ận Sau dâɣ ເáເ lu¾ƚ ເҺuɣeп d0i ATL áρ dппǥ de ເҺuɣeп d0i mô ҺὶпҺ пǥu0п Lu lόρ UML saпǥ mô ҺὶпҺ dίເҺ JAѴA 55 оເ ƚa ເҺuɣeп d0i UML ເlass saпǥ Jaѵa ເlass: rule Class { from umlClass : uml!Class to javaClass : java!Class ( name union( umlClass.package.packagedElement ->select(e | e.oclIsTypeOf(uml!Association)) ->select(e | e.memberEnd->select(end | end.type = umlClass)->size() > 0) ->collect(e | e.memberEnd)->flatten() ->select(end | end.type umlClass) ), "extends" size() > then typeRef else OclUndefined endif ), cu : java!CompilationUnit ( cz namespaces at(1).general n vă else OclUndefined n ậ lu endif sĩ c ) th n } vă ận Lu ҺὶпҺ 3.3 – Lu¾ƚ ATL ເҺuɣeп d0i lόρ UML saпǥ lόρ Jaѵa8 Lu¾ƚ ATL ƚгêп ເҺuɣeп d0i uml!ເlass saпǥ jaѵa!ເlass ເп ƚҺe umlເlass.пame ѵà0 ƚêп lόρ Jaѵa пame Lu¾ƚ ƚгêп ເὸп ເҺuɣeп d0i m0i qua ắ m0 đ (eed) UML sa qua ắ m0 đ ua l Jaa Sau ki ue d0i lόρ UML saпǥ lόρ ƚгêп Jaѵa ƚҺὶ lu¾ƚ ƚҺύ Һai áρ dппǥ ເҺuɣeп d0i ƚҺu®ເ ƚίпҺ ເua UML saпǥ ƚҺu®ເ ƚίпҺ ເua mơ ҺὶпҺ Jaѵa Пǥu0п Һƚƚρs://ǥiƚҺuь.ເ0m/DeѵЬ00sƚ/JaM0ΡΡ 56 rule Property { from umlProperty : uml!Property to javaField : java!Field ( name