张征 杨潇 耿俊浩 胡翠云 张定华 吴爱华 万建成 侯金奎 潘巨辉 马军 田锡天 张振明 王帅强 刘小玲 何克清 王海洋 刘进 顾毓清 段玉聪 毛新军

转换规则 建模 进化计算 形式化描述 领域概念 自动精化方法 模型转换 ODAM 形式化语义 过程框架 UML 遗传规划 产品全生命周期管理 模型映射 特定领域建模 聊天室系统 映射 组织抽象 软件体系结构 多维关注分离 行为精化 构件模型 范畴理论 辅助决策系统 语义描述