A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification

Chia sẻ: ViThanos2711 ViThanos2711 | Ngày: | Loại File: PDF | Số trang:16

0
4
lượt xem
0
download

A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

The work in this paper addresses the problem by proposing various approaches for handling the state-space exploration, including (i) an introduction of an LTS-based model known as LTS4WS, which can avoid generating full schema of Web service composition and allow on-the-fly verification on the state space; (ii) heuristics strategies to find the best potential composition, and (iii) a bitwise-based indexing mechanism for fast location of suitable Web services.

Chủ đề:
Lưu

Nội dung Text: A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification

CÓ THỂ BẠN MUỐN DOWNLOAD

Đồng bộ tài khoản