An approach to web services oriented modeling and validation
Proceedings of the 2006 international workshop on Service-oriented software engineering
Modeling, validating and automating composition of web services
ICWE '06 Proceedings of the 6th international conference on Web engineering
Syndicating Web Services: A QoS and user-driven approach
Decision Support Systems
Verification of web service descriptions using graph-based traversal algorithms
Proceedings of the 2007 ACM symposium on Applied computing
Web Services Description Ontology-Based Service Discovery Model
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
An weighted ontology-based semantic similarity algorithm for web service
Expert Systems with Applications: An International Journal
Service matchmaking revisited: An approach based on model checking
Web Semantics: Science, Services and Agents on the World Wide Web
Web services peer-to-peer discovery service for automated web service composition
ICCNMC'05 Proceedings of the Third international conference on Networking and Mobile Computing
Toward automatic discovery and invocation of information-providing web services
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
| Hi-index | 0.00 |
A large number of Web services are already available on the Web, and the type and number of Web services grow on a daily basis. As the Web service paradigm becomes popular and more and more applications are developed or deployed as Web services, the need for defining different matches of Web services becomes manifest. This has raised the interestingresearch point for defining Web service matches. In this paper, we concentrate on the vital part of Web service matching - the capability matching and formally analyse and define exact match and plug-in match of Web service capabilities using abstract finite-state machine approaches. Based on the above work, we propose a new lightweight capability description language of Web service (SCDL) and explore the major stages of service capability matching.Then we focus on plug-in match and formally define it using formal logic methods. Moreover, we provide some feasible approaches and solutions for comparing two service capabilities. The work presented in this paper lays down a solid foundation for the framework for tackling the challenges of Web service discovery and composition on which we are working.