Formal Verification of Stochastic Timing Behavior in Web-Based Business Process Collaboration.
Haiyang HuJianen XieJiDong GePublished in: WAIM Workshops (2010)
Keyphrases
- business process
- formal verification
- business processes
- business process management
- model checking
- inter organizational
- process model
- symbolic model checking
- business process models
- business rules
- model checker
- bounded model checking
- automated verification
- process management
- ws bpel
- web services
- process mining
- case study
- virtual organization
- business process modeling
- service oriented architecture
- information exchange
- information sharing
- knowledge intensive
- formal specification
- workflow models