Abstract
We present a logic-based framework that is able to model semantic e-services and to verify some of properties supporting the design and maintenance of cooperative information systems. This framework is based upon a formal foundation of the Semantic Web, as the Description Logic family, that provides an expressive specification language, allowing for complex application domains. We adopt the well-known IOPE (Input, Output, Preconditions, and Effects) paradigm for the description of e-service contracts, providing a suitable operational semantics and we are able to reason about update effects also in case of under-specified e-services, using a repair-based approach. On this base, we firstly define some basic consistency and correctness properties, and then we characterize the adequacy of an e-service to achieve a user goal as foundational task in service discovery. We present decidable checking procedures for the devised properties using a reduction technique to First-Order Logic reasoning tasks, including an analysis in terms of computational complexity.
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
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proc. of the 2005 National Conference on Artificial Intellingence (AAAI 2005) (2005)
Di Noia, T., Di Sciascio, E., Donini, F.M., Mongiello, M.: A system for principled matchmaking in an electronic marketplace. In: Proc. of the WWW 2003 Conference, Budapest, Hungary (2003)
Dragone, L.: Modeling and Resoning about e-services in Cooperative Information Systems. Ph.D thesis, Sapienza Università di Roma (2008)
Dragone, L., Rosati, R.: Checking e-service consistency using description logics. In: Proc. of the 2007 IEEE Service Computing Conference (SCC 2007) (2007)
Grädel, E., Otto, M., Rosen, E.: Two-variable logic with counting is decidable. In: Proc. of 12th IEEE Symposium on Logic in Computer Science, LICS 1997 (1997)
Grimm, S., Motik, B., Preist, C.: Variance in e-Business Service Discovery. In: Martin, D., Lara, R., Yamaguchi, T. (eds.) Proc. of the ISWC 2004 Workshop on Semantic Web Services (2004)
Immerman, N., Lander, E.: Describing graphs: A first-order approach to graph canonization. In: Complexity Theory Retrospective (1990)
Lin, J., Mendelzon, A.O.: Merging databases under constraints. International Journal of Cooperative Information Systems 7(1), 55–76 (1996)
Schmidt, R.A., Tishkovsky, D.: Using tableau to decide expressive description logics with role negation. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 438–451. Springer, Heidelberg (2007)
Wang, H., Li, Z.: A semantic matchmaking method of web services based on \(\mathcal{SHOIN}^+ (\mathbf{D})^*\). In: Proc. of the Asia-Pacific Services Computing Conference, APSCC 2006 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dragone, L. (2009). Validation and Discovery of Non-deterministic Semantic e-Services. In: Bruni, R., Wolf, K. (eds) Web Services and Formal Methods. WS-FM 2008. Lecture Notes in Computer Science, vol 5387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01364-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-01364-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01363-8
Online ISBN: 978-3-642-01364-5
eBook Packages: Computer ScienceComputer Science (R0)