Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL.
Guangquan ZhangHuijuan ShiMei RongHaojun DiPublished in: WISM (2) (2011)
Keyphrases
- web service composition
- model checking
- description language
- model checker
- asynchronous circuits
- planning domains
- temporal logic
- web services
- service composition
- ai planning
- symbolic model checking
- formal specification
- web services composition
- service selection
- software architecture
- finite state
- formal verification
- automated verification
- temporal properties
- epistemic logic
- petri net
- bounded model checking
- formal methods
- verification method
- computation tree logic
- modal logic
- concurrent systems
- alternating time temporal logic
- timed automata
- service oriented
- orders of magnitude
- business processes