丁海燕 张文博 宋伟 谢昆青 武春岭 何丰 凌海洋 刘孟觉 王阳阳 黄晓虎 梁奕 李启炎 汤宪飞 朱嘉鲁 江东 齐治昌 饶东宁 朱庆生 苑庆涛 刘敏 卢正鼎 张付志 李迎秋 高勇 胡文蕙 姜瑛 李景霞 龚小勇 周远长 江南

Web服务 服务质量 验证 软件容错 语义 模型检测 Web服务商业流程执行语言 Web服务编排描述语言 时序逻辑 禁忌搜索算法 流程精化性质 移动Agent 业务流程集成 可靠组合 Web服务业务流程执行语言 极大熵 数据流分析 接口匹配 对等网 表达式 N版本程序设计 可靠性 故障诊断 事务框架 形式化验证 编排 失效检测算法 配对Petri网 服务选择 Web服务本体描述语言

Web服务

服务质量