Formal verification of business processes with temporal and resource constraints.
Kenji WatahikiFuyuki IshikawaKunihiko HiraishiPublished in: SMC (2011)
Keyphrases
- resource constraints
- business processes
- formal verification
- temporal constraints
- business process
- workflow systems
- model checking
- temporal reasoning
- model checker
- workflow processes
- workflow management systems
- temporal information
- web services
- inter organizational
- process model
- business process management
- business process models
- business objectives
- routing problem
- service oriented architecture
- constraint satisfaction problems
- business partners
- temporal logic
- business process modeling
- database