BỘ KHOA HỌC VÀ CÔNG NGHỆ
HỆ THỐNG THÔNG TIN QUỐC GIA VỀ KHOA HỌC, CÔNG NGHỆ VÀ ĐỔI MỚI SÁNG TẠO

Các nhiệm vụ khác
liên kết website
Lượt truy cập
 Lượt truy cập :  30,040,373
  • Kết quả thực hiện nhiệm vụ

102.03-2015.25

2020-53-647/KQNC

Khung ngữ nghĩa hình thức cho kết hợp và kiểm chứng mô hình trong phát triển phần mềm

Trường Đại học Công nghệ

Đại học Quốc gia Hà Nội

Quốc gia

PGS.TS. Nguyễn Việt Hà

PGS.TS. Phạm Ngọc Hùng(1), TS. Đặng Đức Hạnh, TS. Vũ Diệu Hương, TS. Võ Đình Hiếu, ThS. Chu Thị Minh Huệ

Khoa học máy tính và thông tin

01/05/2016

01/05/2020

2020

Hà Nội

201 tr.

Xác định ngữ nghĩa cấu trúc và ngữ nghĩa thực thi cho mỗi DSML trong khung cảnh mô hình tham chiếu khái niệm mô hình hóa hướng khía cạnh (Aspect-Oriented Modeling - AOM). Xây dựng khung ngữ nghĩa tích hợp để kết hợp mô hình và dựa trên khung ngữ nghĩa như vậy, có thể lý giải và kiểm tra tính đúng đắn của hệ thống. Đề xuất một phương pháp hiệu qủa cho kiểm chứng từng phần khung ngữ nghĩa hình thức nhằm giải quyết bài toán bùng nổ không gian trạng thái. Cải tiến phương pháp kiểm chứng giả định, đảm bào bằng cách chú trọng vào ngôn ngữ của các giả định nhằm xây dựng các giả định tối thiếu. Cài đặt bộ công cụ hỗ trợ kết hợp mô hình và kiểm chứng từng phần cho khung ngữ nghĩa hình thức nhằm minh chứng cho tính hiệu quả và khả năng áp dụng của các phương pháp đề xuất.

Phần mềm, Khung ngữ nghĩa hình thức, Khung ngữ nghĩa kiểm chứng, Tích hợp, Cấu trúc, Phát triển

24 Lý Thường Kiệt, Hà Nội

17547