以物件为中心的业务流程建模 该模型可以验证业务流程执行过程中artifact的有效性

为及时发现业务活动对数据的非法操作,将违规实例监测问题归结为Artifact有效性检查问题,基于时间Petri网提出Artifact业务要求模型,从属性赋值顺序的角度给出Artifact在生命周期中的状态变化及时间要求。证明了在给出业务要求模型并求出状态类图的条件下,该问题是多项式时间问题。研究结果表明,该方法支持业务流程中Artifact的时间建模,为业务流程中验证Artifact的有效性提供了新的途径。