Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B

• المؤلف الرئيسي: Nông, Thị Oanh
• التنسيق: Theses and Dissertations
• اللغة: other
• منشور في: Đại học Quốc gia Hà Nội 2016
• الموضوعات: Hệ thống thông tin; Mô hình hóa hệ thống; Cơ sở dữ liệu
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/8212
• المؤسسة: Vietnam National University, Hanoi

Nghiên cứu các luật chuyển đổi giữa hệ thống cơ sở dữ liệu (CSDL) triggers và mô hình Event-B. Xây dựng công cụ hỗ trợ mô hình hoá bán tự động hệ thống triggers từ pha thiết kế. Các thành phần Event-B của hệ thống triggers được lưu dưới dạng XML, có thể sử dụng cho quá trình kiểm chứng tính đúng đắn...