王立福 张文娟 常欣 冯慧 刘瑜 杨芙清 赵文 覃国蓉 袁崇义 王映辉 刘刚 胡文蕙

过程网 化简规则 模型验证 框架元模型 基于构件的框架 PT系统 软件体系结构可达矩阵 波及效应 框架 工作流过程定义语言 软件构件 虚拟仪器 工作流 特定领域软件体系结构 软件框架 变化性 角色 仪器测试应用软件 构件组装 扩展点 交互关系 软件体系结构 框架开发 演化 基于框架的应用开发 工作流元模型 开发过程模型 工作流引擎

北京大学计算机科学技术系 北京大学信息科学技术学院 航天工业总公司无线电计量测试研究所 陕西西安 北京大学信息遥感与地理信息系统研究所 北京大学信息科学技术学院软件研究所 陕西师范大学计算机学院 河南郑州