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.

Từ khóa: Tạo chí tin học, Điều khiển học, Checking web service discovery models using B, Web service, Mô hình kiến trúc hướng dịch vụ