Generating Interface Grammars from WSDL for Automated Verification of Web Services.
Sylvain HalléGraham HughesTevfik BultanMuath AlkhalafPublished in: ICSOC/ServiceWave (2009)
Keyphrases
- web services
- automated verification
- model checking
- description language
- automated reasoning
- formal verification
- service discovery
- service providers
- web service discovery
- service oriented
- user interface
- semantic web services
- web service composition
- web services composition
- business processes
- grammatical inference
- business process
- web applications
- context free grammars
- quality of service
- service composition
- service oriented architecture
- service architecture
- loosely coupled
- temporal logic
- user friendly
- natural language processing
- web technologies
- machine learning
- software architecture
- natural language
- web services discovery
- tree grammars