Verifiable Model Construction for Business Processes.
Shunhui JiLiming HuYihan CaoPengcheng ZhangJerry GaoPublished in: Int. J. Softw. Eng. Knowl. Eng. (2021)
Keyphrases
- model construction
- business processes
- business process
- influence diagrams
- pose estimation
- process model
- web services
- competitive advantage
- business partners
- business objectives
- business rules
- workflow management systems
- business process management
- workflow management
- business process models
- sufficient conditions
- workflow systems
- workflow processes
- business environment
- enterprise application integration
- business process modeling
- inter organizational
- low resolution
- distributed systems
- user interface
- case study