Page 179 - 《软件学报》2021年第5期

朱锐 等:基于完全有限前缀展开的行为等价过程树生成算法 1403

[33] Polyvyanyy A, RosaArthur ML, ter Hofstede HM. Indexing and efficient instance-based retrieval of process models using
untanglings. In: Jarke M, ed. Proc. of the CAiSE 2014: Advanced Information Systems Engineering. Cham: Springer Int’l
Publishing, 2014. 439–456. [doi: 10.1007/978-3-319-07881-6_30]
[34] Bottrighi A, Canensi L, Leonardi G, Montani S, Terenziani P. Interactive mining and retrieval from process traces. Expert Systems
with Applications, 2018,110:62–79. [doi: 10.1016/j.eswa.2018.05.041]
[35] Song W, Jacobsen H, Cheung SC, Liu HY. Workflow refactoring for maximizing concurrency and block-structuredness. IEEE
Trans. on Services Computing, 2018. Early Access, 8450038. [doi: 10.1109/TSC.2018.2867593]

附中文参考文献:
[1] 金涛,闻立杰.业务过程模型库索引技术.计算机集成制造系统,2011,17(8):1580–1586. [doi: 10.4028/www.scientific.net/AMR.
154-155.87]
[12] 朱锐,李彤,莫启,何臻力,于倩,王一荃.数据驱动的双层次软件过程挖掘方法.软件学报,2018,29(11):3455–3483. http://www.jos.
org.cn/1000-9825/5304.htm [doi: 10.13328/j. cnki.jos.005304]
[15] Milner R,著;林惠民,柳欣欣,刘佳,屈楠,译.通信与移动系统:π 演算.北京:清华大学出版社,2009.
[18] 朱锐,张志幸,莫启,李彤,马自飞,黎彬.支持复杂结构的混成过程挖掘方法.计算机集成制造系统,2018,24(7):1653–1670. [doi: 10.
13196/j.cims.2018.07.007]
[28] 谭文安,谢娜,赵璐,孙勇,黄黎.基于性能约束的业务过程模型检索.计算机集成制造系统,2019,25(4):847–855. [doi: CNKI:SUN:
JSJJ.0.2019-04-006]
[29] 孙晋永,古天龙,闻立杰,钱俊彦.用于面向过程的基于实例推理的语义工作流相似性算法.计算机集成制造系统,2016,22(2):
381–394. [doi: 10.13196/j.cims.2016.02.011]
[30] 孙晋永,古天龙,闻立杰,钱俊彦,孟瑜.基于行为和结构特征的相似语义工作流检索.计算机研究与发展,2017,54(9):1880–1891.
[doi: 10.7544/issn1000-1239.2017.20160755]
[31] 董子禾,闻立杰,黄浩未,王建民.基于触发序列集合的过程模型行为相似性算法.软件学报,2015,26(3):449–459. http://www.jos.
org.cn/1000-9825/4765.htm [doi: 10.13328/j.cnki.jos.004765]

朱锐(1987－),男,博士,讲师,CCF 专业会 李彤(1963－),男,博士,教授,博士生导师,
员,主要研究领域为过程挖掘,深度学习. CCF 高级会员,主要研究领域为软件过程,
形式化方法.

黄月(1996－),女,硕士生,主要研究领域为 汤雅惠(1995－),女,博士生,主要研究领域
软件过程挖掘. 为软件过程挖掘.

金芝(1962－),女,博士,教授,博士生导师,
CCF 会士,主要研究领域为需求工程,知识
工程,软件工程.