Skip to main content
SpringerLink
Log in

Dynamic Constraint-Based Invocation of Web Services

  • Conference paper
Web Services and Formal Methods (WS-FM 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4184))

Included in the following conference series:

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.

This work was supported by the Investment Funds for Basic Research (MIUR-FIRB) project Laboratory of Interdisciplinary Technologies in Bioinformatics (LITBIO) and by Halley Informatica.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Wagner, G., Tabet, S., Boley, H.: MOF-RuleML: The Abstract Syntax of RuleML as a MOF Model. OMG Meeting, Boston (2003)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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. 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. Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1998)

    Google Scholar 

  9. XlinkIt: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Software Engineering and Methodology, 155–185 (2002)

    Google Scholar 

  10. CLiX: Constraint Language in XML, http://www.clixml.org/clix/1.0

  11. Open CLiX: an open source CLiXML Schema Validator, http://clixml.sourceforge.net

  12. RuleML. The Rule Markup Initiative (October 22, 2004), http://www.ruleml.org

  13. The Schematron Assertion Language, http://www.ascc.net/xml/schematron

  14. UML: Unified Model Language, http://www.uml.org

  15. XML Path Language (XPath) Version 2.0. W3C Recommendation, http://www.w3.org/TR/xpath20

  16. WSDL: Web Service Definition Language, http://www.w3.org/TR/wsdl

  17. WSDL2Java, http://ws.apache.org/axis/java/user-guide.html

  18. W3C Web Services Activity, http://www.w3.org/2002/ws

  19. OWL-S, DAML Web Service Ontology, http://www.daml.org/services/owl-s

  20. Klasse Objecten. OCL Center: OCL Tool, http://www.klasse.nl/ocl/index.htm

  21. Object Constraint Language Specification. version 2.0, www.klasse.nl/ocl/ocl-subm.html

  22. RuleML: the Rule Markup Initiative, http://www.ruleml.org

  23. W3C XML Schema, www.w3.org/XML/Schema

  24. Web Service Semantics: WSDL-S, http://www.w3.org/Submission/WSDL-S

Download references

Author information

Authors and Affiliations

  1. Polo Informatico, University of Camerino, 62032, Camerino, Italy

    Diletta Cacciagrano, Flavio Corradini, Rosario Culmone & Leonardo Vito

Authors
  1. Diletta Cacciagrano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Flavio Corradini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rosario Culmone
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Leonardo Vito
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Bologna,  

    Mario Bravetti

  2. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, 28040, Madrid, Spain

    Manuel Núñez

  3. Dip. Scienze dell’Informazione, Università di Bologna, Italy

    Gianluigi Zavattaro

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cacciagrano, D., Corradini, F., Culmone, R., Vito, L. (2006). Dynamic Constraint-Based Invocation of Web Services. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds) Web Services and Formal Methods. WS-FM 2006. Lecture Notes in Computer Science, vol 4184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841197_9

Download citation

  • DOI: https://doi.org/10.1007/11841197_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38862-3

  • Online ISBN: 978-3-540-38865-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation