Dynamic constraint-based invocation of web services

Authors:
Diletta Cacciagrano;Flavio Corradini;Rosario Culmone;Leonardo Vito
Affiliations:
Polo Informatico, University of Camerino, Camerino, Italy;Polo Informatico, University of Camerino, Camerino, Italy;Polo Informatico, University of Camerino, Camerino, Italy;Polo Informatico, University of Camerino, Camerino, Italy
Venue:
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Year:
2006

Citing 4
Cited 3

The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
On Formalizing the UML Object Constraint Language OCL

ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
Consistent evolution of OWL ontologies

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications

A model-prover for constrained dynamic conversations

Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Runtime monitoring of web service choreographies using streaming XML

Proceedings of the 2009 ACM symposium on Applied Computing
Generating Interface Grammars from WSDL for Automated Verification of Web Services

ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing

Quantified Score

Hi-index	0.00

Visualization

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.