微信服务号

微信订阅号

2025年5月10日 14:16 星期六
首页 > 过刊浏览>2015年第26卷第3期 >491-508. DOI:10.13328/j.cnki.jos.004764
PDF HTML阅读 XML下载 导出引用 引用提醒
基于Artifact快照序列的行为一致性检测方法
作者:
基金项目:

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


Method for Behavior Conformance Checking Based on Artifact Snapshot Sequences
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [23]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    摘要:

    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.

    参考文献
    [1] Van der Aalst WMP, ter Hofstede AHM, Kiepuszewski B, Barros AP. Workflow patterns. Distributed and Parallel Databases, 2003, 14(1):5-51. [doi: 10.1023/A:1022883727209]
    [2] Fan YS, Wu C. Research on a workflow modeling method to improve system flexibility. Ruan Jian Xue Bao/Journal of Software, 2002,13(4):833-839 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/13/833.htm
    [3] Nigam A, Caswell NS. Business Artifacts: An approach to operational specification. IBM Systems Journal, 2003,42(3):428-445. [doi: 10.1147/sj.423.0428]
    [4] Bhattacharya K, Caswell NS, Kumaran S, Nigam S, Wu FY. Artifact-Centered operational modeling: Lessons from customer engagements. IBM Systems Journal, 2007,46(4):703-721. [doi: 10.1147/sj.464.0703]
    [5] Liu GH, Liu X, Qin HH, Su JW, Yan ZM, Zhang L. Automated realization of business workflow specification. In: Dan A, Gittler F, Toumani F, eds. Proc. of the 1st Int'l Workshop on SOA, Globalization, People, & Work (SG-PAW 2009). Berlin: Springer-Verlag, 2009. 96-108. [doi: 10.1007/978-3-642-16132-2_9]
    [6] Bhattacharya K, Gerede C, Hull R, Liu R, Su JW. Towards formal analysis of Artifact-centric business process models. In: Proc. of the Int'l Conf. on BPM 2007. Berlin: Springer-Verlag, 2007. 288-304. [doi: 10.1007/978-3-540-75183-0_21]
    [7] Gerede CE, Bhattacharya K, Su JW. Static analysis of business Artifact-centric operational models. In: Proc. of the IEEE Int'l Conf. on Service-Oriented Computing and Application (SOCA2007). Piscataway: IEEE Computer Society Press, 2007. 133-140. [doi: 10.1109/SOCA.2007.42]
    [8] Van der Aalst WMP. Process Mining: Discovery, Conformance and Enhancement of Business Processes. Berlin: Springer-Verlag, 2011.
    [9] Leoni MD, Van der Aalst WMP. Data-Aware process mining: Discovering decisions in processes using alignments. In: Shin SY, Maldonado JC, eds. Proc. of the ACM Symp. on Applied Computing (SAC 2013). Portugal: ACM Press, 2013. 1454-1461. [doi: 10. 1145/2480362.2480633]
    [10] Goedertier S, Martens D, Vanthienen J, Baesens B. Robust process discovery with artificial negative events. The Journal of Machine Learning Research, 2009,10(2):1305-1340.
    [11] Van der Aalst WMP, Adriansyah A, Van Dongen B. Replaying history on process models for conformance checking and performance analysis. WIREs Data Mining and Knowledge Discovery, 2012,2(2):182-192. [doi: 10.1002/widm.1045]
    [12] Rozinat A, Van der Aalst WMP. Conformance checking of processes based on monitoring real behavior. Information System, 2008, 33(1):64-95. [doi: 10.1016/j.is.2007.07.001]
    [13] Luo HB, Fan YS, Wu C. Analysis of event balance in the verification of workflow soundness. Ruan Jian Xue Bao/Journal of Software, 2002,13(8):1686-1691 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/13/1686.htm
    [14] Gunther CW, Reichert M, Van der Aalst WMP. Supporting flexible processes with adaptive workflow and case handling. In: Proc. of the 17th Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2008). New York: IEEE Computer Society Press, 2008. 229-234. [doi: 10.1109/WETICE.2008.15]
    [15] Adriansyah A, Van Dongen BF, van der Aalst WMP. Towards robust conformance checking. In: zur Muehlen M, Su J, eds. Proc. of the 6th Workshop on Business Process Intelligence (BPI 2010). Hoboken, 2010. 122-133. [doi: 10.1007/978-3-642-20511-8_11]
    [16] Adriansyah A, Van Dongen BF, Van der Aalst WMP. Conformance checking using cost-based fitness analysis. In: Chi CH, Johnson P, eds. Proc. of the IEEE Int'l Enterprise Computing Conf. (EDOC 2011). New York: IEEE Computer Society, 2011. 55-64. [doi: 10.1109/EDOC.2011.12]
    [17] Munoz-Gama J, Carmona J, Van der Aalst WMP. Hierarchical conformance checking of process models based on event logs. In: Colom JM, Desel J, eds. Proc. of the Applications and Theory of Petri Nets 2013. Berlin: Springer-Verlag, 2013. 291-310. [doi: 10.1007/978-3-642-38697-8_16]
    [18] De Leoni M, Van der Aalst WMP, Van Dongen B. Data- and resource- aware conformance checking of business processes. In: Abramowicz W, Kriksciuniene D, Sakalauskas V, eds. Proc. of the Business Information Systems (BIS 2012). Berlin: Springer- Verlag, 2012. 48-59. [doi: 10.1007/978-3-642-30359-3_5]
    [19] Hull R, Narendra NC, Nigam A. Facilitating workflow interoperation using Artifact-centric hubs. In: Baresi L, Chi CH, Suzuki J, eds. Proc. of the Int'l Conf. on Service Oriented Computing (ICSOC 2009). Berlin: Springer-Verlag, 2009. 1-18. [doi: 10.1007/ 978-3-642-10383-4_1]
    [20] Liu ZQ, Li HY, Wang L, Qu Q. A data model anomalies detection method for business process model. Chinses Journal of Computers, 2010,33(8):1349-1358 (in Chinese with English abstract). [doi: 10.3724/SP.J.1016.2010.01349]
    [21] Liu HB, Liu GH, Huang LM, Song JL. Artifact-Centric business process models and similarity search method. Computer Integrated Manufacturing Systems, 2013,19(8):1810-1821 (in Chinese with English abstract).
    [22] Sipser M. Introduction to the Theory of Computation. 3rd ed., Cengage Learning, 2006. 167-170.
    [23] Chavez E, Navarro G, Baeza-Yates R, Marroquin JL. Searching in metric spaces. ACM Computing Surveys, 2001,33(3):273-321. [doi: 10.1145/502807.502808]
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

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

复制
分享
文章指标
  • 点击次数:5283
  • 下载次数: 6861
  • HTML阅读次数: 2519
  • 引用次数: 0
历史
  • 收稿日期:2014-04-08
  • 最后修改日期:2014-11-21
  • 在线发布日期: 2015-03-03
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19919828位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号