Phương pháp kiểm chứng các quá trình đặc tả bằng bpel với xử lý ngoại lệ

• Ngôn ngữ: vie
• Ký hiệu phân loại: 658.577 Equipment and process research
• Thông tin xuất bản: Khoa học và Công nghệ các trường đại học kỹ thuật, 2013
• Mô tả vật lý: 101-106
• Bộ sưu tập: Metadata
• ID: 559681

Tóm tắt

Verifying BPEL (Business Process Execution Language) attracted wide attention in recent times. . However, most approaches only concentrate on main workflow and are not interested in exception handling. BPEL with exception handler allows defining abnormal cases of business processes. Therefore, BPEL verification including exception handler is an important task. This paper proposes a method to verify it by using SPIN model checker. The exception propagation is also considered.