张广泉 沈一栋 刘珊艳 陈道喜 魏慧 李璐 张晓蒙 林苗

嵌入式软件 消息传递自动机 嵌入式实时软件 消息中间件 UPPAAL 组合时间分析 XYZRE 中间件 服务组合 体系结构描述语言 Spin 统一建模语言（UML）顺序图 多维QoS 时间自动机 QoS协商 状态图 统一建模语言 第一原理 场景 Web服务 专家系统 SET协议 定性诊断推理 模型检测 实时系统 时间ER网 构件 Promela 对象精化演算系统 XYZADL

暨南大学深圳旅游学院 苏州大学计算机科学与技术学院 重庆大学计算机以究所 重庆师范学院计算机系 苏州技师学院 重庆师范大学数学与计算机科学学院 重庆师范大学数学与计算机学院 中国科学院计算机科学国家重点实验室