A high-level specification for Semantic Web Service Discovery Services

ABSTRACT

We define a high-level model to mathematically capture the semantical meaning of Semantic Web Service Discovery Locations (SWS Discovery Services), their distribution and communication mechanisms. This model captures, to our best knowledge, all published semantic web service discovery approaches relying on capability-based semantic matchmaking.

REFERENCES

• 1: M. Altenhofen, E. Börger, and J. Lemcke. An abstract model for process mediation. In K.-K.Lau and R. Banach, editors, Formal Methods and Software Engineering. Proc. 7th International Conference on Formal Engineering Methods (ICFEM 2005), LNCS, pages 81--95, 2005.
• 2: M. Altenhofen, E. Börger, and J. Lemcke. An execution semantics for mediation patterns. In C. Bussler, D. Fensel, U. Keller, and B. Sapkota, editors, Proc. of 2nd WSMO Implementation Workshop WIW'2005, Innsbruck, Austria, June 2005. CEUR Workshop Proceedings. ISSN 1613-0073, online CEUR-WS.org/Vol-134/lemcke-wiw05.pdf.
• 3: M. Altenhofen, E. Börger, and J. Lemcke. A high-level specification for mediators. 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, BPM 2005, 2005.
• 4: A. Barros and E. Börger. A compositional framework for service interaction patterns and communication flows. In K.-K. Lau and R. Banach, editors, Formal Methods and Software Engineering. Proc. 7th International Conference on Formal Engineering Methods (ICFEM 2005), volume 3785 of LNCS, pages 5--35. Springer, 2005.
• 5: A. Barros, M. Dumas, and P. Oaks. A critical overview of the web serives choreography description language (WS-CDL). White paper, 24th of January 2005.
• 6: E. Börger. The ASM ground model method as a foundation of requirements engineering. In N. Dershowitz, editor, Verification: Theory and Practice, volume 2772 of LNCS, pages 145--160. Springer-Verlag, 2003.
• 7: E. Börger. The ASM refinement method. Formal Aspects of Computing, 15:237--257, 2003.
• 8: E. Borger , Robert F. Stark, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag New York, Inc., Secaucus, NJ, 2003
• 9: D. Fensel and C. Bussler. The web service modeling framework wsmf. 2002.
• 10: U. Keller, R. Lara, and A. Polleres. D5.1v0.1 wsmo web service discovery. White paper, 12 November 2004.
• 11: H. Lausen, D. Roman, and U. Keller. Web service modeling ontology - standard (wsmo-standard). working draft, digital enterprise research institute (deri). 2005.
• 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: M. Burstein, D. Martin, and G. Denker. Owl-s 1.1 beta release. 2004.
• 14: B. Motik, S. Grimm, and C. Preist. Variance in e-business service discovery. In Proc. 1st Intl. Workshop SWS2004 at ISWC 2004, 2004.
• 15: 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

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Web-based services

Additional Classification:
  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
      F.2.2 Nonnumerical Algorithms and Problems
          Subjects: Pattern matching

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.8 Database applications
          Subjects: Data mining

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Semantic networks

General Terms:
Algorithms, Design

Keywords:
abstract state machines, semantic discovery, semantic web service