金芝

北京大学教授、博士生导师

报告题目: 人机物融合泛在系统的软件需求规约

摘要：

      人机物融合泛在系统成为富有吸引力的软件应用形态，软件将占据其核心位置，它（通过网络）直接将信息世界与现实世界（含人类社会和物理世界）相连，实施协同的调度和管理，并为物理世界提供所需的服务。这类软件系统的需求，除了服务能力的功能规约外，还需要能够应对现实世界的复杂性和不确定性，而且还涉及与人类社会相关的公共安全性等。这对软件需求的规约带来很大挑战。本报告将从人机物融合泛在系统的体系结构参考模型出发，探讨其核心软件的需求获取、建模和规约的基本原则和主要关注点。

报告人简介：

      现任中国科学院数学与系统科学研究院研究员，国家杰出青年基金获得者。担任北京大学高可信软件技术教育部重点实验室副主任，中国科学院管理、决策与信息系统重点实验室副主任，湘潭大学智能计算与信息处理教育部重点实验室学术委员会委员。兼任中国计算机学会常务理事。还担任《软件学报》执行副主编，《计算机学报》副主编，《Journal of Computer Science and Technology》编委。多年来，一直从事知识工程、基于知识的软件工程和软件需求工程的研究，先后主持、协助主持或参加包括国家八五、九五科技重点攻关项目、国家基础研究发展规划（973）项目、国家863高技术计划项目、国家自然科学重点基金项目、国家自然科学基金项目、以及中法和中英合作项目等二十余项。出版合著英文专著1部，合著中文编著1部，译著2部，在国内外学术期刊和会议上发表论文100多篇。曾获国防科工委科技进步二等奖，中创软件人才奖，中科院盈科优秀青年人才奖，中科院巾帼建功先进个人，中国十大IT科研女性奖。