Towards a Formal Verification Approach for Business Process Coordination.
Min YuanZhiqiu HuangXiang LiYan YanPublished in: ICWS (2010)
Keyphrases
- business process
- formal verification
- business processes
- model checking
- model checker
- automated verification
- symbolic model checking
- multi agent
- ws bpel
- bounded model checking
- business rules
- business process models
- workflow model
- business process management
- process management
- multiagent systems
- case study
- process mining
- service oriented architecture
- multi agent systems
- process model
- information sharing
- virtual organization
- business process modeling
- workflow technology
- workflow models
- event logs
- inter organizational
- user interface
- information exchange
- temporal logic