云南大学软件学院

1 团队带头人王炜

王炜，男，1979年11月6日生，教授，博士，中组部、中科院“西部之光”青年学者，云南省高校智能软件科技创新团队带头人，云南省高层次人才培养计划“教学名师”，云南省高层次人才培养计划“青年拔尖”，云南省中青年学术和技术带头人后备人选，昆明市中青年学术技术带头人后备人选。中国计算机学会软件工程专委会专委。云南省计算机学会软件工程专委会秘书长。2002年毕业于云南大学，获学士学位，2005年毕业于云南大学，获硕士学位，2009年毕业于云南大学，获博士学位。长期以来从事形式化方法、软件演化方向的研究工作。获云南省自然科学奖二等奖1项、获国家级教学成果奖二等奖1项、获云南省教学成果奖一等奖1项。主持国家自然科学基金项目、云南省自然科学基金重点项目等15项，发表SCI、EI检索论文20余篇，其中1篇论文入选高被引ESI 1%。

2 团队研究方向

结合现有研究基础和当前学界研究热点，本团队围绕2个方面：智能软件工程和城市计算开展相关研究工作。

2.1 智能软件工程

聚焦数据驱动的软件可信演化的故障定位和软件微过程的挖掘和分析研究。

软件演化过程研究聚焦软件演化过程的建模和分析和软件演化过程的形式验证。针对现有软件过程验证研究缺乏行为验证的不足，结合Petri网和ACP的长处，提出了基于Petri网的进程代数验证方法，支持软件演化过程模型结构、性质和行为的形式验证。

业务过程聚焦跨组织业务过程的形式建模和跨组织业务过程的形式分析。……