A Hybrid Approach for Business Process Verification.
Bing LiJunichi IijimaPublished in: CONFENIS (1) (2007)
Keyphrases
- business process
- business processes
- business rules
- ws bpel
- process model
- business process modeling
- case study
- model checking
- business process management
- formal verification
- workflow model
- web services
- process mining
- workflow technology
- software engineering
- decision makers
- user interface
- workflow management systems
- virtual organization
- real world