_ Mời bạn đọc đăng ký làm thẻ để được sử dụng tài liệu hoặc liên hệ số điện thoại: 0985803323
Tài liệu Thư viện số
Danh mục TaiLieu.VN
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.
12 p thuviendanang 27/12/2017 196 1
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ụ
Đăng nhập
Bộ sưu tập nổi bật