主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
刘海滨,刘国华,黄立明,宋金玲.基于Artifact快照序列的行为一致性检测方法.软件学报,2015,26(3):491-508
基于Artifact快照序列的行为一致性检测方法
Method for Behavior Conformance Checking Based on Artifact Snapshot Sequences
投稿时间:2014-04-08  修订日期:2014-11-21
DOI:10.13328/j.cnki.jos.004764
中文关键词:  业务流程管理  Petri网  Artifact生命周期  图灵机  Artifact行为一致性
英文关键词:business process management  Petri net  Artifact lifecycle  Turing machine  Artifact behavioral conformance
基金项目:河北省自然科学青年基金(F2015407039); 河北科技师范学院博士基金(2013YB001)
作者单位E-mail
刘海滨 河北科技师范学院 工商管理学院, 河北 秦皇岛 066004 champion_lhb@163.com 
刘国华 东华大学 计算机科学与技术学院, 上海 201620  
黄立明 河北科技师范学院 工商管理学院, 河北 秦皇岛 066004  
宋金玲 河北科技师范学院 工商管理学院, 河北 秦皇岛 066004  
摘要点击次数: 2806
全文下载次数: 2178
中文摘要:
      Artifact行为的一致性检测,是在流程建模、运行之后亟待解决的关键问题之一.针对现有一致性检测技术忽略数据操作方面检测的问题,提出了一种基于Artifact快照序列的行为一致性检测方法.首先,利用全序Artifact快照序列定义了Artifact的行为模式,该行为模式不仅体现了服务的运行轨迹,也描述出了Artifact数据属性赋值的状态变化;然后,将Artifact行为一致性检测问题转换为语言可判定问题,证明了该问题是一个可判定问题,该过程中,设计一台判定该语言的图灵机作为一致性验证模型,该模型不仅检测了Artifact生命周期中服务路径的一致性,同时也检测了生命周期中Artifact属性赋值的正确性;进一步地,利用服务-快照关联矩阵的等价转换,给出了行为一致性量化指标中确切度的精确计算方法;最后,通过实例分析及实验对所提出的方法进行了验证.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利