Verification of behavioral soundness for artifact-centric business process model with synchronizations.
Guosheng KangLiqin YangLiang ZhangPublished in: Future Gener. Comput. Syst. (2019)
Keyphrases
- process model
- artifact centric
- model checking
- workflow management systems
- business processes
- business process
- process mining
- service oriented architecture
- business process models
- workflow management
- control flow
- petri net
- databases
- business process management
- formal models
- website
- software process
- knowledge management
- data warehouse
- business applications
- feature selection
- business process modeling
- real world