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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11841197_9 | WS-FM |
Keywords | Field | DocType |
automatic invocation,proposed framework,dynamic integrity constraint,provably correct web service,web services description language,web service parameter,web service,client-side checking clix formula,dynamic constraint-based invocation,constraints specification,client-side generation,programming language,integrity constraints | Specification language,Programming language,XML,Computer science,WS-Addressing,Web Services Description Language,WS-I Basic Profile,Web modeling,Web service,Database,WS-Policy,Distributed computing | Conference |
Volume | ISSN | ISBN |
4184 | 0302-9743 | 3-540-38862-1 |
Citations | PageRank | References |
6 | 0.50 | 5 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diletta Cacciagrano | 1 | 90 | 11.13 |
Flavio Corradini | 2 | 670 | 78.46 |
Rosario Culmone | 3 | 45 | 9.28 |
Leonardo Vito | 4 | 9 | 3.28 |