Kiểm soát lỗi của biểu đồ hoạt động trong mô hình hướng đối tượng

Abstract

Trong phân tích và thiết kế một hệ thống thông tin đòi hỏi tính chính xác cao. Một quy trình nghiệp vụ được thiết kế lỗi sẽ dẫn đến những kết quả không mong muốn thậm chí nghiêm trọng liên quan tới tính logic của hệ thống. Do đó, mỗi biểu diễn quy trình nghiệp vụ (được biểu diễn bằng biểu đồ hoạt động trong mô hình hướng đối tượng) cần thiết phải được kiểm soát lỗi một cách có hệ thống, đảm bảo tính đúng đắn cho quá trình cài đặt và vận hành sau này. Trong bài báo này, chúng tôi đề cập một số lỗi cú pháp thường gặp trong thiết kế các biểu đồ hoạt động và đề xuất các giải pháp khắc phục các lỗi này. Các đề xuất này được kiểm chứng dựa trên trường hợp nghiên cứu cụ thể: Quy trình nghiệp vụ đặt vé máy bay.