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

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