Cơ sở hình thức và công cụ hỗ trợ cho thao tác mô hình trong phát triển phần mềm hướng mô hình

DẠI HỌC QUỐC GIA HÀ NỘI BÁO CÁO TỎ N G KẾT KẾT thực h iệ n đ ề t i n g h iê n cứu C Ấ P ĐẠI HỌC Q U Ố C GIA HÀ NỘI Tên để tài: Cơ sở hình thức cơng cụ hỗ trợ cho thao tác mơ hình phát triển phần mềm hướng mơ hình Mã số để tài: QG.14.06 Chủ nhiệm đề tài: TS Dặng Dức Hạnh Hà Nội, th n g 04 n ăm 2016 MỤC LỤC • o M Ụ C LỤC i D A N H M Ự C C Á C T Ừ V IE T T A T iii D A N H S Á C H H ÌN H V Ẻ iv G IỚ I T H IỆ U C H U N G I T H Ô N G T IN C H U N G V Ề Đ Ề tà i 1.1 Tên đề t i 1.2 M ã số đề t i 1.3 D anh sách chủ nhiệm , th n h viên th a m g i a 1.4 Đơn vị chủ trì: 1.5 Thời gian th ự c hiện: 1.6 N hững th a y đổi so với th u y ế t m inh ban đ ầ u 1.7 Tổng kinh ph í phê d uyệt củ a đề t i II T Ổ N G Q U A N K Ế T QUẢ N G H IÊ N c ứ u 4 D ặ t vấn đ ề M ục t i ê u P hương p h p nghiên c ứ u Tổng kết kết q u ả nghiên c ứ u 4.1 Cơ sở h ìn h th ứ c cho chuyển đổi m ô h ì n h 4.2 Đ ảm bảo c h ấ t lượng chuyển đổi mơ h ì n h 18 4.3 N gôn ngữ công cụ hỗ trợ chuyển đổi m h ì n h 20 Đ ánh giá kết q u ả đ t kết l u ậ n 21 Tóm t ắ t kết q u ả b ằn g tiếng V iệt tiếng A n h 22 III S Ả N P H Ẩ M , C Ô N G BỐ VÀ K E T 3.1 q u ả đà o tạ o K ết q u ả nghiên c ứ u 23 23 MỤC L ự c ii 3.2 H ình thứ c, c ấ p độ công b ố kết q u ả 23 3.3 K ế t q u ả đào t o 25 3.4 S ản p h ẩm k h c 25 IV TỎNG HỢP V T ÌN H H ÌN H S Ử D Ự N G K IN H P H Í 29 VI K IẾ N N G H Ị 31 k ế t q u ả sả n PHAM KH&CN đ o tạ o T À I L IỆ U T H A M K H Ả O PH Ụ LỤC A I - B i b o đ ă n g c h u y ê n s a n C N T T & T T , T p c h í Đ H Q G H N [D G 16] A - B o c o đ ă n g k ỷ y ế u H ộ i n g h ị q u ố c t ế K S E [D C 15] A - B i b o đ ă n g T p c h í K h o a h ọ c v C ô n g n g h ệ [N D 14] A - B o c o đ ă n g k ỷ y ế u H ộ i n g h ị q u ố c t ế I C D C I T [T H D V ] A - T i liệ u h n g d ẫ n s d ụ n g c ô n g c ụ c h u y ể n đ ố i m h ìn h R T L A - M i n h c h ứ n g k ế t q u ả đ o t o (0 t h c s ĩ v 01 c n h â n ) A - H Ợ p đ n g t h ự c h iệ n đ ề t i Q G A - T h u y ế t m i n h đ ề c n g đ ề t i Q G 27 33 DANH M Ụ C CÁC T v iế t t ắ t M ô tả BAC CN Boolean Application Condition TƯ CNPM ĐH Cử nhân Công nghệ Phần mềm Đại học ĐHCN Đại học Công nghệ DHQGHN Đại học Quốc gia Hà Nội EHA Extended Hierachical A utom ata HVCH Học viên cao học M odel-Driven Development MDD MDE NCS KH&CN V IÈ T T à T M odel-Driven Engineering Nghiên cứu sinh Khoa học công nghệ OCL O bject C onstraint Language PGS QVT RTL Phó Giáo sư Queries /V iew /Transform ation R estricted G raph Transform ation Language Thạc sỹ Triple G raph Gram mar Tiến sỹ ThS TGG TS UML Unified Modeling Language DANH SÁCH HÌNH VẼ Ví dụ đồ th ị có hướng, gán n h ãn cấu x đồ t h ị T am đ ề th ị biểu diễn m hình tích hợp S C 2E H A M ột ta m lu ậ t cho chuyển đổi m ô hình S C 2E H A 11 Mơ hình đối tư ợ ng biểu diễn d ạn g biểu đồ lớ p 12 S n ap sh o t biểu diễu trự c q u an d n g biểu đồ đối tư ợ n g 12 T h e sim plified m etam o d el for s ta te c h a rt m odels 13 Bước chuyển đổi th ự c lu ậ t chuyển đổi t i ế n .16 T h a m số (tầu vào củ a lu ậ t chuyển d ẫ n x u ấ t 17 Sinh tự động th a o tá c O C L từ đặc t ả chuyển đổi vói R T L 20 iv G IỚ I T H IỆ U CHUNG Báo cáo tổ n g hợp đề n trìn h b ày gồm phần: P h ầ n I trìn h b ày th ô n g tin chung đề án P h ầ n II tr ìn h b ày nội dung kết q u ả nghiên cứu bao gồm m ục tiêu, phư ng p h p n g h iên cứu vấn đề kỹ th u ậ t cụ th ể liên qu an đến nội dung ng h iên cứu tro n g k h u ô n khổ củ a đề tài Các nội d u n g nghiên cứu trìn h bày m ộ t cách đ ầ y đ ủ tạ i P h ầ n II P h ần III trìn h b ày sản p h ẩm m nhóm n g h iên u đ t đư ợc tro n g q u trìn h th ự c hiệu đồ tài P h ầ n IV tổ n g hợp kết sản p h ẩ m K H & C N v đào tạ o đề tài P h ầ n V báo cáo tìn h hình sử dụng k inh p h í củ a đề tà i C uối cùng, P h ầ n V I trìn h bày kiến nghị B ên cạnh tà i liệu báo cáo m in h chứng sản phẩm nhóưi nghiên cứu th ự c th ô n g q u a đề tài N hóm nghiên cứu cơng nghệ m hình hóa cho xây dựng, vận hành tiến hóa phần m ềm B ộ m ô n Công nghệ P hần m ềm - Khoa Công nghệ Thông tin Trường D ại học Công nghệ - Đại học Quốc gia Hà Nội X\ A TH O N G 1.1 T IN CHUNG VE XX V DE TAI Ten đề tài Cơ sỏ h ìn h th ứ c v công cụ hỗ trợ cho th a o tá c m ị hìn h tro n g p h t triển p h ầ n m ềm hướng m hình 1.2 Mã số đề tài M ã số: Q G 14.06 1.3 Danh sách chủ nhiệm1, thành viên tham gia B ản g s a u liệt kê th n h viên th a m gia th ự c đề tài STT C h ứ c d a n h , h ọ c v ị h ọ t ê n Đ n vị cô n g tá c V t r ò (* ) T S Đ ặn g Đức H ạnh Trường DH C õng nghệ C hủ trì T hS N guyễn V iệ t T ân Trường ĐH C ông nghệ T h n h viên T hS NCS C h u T h ị M inh Huệ Trường ĐH C ông nghệ T h n h viên H V C H N guyễn K h o a H ải Trường ĐH Công nghệ T h n h viên H V C H N guyễn H uy H ồng Trường ĐH C ơng nghệ T h n h viên H V C H P h m V ăn T h a n h Trường ĐH C ông nghệ T h n h viên C N Lê K h n h T rìn h Trường ĐH Cơng nghệ T h n h viên C N D ương K im N gọc Trường DH Công nghệ T h n h viên (*) Chức danh thực dề tài N gồi , nh ó m ng h iên cứu n h ận hỗ trợ chuyên gia đến từ A G D B /U n i-B re m e n (C H L B Đức) A tla n m o d /IN R IA (CH P h p ) Dề tà i c,ó th ể k hống h o n th n h th iế u hỗ trợ tích cực từ chuyên gia THÕNG TIN CHUNG VỀ DỀ TÀI 1.4 Dơn vị chủ trì: Trường Đ ại học C ơng nghệ, Đ ại học Q uốc gia H Nội - N h E3, 144 X uân Thuỷ, C ầu Giấy, H Nội 1.5 Thời gian thực hiện: • T heo hợp đồng: từ th n g 04 năm 2014 đến th n g 04 n ăm 2016 • T hự c th ự c tế: từ th n g 04 n ă m 2014 đến th n g 04 n ăm 2016 1.6 Những thay đổi so với thuyết minh ban đầu T rong q u trìn h th ự c hiện, đề tà i có th a y đồi th n h viên tlia m gia: Bổ sung T hS N guyễn V iệt T ân CN Lê K h n h T rình 02 học viên cao học R ú t th n h viên T S Tồ V ăn K h n h T hS Vũ Q uang D ũng 1.7 Tổng kinh phí phê duyệt đề tài Tống kinh ph í p h ê du y ệt củ a đề tà i 200 triệ u đồng (hai tră m triệ u đồng) DẠI HỌC QUÓC GIA IIÀ NỘI Thuyết minh đề cương tie tài: C SỞ HÌNH THỨC VÀ CƠNG cụ HỔ TRỌ CIIO THAO TÁC MỒ HÌNH TRONG PIIÁT TRIẺN PHÀN MẺM HƯỚNG MƠ HÌNH M ã số: O G f l6 C h ủ n h iệ m đ ề tà i: T S Đ ặ n g Đ ứ c H n h m N ộ i- by GamScanner THUYẾT M INH DÈ CƯƠNG ĐẾ TÀI NGHIÊN cứu KHOA HỌC VÀ CỘNG NGHỆ CẨP ĐHQGHN (Đe tài nhóm B) / THÔNG TIN CHUNG VÈ ĐÈ TÀI - Tên đề tài Tiếng Việt: Cơ sở hình thức cơng cụ hỗ trợ cho thao tác mơ hình phát triển phần mềm hưóng mơ hình Tiếng Anh: Formal Foundation and Tool Support for Model Manipulation in M odel-Driven Software Development - M ã sô (được cấp hổ sơ trúng tuyên)' Q G - M ụ c tiêu v sả n p h ấ m d ự k iến c ủ a đ ề tài M ụ c tiê u (Bám sát cụ thể hóa định hướng mục tiêu theo đặt hàng - có) Xây dựng sở hình thức tốn học hỗ trợ cho thao tác mơ hình đặc tà phần mềm Đề xuất ngôn ngữ biểu diễn thực thi thao tác mơ hình tảng sỏ'hinh tương ứng thức Phát triển công cụ hỗ trợ đặc tả, thực thi đàm bào chất lượng thao tác mơ hình Đào tạo bậc đại học sau đại học S ả n p h â m (Ghi tóm tắt tên sản phẩm nêu m ục 12 I Ỉ I -2 ,2 ,2 ,2 ,2 ,2 ) 3.2 Sản phẩm khoa học: 02 báo cáo đăng kỷ yếu hội nghị quốc tế có phản biện thuộc hệ thống IEEE/Scopus 01 chuyên san CNTT&TT VNƯ Sản phẩm công nghệ: 01 công cụ phần mềm hỗ trợ thao tác mơ hình Sản phẩm đào tạo: 01 luận văn thạc sĩ - Thòi gian thực hiện: 24 tháng (Từ tháng 7/2014 đến tháng 7/2016) - T h ô n g tin v ề tác giả t h u y ế t m in h đ ề c u ô n g Họ tên: Đặng Đức Hạnh Ngày sinh: 12/02/1980 N am /N ữ: Nam Học hàm, học vị: Tiến sĩ Chức danh khoa học: Không Chức vụ: Giảng viên Điện thoại CQ: 04.37549016 Mobile: 0946686408 Fax: 04.37547460 E-mail: hanhdd@ vnu.edu.vn Tên tồ chức công tác: Trường ĐH Công nghệ, ĐHQGHN Đ ịa ch ỉ tổ ch ứ c : N hà E 3, 144 X u ân T h ủ y , c ầ u G iấy , H N ộ i T ó m t ă t h o t đ ộ n g n g h i ê n c ứ u c ủ a t c giả t h u y ế t m i n h đ ề c n g (Các chương trình, để tài nghiên cứu khoa học tham gia, cơng trình cơng bố liên quan tói phương hướng đề tài) T hịi gian Tu- cách T ê n đ ề t i/c ô n g tr ìn h t h a m g ia T n sfo rm a tio n o f Ư M L M o d e ls to C ấ p q u ả n lý /n o i c ô n g tác 2008 CSP: A Case Study for Graph Transform ation Tools Implementing Advanced RBAC Đồng tác g iả AGTIVE 2007, LNCS 5088, pages 540-565 Springer, 2008 2008 A d m in is tra tio n F u n c tio n a lity w ith Đồng tác g iả Electronic Communications of the EASST, Volume 15, 2008 USE 2008 2009 2009 F ro m G p h T n sfo rm a tio n to O C L using USE Precise M odel-Driven T n sfo rm a tio n B a sed o n G rap h s and Metamodels On Integrating OCL and Triple Graph Grammars Đông tác giả AGTIVE 2007, LNCS 5088, pages 585-586 Springer, 2008 Tác giả SEFM 2009, pages 307-316 IEEE Computer Society Press, 2009 Tác giả M o d e l s 2008, LNCS 5421, pages 124-137 Springer, 2009 C h e c k in g th e C o n fo rm a n c e B e tw e e n 2010 Models Based on Scenario Synchronization Tác giả 2010 O n S c e n a rio S y n c h ro n iz a tio n Tác giả 2011 2012 2012 2013 Formal Foundation and Language Chủ nhiệm đề tài S u p p o rt fo r M o d e l T n sfo rm a tio n s T n s fo rm Ư M L to C S P using R T L language An Approach for Quality Assurance of M odel Transformations Automating Inference of OCL Business Rules from User Scenarios Đ n g t c g ià Tác giả c h ín h T c giả c h ín h Journal o f Universal Computer Science, 16(17):2293-2312, 2010 ATVA 2010, LNCS 6252, pages 97-111 Springer, 2010 CN 11.03 / Trường ĐH Công Nghệ, ĐHQGHN The 15th National Symposium of Selected ICT Problems, 2012 KSE 2012, pages 223-230, IEEE C o m p u te r S o c ie ty P ress, 2 APSEC 2.013, IEEE Society Press, 2013 Computer T ó m tắ t h o t đ ộ n g đ o tạ o sa u đ i h ọ c c ủ a tác giả th u y ế t m in h đ ề c n g tr o n g Thòi H ọ v tên N C S /h ọ c v iên C H gian n ă m tr lai T u c c h t h a m g ia G hi (HD chính/phụ) (đã báo vệ/đang thực hiện) 2011 C h u T h ị M in h H u ệ H n g dẫn ch ín h Đă bảo vệ (đang NCS) 2011 N guyễn Văn Dũng H n g dẫn ch ín h Đ ã bảo vệ 2012 Đ in h N g ọ c B iên H n g d ẫn ch ín h Đ ã bảo vệ 2013 L ê N g ọ c Cảnh Hướng dẫn Đ ã bảo vệ 2013 N gu yễn Văn Quý H n g d ẫn ch ín h Đ ã bảo vệ 2013 Bùi Thị H òa H n g d ẫn ch ín h Đ ã bảo vệ 2013 N g u y ễ n K h o a Hải H n g dẫn Đ a n g thực h iện 2013 D ương N gọc Lâm H n g d ẫn ch ín h Đ a n g thực h iện - T h k ý đ ề tà i Họ tên: Phạm Thị Mai Bảo Ngày, tháng, năm sinh: 20/09/1982 Nam/Nữ: Nữ Học hàm, học vị: Thạc sĩ Chức danh khoa học: Không Chức vụ: Chuyên viên Điện thoại CQ: 04.37549359 Mobile: 0973200982 Fax: 04.37547460 E-mail: baoptm @ vnu.edu.vn Tên tổ chức công tác: Khoa CNTT, Trường ĐHCN, ĐHQGHN Địa tổ chức: Nhà E3, 144 Xuân Thủy, c ầ u Giấy, Hà Nội - T ổ c h ứ c c h ủ tr ì đ ề tà i Tên tổ chức chù trì đề tài: ĐH Quốc gia Hà Nội Điện thoại: 37547372 E-mail: khcn@ vna.edu.vn Fax: 37547724 Website: www.vnu.edu.vn Địa chỉ: 144 Xuân Thủy, Hà Nội - C c t ổ c h ứ c p h ố i h ọ p c h í n h t h ự c h i ệ n đ ề t i {nếu có) - C c c n b ộ t h ự c h iệ n đ ề tài (Ghi nhũng ngieời có đóng góp khoa học thực nội dung thuộc tố chức chì trì to chức phoi hợp tham gia thực để tài, không ngirời kê cà chù nhiệm để tài) T c c h t h a m gia (Chú nhiệm đê tài/U v viên) N ội d u n g c ô n g v iệ c t h a m g ia T h ò i g ia n n v iệ c ch o đ ê i (Số th n g quy đii2) Trường ĐHCN C h ủ n h iệ m N g h iê n u 12 th án g Họ v tên, T ổ chức học h m , h ọc vị c ô n g tác T S Đ ặn g Đ ức H n h T S T ô V ăn K h án h -n t- ủ y v iê n N g h iê n u 12 th án g T hS V ũ Q u an g D ũ n g -nt- ủ y v iên N g h iê n c ú n 12 tháng II MỤC TIÊU, NỘI DUNG VÀ SẢN PHÀM D ự KIẾN 10 M ụ c tiê u (b m sá t cụ th ê h ó a đ ịn h h n g m ụ c tiêu th eo đ ặ t h n g - n ế u có) Ngày nay, phần m ềm có tầm ảnh hưởng sâu rộng đến hầu hêt lĩnh vực sốig Phần mềm ngày trỏ' nên phức tạp, tiêu chí chất lượng phần mềm ngày cao, đặc biậ khả thích ứng nhanh với yêu cầu mới, xu hướng rút ngan vòng đời phát trùn Phát triên phần mềm đặt nhũng thách thức mói vê cải tiến phương pháp, quy trinh céng cụ phát triền Lược đồ phát triển phần mềm hướng mơ hình (m o d e l-d riv e n d e v e lo p m e n t) ên phương thức phát triển phần mềm mới, thu hút quan tâm đặc biệt công đ('ng nghiên cứu giới công nghiệp Mục tiêu đặt đề tài nghiên cứu công nghệ lõi cho lược đồ phát triển hướng mô hnh phương diện sờ lý thuyết công cụ hỗ trợ Đe tài tập trung nghiên cứu vấn đê thao ác mơ hình quy trình phát triển hướng mơ hình, đặc biệt thao tác chun mơ hình Chúng :ơi đề xuất xây dựng sở hình thức tốn học cho thao tác mơ hình với mục tiêu tự động hóa đảm bảo tính đắn cho thao tác mơ hình Trên sở hình thức đó, chúng tơi nghiên 0111 phát triển công cụ phần mềm hỗ trợ đặc tả, thực thi đảm bảo chất lượng thao tác mô hhh Một (01) tháng quy đối tháng làm việc gồm 22 ngày, ngày làm việc gồm tiếng Khung thao tác mơ hình cho phép tăng tính tự động hóa phát triên phân mêm đảm bào chất lượng phần mềm Hơn nữa, khơng hỗ trợ cho phát triển hướng mô hỉnh mà cịn dùng cho tiếp cận hướng mơ hình nói chúng Đê tài đơng thời hướng đến việc đào tạo nghiên cứu bậc đại học sau đại học phương pháp tiếp cận hướng mơ hình, khả tăng cường tiềm lực khoa học đon vị 11- N ội d u n g N C K H (Nêu rõ nội d u n g khoa học, công nghệ cẩn g iả i quyết, hoạt động đế thực nội dung tạo sản phârn; ỷ nghĩa, hiệu việc nghiên cứu, p h n g án giải quyết, chí rõ nội dung mói, tính kê thừa p h t triên, n ội dung có tính rủi ro giải p h p khắc phục, ghi rõ chuyên để can thực hiện) Nội dung - X ây d ự n g c s h ì n h t h ứ c c h o c c t h a o t c m h ì n h C h ú n g tập trung vào vân đề sau: (1) Tổng họp tình thao tác mơ hình q trình phát triển phần mềm, (2) Mô tả ngũ' nghĩa thao tác mơ hình tình cụ thể Giải pháp mà đưa dựa vào phương pháp chuyển đồ thị phương pháp biểu diễn mô hình với siêu mơ hình Dựa vào sờ hình thức xác định nội dung 1, tập trung đề xuất ngôn ngữ mô tả thao tác chuyển mơ hình Nội dung triển khai theo chuyên đề sau: - Chuyên đê 1: Thu thập tổng họp tình thao tác mơ hình phát triển phân mềm, đồng thời xây dựng case study tương ứng - Chuyên đề : Đe xuất phương pháp thao tác mơ hình dựa kỹ thuật tích họp (1) biểu diễn mơ hình dựa vào siêu mơ hình sở lược đồ hướng đối tượng ràng buộc logic (2) thao tác mơ hình dựa vào thao tác chuyển đồ thị - Chuvên đề : X ây dựng thử nghiệm ngơn ngữ mơ tả thao tác mơ hình RTL Nội d u n g - Đ ảm bảo ch ấ t lượng thao tác mơ hình Chúng tơi tập trung vào phương pháp đảm bảo tính đắn thao tác mơ hình M ục đích để thiết lập mơi trường cho hoạt động đặc tả, thực thi đảm bảo chất lượng thao tác mơ hình Chúng tơi triển khai theo chun đề sau: - Chuyên đề : Tổng họp tiếp cận đàm bảo chất lượng thao tác mơ hình - Chuvên đề : Đe xuất, cài đặt đánh giá phương pháp đảm bảo chất lượng thao tác mơ hình - Chuvên đẽ : Đe xuất kỹ thuật kiểm thử đảm bảo tính đắn thao tác mơ hình N ộ i d u n g - X â y d ự n g c ô n g c ụ h ỗ trọ' v k ế t q u ả t h ự c n g h i ệ m C h ú n g t ô i tậ p t r u n g p h t tr iể n công cụ hỗ trợ đặc tả thực thi thao tác mơ hình, đảm bảo tính đắn chúng Nội dung triển khai theo chuyên đề sau: - Chuvẽn đề : Công cụ phần mềm hỗ trợ đặc tả thực thi thao tác mơ hình Thử nghiệm đánh giá cơng cụ hỗ trợ cho hoạt động đặc tả đảm bảo chất lượng thao tác mơ hình 12 - S ả n p h â m d ự k iến (Cụ thê hóa, thuyết m inh rõ sàn phấm khoa học dự kiến , vấn đề , nội dung khoa học giớ i đem lại nhữ ng đóng góp m ới cho nhận thức khoa học, p h t mới, sàn phâm công nghệ m ới (phương pháp mới, quy trình cơng nghệ ), giải p h p hữu ích, patent, hệ thong thơng tin, d ữ liệu m ới s ẽ tạo ra, khà n ăng tạo thươngphấm , hợp tác mới, dịch vụ ) Sàn phẩm dự kiến đề tài gồm có (1) ngơn ngữ mơ tả thao tác mơ hình, (2) số phương pháp đảm bảo chất lượng thao tác mơ hình, (3) cơng cụ phẩn mềm hỗ trợ đặc tả thực thi thao tác mơ hình: thao tác chuyến từ mơ hình ngn sang mơ hình đích ngược lại, chun đồng tiến hóa mơ hình, chuyển tích họp mơ hình chuyển đồng hóa mơ hình 13 - T ổ n g q u a n t ì n h h ì n h n g h i ê n c ứ u t r o n g v n g o i n i r ó c v đ ề x u ấ t n g h i ê n c ứ u c ú a đ ề t i 13 ỉ Đ n h g iá to n g q u a n tình hìn h n g h iê n u lý luận th ự c tiễn th u ộ c lĩn h v ự c c ủ a Đ e tà i N g o i n c (Phân tích đánh giả nhữ ng cơng trình nghiên cứu có liên quan, nh ữ n g kết quà nghiên cừu lĩnh vực nghiên cíni cùa đ ề tài; nêu bước tiến trình độ K H & C N kết quà nghiên cứu đó; van đề K H C N can p hái nghiên cứu, giải quyết) Ngày nay, phát triển phần m ềm hướng mơ hình lên giải pháp hữu hiệu nhằm tăng tính tự động hóa q trình phát triển phần mềm nâng cao chất lượng, giảm chi phí sản phẩm Tư tưcmg cốt lõi lược đồ lấy mơ hình phần mềm làm trung tâm [1], Q trình phát triển thực theo hai hoạt động [2]: biểu diễn mơ hình [3] thao tác mơ hình, đặc biệt th a o tá c ch u y ể n m h ìn h (m o d e l tra n sfo rm a tio n ) v sinh m ã tự đ ộ n g (c o d e g en e tio n ) Chuyển mơ hình sử dụng tình khác với mục đích (1) tích hợp khung nhìn khác hệ thống, (2) phản ánh mơ hình tù' miền đặc tả khác nhằm nâng cao khả phân tích mơ hình, hay (3) tìm mối liên hệ tương ứng mơ hình ngơn ngữ khác Trong trường hợp đó, việc biểu diễn xác mơ hình đảm bào tính đắn cho thao tác mơ hình cần thiết Tuy nhiên, thách thức tính đa dạng mơ hình thao tác mơ hình [2], Để thực hóa thao tác mơ hình cách xác địi hỏi sỏ' hình thức chặt chẽ mặt toán học {formal foundation) xem xét theo khía cạnh sau: (1) Phát triển ngơn ngữ để biểu diễn mơ hình mơ tả chuyển mơ hình, (2) B iểu d iễ n m h ìn h th ự c th i c c c h u y ể n m ô hìn h : từ m hình sa n g m h ìn h ( m o d e l2 m o d e l), từ đặc tả văn sang mơ hình (text2m o del) tù' mơ hình sang văn (m o d e l2 tex t), sinh mã nguồn dạng chuyển đặc biệt Một số tiếp cận để biểu diễn chuyển mơ hình đề xuất, chẳng hạn xây dựng thực hóa chuẩn QVT [4] cho chuyển mơ hình, đề xuất ngơn ngũ' chuyển ATL [5], hay (3) vận dụng văn phạm đồ thị chuyển đồ thị [6] Tuy nhiên, đến việc đề xuất tiếp cận phù họp cho chuyển mơ hình đảm bảo chất lượng chuyên “chủ đề nóng” cơng nghiệp cộng đồng nghiên cứu [7], T r o n g n ó c (Phân tích, đánh giá tình hình nghiên cíni nước thuộc lĩnh vực nghiên cínt đê tà; đặc biệt p h i nêu cụ kết nghiên cứu liên quan đến đê tài m cán tham gia đê tài thực Nếu có để tài chất thực cấ p khác, noi khác p h ả i giãi trình rõ nội dung liên quan đến đ ể tài này; Nếu p h t có đê tài tiến hành m để tài có thê phối hợp nghiên cứu cân ghi rõ Tên đê tài, Tên Chủ nhiệm đè tài c quan chủ trì đẻ tài đó) Theo khảo sát chúng tơi, hướng nghiên cím mói mẻ Việt Nam, chủ yếu thực Bộ môn CNPM, Trường ĐH Công Nghệ, ĐHQGHN Tuy nhiên, kết nghiên cứu đề tài (kỹ thuật hướng mơ hình - Model-Driven Engineering - M DE) có giá trị số hướng nghiên cún: (1) hướng kiểm thử phần mềm dựa mô hỉnh thực nhóm nghiên cún Trường ĐHCN, ĐHQGHN, Trường ĐHBKHN, Trường ĐHBK HCM Viện CNTT, hay (2) hướng nghiên cứu mơ hình chun biệt miền thực theo dự án phối họp VNƯ-UET, VNU-IFI, ĐH Kyoto Nhật V iện LAAS/CNRS Pháp Thông tin chi tiết dự án đăng tải theo trang web sau: http://www,doesnotunderstand.org/public/CloudSim Bot 13.2 Định hướng nội dung cần nghiên círu Đe tài, luận giải cần thiết, tính cấp bách, ý nghĩa lý luận thực tiễn (Trên sở đánh g iá tình hình nghiên cứu ngồi nước, phân tích nhữ ng cơng trình nghiên cứu có liên quan, kêt m i lĩnh vực nghiên cíni đê tài, cân nêu rõ vấn đế cịn tơn tại, từ nêu m ục tiêu nghiên cứu hướng giái mói, nội d ung cẩn thực - trù lời câu hói đẽ tài nghiên cứu g iả i vấn đ ể gìi, thuận lọi khó khăn cần giải quyết) Đe đáp ứng yêu cầu cấp thiết sờ hình thức cho ngôn ngữ chuyển, đề tài tập trung vào hướng tiếp cận mơ hình biểu diễn siêu mơ hình dạng đồ thị Chun mơ hình thực hóa thông qua chuyển đồ thị Trong tiếp cận chúng tôi, ràng buộc OCL (O bject Constraint Language) tích họp vào luật chuyển đồ thị để tăng khả d iễn đạt chuyển Trên CO' sờ hình thức đó, chúng tơ i đề xuất ngôn ngũ’ để biêu diên thao tác mô hình Chúng tơi có thử nghiệm sơ theo hướng tiếp cận báo cáo [7], Đe tài tiếp tục tập trung kháo sát cải tiến khả diễn đạt ngôn ngũ' chuyển dựa tình chuyển mơ hình khác Định hướng đề tài vấn đề đảm bảo chất lượng thao tác mơ hình Đe tài tập trung đề xuất kỹ thuật đảm bảo chất lượng thao tác mơ hình dựa đặc tả thực thi chuyển với ngôn ngũ' mô tả thao tác mơ hình đề xuất Chất lượng thao tác mồ hình xem xét với giả định dạng OCL cho tính chất cùa mơ hình, bất biến chuyển, tính đăn (well-formedness) mơ hình, tiền hậu điều kiện cùa phép tốn chuyển Đồng thời, chúng tơi sâu tìm hiểu đề xuất kỹ thuật sinh ca kiểm thử cho thao tác mơ hình để đảm bảo tính đắn hợp lệ 14 - L i ệ t k ê d a n h m ụ c c c c n g tr ìn h n g h i ê n c ứ u , tà i liệ u có liê n q u a n đ ế n đ ề tài đ ã tr íc h d ẫ n đ án h giá tô n g q u a n [1] Jack G reenfield, Keith Short, Steve Cook, and Stuart Kent Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools Wiley, 1st edition, 2004 [2], Robert France and Bernhard Rumpe Model-driven Development o f Complex Software: A Research Roadm ap EEEE Computer Society, 2007 [3], Jean Bezivin On the Unification Power o f Models Software and System Modeling (SOSYM), 4(2): 171-188, 2005 [4], OMG: M eta O bject Facility (MOF) 2.0 Q uery/view fl’ransformation Specification, Final A d o p te d S p e c ific a tio n p tc /0 -07-0 O M G , 20 [5], F Jouault, F A llilaire, J Bezivin, and I Kurtev ATL: A model transformation tool Science o f C om puter Programming, (l-2 ):3 1-39, 2008 [6] Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer Attributed Graph Transformation with Node Type Inheritance Theoretical C om puter Science, 376(3): 139-163, 2007 [7], Duc-Hanh Dang and Martin Gogolla An Approach for Quality Assurance o f Model Transform ations Proc 4th International Conference on Knowledge and Systems Engineering (K SE 2012), Dancing, Vietnam, August 17-19, 2012, pp 223-230, IEEE Com puter Society, 2012 15 - C c h tiếp c ậ n , p h n g p h p n g h iê n c ứ u , k ỹ th u ậ t s d ụ n g (Luận rõ cách tiếp cận vấn đề nghiên cứu, thiết kế nghiên cứu, p h n g p h p nghiên cứu, kỹ thuật sử dụng gắn vói tìm g nội dung để tài; so sánh với p h o n g p h p giải tương tự khác phân tích để làm rõ tính mói, tính độc đáo, tính sáng tạo cùa đê tài) C ách tiếp cận: Đe tài tập trung xây dựng case study (về thao tác mơ hình), từ đề xuất phương pháp giải quyết, công cụ hỗ trợ, thực đánh giá thử nghiệm cơng cụ P hưig p h áp nghiên cứu, kỹ th u ậ t sử dụng: Đê tài sử dụng phương pháp hình thức thực nghiệm để rút kết luận so sánh kết đạt Đe tài tập trung phát triển sờ hình thức chặt chẽ cho thao tác mơ hình, cung cấp ngữ nghĩa xác cho hoạt động Đây sỏ' để tự động hóa đảm bảo chất lượng cho thao tác mơ hình Ngơn ngữ mơ tả thao tác mơ hình đề xuất đề tài mặt cho phép ngưòi phát triển biểu diễn thao tác mơ hình, mặt khác, mở khả T ín h m i, tín h đ ộ c đ o , tín h s n g tạ o : nâng tích họp cơng cụ với để tăng tính hiệu thao tác mơ hình 16 - K h ả n ă n g s d ụ n g c s v ậ t c h ấ t, tr a n g th iế t bị (tên ph ò n g thi nghiệm sử dụng để tài) Đề tài sử dụng trang thiết bị Bộ mơn CNPM, Khoa CNTT, Trưịng ĐHCN, ĐHQGHN 17 - P h o n g n p h ố i h ọ p v ó i c c tố c h ứ c n g h iê n c ứ u v c sỏ s ả n x u ấ t t r o n g n ó c (nếu có) (Trình bày rồ phương án phối hợp: tên tố chức phối họp tham gia thực đẻ tài nội dung công việc tham gia để tài, kể cá sở sàn xuất nhũng người sử dựng kết nghiên cún; khả đóng góp vê nhân lực, tài chỉnh, sở hạ tâng-nêu có) 18 - P h n g n h ọ p t c q u ố c t ế (nếu có) ( Trình bày rõ phương án phối họp: tên đối tác nước ngoài; nội dung hợp tác- đ ố i với đối tác có hạp tác từ trước; nội dung cán họp tác khn khơ để tài; hình thức thực Phân tích rõ lý cân họp tác d ự kiến kết hợp tác, tác động hợp tác kết Đ e tà i) 19 - T ó m tắ t k ế h o c h v lộ t r ìn h ST T M ụ c tiêu t h ự c liiệ n ( L O G F R A M E ) Sản C ác nội dung, phấm hoạt động ch ủ yếu Nội dung Đe xuất c s hình thức cho thao tác mơ hình xây dụng ngôn ngữ mô tả thao tác mô hình - 01 báo tạp chí nước - 01 khóa luận Chuvên đề 1: Tổng họp chuyển mơ hình Đe xuất kỹ thuật đảm bảo chất lượng thao tác mơ hình Đề xuất kỹ thuật sinh ca kiểm thủ' cho thao tác mơ hình - 01 luận văn - 01 báo hội nghị quốc tế - khóa ln - cơng cụ hơ trợ thao tác mơ hình Thịi D ự kiến C nhân, kinh phí tổ c h ứ c g ia n (Tr đ) th ụ c h iện * (bắt đầu, kết thúc) 30 10 N C S C h u M in h H uệ, HV Dương Ngọc Lâm 07/201408/2014 Chuvên đê 2: Phương pháp ch u y ể n d ự a lược đồ hướng đối tưọng, ràng buộc logic, thao tác chuyển đồ thị Chuvên đê 3: Ngôn ngữ mô tà chuyển RTL N ội d u n g - 01 báo hội nghị quốc tế Đ iề u k iện t h ự c Chuvên đê 4: Tổng họp đảm bảo chất lượng chuyển mô hình Chuvên đê 5: Đe xuất, cài đặt đánh giá phưưnệ pháp đảm bảo chât lượng thao tác mô hình Nội d ung 10 10 HV Dương Ngọc Lâm 08/201409/2014 TS Đặng Đức Hạnh, TS Tô Văn Khánh 10/201412/2014 NCS Chu M inh Huệ, HV Nguyễn Khoa Hải 01/201505/2015 T S Đ ặn g Đ ứ c H ạn h , 40 10 30 TS Đặng Đức Hạnh, HY Nguyễn Khoa Hải, ThS V ũ Q uang D ũng 06/2015i 0/2015 40 Chuvên đề 6: Đe xuất kỹ thuật kiểm thử thao tác mơ hình 10 Chuvên đê 7: Tích họp mơ đun đảm bảo chất lượng chuyển với cơn? cụ USE 30 TS.TƠ Văn Khánh, T h S V ũ Q u a n g D ũng, NCS Chu Minh Huệ TS Đặng Đức Hạnh, TS Tô Văn Khánh, NCS Chu M inh Huệ * G h i n h ữ n g cá n h â n có tê n tạ i M ụ c 10 n g h iê n u sinh, h ọ c viên c a o h ọ c th a m g ia 11/201502/2016 03/201606/2016 III HÌNH THỬC SẢN PHẨM KHOA HỌC CỦA ĐÊ TÀI C ấ u t r ú c d ự k iế n b o c o k ế t q u ả c ủ a đ ề tài Đặt vấn đề Các nghiên cún liên quan Cơ sở hình thức cho thao tác mơ hình Ngơn ngữ mơ tả thao tác mơ hình Đảm bảo chất luợng thao tác mơ hình Thực nghiệm đánh giá Thảo luận Kết luận 21 Bài báo, báo cáo, sách chuyên khảo: Số báo đăng tạp chí quốc gia: 01 Sổ báo đăng tạp chí quốc tế: Số báo cáo khoa học, hội nghị khoa học nước: Số báo cáo khoa học, hội nghị khoa học quốc tế:02 Sách chuyên khảo sản phẩm khác dự kiến công bố: STT T ên sản p h ấ m N ộ i d u ng, yêu cầu D ự k iến n i c ô n g b ố (dự kiến ) k h oa học cần đạt (Tạp chí, N hà xuất bàn) C hi 22 P h o n g p h p ; T i ê u c h u ẩ n ; Q u y p h m ; P h ầ n m ề m m y tín h ; B n v ẽ t h i ế t kế; Q u y tr ìn h (phương pháp, quy trình, mơ hình, ); Đe án, qui hoạch; Luận chứng kinh tế-kỹ thuật sản phẩm khác c ô n g n g h ệ ; S o đ , b ả n đ ; s ố l i ệ u , C o sỏ' d ữ l iệ u ; B o c o p h â n t í c h ; T i l i ệ u d ự b o T ên sản p h âm STT G hi Y cầu khoa học (dự kiến) Công cụ phần mêm hô trợ thao tác mơ hình Tài liệu đặc tả phẩn mềm 23 Sản p h ấm công n gh ệ Mau (model, m aket); Sản phẩm (là hàng hố, có thê tiêu thụ thị trưỊTĩg); Vật liệu; Thiết bị, máy móc; Dây chuyền công nghệ loại khác; STT T ên sản p h ẩ m Đon M ứ c c h ấ t lư ợ n g cầ n đạt, D ự k i ế n s ố l ợ n g / q u y IĨ1Ô s ả n v ch í tiêu c h ấ t vị đo M ầ u tư o n g tự (th eo p h ấ m t o lư ợ n g chủ ỵếu củ a sản p h ẩ m tiêu c h u ấ n m ó i n h ấ t) Thê giới Trong nước 24 S ả n p h ẩ m d ự k iế n đ ă n g k ý b ả o h ộ q u y ề n s h ữ u c ô n g n g h iệ p , g iả i p h p h ữ u ích, b a n g sán g chế: Không 25 S ản p h ấ m đ o tạo STT C ấ p đ o tạo Số lu ọ n g N h iệ m v ụ đ ọ c g iao G hi liê n q u a n đ e n đ ê tài (D ự kiến kinh p h í ) Đ v ị: T r iệ u đ n g - Tiến sĩ - Thạc sĩ Cử nhân 26 C ác sản p h â m kh ác 01 Nghiên cứu tổng quan cài đặt cơng cụ 20 02 Tìm hiểu, cài đặt thử nghiệm công cụ 10 (Ghi rõ: Hợp đồng, sách ): Khơng IV KHẢ NĂNG ỬNG DỤNG VÀ TÁC ĐỘNG CỦA KÉT QUẢ NGHIÊN cử u 27 - K h ả n ă n g ứ n g d ụ n g kết q u ả n gh iên cử u 27.1 Khả ứng dụng lĩnh vực đào tạo, NCKHCN, sách, quản lý Kêt nghiên cứu hỗ trợ tiếp cận hướng mô hình, đào tạo, kết đề dự kiến đưa vào giảng dạy sau đại học 27.2 Khà ứng dụng thực tiễn (phát triên kinh tế -XH, sản xuất hàng hóa ) Cơng cụ phần mềm góp phần tăng chất lượng phần mềm giảm chi phí phát triển 27.3 Khả liên doanh liên kết với doanh nghiệp trình nghiên cứii Liên kết với đon vị làm phần mềm có kết khả quan 28 - P h m v i v đ ịa c h í ( d ự k iế n ) ứ n g d ụ n g cá c k ế t q u ả c ủ a đ ề tài: 29 - T c đ ộ n g v lọ i ích m a n g lại c ủ a k ế t q u ả n g h i ê n c ứ u Không 29.1 Đ ố i vớ i lĩn h vực K H & C N có liên qu an (Nêu dự kiến đóng góp vào lĩnh vực khoa học công nghệ trung nước quốc tế, đóng góp mói, mờ hirớng nghiên cúv thơng qua cơng trình cơng bố ngồi nước) Góp phần nâng cao vị đơn vị NCKH thông qua công bố quốc tế Đ ô i vớ i k in h tế - x ã h ộ i bào vệ m ô i trư n g (Nêu tác động dự kiến cùa kết quà nghiên cúv đói với xã hội: đóng góp cho việc xây dựng chủ trương, sách, pháp luật có tác động làm chuyến biến nhận thức xã hội, sụ■phát triển kinh tế xã hội báo vệ môi trường)' Ket đề tài khơng có tác động trực tiếp đến lĩnh vực Đ ô i vớ i tô c h ứ c c h ủ trì c s ím g d ụ n g k é t q u ả n g h iê n u (Đoi với đơn vị tổ chức thuộc Đ H Q G ỷ tới: nâng cao trình độ, lực cán khoa học, cán g iả n g dạy, cán quàn l ý ; tăng cường thiết bị ) Đe tài giúp tăng cường lực nghiên cứu ứng dụng Bộ môn CNPM Khoa CNTT 29.4 K in h p h í c c nguồn lự c khác m đ ể tà i có th ể đ e m lại: K hông 10 K Pl - * MNỈỈPUÍTHựCIIlỆNDÈTÀI 200.000.000 ựỉni trăm triựu đỏng cliẵn) **u r c * ' ^ n P h â n b ổ k in h p h í : Đ u n vị lín h: ĩ r i ộ u d n g TI - v ^ — _ J d ự n g đề cươ ng K i n h p lií N 0' d u »R chi tiềt 2.0 T h u—t l l â n —v à— vù*t n u.1 a í.\ĩ r ILl tnnrr ‘One q n ta i lìỌu ngliifn11 •C*1Ujr e n m ”n tra, khảo sát, thí nghiệm, tint thập sá li(v, C h i p h í th u ê m n 3.U u u 0 0 n ồm c h u y ê n d , , v ả 6) C l ú p h í t lu iê ìm r n : C h u y ê n đ loạ i (bao Rồm c h u y ê n đò va 7) C h i |)h í c h o d o ta o IIỘi t l i ủ o k h o a h ọ c , v i ế t b o c o t ổ n g kết, n g h iệ m thu Vict báo cáo tổng két 1 0 4 /2 0 /r r L T -U T C ÌĨ Ì^ ' 50.0 X 10.0 0 02 X 0 4 /2 0 /T T L T -IiT C -IỈK l^ P 44 /2 0 /T T L T -U T C -IỈK I1C N 0 18 / Ọ Đ - Đ I I Ọ G I ỈN 7.0 4 /2 0 /T T L T -B T c ĩỊ^ ~ j 12 4 /2 0 /T T L T -B T Õ m õ ^ i V iố l b o c o tiốn đ ộ 4 /2 0 /T T L T -D T C M Ĩĩã ? ịp N r Iũ ộ i h thu 4 /2 0 /T T L T -B T C ^ ĨĨ? fp T r c h n h iệ m d iều h n h ch u n g ch ủ n h iệm đò liu 0 44/2007/TTLT-BTC-BKHCN 2.0 /Ọ Đ -Đ H C N Q u n lý c h u n g nh iO m v u K I I & C N Chi khác Mua văn phòng phẩm In â n , p h o t o c o p y í T ố n ự k in h p h í 0 K ý tên _ T S Đ ặng Đ ức H ạnh 12 nned bỵ CamScanner ỉ ^ TÓM TẤT lcn đ ctA i: G j s hình tlnrc v c ó n g cụ h ỗ t i y c h o tlirto t;\c nu' h l u h (UMtiỊ |'li;U tiỉẻn p h â n m ề m lu r ỏ n c m hình Ma sổ: QG.14. C h ủ n h i ệ m : T S Đ ặ n g D c Hạnh Đ o n vị t h ự c hiện: Đ H Ọ G H N Đ e m v ị p h ố i hợp: T r u í m g Đ ĩ ỉ C ò n g n g h ệ , Đ H Q G H N Thời gian: từ 7/2014 đón 7/2016 M ụ c tiê u : X â y d ự n g c s h ìn h thức to An h ọ c chặt c h ỉ c h o Cik thao tđc inữ lùnti Đ ô x u â t n g ô n n g ữ b iể u d iễ n v tliụv: thỉ thao tỉVc IHỎ hìn h n ề n Uuuĩ c s a h ì n h t h c tưcmcỉ ửiic P h t tr iề n b ộ c ô n g c ụ hỗ trợ đ ặ c tà, thực thi d;\m h i o ehÀt l« v t i£ t h a o t tk m hình Đ o tạ o bẠc đại h ọ c v sau it(ù học N ội d u n g : X ây đụng sỡ hình thức cho c i c thao tác mỏ hình - T h u tliập v t n u h ọ p c c tìn h luiổnvĩ ih a o tỉta m hình - Đề xuẨt phương pháp thao tác mỏ h ìn h d\r.» tr£‘t\ (l) I'icu itìẽ u mỏ hình sử dụng siêu mơ hình v;\ c i c rủng buộc logỉc \ì\ (2 ) thao tỉk' U1Ỏ hình trvu c s c h u y ể n đ ô thị - X ả y d ự n c v t h n g h i ệ m niĩôn n g ntỏ tà tliao t i k m ỏ l\ìuh R T L , Đ ả m b o c h t l ọ n c iliao tác m ỏ hình - T ổ n g h ọ p c c tiếp c ậ n đ ả m bão chẩt lư ự n g thao tỉ\c m ỏ hình - Đ ề x u ấ t , cà i d?t v thừ n g h i ệ m phirưng phảp đ ả m M o ch/u Urvtl£ th a o t;\c m ỏ hình - Đ x u ấ t k ỷ thuật k i ề m lliử đ ả m thao tá c m hình X â y d ự n c c ó n g c ụ h ỗ trợ két tli\rc n g h iệm - X ây dựng thử nghiệm phàn niềm hỗ trự đ ặ c tà Yì\ tliụv thi thao tt\c mỏ hình K ct q u ilự k ic n : S n p h ẩ m k h o a h ọ c : M o c o ilAng k ỷ YCU h ộ i ivghi q u ố c t é C\S p l ù n b i ệ n th u ộ c hv t h o n g I E E E / S c o p u s vả 01 hải c h u y i n san C N T T & r r V N Ư S a n p h ẩ m c ô n g ncliộ : 01 c ô n g C\I phàn m ề m h trự th a o t k iikN hìn h Sàn phẩm