Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

ICSOC
2009
Springer

favoriteEmaildiscussreport

129views Applied Computing» more ICSOC 2009»

Generating Interface Grammars from WSDL for Automated Verification of Web Services

13 years 11 months ago

Generating Interface Grammars from WSDL for Automated Verification of Web Services

Download www.cs.ucsb.edu

Sylvain Hallé, Graham Hughes, Tevfik Bultan

Real-time Traffic

Applied Computing | ICSOC 2009 |

claim paper

Related Content

» SSWiM A Semantic Service Wrapper and Invocation Manager

» WSTAXI A WSDLbased Testing Tool for Web Services

» Enhancing Web Services Description and Discovery to Facilitate Composition

» Pollock automatic generation of virtual web services from web sites

» An Automatic Test Case Generation Framework for Web Services

» Automated Model Checking and Testing for Composite Web Services

» Extending the Reach of Business Processes

» Redundancy detection in serviceoriented systems

» Bringing Semantics to Web Services The OWLS Approach

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	ICSOC
Authors	Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf

Comments (0)