Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic.
Xiangyu LuoZheng TanRongsheng DongPublished in: WGEC (2009)
Keyphrases
- epistemic logic
- model checking
- modal logic
- multi agent systems
- composite web services
- inference rules
- dynamic epistemic logic
- logical framework
- multi faceted
- formal semantics
- temporal reasoning
- mathematical theory
- linear temporal logic
- temporal information
- model checker
- temporal logic
- service composition
- formal specification
- web services composition
- bounded model checking
- first order logic
- image processing