Artifact的有效性问题研究

• 论文 •

Artifact的有效性问题研究

王颖，刘国华，刘海滨，赵丹枫

1.燕山大学信息科学与工程学院计算机科学与工程系,河北秦皇岛066004;2.河北省计算机虚拟技术与系统集成重点实验室，河北秦皇岛066004；3.东华大学计算机科学与技术学院,上海201620

出版日期:2012-08-15 发布日期:2012-08-25

Validity problem for Artifact

WANG Ying, LIU Guo-hua,, LIU Hai-bin, ZHAO Dan-feng

1.Department of Computer Science and Engineering, School of Information Science and Engineering, Yanshan University, Qinhuangdao 066004, China；2.The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province, Qinhuangdao 066004, China3.School of Computer Science and Technology, Donghua University, Shanghai 201620, China

Online:2012-08-15 Published:2012-08-25

摘要/Abstract

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

关键词: 业务流程分析, 以Artifact为中心, 时间Petri网, Artifact有效性

Abstract: To detect the illegal operation of business activities on data in time, the monitoring problem of violation instance was boiled down to the validity checking problem of Artifact, and Artifact business request model based on time Petri net was proposed. The states change and time requirements of Artifact in life cycle were given from the view of sequence of attributes assignment. In the condition of giving business request model and solving state class diagram, the problem was polynomial time problem. Research results showed that this method supported time modeling to business Artifact and provided a new way to verify the validity of business Artifact.

Key words: business process analysis, artifact-centered, time Petri nets, validity of Artifact

中图分类号:

TP311

王颖，，刘国华,，刘海滨，赵丹枫. Artifact的有效性问题研究[J]. .

WANG Ying，, LIU Guo-hua,, LIU Hai-bin, ZHAO Dan-feng. Validity problem for Artifact[J]. .

[1]	陈文冲,刘洪伟,齐二石,刘伟. 离散串联生产系统物理与信息过程匹配机理[J]. 计算机集成制造系统, 2019, 25(第11): 2923-2934.
[2]	刘进,郭立鹏,雷建坤,张亮. 业务流程即服务中的数据映射问题研究[J]. 计算机集成制造系统, 2017, 23(第5期): 1000-1006.
[3]	丁建立，陈坦坦，刘玉洁. 有色—时间Petri网航班延误模型与波及分析[J]. , 2008, 14(12): 0-0.
[4]	续爱民，金烨. 基于共享合成时间Petri网的船舶吊装过程建模[J]. , 2007, 13(03): 0-0.
[5]	潘炎, 汤庸. 模糊时态工作流网的建模和时间可能性分析[J]. , 2006, 12(11): 0-0.
[6]	续爱民，金烨. 基于改进免疫遗传算法的船台吊装网络优化[J]. , 2006, 12(05): 0-0.
[7]	唐达，刘丹妮. 基于层次时间Petri网的工作流模型可达性分析方法[J]. , 2006, 12(04): 0-0.