中国科学院软件研究所研究员

人物简介

职称： 研究员

性别： 男

主要研究方向及简介

软件工程和网络分布式计算，重点是面向中间件的分布式软件工程。

研究兴趣包括：高可信、可重配和可管理软件中间件技术，面向服务计算，分布式软件开发方法和工具，以及形式化建模与分析技术。

学习经历

88年～92年 武汉大学计算机科学系 计算机科学与技术 获学士学位

92年～97年 武汉大学计算机科学系 计算机软件 获博士学位

工作经历

97年8月～99年9月 中国科学院软件研究所 博士后

2000年9月～2001年11月 香港科技大学计算机科学系 博士后

99年12月～ 2005年6月 中国科学院软件研究所 副研究员

2005年7月～至今 中国科学院软件研究所 研究员

社会兼职

IFIP TC2 软件理论和实践技术委员会中国代表《计算机科学与探索》执行编委

研究成果与获奖情况

《网络软件基础架构平台关键技术和系统》通过中国科学院组织的成果鉴定。

网驰系列中间件平台，包括OncePI, OnceBPEL, OnceSCB, OnceSoapExpress

代表论著

乔晓强,魏峻,黄涛. 基于分布式协调模型的服务协作方法研究. 《软件学报》（录用）

乔晓强，魏峻，黄涛. 基于适配的服务协作流程动态管理.《计算机学报》，2008年第8期

叶世阳, 魏峻, 李磊, 黄涛. 支持服务质量关联的组合服务选择方法. 《计算机学报》2008年第8期

吴国全,魏峻,黄涛. 基于非确定性推理的网构软件服务质量动态评估方法研究.《软件学报》，2008,19(5): 1173-1185

左林, 刘绍华, 魏峻, 冯玉琳. 自适应组件副本选择模型及算法研究. 《软件学报》，2008,19(5):1212-1223

左林, 刘绍华, 冯玉琳, 魏峻. 支持复杂事务模式的Web应用服务器复制机制.《软件学报》，2008,19(2):432-445

李磊, 牛春雷, 陈宁江, 魏峻. 一种高效的Web服务性能优化策略. 《计算机研究与发展》2007年第7期

宋靖宇、魏峻、万淑超. 门户环境中基于语义数据协作的企业应用集成方法. 《软件学报》2007年18卷7期

李洋, 张文博, 魏峻, 钟华, 黄涛. 基于序列模式的Servlet容器缓存替换. 《软件学报》 2007年18卷7期

胡剑军, 官荷卿, 魏峻,黄涛. 一种基于性能模型的中间件自配置框架. 《软件学报》2007年18卷9期

黄涛, 丁晓宁, 魏峻. 基于应用语义的网构软件松弛事务模型研究. 中国科学（E辑信息科学），2006， Vol.36，No.10，P1170-1188.

张文博, 陈宁江,魏峻,黄涛. QoS获益驱动的中间件调度框架研究. 《软件学报》, 2006,17(6):1381-1390.

张勇,黄涛, 魏峻，陈宁江. 基于容器中间件的组件系统体系结构性能评价. 《软件学报》, 2006,17(6):1328-1337.

花磊, 魏峻, 牛春雷, 郑浩然. 动态模板驱动的高性能SOAP处理. 《计算机学报》,2006,29(7):1145~1156.

官荷卿，张文博，魏峻，黄涛. 一种应用敏感的Web服务请求调度策略. 《计算机学报》,2006,29(7):1189~1198

张文博, 陈宁江, 魏峻, 黄涛. R2M3:一种基于域的中间件资源管理机制.《电子学报》, 2005, Vol. 33, No.12

陈宁江, 魏峻, 杨波, 黄涛. Web应用服务器的适应性失效检测.《软件学报》, 2005, 16(11):1929-1938.

汪洋, 魏峻, 王振宇. 可扩展和可配置事件通知服务体系结构.《软件学报》, 2006, 17(3):638-648.

徐伟, 魏峻, 李京. 面向服务的工作流访问控制模型研究. 《计算机研究与发展》2005, 42(8):1369-1375.

李磊、胡坤、陈宁江、魏峻，一种面向Web服务的Qos提供器模型.《电子学报》, 2005, Vol.33, No.12a

黄 涛,陈宁江,魏峻, 张文博,张勇. OnceAS/Q:一个面向QoS 的Web 应用服务器. 《软件学报》，2004, 15(12): 1787-1799.

刘绍华, 魏峻, 黄涛. 基于服务协作中间件的动态流程模型. 《软件学报》，2004, 15 (10):1431-1440.

汪 洋, 魏 峻, 王振宇. 基于体系结构模型检查分布式控制系统. 《软件学报》，2004, 15 (6):823-833.

范国闯, 魏 峻, 钟 华, 冯玉琳. 支持EJB动态分布的组件迁移模型与算法. 《软件学报》, 2004, 15 (3):404-413.

丁柯，魏峻，冯玉琳. 基于混合粒度冲突检测的事务工作流调度. 《软件学报》, 2003, 14 (3):369-375.

魏峻，王栩，李京. 一种基于对象序列图的组件交互协议设计方法. 《软件学报》, 2001, 12 (7):996-1006.

魏峻，周桓. 移动组件系统模型的分析与描述.《软件学报》, 2001, 12 (1):56-64.

魏峻，冯玉琳. 移动计算形式理论分析与研究.《计算机研究与发展》，2000, 37(2):129~139.