Nghiên Cứu Về Mô Hình Hóa Và Kiểm Tra Tiến Trình Nghiệp VụCùng với sự phát triển của công nghệ thông tin thì dịch vụ Web cũng ra đời và phát triển vượt bậc. Các công ty, doanh nghiệp áp dụng thành tựu của công nghệ thông tin vào quy trình sản xuất, kinh doanh trở nên phổ biến. Nhiều phần mềm ra đời, phục vụ cho nhu cầu sử dụng của doanh nghiệp. Dịch vụ Web cho phép phần mềm được viết trên ngôn ngữ, nền tảng khác nhau kết hợp lại được với nhau. Và ngôn ngữ BPEL ra đời cung cấp cách thức để tích hợp các dịch vụ Web [2]. Trong quá trình tích hợp các dịch vụ Web thành dịch vụ Web mới làm việc theo đúng kịch bản nghiệp vụ luôn là yêu cầu quan trọng nên yêu cầu phải kiểm tra tính đúng đắn của tiến trình BPEL [4,5], nhưng việc kiểm chứng trực tiếp trên tiến trình BPEL là không thể thực hiện được. Vì vậy tiến trình BPEL cần được chuyển sang dạng ngôn ngữ /ký pháp có thể kiểm chứng trực tiếp được. Ký pháp tiến trình hữu hạn trạng thái FSP được sử dụng để chuyển đổi từ tiến trình BPEL [1]. Chính vì vậy luận văn của em có tên là: “Nghiên cứu về mô hình hóa và kiểm tra tiến trình nghiệp vụ”. Luận văn thạc sĩ Công nghệ thông tin Chuyên ngành Kỹ thuật phần mềm Người hướng dẫn khoa học: PGS. TS. Nguyễn Việt Hà Tác giả: Nguyễn Thị Xoan Số trang: 55 Kiểu file: PDF Ngôn ngữ: Tiếng Việt Đại học Quốc gia Hà Nội 2015 Link Download http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1062587https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1