Keyphrases
- automated verification
- web services
- model checking
- automated reasoning
- formal verification
- web service composition
- temporal logic
- web applications
- automatic discovery
- service discovery
- graph theory
- service oriented
- business processes
- semantic web services
- data intensive
- business process
- web services composition
- service architecture
- composition of web services
- service providers
- service composition
- neural network
- service oriented architecture
- description language
- modal logic
- security flaws