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

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...