论文部分内容阅读
从活动依赖性的角度提出一种支持业务专家修改业务流程的BPMS模型D-BPMS(dependence basedbusiness process management system),即能够使业务专家按照业务需求通过调整业务活动之间的依赖关系和配置业务活动的属性达到调整业务流程的目的。它在体系结构上分为表示层、流程逻辑层、业务逻辑层和数据层四个层次。在流程逻辑层采用消息传递机制设计算法实现流程结构变化模式,证明了D-BPMS模型变化模式的完备性和变化的可验证性,并可用Petri网来验证流程变化的正确性。