Abstract
We propose a formal specification framework for functional aspects of services. We define services as operations which are specified by means of pre- and postconditions, for the specification of which we use extensions of description logic. The (extensions of) description logic and the specification framework itself are defined as institutions. This gives the framework a uniformity of definition and a solid algebraic and logical foundation. The framework can be used for the specification of service requests and service providers. Given a signature morphism from request to provider, we define when a service request is matched by a service provider, which can be used in service discovery. We provide a model-theoretic definition of matching and show that matching can be characterized by a semantic entailment relation which is formulated over a particular standard description logic. Thus proofs of matching can be reduced to standard reasoning in description logic for which one can use description logic reasoners.
This work has been sponsored by the project SENSORIA, IST-2005-016004, and by the GLOWA-Danube project, 01LW0602A2.
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
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: Theory, implementation, and applications. Cambridge University Press, Cambridge (2003)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: A description logic based approach to reasoning about web services. In: Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS 2005) (2005)
Bidoit, M., Hennicker, R., Knapp, A., Baumeister, H.: Glass-box and black-box views on object-oriented specifications. In: Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), pp. 208–217 (2004)
Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web services description language (WSDL) version 2.0 part 1: Core language, W3C recommendation June 26, 2007 (2007), http://www.w3.org/TR/wsdl20/
Diaconescu, R.: Herbrand theorems in arbitrary institutions. Information Processing Letters 90, 29–37 (2004)
Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Berlin (2007)
Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journ. of the ACM 39(1) (1992)
Grimm, S., Motik, B., Preist, C.: Matching semantic service descriptions with local closed-world reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 575–589. Springer, Heidelberg (2006)
Gruber, T.R.: Towards principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation, Deventer, The Netherlands. Kluwer Academic Publishers, Dordrecht (1993)
Hennicker, R., Knapp, A., Baumeister, H.: Semantics of OCL operation specifications. Electronic Notes in Theoretical Computer Science, Workshop OCL 2.0:Industry Standard or Scientific Playground 102, 111–132 (2004)
Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics 1(4), 345–357 (2004)
Keller, U., Lausen, H., Stollberg, M.: On the semantics of functional descriptions of web services. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 605–619. Springer, Heidelberg (2006)
Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16(6), 1811–1841 (1994)
Lucanu, D., Li, Y.F., Dong, J.S.: Semantic web languages – towards an institutional perspective. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol. 4060, pp. 99–123. Springer, Heidelberg (2006)
Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, Los Alamitos (2008)
Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.: Bringing semantics to web services: The OWL-S approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26–42. Springer, Berlin (2005)
McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2), 46–53 (2001)
Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.P.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2), 51–53 (2007)
Smith, M.K., Welty, C., McGuinness, D.L.: OWL web ontology language guide, W3C Recommendation, February 10, 2004 (2004), http://www.w3.org/TR/owl-guide/
Stollberg, M., Keller, U., Lausen, H., Heymans, S.: Two-phase web service discovery based on rich functional descriptions. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 99–113. Springer, Heidelberg (2007)
Tarlecki, A.: Institutions: An abstract framework for formal specifications. In: Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B. (eds.) Algebraic Foundations of Systems Specification, pp. 105–130. Springer, New York (1999)
Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24–45. Springer, Heidelberg (2006)
Wirsing, M., De Nicola, R., Gilmore, S., Hölzl, M., Tribastone, M., Zavattaro, G.: SENSORIA Process Calculi for Service-Oriented Computing. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol. 4661, pp. 30–50. Springer, Heidelberg (2007)
van Riemsdijk, M.B., Hennicker, R., Wirsing, M., Schroeder, A.: Service specification and matchmaking using description logic: An approach based on institutions [extended version]. Technical Report 0802, LMU Munich (2008)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Riemsdijk, M.B., Hennicker, R., Wirsing, M., Schroeder, A. (2008). Service Specification and Matchmaking Using Description Logic. In: Meseguer, J., Roşu, G. (eds) Algebraic Methodology and Software Technology. AMAST 2008. Lecture Notes in Computer Science, vol 5140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79980-1_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-79980-1_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79979-5
Online ISBN: 978-3-540-79980-1
eBook Packages: Computer ScienceComputer Science (R0)