Tóm tắt Luận án Tiến sĩ ngành Công nghệ thông tin: Mô hình hóa và đặc tả hình thức các giao diện thành phần có chứa chất lượng dịch vụ và tính tương tranh

Luận án trình bày nội dung tóm tắt các nghiên cứu nền tảng cho các nghiên cứu tiếp theo của luận án, đưa ra lý thuyết vết thời gian dựa trên vết Mazurkiewicz, trình bày một ứng dụng của lý thuyết vết trong việc mô hình hóa hệ thống tương tranh thời gian thực dựa trên việc sử dụng vết thời gian cho đặc tả các thể thức giao diện thành phần được mở rộng từ lý thuyết rCOS,... Để biết rõ hơn về nội dung chi tiết, mời các bạn cùng tham khảo.
Nội dung trích xuất từ tài liệu:
Tóm tắt Luận án Tiến sĩ ngành Công nghệ thông tin: Mô hình hóa và đặc tả hình thức các giao diện thành phần có chứa chất lượng dịch vụ và tính tương tranhĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆĐỖ VĂN CHIỂUMÔ HÌNH HÓA VÀ ĐẶC TẢ HÌNH THỨCCÁC GIAO DIỆN THÀNH PHẦN CÓ CHỨACHẤT LƯỢNG DỊCH VỤ VÀ TÍNH TƯƠNG TRANHLUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TINHà Nội – 2014Công trình được hoàn thành tại khoa Công nghệ Thông tin,Trường Đại học Công nghệ , Đại học Quốc Gia Hà Nội.Người hướng dẫn khoa học:TS. Đặng Văn HưngPGS.TS. Nguyễn Việt HàPhản biện 1: ………………Phản biện 2: ………………Phản biện 3: ………………Có thể tìm hiểu luận án tại:-Thư viện Quốc gia Việt Nam-Trung tâm Thông tin – Thư viện, Đại học Quốc gia HàNộiChương 1 Giới thiệu1.1 Giới thiệuTrong luận án này, chúng tôi tập trung nghiên cứu đề xuấtphương pháp hình thức hỗ trợ mô hình hóa và đặc tả các giaodiện thành phần có chứa các ràng buộc thời gian và tính tươngtranh và xây dựng ứng dụng. Ý tưởng cơ bản của phương phápđề xuất trong luận án là mở rộng về thời gian trên vếtMarzukiewicz. Kết quả của mở rộng này là đưa ra lý thuyết vềvết thời gian, ô-tô-mát đoán nhận ngôn ngữ vết và logic đặc tảthuộc tính vết cũng như mối quan hệ giữa chúng. Để chứng minhtính hiệu quả của phương pháp đề xuất, chúng tôi áp dụng lýthuyết này mở rộng một số mô hình thiết kế hệ thống hướngthành phần để hỗ trợ đặc tả các thuộc tính tương tranh có cácràng buộc thời gian. Thứ nhất, chúng tôi đề xuất một phươngpháp hình thức cho đặc tả các hệ thống tương tranh thời gianthực hướng thành phần dựa trên mô hình của lý thuyết rCOS.Thứ hai, luận án đề xuất mở rộng mô hình thiết kế dựa trên giaodiện cho các hệ tương tranh có ràng buộc thời gian bằng cácô-tô-mát giao diện tương tranh thời gian. Thứ ba, luận án đã xâydựng một ứng dụng của vết thời gian hỗ trợ đặc tả và kiểmchứng cho một hệ thống phân tán. Các kết quả trong luận án đãđược minh chứng qua các công trình đã được xuất bản và có ýnghĩa lớn trong việc nghiên cứu, sử dụng để đặc tả các hệ córàng buộc thời gian và tương tranh.1.2 Bố cục của luận ánDựa trên các mục tiêu và đối tượng nghiên cứu, luận ánđược bố cục gồm các chương sau. Chương 2 trình bày tóm tắtcác nghiên cứu nền tảng cho các nghiên cứu tiếp theo của luậnán. Chương 3 đưa ra lý thuyết vết thời gian dựa trên vếtMazurkiewicz. Chương 4 trình bày một ứng dụng của lý thuyếtvết trong việc mô hình hóa hệ thống tương tranh thời gian thực1dựa trên việc sử dụng vết thời gian cho đặc tả các thể thức giaodiện thành phần được mở rộng từ lý thuyết rCOS. Chương 5 giớithiệu một phát triển của lý thuyết vết trên cơ sở xây dựng mộtphương pháp phát triển hệ tương tranh thời gian thực. Chương 6đề xuất mở rộng hệ phân tán dựa trên việc mô hình bằng các hệdịch truyển phân tán. Các kết luận về luận án và các nghiên cứutiếp theo của luận án được chúng tôi trình bày trong chương 7.Chương 2 Kiến thức nền tảng2.1 Công nghệ phần mềm trên thànhphần2.1.1 Các công nghệ hiện nayMột số công nghệ hiện nay được nhiều người quan tâm sử dụngbao gồm:1. CORBA: là một chuẩn mở cho khả năng tương tác ứngdụng được định nghĩa và được hỗ trợ bởi tập đoàn quản lý đốitượng (Object Management Group - OMG), một tổ chức củahơn 400 nhà cung cấp phần mềm và người sử dụng(http://www.omg.org/corba/whatiscorba.html)2. COM và DCOM: COM là mô hình đối tượng thànhphần (Component Object Model-COM) là một kiến trúc chungcho phần mềm thành phần, COM phân tán (DCOM), là một giaothức cho phép các thành phần phần mềm giao tiếp trực tiếp quamạng một cách đáng tin cậy, an toàn và hiệu quả.3. Mô hình thành phần dựa trên Java của Sun: phầnJavaBeans để phát triển thành phần phía máy khách vàEnterprise JavaBeans (EJB) cho phát triển thành phần phía máychủ2.1.2 Đảm bảo chất lượngVòng đời của hệ thống phần mềm dựa trên thành phần cóthể được tóm tắt như sau: (1)Phân tích các yêu cầu, (2) Lựa chọn2kiến trúc phần mềm , xây dựng, phân tích, và đánh giá; (3) Xácđịnh và tùy biến thành phần; (4) Tích hợp hệ thống, (5) Kiểm thửhệ thống; (6) Bảo trì phần mềm.Nhiều nghiên cứu đã đề xuất một danh sách các đặc điểmvề chất lượng của các thành phần gồm: (1) Chức năng, (2) Giaodiện; (3) Khả năng sử dụng; (4) Khả năng kiểm thử; (5) Bảo trì,(6) Độ tin cậy.2.1.3 Mô hình đảm bảo chất lượngCác thực nghiệm chính liên quan đến thành phần và cáchệ thống trong mô hình này bao gồm các giai đoạn sau đây: (1)phân tích yêu cầu thành phần (2) phát triển thành phần (3) chứngnhận thành phần (4) tùy chỉnh thành phần; (5) thiết kế kiến trúchệ thống ; (6) tích hợp hệ thống, (7) kiểm nghiệm hệ thống và (8)Bảo trì hệ thống.2.2 Ô-tô-mát thời gian2.2.1 Ô-tô-mát thời gianĐịnh nghĩa 2.1 (Từ thời gian) Một từ gian gian ...