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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The OWL Services Coalition, OWL-S: Semantic Markup for Web Services (2004), http://www.daml.org/services/owl-s/1.1/overview/
WSMO project site (Web Service Modeling Ontology), http://www.wsmo.org
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)
Mahleko, B., Wombacher, A.: A grammar-based index for matching business processes. In: Proceedings of the 2005 IEEE International Conference on Web Services (2005)
Shen, Z., Su, J.: Web Service Discovery Based on Behavior Signatures. In: Proceedings of the 2005 IEEE International Conference on Services Computing (2005)
Grigori, D., Bouzeghoub, M.: Service retrieval based on behavioral specification. In: Proceedings of the 2005 IEEE International Conference on Services Computing (2005)
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)
Maedche, A., Staab, S.: Ontology Learning for the Semantic Web. IEEE intelligent systems, 72–79 (March/April 2001)
Heimdahl, M.P.E., Leveson, N.G.: Completeness and Consistency in Hierarchical State-Based Requirments. IEEE Transaction on software engineering 22(6) (June 1996)
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
Clement, L., Hately, A., von Riegen, C., et al.: UDDI version 3.0 (2004), http://uddi.org/pubs/uddi_v3.htm
METOR-S project site (METEOR for Semantic Web Service), http://lsdis.cs.uga.edu/projects/meteor-s/
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)
Brogi, A., et al.: Flexible Matchmaking of Web Services Using DAML-S Ontologies. In: ICSOC 2004, November 15-18 (2004)
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)
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)
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodolgy 6(1), 1–30 (1997)
Gunter, C.A., Gunter, E.L., Jackson, M., et al.: A reference model for requirements and specification. IEEE Software 17(3), 37–43 (2000)
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
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)