陈佳佳 缪淮扣 吕丽民 李志敏 宋俐

场景描述框架 消息序列图 数据建模 OODB 场景 系统合成 大型软件 优化组合 预测方法与模型 商自动机 优化布局 生命周期 场景规约 标准工具环 求解空间 构件行为 问题空间 轨线集 OO 快速反应

浙江工业大学信息工程学院 浙江师范大学计算机系 浙江师范大学数理与信息工程学院 上海大学计算机学院