Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handbook of Theoretical Computer Science
Handbook of Theoretical Computer Science
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
An Information-Theoretic Definition of Similarity
ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Formal Verification of e-Services and Workflows
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
The Capability Matching of Web Services
MSE '02 Proceedings of the Fourth IEEE International Symposium on Multimedia Software Engineering
Distributed enactment of multiagent workflows: temporal logic for web service composition
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Matchmaking of web services based on the DAML-S service model
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Organizing Business Knowledge: The MIT Process Handbook
Organizing Business Knowledge: The MIT Process Handbook
Service -Oriented Computing: Concepts, Characteristics and Directions
WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
Toward High-Precision Service Retrieval
IEEE Internet Computing
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Verbs semantics and lexical selection
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
Probabilistic, context-sensitive, and goal-oriented service selection
Proceedings of the 2nd international conference on Service oriented computing
Service discovery in agent-based pervasive computing environments
Mobile Networks and Applications
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
Automatic Matchmaking of Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker
ECOWS '06 Proceedings of the European Conference on Web Services
Similarity search for web services
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Towards context-aware semantic web service discovery through conceptual situation spaces
Proceedings of the 2008 international workshop on Context enabled source and service selection, integration and adaptation: organized with the 17th International World Wide Web Conference (WWW 2008)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
OWLS-MX: A hybrid Semantic Web service matchmaker for OWL-S services
Web Semantics: Science, Services and Agents on the World Wide Web
Automatic location of services
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Composition-Oriented service discovery
SC'05 Proceedings of the 4th international conference on Software Composition
Hi-index | 0.00 |
The aim of service discovery is to find services that satisfy user requests in a precise and effective manner. An important aspect of service discovery is service matchmaking, which constitutes the mechanism to map appropriate services to requests. Current service matchmaking approaches mostly use the knowledge about the interface descriptions of services. However, these approaches suffer from lack of precision since they do not consider the internal processes of services. This paper proposes a novel service matchmaking approach that uses the internal process models of services as primary source of knowledge. To reason about the internal process models and to identify matching services to requests, we use model checking as a reasoning mechanism. In order to facilitate partial matches, we use ontologies and relaxation techniques to generate alternative requests. Hence, even when a request cannot be satisfied by a service, our approach can identify which similar requests are satisfied by the service. This important information can enable better service selection for the service consumers. We also provide a guideline to illustrate how our proposed matchmaking approach can be realized using recent technologies from Web services and formal verification domains in a real world setting.