Artifact的有效性问题研究.ppt

主要研究内容 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 将来的工作还需要考虑属性的更新操作对流程的影响。此外，为防止状态爆炸，还需要考虑对Petri网的化简。 * *