A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.
Yanhua DuBenyuan YangWei TanPublished in: ICWS (2015)
Keyphrases
- model checking
- timed automata
- composition of web services
- partial order reduction
- temporal logic
- finite state machines
- service composition
- petri net
- web service composition
- verification method
- reachability analysis
- web services composition
- formal verification
- automated verification
- formal specification
- knowledge level
- symbolic model checking
- temporal properties
- web services
- model checker
- computation tree logic
- formal methods
- bounded model checking
- service discovery
- pspace complete
- concurrent systems
- theorem prover
- asynchronous circuits
- markov chain
- e learning
- epistemic logic
- artificial intelligence
- deterministic finite automaton
- reinforcement learning
- alternating time temporal logic