Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.
Sylvain HalléPublished in: WS-FM (2010)
Keyphrases
- web services
- bounded model checking
- temporal logic
- semi automated
- np complete
- model checking
- satisfiability problem
- composition of web services
- quality of service
- propositional logic
- semantic web services
- linear temporal logic
- sat instances
- satisfiability testing
- stochastic local search
- web service composition
- multi agent systems
- search algorithm