Skip to main content

Environment Ontology-Based Capability Specification for Web Service Discovery

  • Conference paper
Book cover Formal Methods and Software Engineering (ICFEM 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4260))

Included in the following conference series:

Abstract

During Web service discovery, capabilities of Web services are of major concern. This paper proposes an environment ontology based approach for specifying Web service capability semantically. First, a meta-level environment ontology is adopted in the proposed approach to provide formal and sharable specifications of environment resources in a particular domain. For each environment resource, we build a corresponding hierarchical state machine specifying its dynamic characteristics. Second, we propose to use the effect of a Web service on its environment resources for specifying the Web service capability and to designate the effect as the traces of the state transitions the Web service can impose on its environment resources. Finally, we give the mechanism to match service query with service capability description.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The OWL Services Coalition, OWL-S: Semantic Markup for Web Services (2004), http://www.daml.org/services/owl-s/1.1/overview/

  2. WSMO project site (Web Service Modeling Ontology), http://www.wsmo.org

  3. Wombacher, A., Fankhuaser, P., Mahleko, B., et al.: Matchmakeing for Business Processes based on Choreographies. In: Proceedings of the 2004 IEEE Conference on and Enterprise Computing, E-Commerce and E-Services (2004)

    Google Scholar 

  4. Mahleko, B., Wombacher, A.: A grammar-based index for matching business processes. In: Proceedings of the 2005 IEEE International Conference on Web Services (2005)

    Google Scholar 

  5. Shen, Z., Su, J.: Web Service Discovery Based on Behavior Signatures. In: Proceedings of the 2005 IEEE International Conference on Services Computing (2005)

    Google Scholar 

  6. Grigori, D., Bouzeghoub, M.: Service retrieval based on behavioral specification. In: Proceedings of the 2005 IEEE International Conference on Services Computing (2005)

    Google Scholar 

  7. Wang, P., Jin, Z., Liu, L.: On Constructing Environment Ontology for Semantic Web Services. In: Proceedings of the First International Conference on Knowledge Science, Engineering and Management (to appear, 2006)

    Google Scholar 

  8. Maedche, A., Staab, S.: Ontology Learning for the Semantic Web. IEEE intelligent systems, 72–79 (March/April 2001)

    Google Scholar 

  9. Heimdahl, M.P.E., Leveson, N.G.: Completeness and Consistency in Hierarchical State-Based Requirments. IEEE Transaction on software engineering 22(6) (June 1996)

    Google Scholar 

  10. Christensen, E., Curbera, F., Meredith, G., et al.: Web Services Description Language (WSDL) 1.1 Technical Report, W3C (2001), http://www.w3.org/TR/2001/NOTE-wsdl-20010315

  11. Clement, L., Hately, A., von Riegen, C., et al.: UDDI version 3.0 (2004), http://uddi.org/pubs/uddi_v3.htm

  12. METOR-S project site (METEOR for Semantic Web Service), http://lsdis.cs.uga.edu/projects/meteor-s/

  13. Bansal, S., Vidal, J.M.: Matchmaking of Web Services Based on the DAML-S Service Model. In: AAMAS 2003, July 14-18. ACM, New York (2003)

    Google Scholar 

  14. Brogi, A., et al.: Flexible Matchmaking of Web Services Using DAML-S Ontologies. In: ICSOC 2004, November 15-18 (2004)

    Google Scholar 

  15. Sycara, K., Widoff, S., Klusch, M., et al.: LARKS: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace. In: Autonomous Agents and Multi-Agent Systems, vol. 5, pp. 173–203. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  16. Salaun, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. In: Proceeding of the 2004 IEEE international Conference on Web Service (2004)

    Google Scholar 

  17. Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodolgy 6(1), 1–30 (1997)

    Article  Google Scholar 

  18. Gunter, C.A., Gunter, E.L., Jackson, M., et al.: A reference model for requirements and specification. IEEE Software 17(3), 37–43 (2000)

    Article  Google Scholar 

  19. Wang, X.H., Zhang, D.Q., Gu, T.: Ontology Based Context Modeling and Reasoning using OWL. In: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops

    Google Scholar 

  20. Maamar, Z., Kouadri Mostefaoui, S., Yahyaoui, H.: Toward an Agent-Based and Context-Oriented Approach for Web Services Composition. IEEE transaction on knowledge and data engineering 17(5) (May 2005)

    Google Scholar 

  21. Dey, A.K., Abowd, G.D., Salber, D.: A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications. Human-Computer Interaction J., special issue on context-aware computing 16(1) (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, P., Jin, Z., Liu, L. (2006). Environment Ontology-Based Capability Specification for Web Service Discovery. In: Liu, Z., He, J. (eds) Formal Methods and Software Engineering. ICFEM 2006. Lecture Notes in Computer Science, vol 4260. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11901433_11

Download citation

  • DOI: https://doi.org/10.1007/11901433_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-47460-9

  • Online ISBN: 978-3-540-47462-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics