Ngôn ngữ mô hình hóa chuyên biệt miền cho
các yêu cầu bảo mật

Chu Thị Minh Huệ

Trường Đại học Công nghệ
Luận văn Thạc sĩ ngành: Công nghệ phần mềm; Mã số: 60 48 10
Người hướng dẫn: TS Đặng Đức Hạnh
Năm bảo vệ: 2011

Abstract: Giới thiệu chung về cơ sở lý thuyết của phương pháp phát triển phần mềm
hướng mô hình với hướng tiếp cận là mô hình hóa chuyên biệt miền (DSML), phân
tích lợi ích của DSML, cũng như các công cụ hỗ trợ cho mô hình hóa chuyên biệt
miền. Nghiên cứu về miền bảo mật, xác định metamodel, các luật ràng buộc cho miền
bảo mật theo mô hình điều khiển truy cập dựa trên vai trò của người dùng (RBAC).
Trình bày về cài đặt và kết quả thử nghiệm DSML cho miền bảo mật trên phần mềm
mã nguồn mở Eclipse. Vận dụng DSML cho RBAC.

Keywords: Phần mềm; Mô hình hóa; Bảo mật; An toàn dữ liệu

Content Các hệ thống phần mềm hiện đại ngày nay càng ngày càng trở lên phức tạp. Khi phát
triển đòi hỏi giảm thời gian, giảm chi phí nhưng lại phải tăng chất lượng phần mềm để
tăng tính cạnh tranh và đáp ứng các nhu cầu sử dụng phần mềm trên tất cả các lĩnh
vực khác nhau của đời sống con người.
Để giải quyết vấn đề nghịch lý trong phát triển phần mềm người ta đề xuất giải pháp
phát triển các framework phục vụ cho phát triển phần mềm. Tuy nhiên những giải
pháp đó cũng không đủ để đáp ứng các nhu cầu của ngành công nghiệp phần mềm và
việc phát triển phần mềm vẫn thủ công dựa vào con người là chủ yếu. Vì vậy việc nghiên

bảo mật”. Mục tiêu của đề tài là tìm hiểu phương pháp phát triển phần mềm hướng mô
hình với hướng tiếp cận là mô hình hóa chuyên biệt miền. Trong đề tài này chúng tôi
tập trung tìm hiểu nền tảng, phương pháp, công cụ phát triển ngôn ngữ mô hình hóa
chuyên biệt miền và cài đặt thử nghiệm cho miền bảo mật với tool Eclipse. Việc xây
dựng bộ sinh code tự động cũng như tích hợp ngôn ngữ mô hình hóa chuyên biệt
miền với các ngôn ngữ mô hình hóa khác như UML hoặc ngôn ngữ mô hình hóa
hóa chuyên biệt miền với miền khác, sẽ không được xem xét trong đề tài này.
Luận văn được cấu trúc thành 4 chương như s
au
:

o Chương 1. Tổng quan về mô hình hóa chuyên biệt
m
iề
nChương này giới thiệu chung về cơ sở lý thuyết của phương pháp phát t
r
iển phần
mềm hướng mô hình với hướng tiếp cận là mô hình hóa chuyên biệt miền, phân tích
lợi ích của DSML, cũng như các công cụ hỗ trợ cho mô hình hóa chuyên biệt miền.
o Chương 2. Mô hình hóa chuyên biệt miền cho miền bảo
m
ậ
t

Chương này trình bày về miền bảo mật, xác định metamodel, các luật
r
à

developing repositorybased", VTT Publications, Oulu, research project 2008.
[3]
Robert A. Maksimchuk, Michael W. Engle, Bobbi J. Young, Ph.D.Jim Conallen, Kelli A.
Houston Grady Booch, “Object-Oriented Analysis and Design with Applications”, the
United States on recycled paper at Courier in Westford, Massachusetts, April, 2007.
[4]
Group Object Management, "Object Constraint Language", OMG, formal/06-05-01,
2006.
[5]
Richard C. Gronback, “Eclipse Modeling Project A Domain-Specific Language”,
United States of America, 2009

3
[6]
Rick Kuhn, "Role Based Access Control" American National Standards, Apr. 2003.
[7]
David Dean, Anna Gerber, Gunnar Wagenknecht, Philippe Vanderheyden Bill Moore,
“Eclipse Development using the Graphical Editing Framework and the Eclipse
Modeling Framework”, ibm.com/redbooks, 2004.
[8]
Đặng Văn Đức, “Phân tích thiết kế OPP bằng UML”, NXB Giáo dục, 2002.
[9]
Petter Graff Vladimir Bacvanski, “Mastering Eclipse Modeling Framework”, 2005,
Elipse.
[10]
Reena Cherukuri Dr. Saeed Rajput, Role Based Access Control Models, Slide.
[11]
Elisa Chiarani (UNITN),Edith Felix (THA),Benjamin Fontan (THA), Charles Haley (OU),
Fabio Massacci (UNITN), Zoltán Micskei (BME), Bashar Nuseibeh (OU), Federica Paci
(UNITN), Thein Tun (OU) Yijun Yu (OU), Dániel Varró (BME) Gábor Bergmann