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

• Main Author: Nông, Thị Oanh
• Format: Theses and Dissertations
• Language: other
• Published: Đại học Quốc gia Hà Nội 2016
• Subjects: Hệ thống thông tin; Mô hình hóa hệ thống; Cơ sở dữ liệu
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/8212
• Institution: 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...