论文部分内容阅读
Artifact行为的一致性检测，是在流程建模、运行之后亟待解决的关键问题之一．针对现有一致性检测技术忽略数据操作方面检测的问题，提出了一种基于Artifact快照序列的行为一致性检测方法．首先，利用全序Artifact快照序列定义了Artifact的行为模式，该行为模式不仅体现了服务的运行轨迹，也描述出了Artifact数据属性赋值的状态变化；然后，将Artifact行为一致性检测问题转换为语言可判定问题，证明了该问题是一个可判定问题，该过程中，设计一台判定该语言的图灵机作为一致性验证模型，该模型不仅检