Tóm tắt Luận án Tiến sỹ ngành Công nghệ thông tin: Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
Luận án đưa ra một cách tiếp cận khác so với các nghiên cứu hiện tại; thay vì phân tích một hệ thống hướng sự kiện tổng quát, luận án tập trung vào sử dụng Event-B để mô hình hóa các hệ thống hướng sự hiện đặc trưng như các hệ thống cơ sở dữ liệu, các hệ thống cảm ngữ cảnh; đồng thời, đề xuất các phương pháp hiệu không chỉ mô hình hóa các hành vi được biểu diễn bằng các luật If-Then mà còn hình thức hóa các tính chất quan trọng bằng các thành phần Event-B. Mời các bạn cùng tham khảo.
Fshare:http://www.fshare.vn/file/813565WVE2UT