Luận văn nghiên cứu việc ứng dụng mô hình máy trạng thái hữu hạn (FSM) vào quản lý giao tác trong các hệ thống phần mềm phức tạp. Thông qua việc mô hình hóa vòng đời của một giao tác thành các trạng thái (khởi tạo, đang thực thi, cam kết, hủy bỏ) và các sự kiện chuyển tiếp tương ứng, nghiên cứu đề xuất một kiến trúc quản lý giao tác dựa trên FSM nhằm nâng cao tính nhất quán và khả năng phục hồi lỗi. Luận văn phân tích các ưu điểm của phương pháp này so với các cơ chế quản lý giao tác truyền thống, bao gồm khả năng kiểm soát luồng thực thi rõ ràng, dễ dàng phát hiện các trạng thái bất hợp lệ và đơn giản hóa việc xử lý các tình huống ngoại lệ. Kết quả thực nghiệm trên một hệ thống cơ sở dữ liệu mẫu cho thấy mô hình đề xuất giúp giảm thiểu xung đột dữ liệu và cải thiện hiệu suất tổng thể của hệ thống trong các kịch bản giao tác đồng thời.