Tools for Automated Verification of Web Services.
Tevfik BultanXiang FuJianwen SuPublished in: ATVA (2004)
Keyphrases
- automated verification
- web services
- model checking
- automated reasoning
- software tools
- business processes
- web technologies
- formal verification
- artificial intelligence
- decision support
- user friendly
- web service composition
- service oriented
- description language
- software components
- data mining
- temporal logic
- quality of service
- heterogeneous systems
- value added services
- machine learning