Paper Info
Title
WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering.
Abstract
The paper presents the WSCOVER tool, which aims at automatic composition and verification of web services by means of model techniques. WSCOVER can support checking both hard constraints, soft constraints and also the temporal relations over those constraints on the resulted web service compositions. Especially, WSCOVER employs additional intelligent techniques including heuristic-guided searching and logic-based clustering to make the model checking process more efficient. The experiments show that those techniques really improve the verification performance of WSCOVER, allowing the tool to handle a repository of up to 1000 web services.
Year
DOI
Venue
2016
10.1007/978-3-319-49397-8_5
Lecture Notes in Computer Science
Keywords
Field
DocType
WSCOVER,Web service composition,Web service verification,Logic-based clustering,Heuristic-guided model checking
Data mining,Heuristic,Model checking,Web service composition,Computer science,Web service,Cluster analysis,AND gate
Conference
Volume
ISSN
Citations 
10053
0302-9743
0
PageRank 
References 
Authors
0.34
5
3
Name
Order
Citations
PageRank
Khai T. Huynh112.03
Thang H. Bui2105.39
Than Tho Quan310.68