基于Artifact快照序列的行为一致性检测方法

• 作者: 刘国华 刘海滨 宋金玲 黄立明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 业务流程管理 Petri网 Artifact生命周期 图灵机 Artifact行为一致性
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 业务过程管理技术专题
• 页码范围: 491-508
• 页数: 18页
• 分类号: TP311
• 字数: 11636字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004764

摘要

Artifact行为的一致性检测,是在流程建模、运行之后亟待解决的关键问题之一.针对现有一致性检测技术忽略数据操作方面检测的问题,提出了一种基于Artifact快照序列的行为一致性检测方法.首先,利用全序Artifact快照序列定义了Artifact的行为模式,该行为模式不仅体现了服务的运行轨迹,也描述出了Artifact数据属性赋值的状态变化;然后,将Artifact行为一致性检测问题转换为语言可判定问题,证明了该问题是一个可判定问题,该过程中,设计一台判定该语言的图灵机作为一致性验证模型,该模型不仅检测了Artifact生命周期中服务路径的一致性,同时也检测了生命周期中Artifact属性赋值的正确性;进一步地,利用服务-快照关联矩阵的等价转换,给出了行为一致性量化指标中确切度的精确计算方法;最后,通过实例分析及实验对所提出的方法进行了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘国华	东华大学计算机科学与技术学院	63	422	9.0	18.0
2	宋金玲	河北科技师范学院工商管理学院	38	133	8.0	10.0
3	黄立明	河北科技师范学院工商管理学院	25	114	7.0	10.0
4	刘海滨	河北科技师范学院工商管理学院	14	23	2.0	4.0