一种基于Prolog的时间约束业务流程验证方法 (Prolog Based Approach to Validate Time Constraints in Business Process).
Hewen ChenYong ZhouXuefeng YanPublished in: 计算机科学 (2016)
Keyphrases
- business process
- business processes
- logic programming
- process model
- programming language
- business process modeling
- business process management
- expert systems
- process mining
- knowledge representation
- business rules
- web services
- business process models
- workflow model
- real world
- service oriented architecture
- case study
- ws bpel
- user interface
- knowledge base