Abstract
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for determining the usability of a Web service for some request or usage scenario with respect to the provided functionality. The creation of sophisticated semantic matchmaking techniques as well as exposition of their correctness requires clear and unambiguous semantics of functional descriptions. As existing description frameworks like OWL-S and WSMO lack in this respect, this paper presents so-called Abstract State Spaces as a rich and language independent model of Web services and the world they act in. This allows giving a precise mathematical definition of the concept of Web Service and the semantics of functional descriptions. Finally, we demonstrate the benefit of applying such a model by means of a concrete use case: the semantic analysis of functional descriptions which allows to detect certain (un)desired semantic properties of functional descriptions. As a side effect, semantic analysis based on our formal model allows us to gain a formal understanding and insight in matching of functional descriptions during Web service discovery.
Chapter PDF
Similar content being viewed by others
References
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, London (2000)
Giunchiglia, F., Bouquet, P.: Introduction to Contextual Reasoning. An Artificial Intelligence Perspective. Technical report, ITC-IRST, Technical Report #9705-19 (May 1997)
Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, Heidelberg (1996)
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
Jones, C.B.: Systematic Software Development using VDM. Prentice-Hall, Upper Saddle River (1990)
Keller, U., Lara, R., Lausen, H., Polleres, A., Fensel, D.: Automatic Location of Services. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 1–16. Springer, Heidelberg (2005)
Keller, U., Lara, R. (eds.): WSMO Web Service Discovery. Deliverable D5.1v0.1 November 12, WSML Working Group (2004), online: http://www.wsmo.org/TR/
Lara, R., Roman, D., Polleres, A., Fensel, D.: A Conceptual Comparison of WSMO and OWL-S. In: Proc. of the 2nd European Conference on Web Services (2004)
Lausen, H.: Functional Description of Web Services. Deliverable D28.1v0.1. January 13, 2006, WSML Working Group (2006), online: http://www.wsmo.org/TR/
Lausen, H., Polleres, A., Roman, D. (eds.): Web Service Modeling Ontology (WSMO), W3C Member Submission, June 3 (2005), online: http://www.w3.org/Submission/WSMO/
Li, L., Horrocks, I.: A Software Framework for Matchmaking Based on Semantic Web Technology. In: WWW 2003, Budapest, Hungary (May 2003)
Martin, D. (ed.): OWL-S: Semantic Markup for Web Services. W3C Member Submission (November 22, 2004), online: http://www.w3.org/Submission/OWL-S
Meyer, B.: Eiffel: the Language. Prentice Hall PTR, Englewood Cliffs (1992)
Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)
Spivey, J.: The Z Notation, A Reference Manual, 2nd edn. Prentice-Hall International, Englewood Cliffs (1992)
van Benthem, J.: Temporal logic. In: Handbook of logic in artificial intelligence and logic programming: epistemic and temporal reasoning, vol. 4, pp. 241–350. Oxford University Press, Oxford (1995)
Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Transactions on Software Engineering and Methodology 6(4), 333–369 (1997)
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
Keller, U., Lausen, H., Stollberg, M. (2006). On the Semantics of Functional Descriptions of Web Services. In: Sure, Y., Domingue, J. (eds) The Semantic Web: Research and Applications. ESWC 2006. Lecture Notes in Computer Science, vol 4011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11762256_44
Download citation
DOI: https://doi.org/10.1007/11762256_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34544-2
Online ISBN: 978-3-540-34545-9
eBook Packages: Computer ScienceComputer Science (R0)Springer Nature Proceedings Computer Science
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.