%0 Journal Article
%T Artifact的有效性问题研究
%A 王颖
%A 刘国华
%A 刘海滨
%A 赵丹枫
%J 计算机集成制造系统
%P 0-0
%D 2012
%X 为及时发现业务活动对数据的非法操作，将违规实例监测问题归结为Artifact有效性检查问题，基于时间Petri网提出Artifact业务要求模型，从属性赋值顺序的角度给出Artifact在生命周期中的状态变化及时间要求。证明了在给出业务要求模型并求出状态类图的条件下，该问题是多项式时间问题。研究结果表明,该方法支持业务流程中Artifact的时间建模，为业务流程中验证Artifact的有效性提供了新的途径。
%K 业务流程分析
%K 以Artifact为中心
%K 时间Petri网
%K Artifact有效性
%U http://www.cims-journal.cn/CN/abstract/abstract3475.shtml