Automatic DAG-Based Service Composition: A Model Checking Approach.
Yuzhang FengAnitha VeeramaniRajaraman KanagasabaiPublished in: ICWS (2012)
Keyphrases
- model checking
- service composition
- temporal logic
- web service composition
- model checker
- temporal properties
- web services
- web services composition
- process algebra
- service oriented
- formal specification
- service oriented computing
- petri net
- symbolic model checking
- formal verification
- ai planning
- finite state
- timed automata
- automated verification
- verification method
- computation tree logic
- composition of web services
- transition systems
- concurrent systems
- reachability analysis
- epistemic logic
- pspace complete
- service selection
- web service compositions
- formal methods
- directed acyclic graph
- asynchronous circuits
- composite services
- bounded model checking
- modal logic
- planning domains
- satisfiability problem
- deterministic finite automaton
- alternating time temporal logic