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

来源：软件学报杂志2015年第3期北京时间：

作者：刘海滨,刘国华,黄立明,宋金玲

单位：刘海滨，河北科技师范学院 工商管理学院, 河北 秦皇岛 06600411,刘国华，东华大学 计算机科学与技术学院, 上海 20162002,黄立明，河北科技师范学院 工商管理学院, 河北 秦皇岛 06600403,宋金玲，河北科技师范学院 工商管理学院, 河北 秦皇岛 06600404

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

关键词：业务流程管理;Petri网;Artifact生命周期;图灵机;Artifact行为一致性

基金资助：河北省自然科学青年基金(F2015407039); 河北科技师范学院博士基金(2013YB001)