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)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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),
  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,
  11. 11.
    Open CLiX: an open source CLiXML Schema Validator,
  12. 12.
    RuleML. The Rule Markup Initiative (October 22, 2004),
  13. 13.
    The Schematron Assertion Language,
  14. 14.
    UML: Unified Model Language,
  15. 15.
    XML Path Language (XPath) Version 2.0. W3C Recommendation,
  16. 16.
    WSDL: Web Service Definition Language,
  17. 17.
  18. 18.
    W3C Web Services Activity,
  19. 19.
    OWL-S, DAML Web Service Ontology,
  20. 20.
    Klasse Objecten. OCL Center: OCL Tool,
  21. 21.
    Object Constraint Language Specification. version 2.0,
  22. 22.
    RuleML: the Rule Markup Initiative,
  23. 23.
    W3C XML Schema,
  24. 24.
    Web Service Semantics: 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