Artifact的有效性问题研究

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