Semantic matchmaking of web services using model checking

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Semantic matchmaking of web services using model checking

Full text

Pdf (385 KB)

Source

International Conference on Autonomous Agents archive
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1 table of contents

Estoril, Portugal

SESSION: Agent-based system development table of contents

Pages 273-280

Year of Publication: 2008

ISBN:978-0-9817381-0-9

Authors

Akin Günay	Boǧaziçi University, Bebek, Istanbul, Turkey
Pinar Yolum	Boǧaziçi University, Bebek, Istanbul, Turkey

Sponsors

ACM: Association for Computing Machinery
AAAI : Association for the Advancement of Artifical Intelligence

Publisher

International Foundation for Autonomous Agents and Multiagent Systems Richland, SC

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 147, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly based on matching the input-output parameters of service requests and service provisions. However, such approaches do not capture the semantics of the services and hence cannot match requests to services effectively. This paper proposes an agent-based approach for matchmaking that is based on capturing the semantics of services and requests formally through temporal logic. Requests are represented as a set of properties and compared to the service representations using model checking, yielding results on whether a service can satisfy a request or not. By help of domain ontologies, our approach also supports flexible matching, where partially matching services are identified. We provide a general framework, where our approach can work with other existing matchmaking approaches and is integrated with current efforts such as OWL-S and SWRL.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. Ankolekar, M. Paolucci, and K. Sycara. Spinning the OWL-S Process Model: Towards the verification of the OWL-S Process Models. In Proc. of ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, 2004.
	2	A. Brogi and S. Corfini. Behaviour-aware discovery of Web service compositions. International Journal of Web Services Research, 4(3):1--25, 2007.
	3	David Martin et. al. OWL-S: Semantic Markup for Web Services, 2002.
	4	K. Decker, K. Sycara, and M. Williamson. Middle-agents for the Internet. In Proc. of Int. Joint Conf. on Artificial Intelligence, pages 578--583, 1997.
	5	Xin Dong , Alon Halevy , Jayant Madhavan , Ema Nemes , Jun Zhang, Similarity search for web services, Proceedings of the Thirtieth international conference on Very large data bases, p.372-383, August 31-September 03, 2004, Toronto, Canada
	6	E. Allen Emerson, Temporal and modal logic, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	7	Xiang Fu , Tevfik Bultan , Jianwen Su, Formal Verification of e-Services and Workflows, Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web, p.188-202, May 27-28, 2002
	8	Gerard Holzmann, Spin model checker, the: primer and reference manual, Addison-Wesley Professional, 2003
	9	I. Horrocks et. al. SWRL: A Semantic Web Rule Language Combining OWL and RuleML, 2004.
	10	Mark Klein , Abraham Bernstein, Toward High-Precision Service Retrieval, IEEE Internet Computing, v.8 n.1, p.30-36, January 2004 [doi>10.1109/MIC.2004.1260701]
	11	Matthias Klusch , Benedikt Fries , Katia Sycara, Automated semantic web service discovery with OWLS-MX, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, May 08-12, 2006, Hakodate, Japan [doi>10.1145/1160633.1160796]
	12	Lei Li , Ian Horrocks, A software framework for matchmaking based on semantic web technology, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary [doi>10.1145/775152.775199]
	13	Srini Narayanan , Sheila A. McIlraith, Simulation, verification and automated composition of web services, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA [doi>10.1145/511446.511457]
	14	Massimo Paolucci , Takahiro Kawamura , Terry R. Payne , Katia P. Sycara, Semantic Matching of Web Services Capabilities, Proceedings of the First International Semantic Web Conference on The Semantic Web, p.333-347, June 09-12, 2002
	15	P. Patel-Schneider. Semantic Web Rule Language First-Order Logic (SWRL FOL), 2005.
	16	P. Resnik. Using Information Content to Evaluate Semantic Similarity in a Taxonomy. In Proc. of 14th Int. Joint Conf. on Artificial Intelligence, volume 1, pages 448--453, 1995.
	17	Munindar P. Singh, Distributed enactment of multiagent workflows: temporal logic for web service composition, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia [doi>10.1145/860575.860721]
	18	A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold. Matchmaking for Business Processes Based on Conjunctive Finite State Automata. International Journal of Business Process Integration and Management, 1(1):3--11, 2005.