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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Boley, H., Taber, S., Wagner, G.: Design Rationale of RuleML: A Markup Language for SemanticWeb Rules. In: Proc. of SWWS 2001 (2001)
Wagner, G., Tabet, S., Boley, H.: MOF-RuleML: The Abstract Syntax of RuleML as a MOF Model. OMG Meeting, Boston (2003)
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)
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)
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)
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
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)
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1998)
XlinkIt: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Software Engineering and Methodology, 155–185 (2002)
CLiX: Constraint Language in XML, http://www.clixml.org/clix/1.0
Open CLiX: an open source CLiXML Schema Validator, http://clixml.sourceforge.net
RuleML. The Rule Markup Initiative (October 22, 2004), http://www.ruleml.org
The Schematron Assertion Language, http://www.ascc.net/xml/schematron
UML: Unified Model Language, http://www.uml.org
XML Path Language (XPath) Version 2.0. W3C Recommendation, http://www.w3.org/TR/xpath20
WSDL: Web Service Definition Language, http://www.w3.org/TR/wsdl
W3C Web Services Activity, http://www.w3.org/2002/ws
OWL-S, DAML Web Service Ontology, http://www.daml.org/services/owl-s
Klasse Objecten. OCL Center: OCL Tool, http://www.klasse.nl/ocl/index.htm
Object Constraint Language Specification. version 2.0, www.klasse.nl/ocl/ocl-subm.html
RuleML: the Rule Markup Initiative, http://www.ruleml.org
W3C XML Schema, www.w3.org/XML/Schema
Web Service Semantics: WSDL-S, http://www.w3.org/Submission/WSDL-S
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)