Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
"On the Fly" Verification of Behavioural Equivalences and Preorders
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
Automated semantic web service discovery with OWLS-MX
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Automatic Matchmaking of Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Automated discovery of compositions of services described with separate ontologies
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Automatic generation of semantic fields for resource discovery in the semantic web
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Expressing business process models as OWL-S ontologies
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Automated Service Composition with Adaptive Planning
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
From OWL-S Descriptions to Petri Nets
Service-Oriented Computing - ICSOC 2007 Workshops
Adaptive composition of conversational services through graph planning encoding
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
| Hi-index | 0.00 |
Web service discovery is one of the key issues in the emerging area of Service-oriented Computing. In this paper, we present a complete composition-oriented, ontology-based methodology for discovering semantic Web services, which exploits functional and behavioural properties contained in OWL-S service advertisements to satisfy functionaland behaviouralclient queries. To this aim, we build on top of the results contained in two recent articles, where we presented (1) a suitable data structure (viz., a dependency hypergraph) to collect functional information of services, and (2) a suitable notion of behavioural equivalence for Web services. We also discuss the architecture and the main implementation choices of the matchmaking system applying such a methodology.