Advertisement

Dynamic Constraint-Based Invocation of Web Services

  • Diletta Cacciagrano
  • Flavio Corradini
  • Rosario Culmone
  • Leonardo Vito
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4184)

Abstract

For an automatic invocation of Web services, concrete platforms allow the client-side generation of stubs by means of suitable primitives of programming languages. In this setting, we propose a framework that preserves static and dynamic integrity constraints of invocation parameters. The main ingredients of the framework are: (i) WSDL [16], a Web services description language that describes the interface, the semantics and the protocol for invoking Web services, (ii) CLiX [10], a language for constraints specification in XML that allows the specification of static and dynamic integrity constraints of Web service parameters by means of logic formulas; (iii) reflection mechanisms for managing complex user-defined types. The proposed framework is entirely based on XML-based technologies and allows only provably correct Web services invocations be forwarded by client-side checking CLiX formulas.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Boley, H., Taber, S., Wagner, G.: Design Rationale of RuleML: A Markup Language for SemanticWeb Rules. In: Proc. of SWWS 2001 (2001)Google Scholar
  2. 2.
    Wagner, G., Tabet, S., Boley, H.: MOF-RuleML: The Abstract Syntax of RuleML as a MOF Model. OMG Meeting, Boston (2003)Google Scholar
  3. 3.
    Paolucci, M., Srinivasan, N., Sycara, K.: Adding OWL-S to UDDI, implementation and throughput. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387. Springer, Heidelberg (2005)Google Scholar
  4. 4.
    Haase, P., Stojanovic, L.: Consistent Evolution of OWL Ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 182–197. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Richters, M., Gogolla, M.: On Formalizing the UML Constraint Language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 449–464. Springer, Heidelberg (1998)Google Scholar
  6. 6.
    Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language: Combining OWL and RuleML. W3C Member Submission (2004), http://www.w3.org/Submission/SWRL
  7. 7.
    Grosof, B., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003) (2003)Google Scholar
  8. 8.
    Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1998)Google Scholar
  9. 9.
    XlinkIt: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Software Engineering and Methodology, 155–185 (2002)Google Scholar
  10. 10.
    CLiX: Constraint Language in XML, http://www.clixml.org/clix/1.0
  11. 11.
    Open CLiX: an open source CLiXML Schema Validator, http://clixml.sourceforge.net
  12. 12.
    RuleML. The Rule Markup Initiative (October 22, 2004), http://www.ruleml.org
  13. 13.
    The Schematron Assertion Language, http://www.ascc.net/xml/schematron
  14. 14.
    UML: Unified Model Language, http://www.uml.org
  15. 15.
    XML Path Language (XPath) Version 2.0. W3C Recommendation, http://www.w3.org/TR/xpath20
  16. 16.
    WSDL: Web Service Definition Language, http://www.w3.org/TR/wsdl
  17. 17.
  18. 18.
    W3C Web Services Activity, http://www.w3.org/2002/ws
  19. 19.
    OWL-S, DAML Web Service Ontology, http://www.daml.org/services/owl-s
  20. 20.
    Klasse Objecten. OCL Center: OCL Tool, http://www.klasse.nl/ocl/index.htm
  21. 21.
    Object Constraint Language Specification. version 2.0, www.klasse.nl/ocl/ocl-subm.html
  22. 22.
    RuleML: the Rule Markup Initiative, http://www.ruleml.org
  23. 23.
    W3C XML Schema, www.w3.org/XML/Schema
  24. 24.
    Web Service Semantics: WSDL-S, http://www.w3.org/Submission/WSDL-S

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Diletta Cacciagrano
    • 1
  • Flavio Corradini
    • 1
  • Rosario Culmone
    • 1
  • Leonardo Vito
    • 1
  1. 1.Polo InformaticoUniversity of CamerinoCamerinoItaly

Personalised recommendations