×

Service specification and matchmaking using description logic. An approach based on institutions. (English) Zbl 1170.68534

Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 392-406 (2008).
Summary: 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.
For the entire collection see [Zbl 1154.68019].

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
03B70 Logic in computer science
03G30 Categorical logic, topoi
68Q65 Abstract data types; algebraic specification

Software:

Pellet
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Baader, F.; Calvanese, D.; McGuinness, D. L.; Nardi, D.; Patel-Schneider, P. F., The description logic handbook: Theory, implementation, and applications (2003), Cambridge: Cambridge University Press, Cambridge · Zbl 1058.68107
[2] 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)
[3] 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)
[4] 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/
[5] Diaconescu, R., Herbrand theorems in arbitrary institutions, Information Processing Letters, 90, 29-37 (2004) · Zbl 1178.68132 · doi:10.1016/j.ipl.2004.01.005
[6] Euzenat, J.; Shvaiko, P., Ontology Matching (2007), Berlin: Springer, Berlin · Zbl 1138.68488
[7] Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journ. of the ACM 39(1) (1992) · Zbl 0799.68134
[8] Grimm, S.; Motik, B.; Preist, C.; Sure, Y.; Domingue, J., Matching semantic service descriptions with local closed-world reasoning, The Semantic Web: Research and Applications, 575-589 (2006), Heidelberg: Springer, Heidelberg · doi:10.1007/11762256_42
[9] Gruber, T. R.; Guarino, N.; Poli, R., Towards principles for the design of ontologies used for knowledge sharing, Formal Ontology in Conceptual Analysis and Knowledge Representation (1993), Dordrecht: Kluwer Academic Publishers, Dordrecht
[10] 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)
[11] Horrocks, I.; Patel-Schneider, P. F., Reducing OWL entailment to description logic satisfiability, Journal of Web Semantics, 1, 4, 345-357 (2004)
[12] Keller, U.; Lausen, H.; Stollberg, M.; Sure, Y.; Domingue, J., On the semantics of functional descriptions of web services, The Semantic Web: Research and Applications, 605-619 (2006), Heidelberg: Springer, Heidelberg · doi:10.1007/11762256_44
[13] Liskov, B. H.; Wing, J. M., A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, 16, 6, 1811-1841 (1994) · doi:10.1145/197320.197383
[14] Lucanu, D.; Li, Y. F.; Dong, J. S.; Futatsugi, K.; Jouannaud, J.-P.; Meseguer, J., Semantic web languages – towards an institutional perspective, Algebra, Meaning, and Computation, 99-123 (2006), Heidelberg: Springer, Heidelberg · Zbl 1132.68757 · doi:10.1007/11780274_6
[15] Lutz, C.; Wolter, F.; Zakharyaschev, M., Temporal description logics: A survey, Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning (2008), Los Alamitos: IEEE Computer Society Press, Los Alamitos
[16] Martin, D.; Paolucci, M.; McIlraith, S.; Burstein, M.; McDermott, D.; McGuinness, D.; Parsia, B.; Payne, T.; Sabou, M.; Solanki, M.; Srinivasan, N.; Sycara, K.; Cardoso, J.; Sheth, A. P., Bringing semantics to web services: The OWL-S approach, Semantic Web Services and Web Process Composition, 26-42 (2005), Berlin: Springer, Berlin
[17] McIlraith, S. A.; Son, T. C.; Zeng, H., Semantic web services, IEEE Intelligent Systems, 16, 2, 46-53 (2001) · doi:10.1109/5254.920599
[18] Paolucci, M.; Kawamura, T.; Payne, T. R.; Sycara, K. P.; Horrocks, I.; Hendler, J., Semantic matching of web services capabilities, The Semantic Web - ISWC 2002, 333-347 (2002), Heidelberg: Springer, Heidelberg · Zbl 1048.68873 · doi:10.1007/3-540-48005-6_26
[19] 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)
[20] 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/
[21] Stollberg, M.; Keller, U.; Lausen, H.; Heymans, S.; Franconi, E.; Kifer, M.; May, W., Two-phase web service discovery based on rich functional descriptions, The Semantic Web: Research and Applications, 99-113 (2007), Heidelberg: Springer, Heidelberg · doi:10.1007/978-3-540-72667-8_9
[22] Tarlecki, A.; Astesiano, E.; Kreowski, H.-J.; Krieg-Brückner, B., Institutions: An abstract framework for formal specifications, Algebraic Foundations of Systems Specification, 105-130 (1999), New York: Springer, New York · Zbl 0945.68130
[23] Wirsing, M.; Clark, A.; Gilmore, S.; Hölzl, M.; Knapp, A.; Koch, N.; Schroeder, A.; Najm, E.; Pradat-Peyre, J.-F.; Donzeau-Gouge, V. V., Semantic-Based Development of Service-Oriented Systems, Formal Techniques for Networked and Distributed Systems - FORTE 2006, 24-45 (2006), Heidelberg: Springer, Heidelberg · doi:10.1007/11888116_3
[24] Wirsing, M.; De Nicola, R.; Gilmore, S.; Hölzl, M.; Tribastone, M.; Zavattaro, G.; Montanari, U.; Sannella, D.; Bruni, R., SENSORIA Process Calculi for Service-Oriented Computing, Trustworthy Global Computing, 30-50 (2007), Heidelberg: Springer, Heidelberg · doi:10.1007/978-3-540-75336-0_3
[25] 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) · Zbl 1170.68534
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.