基于Artifact快照序列的行为一致性检测方法
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

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


Method for Behavior Conformance Checking Based on Artifact Snapshot Sequences
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    Behavior conformance checking is a critical issue after process modeling and process running to ensure the correctness and stability of artifact-centric business process model. With the popularization of data-centric design, researches on checking data manipulation of business process becomes more important. This paper proposes a method for checking behavior conformance according to the lifecycle of artifact. First, the artifact behavior can be defined as the total order artifact snapshot sequences. The total order artifact snapshot sequences not only reflect the path of services, but also describe the change of attribute assignment states of the artifact. Next, the problem for behavior conformance checking is proved to be decidable by transforming the problem into the decidability problem of language. A Turing machine is designed as verification model. The model not only measures conformance of service path in the lifecycle, but also evaluates the correctness of attribute assignment of artifact. Further, the calculation method of fitness metric utilizing equivalent conversion of service-snapshot correlation matrix is presented. Lastly, the instantiation analysis and experiments demonstrate the correctness and validity of this method.

    参考文献
    相似文献
    引证文献
引用本文

刘海滨,刘国华,黄立明,宋金玲.基于Artifact快照序列的行为一致性检测方法.软件学报,2015,26(3):491-508

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2014-04-08
  • 最后修改日期:2014-11-21
  • 录用日期:
  • 在线发布日期: 2015-03-03
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号