- Nếu quá trinh thương lượng chất lượng dịch vụ thành cơng, các Service
pháp hệ thống đối với các điều kiện ngoại lệ Các mơ hình xử lý được định nghĩa bởi BPEL đều được dựa trên nền tảng mơ hình mơ tả dịch vụ WSDL Các dịch vụ
bởi BPEL đều được dựa trên nền tảng mơ hình mơ tả dịch vụ WSDL. Các dịch vụ (được mơ tả như là các thành phân trong tập hợp BPEL) được gọi/ trả lời bằng cách sử dụng các hành động được trình bày bởi WSDL.
BPML : BPML cung cấp mơ hình và cú pháp trừu tượng cho việc trình bày một cách trừu tượng và thực thi các quy trình thương mại. Sử dụng BPML, các quy
trình thương mại, các Web Service phức tạp cĩ thể dễ dàng được định nghĩa. Các quy trình trong BPML là thành phần của các hành động để thực thi một chức năng cụ thể nào đĩ. Các quy trình hướng đến sự thực thi của các hành động. BPML định nghĩa ra 17 kiểu hành động và 3 kiểu quy trình. Các đặc tả về BPML thường hỗ trợ việc nhập và tham chiếu đến việc định nghĩa dịch vụ được cung cấp bởi WSDL. Các chuẩn của ngơn ngữ BPML sử dụng đĩ là RDEF và Dublin Core để trợ giúp
ngơn ngữ BPML gần gũi với ngơn ngữ con người hơn.
BPSS: Được viết tắt của cụm từ Business Process Spccification Schema — nĩ là một chuẩn cho việc trình bảy mơ hình tập hợp các quy trình thương mại điện tử.
Nĩ sử dụng cú pháp XML như là một thành phân trong lời gọi tới các quy trình
thương mại cĩ liên quan. BPSS là một chuẩn cĩ thê được sử dụng để cầu hình các hệ thống thương mại nhằm hỗ trợ việc cộng tác thương mại. Tuy nhiên BPSS lại khơng hỗ trợ việc mơ tả cách thức các luồng dữ liệu giữa các giao tác mà nĩ lại hỗ trợ một cách rõ ràng về chất lượng dịch vụ cho các giao tác như việc thẩm định quyền, biên nhận, và định thời gian timeouts.
WSCI : Được viết tắt của cụm từ Web Service Choreography Interface — dựa trên nền tảng ngơn ngữ XML dùng cho việc mơ tả các hành vi của Web Service trong
việc trao đơi thơng điệp dựa trên ngữ cảnh của việc cộng tác các quy trình thương mại hoặc các luồng cơng việc. Nĩ định nghĩa các luỗơng trao đối thơng điệp bởi
Web Service bằng việc mơ tả các hành vi đặc biệt. Mặc dù nĩ cung cấp các quy trình hướng thơng điệp nhưng nĩ lại khơng định nghĩa ra các hành vị bên trong các
quy trình xử lý Web Service. Nĩ là một giao diện tĩnh cung cấp các thơng tin chi tiết bởi file WSDL mơ tả cách thức các hành động, các thao tác và thuộc tính của Wcb Scrvice.
e_ JSCL : Được viết tắt của cụm từ Web Service Conversation Language — cho phép định nghĩa các hành vi bên ngồi các service bằng việc chỉ rõ mức độ giao tiếp của các quy trình thương mại và hỗ trợ cơng bỗ quy trình thương mại bởi Web
Services. Các quy trình giao tiếp được định nghĩa bằng việc sử dụng cú pháp XML và tài liệu WSDL. WSCL cung cấp các thiết lập chỉ tiết cho việc giao tiếp và đưa
ra bởi các Service Providecr.
5.3. Bài tốn kiếm chứng ràng buộc thời gian đáp ứng của các Web Service
Composition
3.3. 1.Giớt thiệu bài tốn
Sau khi trình bày các khái niệm về cơng nghệ Web Secrvice, QoS cho Web Service,
Service Proxy, Web Service Composition và biểu đồ Timing Diagram, bây giờ chúng tơi sẽ vận dụng các kiến thức trên cho bài tốn kiểm chứng ràng buộc thời gian đáp ứng của
các Web Scrvice Composition, sử dụng ví dụ Travel-A gent.
Ngày nay với sự phát triển rộng rãi của Internet cùng các cơng nghệ Web-base, các
ứng dụng phục vụ cho các mục đích thương mại, văn hĩa và du lịch ngày càng được phát triển rộng rãi và đa dạng. Hiện tại, song song với quá trình phát triển kinh tế, nhu cầu du lịch của con người ngày càng trở thành một phần khơng thể thiếu trong cuộc sống, tuy
nhiên trong bối cảnh cuộc sống bận rộn và tấp nập như ngày nay, làm thế nào để một
khách hàng cĩ thể thực hiện các cơng việc phục vụ cho việc du lịch thuận lợi nhanh chĩng thì đang là một vẫn đè đặt ra. Để thực hiện một chuyến du lịch, khách hàng cần phải quan tâm đến việc đặt phịng khách sạn, đặt vé máy bay ..v..v. Trước đây khi cơng nghệ Internet chưa phát triển mạnh mẽ, các cơng việc như thế địi hỏi khách hàng tốn rất nhiều cơng sức và thời gian để cĩ thể thực hiện được khâu chuân bị, nhưng giờ đây với sự phát
triển của Internet cùng cơng nghệ Web Service, điều đĩ đã trở nên đễ dàng hơn rất nhiều. Như chúng ta đã đề cập như trên, mỗi một cơng việc như tìm kiếm khách sạn, tìm kiếm vé
máy bay đã cĩ các Web Service chuyên biệt được cung cấp ra bởi các nhà cung cấp dịch
vụ Web, mỗi một Web Service phục vụ cho việc tìm kiếm khách sạn, tìm kiếm máy bay đĩ cĩ thể coi là một Web Service Composition phục vụ cho Web Service Travel-Agent. đĩ cĩ thể coi là một Web Service Composition phục vụ cho Web Service Travel-Agent. Nhưng việc lựa chọn các dịch vụ Web nào tối ưu nhất thì đĩ chính là một khía cạnh của
chất lượng dịch vụ(QoS cho Web Service), ở đây chúng tơi sẽ đưa ra một phương pháp đơn giản để kiếm chứng ràng buộc thời gian đáp ứng của các Web Service Composition
nhằm kiểm tra mất bao lâu để một Web Service Cornposition thực hiện một yêu câu cơng việc và thời gian để thực hiện đĩ cĩ đáp ứng được với tiêu chuẩn đặt ra hay khơng.
5.3.2. Mục tiêu và yêu cầu của bài tốn
3.3.2.1. Mục tiêu bài tốn
Mục tiêu bài tốn nhằm giải quyết vẫn đề đo lường thời gian đáp ứng của các Web Services sử dụng Service Proxy. Ở đây chúng ta đã cĩ 2 Web Services đĩ là tìm kiếm khách sạn dựa trên tên của thành phố đến (SearchHotel Service) và tìm kiếm chuyến bay