协同业务过程建模与行为验证 (Modeling and Behavior Verification for Collaborative Business Processes).
Ying ZhaoHua PanYunmeng ZhangQi MoFei DaiPublished in: 计算机科学 (2018)
Keyphrases
- business processes
- business process
- business process modeling
- model driven development
- web services
- process model
- inter organizational
- business process management
- competitive advantage
- workflow systems
- workflow management systems
- business rules
- process management
- business applications
- business objectives
- business process models
- workflow management
- knowledge intensive
- service oriented architecture
- ws bpel
- business process reengineering
- cross organizational
- process execution
- workflow model
- model checking
- business partners
- process mining