Formal analysis of BPEL. workflows with compensation by model checking.
Máté KovácsDániel VarróLászló GönczyPublished in: Comput. Syst. Sci. Eng. (2008)
Keyphrases
- formal analysis
- formal methods
- model checking
- temporal logic
- formal specification
- model checker
- process algebra
- temporal properties
- symbolic model checking
- formal verification
- web services
- business processes
- timed automata
- epistemic logic
- reactive systems
- pspace complete
- automated verification
- computation tree logic
- workflow management systems
- reachability analysis
- artificial intelligence
- asynchronous circuits
- control flow
- lightweight
- business process
- concurrent systems
- transition systems
- linear temporal logic
- verification method
- case study
- bounded model checking