基于完全有限前缀展开的行为等价过程树生成算法
作者:
作者单位:

作者简介:

朱锐(1987-),男,博士,讲师,CCF专业会员,主要研究领域为过程挖掘,深度学习.
李彤(1963-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为软件过程,形式化方法.
黄月(1996-),女,硕士生,主要研究领域为软件过程挖掘.
汤雅惠(1995-),女,博士生,主要研究领域为软件过程挖掘.
金芝(1962-),女,博士,教授,博士生导师,CCF会士,主要研究领域为需求工程,知识工程,软件工程.

通讯作者:

李彤,E-mail:tli@ynu.edu.cn

中图分类号:

TP311

基金项目:

国家自然科学基金(62002310);云南省重大科技专项计划(202002AD080002);云南省自然科学基金(2019FB135);云南省软件工程重点实验室开放基金资助项目(2020SE404);云南大学数据驱动的软件工程省科技创新团队资助项目(2017HC012);云南大学“东陆中青年骨干教师”培养计划资助项目(C176220200)


Generating Algorithm for the Behavior Equivalent Process Tree Based on Complete Finite Prefix Unfolding
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (62002310); Major Project of Science and Technology of Yunnan Province (202002AD080002); Yunnan Provincial Natural Science Foundation of China (2019FB135); Yunnan Provincial Open Fund Project of the Software Engineering Key Laboratory (2020SE404); Yunnan University Data-driven Software Engineering Provincial Science and Technology Innovation Team Foundation of China (2017HC012); Yunnan University "Dong Lu Young-backbone Teacher" Training Program of China (C176220200)

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

    过程树能够兼具过程模型的行为和结构,在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,无法将具有复杂结构的过程模型转化过程树.为此,提出了一种基于完全有限前缀展开的行为等价过程树生成算法,用于将与过程树行为等价的过程模型转化为行为等价过程树.该方法首先利用完全有限前缀展开技术分析过程模型,抽取模型的活动关系;其次通过分析活动关系,进而对模型进行重构.最终通过活动关系判断和模型重构的不断迭代操作,构建行为等价过程树.通过在测试模型上的实验,验证了该算法在行为等价过程树生成方面的正确性和可行性.

    Abstract:

    The process tree has both the behavior and the structure of process model, and it is significant on simplifying the complexity of the process model. Existing methods can only transform the block structured process model into process tree. However, it is difficult to transform process model with complex structure into process tree. To solve this problem, a generating algorithm for the behavior equivalent process tree based on complete finite prefix unfolding is proposed. The algorithm is used to transform the process tree in behavior equivalent's process model into behavior equivalent process tree. This algorithm analyzes the process model based on an incomplete prefix unfolding technique and extracts the relationships between process model activities. After analyzing the activity relation, the algorithm reconstructs the process model. The behavior equivalent process tree is constructed through activity relation judgment and the iterative operation of model reconstruction. The validity and feasibility of the proposed algorithm in the generation of behavioral equivalent process tree are verified by experiments on the test model.

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

朱锐,黄月,金芝,李彤,汤雅惠.基于完全有限前缀展开的行为等价过程树生成算法.软件学报,2021,32(5):1385-1403

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

京公网安备 11040202500063号