李倩倩 邱银安 陈青 杨路明 阳爱民 李建设 应晶 朱艳辉 文志诚 杨伟丰 李长云 彭三城 杨蕾 薛建强 陈志刚 刘国华 肖衍

服务集成 匹配 服务质量 UCM QoS 智能空间 规则 语义标注 不一致 证明责任 现代分布式软件 推理 业务模型 上下文 形式验证 例程化 场景 约束 语义Web 最优化 服务框架 行为可信 Web服务 权重 无限隐Markov模型 Object-Z 多交叉事件模型 课堂教学质量 SQL语言 态势预测

株洲工学院计算机系 湖南工业大学计算机与通信学院 湖南株洲 中南大学信息科学与工程学院 河北秦皇岛 浙江大学计算机科学与技术学院 燕山大学计算机系 湖南衡阳