skip to main content
10.1145/1149993.1150012acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicweConference Proceedingsconference-collections
Article

A high-level specification for Semantic Web Service Discovery Services

Published: 10 July 2006 Publication History

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. Börger and R. F. Stärk. Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, 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]
L. Li and I. Horrocks. A software framework for matchmaking based on semantic web technology. In Proc. of the Twelfth World Wide Web Conference, 2003.
[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]
M. Paolucci, T. Kawamura, T. Payne, and K. Sycara. Semantic matching of webservice capabilities. In Proc. of the 1st Intern. Semantic Web Conf. (ISWC), pages 333--347, 2002.

Cited By

View all
  • (2008)Abstract State Machine Models for Basic Service-Oriented ArchitecturesProceedings of the 2008 IEEE Asia-Pacific Services Computing Conference10.1109/APSCC.2008.21(445-452)Online publication date: 9-Dec-2008
  • (2008)Modeling Workflows, Interaction Patterns, Web Services and Business ProcessesProceedings of the 1st international conference on Abstract State Machines, B and Z10.1007/978-3-540-87603-8_3(24-38)Online publication date: 16-Sep-2008
  • (2007)Goal reasoning with context record typesProceedings of the 6th international and interdisciplinary conference on Modeling and using context10.5555/1770806.1770819(164-177)Online publication date: 20-Aug-2007
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
ICWE '06: Workshop proceedings of the sixth international conference on Web engineering
July 2006
156 pages
ISBN:1595934359
DOI:10.1145/1149993
  • Conference Chairs:
  • Nora Koch,
  • Luis Olsina
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 July 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. abstract state machines
  2. semantic discovery
  3. semantic web service

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2008)Abstract State Machine Models for Basic Service-Oriented ArchitecturesProceedings of the 2008 IEEE Asia-Pacific Services Computing Conference10.1109/APSCC.2008.21(445-452)Online publication date: 9-Dec-2008
  • (2008)Modeling Workflows, Interaction Patterns, Web Services and Business ProcessesProceedings of the 1st international conference on Abstract State Machines, B and Z10.1007/978-3-540-87603-8_3(24-38)Online publication date: 16-Sep-2008
  • (2007)Goal reasoning with context record typesProceedings of the 6th international and interdisciplinary conference on Modeling and using context10.5555/1770806.1770819(164-177)Online publication date: 20-Aug-2007
  • (2007)Interactive exploration and discovery of e-government servicesProceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains10.5555/1248460.1248490(190-197)Online publication date: 20-May-2007
  • (2007)Goal Reasoning with Context Record TypesModeling and Using Context10.1007/978-3-540-74255-5_13(164-177)Online publication date: 2007
  • (2005)An abstract model for process mediationProceedings of the 7th international conference on Formal Methods and Software Engineering10.1007/11576280_7(81-95)Online publication date: 1-Nov-2005

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media