%0 Journal Article
%T 基于artifact快照序列的行为一致性检测方法
%A 刘海滨？
%A 刘国华？
%A 黄立明？
%A 宋金玲？
%J 软件学报
%P 491-508
%D 2015
%R 10.13328/j.cnki.jos.004764
%X artifact行为的一致性检测,是在流程建模、运行之后亟待解决的关键问题之一.针对现有一致性检测技术忽略数据操作方面检测的问题,提出了一种基于artifact快照序列的行为一致性检测方法.首先,利用全序artifact快照序列定义了artifact的行为模式,该行为模式不仅体现了服务的运行轨迹,也描述出了artifact数据属性赋值的状态变化;然后,将artifact行为一致性检测问题转换为语言可判定问题,证明了该问题是一个可判定问题,该过程中,设计一台判定该语言的图灵机作为一致性验证模型,该模型不仅检测了artifact生命周期中服务路径的一致性,同时也检测了生命周期中artifact属性赋值的正确性;进一步地,利用服务-快照关联矩阵的等价转换,给出了行为一致性量化指标中确切度的精确计算方法;最后,通过实例分析及实验对所提出的方法进行了验证.
%K 业务流程管理
%K petri网
%K artifact生命周期
%K 图灵机
%K artifact行为一致性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4764&flag=1