数字电子技术基础 - BPM 2013.PPTVIP

主要研究内容 Artifact模式、模式下的实例和Artifact 业务要求和有效性 用Petri网定义业务要求模型 结论与展望 * Artifact的有效性问题研究 王颖，刘国华，刘海滨，赵丹枫 燕山大学 CBPM2012 2012年7月28日，北京 Validity problem for Artifacts Artifact是业务流程中的关键数据实体，引导业务流程操作 部门3 单据在部门间流动 部门1 部门2 以业务单据为中心，对业务流程进行分析、验证、优化以及新型业务流程管理系统的研发成为一个研究热点。 CBPM2011 严志民, 等. 解决变化问题的自底向上流程建模方法。 提出一种以数据为中心的业务流程建模的说明性业务流程建模方法，自底向上设计业务流程，从而降低建模难度。 田钊, 等. 工作流应用数据生命周期模型的提取方法 。 以WFD-net为输入，给出了一种工作流模型中数据生命周期的提取方法。 [Nigam 03] Business artifacts: An approach to operational specification [LIU 07] Modeling business contexture and behavior using business artifacts [GEREDE 07] Static analysis of business artifact-centric operational models [BHATTACHARYA 07] Towards formal analysis of artifact-centric business process models [GEREDE 09] Specification and verification of artifact behaviors in business process mode [FRITZ 09] Automatic construction of simple artifact-based workflows Artifact的值在业务流程中是随时间变化的 ，一个Artifact是否在适当的时间有适当的值？—Artifact的有效性问题 解决方法： 1.Artifact的基本定义 2.用Petri网定义业务要求模型 3.Artifact有效性判定算法 讨论一种最基本的业务要求—Artifact实例的正确赋值状态， 即业务要求定义在一定的时间要求下Artifact实例中哪些属性有值，哪些属性无值 Artifact的有效性定义 从Artifact属性赋值顺序的角度定义业务要求模型 。 顺序 与分割 与连接 或分割 或连接 异或分割 Artifact属性赋值顺序及到Petri网的映射 1-safe Petri net 基于TPN的业务要求模型H(PN；f, TC) 时间约束 变迁时间对[TCmin(t), TCmax(t)]表示对变迁行为的时间约 束。如果变迁t在T0时刻具有发生权，那么它只能在时间间隔 [T0+TCmin (t), T0+TCmax(t)]允许发生。 S0=(M0,I0)，M0=PA1 (1)且I0=[0,1] S1=(M1,I1)，M1=PA1 (1), PA2(1)且I1=[1,3] S2=(M2,I2)，M2=PA1 (1), PA2 (1), PA3(1)且I2=[0,0] S3=(M3,I3)，M3=PA1(1), PA2 (1), PA3(1), p1(1), p2(1), p3(1)且I3=[1,5],[2,3] 如果t4在时间?4(1≤?4≤3 )发生，得到状态S4=(M4,I4)， M4=PA1 (1), PA2(1), PA3 (1), p1(1), p3(1), A4(1) 且 I4=[max(0,2-?4), 3-?4] 业务要求模型H(PN；f, TC)的状态S=(M, I) 业务要求模型H(PN；f, TC)的状态类C=(M, D) t4发生后下一个状态类C4=(M4,D4)的情况 状态类图表示Artifact实例的业务要求 Artifact有效性判定算法 Artifact简化实例 (1) 本文给出了Artifact、完备的Artifact和Artifact有效性的基本定义，并基于时间Petri网建立了Artifact业务要求模型，得到状态类图进而验证业务过程中Artifact的有效性。 (2) 根据本文的方法和验证算法，可以开发业务过程分析软件，作为业务过程建模和分析自动化实现的关键步骤。 (3) 将来的工作还需要考虑属性的更新操作对流程的影响。此外，为