CHƯƠNG 7 DỊCH VỤ WEB NGỮ NGHĨA VÀ OWL-S
7.3.2Bản thể OWL-S process
Bản thể OWL-S process mô tả sự hợp nhất của một hay nhiều dịch vụ. Trong OWL-S thì bản thể này được duy trì bởi một tập con chung các đặc trưng luồng công việc như
split+join, tuần tự (sequence), và lựa chọn (choice) v.v. như mô tả trong hình 6.3. Lúc đầu process model được phát triển không phải cho mục đích khai phá dịch vụ mà cho việc liên kết OWL-S profile.
Hình 6.3: Mô hình tiến trình dịch vụ OWL-S [2]
Một cách chi tiết, một process (tiến trình) trong OWL-S có thể là đơn nguyên (atomic), hoặc hợp nhất (composite). Một tiến trình đơn nguyên là một tiến trình được mô tả như hộp
đen với IOPE. Tiến trình này cung cấp dịch vụ mô tả hoặc trừu tượng hóa tiến trình phải nhận dạng bởi một tiến trình đơn nguyên. Ví dụ khai phá dịch vụ và ràng buộc động trong thời gian chạy hay việc mở rộng một tiến trình hợp nhất. Ví dụ về mô hình tiến trình với OWL-S được minh họa trong hình 6.4.
Các tiến trình hợp nhất (composite processes) là cac luồng công việc kiểu phân cấp; bao gồm các tiến trình đơn nguyên, đơn giản và các tiến trình phức hợp khác. Luồng công việc của các tiến trình này được xây dựng sử dụng một số phép toán điều khiển luồng như tuần tự
(sequence), theo tác trên danh sách không theo thứ tự, lựa chọn (choice), if-then-else, lặp, repeat-while, split, split+join v.v.. Trong OWL-S 1.1, mô hình tiến trình cũng mô tả các đầu vào, đầu ra, preconditions, effects của tất cả các tiến trình mà là các phần của một dịch vụ hợp nhất, nó được tham chiếu từ profile của các dịch vụ tương ứng. Một mô hình tiến trình OWL- S của một dịch vụ phức hợp có thể đặc tả đầu ra của nó tương ứng với các đầu ra của một trong những tiến trình con. Hơn nữa, đối với một tiến trình phức hợp với một điều khiển tuần tự, đầu ra của một tiến trình con có thể là đầu vào của tiến trình con khác (như một ràng buộc).
Không may là ngữ nghĩa của mô hình OWL-S process lại không được định nghĩa trong các tài liệu chính thức của OWL-S. Do vây, đây là đề xuất cho những ngữ nghĩa này là các nghiên cứu về giải tích và lập trình logic.
Hình 6.4: Ví dụ về mô hình tiến trình dịch vụ OWL-S [2]