近日，公司kaiyun体育登录网页入口孙昌爱教授团队深入研究了基于变异分析的BPEL程序故障定位技术，依据BPEL程序及其变异算子特点提出了优化策略，并在此基础上开发相应的支持工具，采用大量BPEL程序实例评估所提技术的有效性以及优化策略的效果。该项目成果——论文“一种基于变异分析的BPEL程序故障定位技术”，在由中国计算机学会主办的第十一届服务计算学术会议中获得高度评价，并斩获大会唯一“最佳论文奖”。该项目建立在课题组多年从事的服务计算与软件测试方向的研究成果基础上, 研究工作得到国家自然科学基金面上项目资助。相关研究成果曾在多个国内外重要期刊与会议论文集上发表论文二十余篇。

图片：DebugBPEL工具截图（4张拼）

论文“一种基于变异分析的BPEL程序故障定位技术”获奖证书

此外，孙昌爱教授团队长期从事适应性服务组装工作，针对性地提出了一种基于可变性扩展和模型驱动的自适应微服务系统开发方法，开发了相应的支持平台AMS，将可变性贯穿微服务系统开发的多阶段，提高了开发效率，规范了开发流程，提高了微服务系统的灵活性和适应性。相关技术已经应用于开源的ArduPilot无人机系统（总代码约70万行）的迁移，开发了基于微服务架构的可重组无人机系统，并提供相应的管理平台；同时还应用于一个大型的微服务系统TrainTicket（总代码约30万行），对火车票搜索、预定等5个场景进行建模与重构，提升了系统的适应性和灵活性。研究成果得到了国家自然科学基金、中央高校基础业务费等项目资助。该项目成果“模型驱动的自适应微服务系统开发方法与支持平台”在第十一届服务计算学术会议中脱颖而出，荣获二等奖。

VxBPMN4MS建模截图

项目“模型驱动的自适应微服务系统开发方法与支持平台”获奖证书

孙昌爱教授团队长期从事服务计算与软件测试方向的研究与实践，相关研究成果曾5次在中国计算机学会主办的软件服务创新大赛和软件研究成果原型竞赛获奖（一等奖一次，二等奖两次，三等奖一次，优秀奖一次）。计算机软件领域的许多研究工作皆以开发的原型系统来验证研究工作的价值，与论文交流相比，通过原型系统的交流更直观且更具吸引力，原型系统交流尤其对于研究成果向企业界的转化大有裨益。

孙昌爱教授团队