Service matchmaking revisited: An approach based on model checking

Journal of Web Semantics

Volumn 8, Issue 4, 2010, Pages 292-309

  Günay, Akin ^a   Yolum, Pinar ^a  

^a BOGAZICI UNIVERSITY   (Turkey)

Author keywords

Model checking; Semantic matchmaking; Service discovery; Service oriented computing

Indexed keywords

FORMAL VERIFICATIONS; INTERFACE DESCRIPTIONS; PARTIAL MATCHES; PRIMARY SOURCES; PROCESS MODEL; REAL WORLD SETTING; REASONING MECHANISM; RELAXATION TECHNIQUES; SEMANTIC MATCHMAKING; SERVICE DISCOVERY; SERVICE MATCHMAKING; SERVICE ORIENTED COMPUTING; SERVICE SELECTION;

ONTOLOGY; WEB SERVICES;

MODEL CHECKING;

EID: 78649328797     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2010.08.007     Document Type: Conference Paper

References (43)

1. S. Agarwal, and R. Studer Automatic matchmaking of web services Proceedings of the International Conference on Web Services 2006 Chicago, USA 2006
2. G. Alonso, F. Casati, H. Kuno, and V. Machiraju Web Services: Concepts, Architectures and Applications 2004 Springer Verlag
3. A. Ankolekar, M. Paolucci, and K. Sycara Spinning the OWL-S process model: towards the verification of the OWL-S process models Online Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Application 2004
4. S. Avancha, A. Joshi, and T. Finin Enhanced service discovery in bluetooth Computer 35 6 2002 96 99
5. S. Bansal, and J.M. Vidal Matchmaking of web services based on the daml-s service model AAMAS '03: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems ACM, New York, NY, USA 2003
6. B. Benatallah, M.-S. Hacid, A. Leger, C. Rey, and F. Toumani On automating web services discovery The VLDB Journal 14 1 2005 84 96
7. D. Booth, H. Haas, F. McCabe, E. Newcomer, M. Champion, C. Ferris, D. Orchard, Web services architecture, W3C, http://www.w3.org/TR/2004/NOTE-ws-arch- 20040211/ (February 2004).
8. A. Brogi, S. Corfini, and R. Popescu Composition-oriented service discovery Lecture Notes in Computer Science 3628 2005 15 30
9. F. Casati, M. Castellanos, U. Dayal, and M. Shan Probabilistic, context-sensitive, and goal-oriented service selection Proceedings of the 2nd International Conference on Service Oriented Computing ACM, New York, NY, USA 2004
10. E. Christensen, F. Curbera, G. Meredith, S. Weerawarana, Web services description language (WSDL) 1.1, W3C, http://www.w3.org/TR/2001/NOTE-wsdl- 20010315/ (March 2001).
11. S. Colucci, T.D. Noia, E.D. Sciascio, M. Mongiello, and F.M. Donini Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace ICEC '04: Proceedings of the 6th International Conference on Electronic Commerce ACM, New York, NY, USA 2004
12. S. Dietze, A. Gugliotta, and J. Domingue 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) ACM, New York, NY, USA 2008
13. X. Dong, A. Halevy, J. Madhavan, E. Nemes, and J. Zhang Similarity search for web services VLDB '04: Proceedings of the Thirtieth International Conference on Very large Data Bases, VLDB Endowment 2004
14. C. d'Amato, S. Staab, N. Fanizzi, and F. Esposito Efficient discovery of services specified in description logics languages Proceedings of Service Matchmaking and Resource Retrieval in the Semantic Web Workshop at ISWC, vol. 243 2007
15. E.A. Emerson Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics (B) 1990 Elsevier and MIT Press pp. 997-1072 (Chap. Temporal and modal logic)
16. X. Fu, T. Bultan, and J. Su Formal verification of e-services and workflows International Workshop on Web Services, E-Business, and the Semantic Web 2002 Springer
17. X. Gao, J. Yang, and M. Papazoglou The capability matching of web services Proceedings of 4th International Symposium on Multimedia Software Engineering 2002
18. A. Günay, and P. Yolum Structural and semantic similarity metrics for web service matchmaking G. Psaila, R. Wagner, EC-Web, vol. 4655 of Lecture Notes in Computer Science 2007 Springer
19. G. Holzmann The Spin Model Checker: Primer and Reference Manual 2004 Addison-Wesley
20. I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, SWRL: a semantic web rule language combining OWL and RuleML, W3C, http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/ (May 2004).
21. M. Huth, and M. Ryan Logic in Computer Science: Modelling and Reasoning About Systems 2004 Cambridge University Press
22. F. Kaufer, and M. Klusch WSMO-MX: a logic programming based hybrid service matchmaker ECOWS'06: Proceedings of the European Conference on Web Services 2006
23. U. Keller, R. Lara, H. Lausen, A. Polleres, and D. Fensel Automatic location of services Proceedings of the 2nd European Semantic Web Conference (ESWC 2005) Crete, Greece 2005 Springer
24. M. Klein, and A. Bernstein Toward high-precision service retrieval IEEE Internet Computing 8 1 2004 30 36
25. M. Klusch, B. Fries, and K. Sycara Owls-mx: a hybrid semantic web service matchmaker for owl-s services Web Semantics: Science, Services and Agents on the World Wide Web 7 2 2009 121 133
26. L. Li, and I. Horrocks A software framework for matchmaking based on semantic web technology Proceedings of 12th International Conference on World Wide Web 2003
27. D. Lin An information-theoretic definition of similarity Proceedings of the 15th International Conference on Machine Learning 1998
28. T.W. Malone, G.A. Herman, and K. Crowston Organizing Business Knowledge: The MIT Process Handbook 2003 MIT Press
29. D. Martin, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, K. Sycara, OWL-S: Semantic Markup for Web Services, W3C (November 2002).
30. M. Paolucci, T. Kawamura, T.R. Payne, and K.P. Sycara Semantic matching of web services capabilities Proceedings of 1st International Semantic Web Conference 2002
31. M.P. Papazoglou Service-oriented computing: concepts, characteristics and directions WISE '03: Proceedings of the Fourth International Conference on Web Information Systems Engineering IEEE Computer Society, Washington, DC, USA 2003
32. P. Patel-Schneider, A proposal for a SWRL extension towards first-order logic, W3C, http://www.w3.org/Submission/2005/SUBM-SWRL-FOL-20050411/ (April 2005).
33. M. Pistore, and P. Traverso Assumption-based composition and monitoring of web services Test and Analysis of Web Services 2007 307 335
34. O. Ratsimor, D. Chakraborty, A. Joshi, T. Finin, and Y. Yesha Service discovery in agent-based pervasive computing environments Mobile Networks and Applications 9 6 2004 679 692
35. P. Resnik Semantic similarity in a taxonomy: an information-based measure and its application to problems of ambiguity in natural language Journal of Artificial Intelligence Research 11 1999 95 130
36. M. Singh, and M. Huhns Service-oriented Computing: Semantics, Processes, Agents 2005 Wiley
37. M.P. Singh Distributed enactment of multiagent workflows: temporal logic for web service composition Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems 2003
38. K. Sycara, M. Klusch, S. Widoff, and J. Lu Dynamic service matchmaking among agents in open information environments ACM SIGMOD Record 28 1 1999 47 53
39. K. Sycara, S. Widoff, M. Klusch, and J. Lu Larks: dynamic matchmaking among heterogeneous software agents in cyberspace Autonomous Agents and Multi-agent Systems 5 2 2002 173 203
40. UDDI Spec Technical Committee, Universal Description, Discovery and Integration (UDDI) 3.0, OASIS, http://uddi.org/pubs/uddi-v3.00-published- 20020719.htm/ (July 2002).
41. 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 2005 3 11 (Pubitemid 44275381)
42. Z. Wu, and M. Palmer Verbs semantics and lexical selection Proceedings of the 32nd Annual Meeting on Association for Computational Linguistics Association for Computational Linguistics, Morristown, NJ, USA 1994
43. A. Zaremski, and J. Wing Specification matching of software components ACM Transactions on Software Engineering Methodology 6 4 1997 333 369