TAILIEUCHUNG - Formalizing and checking web service discovery models using B
Các phương pháp hình thức đã được ứng dụng thành công để kiểm chứng mô hình kiến trúc hướng dịch vụ tại giai đoạn thiết kế. Bài báo này đề xuất một phương pháp hình thức để đặc tả và kiểm chứng sự tương thích giữa các yêu cầu của dịch vụ web so với khả năng đáp ứng của chúng. Mời các bạn tham khảo nội dung bài báo. | Journal of Computer Science and Cybernetics, , (2012), 76–87 FORMALIZING AND CHECKING WEB SERVICE DISCOVERY MODELS USING B TRUONG NINH THUAN1 , TRINH THANH BINH2 , VU VAN HIEU2 1 VNU University of Engineering and Technology, 144 Xuan Thuy, Cau Giay, Hanoi 2 Haiphong University, 171 Phan Dang Luu, Kien An, Haiphong Tóm t t. Các phương pháp hình thức đã được ứng dụng thành công để kiểm chứng mô hình kiến trúc hướng dịch vụ tại giai đoạn thiết kế. Bài báo này đề xuất một phương pháp hình thức để đặc tả và kiểm chứng sự tương thích giữa các yêu cầu của dịch vụ web so với khả năng đáp ứng của chúng. Trong đó, các yêu cầu dịch vụ web bao gồm các yêu cầu chức năng và phi chức năng, khả năng đáp ứng của các dịch vụ web biểu diễn bằng OWL-S lần lượt được đặc tả bằng một máy trừu tượng và máy làm mịn B. Sự tương thích giữa yêu cầu và khả năng đáp ứng của dịch vụ web được chứng minh tự động thông qua công cụ hỗ trợ của B. Abstract. The impact of formal methods in service oriented architecture (SOA) has been well-known because of its capability for verification and early analysis of the feasibility. This paper proposes an approach to formalize and analyze the conformance between requirements of web service requester desired and capabilities of web service provided. The requirements of service requester, including functional and non-functional properties, are modeled by a B abstract machine and capabilities of service provider, described by OWL-S, are formalized by a B refinement machine. The matching between these two sides of web service discovery models is analyzed by B support tools. Keywords: web service, OWL-S, B. 1. INTRODUCTION Web service is a program accessible that are published to the network for use by other programs. Examples of web services are stock quoters, plane reservations, weather services, etc. made over the Internet. A Web service can be regarded as a "programmatic interface" that makes application to application communication possible. An
đang nạp các trang xem trước
