Model-checking web services business activity protocols.
Abinoam P. Marques Jr.Anders P. RavnJirí SrbaMuhammad Saleem VighioPublished in: Int. J. Softw. Tools Technol. Transf. (2013)
Keyphrases
- model checking
- web services
- business processes
- business process
- temporal logic
- artifact centric
- model checker
- temporal properties
- formal verification
- formal specification
- partial order reduction
- description language
- finite state
- finite state machines
- automated verification
- service oriented architecture
- symbolic model checking
- verification method
- reachability analysis
- timed automata
- epistemic logic
- computation tree logic
- business rules
- pspace complete
- quality of service
- concurrent systems
- transition systems
- bounded model checking
- asynchronous circuits
- service oriented
- formal methods
- web service composition
- process algebra
- web services composition
- reactive systems
- service composition
- service discovery
- reverse engineering