Page 190 - 《软件学报》2020年第10期

3166 Journal of Software 软件学报 Vol.31, No.10, October 2020

附中文参考文献:
[1] 卢亚辉,明仲,张力.业务过程协同模式的研究.计算机集成制造系统,2011,17(8):1570–1579.
[6] 莫启,代飞,朱锐,等.从私有过程提取公共过程构建业务协同的方法.计算机研究与发展,2017,9(54):1892–1908.
[13] 郑明,莫启,周小煊,等.协同业务过程的相容性检测及修正.计算机科学与探索,2017,11(12):1907–1921.
[16] 张静,王海洋,崔立真.基于 Pi 演算的跨组织工作流建模研究.计算机研究与发展,2007,44(7):1243–1251.
[24] 肖芳雄,黄志球,曹子宁,等.基于价格进程代数的 Web 服务组合描述和成本分析.计算机研究与发展,2009,46(5):832–840.

莫启(1986－),男,博士,讲师,CCF 会员,主 朱锐(1987－),男,博士,讲师,CCF专业会员,
要研究领域为业务过程管理. 主要研究领域为软件过程,过程挖掘.

代飞(1982－),男,博士,副教授,CCF 专业 谢仲文(1982－),男,博士,讲师,主要研究
会员,主要研究领域为软件工程,业务过程 领域为软件工程.
管理.

笪建(1979－),男,讲师,CCF 专业会员,主 李彤(1963－),男,博士,教授,博士生导师,
要研究领域为业务过程管理. CCF 高级会员,主要研究领域为软件过程,
形式化方法.