夏云霓
Yuan Lian ation
正文
夏云霓：男，1980年4月出生，理学博士，博士后，副教授，硕士生导师。2003年7月毕业于重庆大学计算机系，获工学学士。2008年7月毕业于北京大学信息学院计算机软件与理论专业，获理学博士学位，导师是袁崇义和王捍贫教授。2006-2007年在微软亚洲研究院理论组从事分布式算法性能分析的研究。目前主要从事服务质量分析、Web服务组合、软件工程形式化的研究。主持中国博士后基金（1等）一项，博士点新教师基金一项，中央高校科研基金一项，省部级自然科学基金面上项目一项以及企业科技攻关项目一项。主研和参研项目包括：国家973项目“基于知识的网构软件需求建模理论和方法研究”、国家863项目“基于正确性验证的web服务可信性研究”、微软研究院/北京大学信息科学技术学院理论实验室联合项目“分布式错误检测算法的设计和分析”、国家自然科学基金项目“混成系统的描述与证明论研究”。在《IEEE transaction on system, man and cybernetics》、《Concurrency and computation: practice and experience》、《scientific programming》等著名和知名国际期刊上发表SCI检索文章5篇，并多次在QISC、ICCS等知名国际会议上发表文章。主要获奖包括：2008年6月获得北京大学“学术精英”奖；2007年获得北京大学信息科学技术学院“学术十杰”奖。
研究方向：
服务质量分析、Web服务组合、软件工程形式化
科研项目：
（1）主持重庆市自然科学基金面上项目“服务组合可信度定量分析方法的研究”
（2）主持国家博士后面上一等基金项目“业务流程组合非功能特性的研究”
（3）主持中国移动重庆分公司横向课题“基于信令的漫游用户实时信用度测评及超前欠费控制”
（4）参与973项目“基于知识的网构软件需求建模理论和方法研究”
（5）参与863项目“基于正确性验证的web服务可信性研究”
（6）参与微软亚洲研究院项目“分布式错误检测算法的设计和分析”
论文及著作：
Yunni Xia, Yi Liu, Ji Liu, Qingsheng Zhu: Modeling and performance evaluation of
WS-BPEL processes, a stochastic petri net based approach. Accepted by IEEE transaction on system, man and cybernetics. SCI检索
Yunni Xia, Gang Dai, Jia Li, Tianhao Sun: A model-driven approach to predicting dependability of WS-CDL based service composition. Accepted by Concurrency and Computation: Practice and Experience. SCI检索
Yunni Xia, Qingsheng Zhu, Yu Huang, Zizhen Wang: A novel reduction approach to analyzing QoS of workflow processes. Concurrency and Computation: Practice and Experience 21(2): 205-223 (2009) SCI检索
Yunni Xia, Hanpin Wang, Wangsen Feng, Yu Huang: QoS modeling and analysis of component-based software systems: a stochastic approach. Concurrency and Computation: Practice and Experience 20(12): 1359-1385 (2008) SCI检索
Yunni Xia, Hanpin Wang, Yu Huang, L. Yuan: A stochastic model for workflow QoS evaluation. Scientific Programming 14(3-4): 251-265 (2006) SCI检索
Yuxiang 越南盾, Yunni Xia, Tianhao Sun, Qingsheng Zhu: Modeling and performance evaluation of service choreography based on stochastic Petri net. JCP 5(4): 516-523 (2010) EI核心检索
Yuxiang Dong, Yunni Xia, Qingsheng Zhu, Ruilong Yang: A Stochastic Approach to Predicting Performance of Web Service Composition. jcp 4(6): 485-493 (2009) EI核心检索
Yunni Xia, Zhe Ouyang, Yanxin Wu, Ruilong Yang: Determing Performance of Choreography-based Composite Services1. JCIT 5(8): 113-125 EI核心检索
Yunni Xia, Mingqiang Zhou, Tianhao Sun, Qingsheng Zhu: A queuing network based approach to evaluating performance of workflow processes. JOICS 5(5): 1485-1494 EI核心检索
刘毅，薛红超，夏云霓，杨俊: 一种基于随机Petri网的服务组合排编标准性能建模和评价方法。被《计算机工程与应用》录用
会议文章：
Yunni Xia, Hongchao Xue, Xiuwu Wang: Performance prediction of WS-CDL based service composition. QSIC 2010: 294-299
Yi Liu，Wang Xiuwu，Xia Yunni，Sun Tianhao: Modeling and reliability prediction of WS-CDL based service composition, a Petri-net-based approach. SOSE 2010: 280-285
Yunni Xia, Jun Chen, Mingqiang Zhou, Yu Huang: A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies. APWeb/WAIM Workshops 2009: 113-124
Yuxiang 越南盾, Yunni Xia, Qingsheng Zhu, Yu Huang: A Stochastic Approach to Predict Performance of Web Service Composition. IEEE ISECS 2009 (2): 460-464
Yu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu: Formalizing Web Service Choreography Interface. AINA Workshops (2) 2007: 576-581
Yunni Xia, Hanpin Wang, Yu Huang, Wanling Qu: Queuing analysis and performance evaluation of workflow through WFQN. TASE 2007: 178-187
Yunni Xia, Hanpin Wang, Chunxiang Xu, Liang Li: Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets. International Conference on Computational Science (3) 2006: 988-995
Yunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu: Stochastic modeling and quality evaluation of component-based software systems. QSIC 2006: 377-384
Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia: Property-Transition-Net-Based Workflow Process Modeling and Verification. Electr. Notes Theor. Comput. Sci. 159: 155-170 (2006)
Yunni Xia, Hanpin Wang, Wei Yi: QPERT, a Novel Analytical Framework for Project 管理学 and Analysis. BIO-INSPIRED COMPUTING, Theory and Applications 2006: 966-974 (2006)
Yunni Xia, Hanpin Wang, Yu Huang: A NOVEL BUS-BASED INTERCONNECTION TOPOLOGY FOR
SMALL-SCALE MULTIPROCESSOR SYSTEM AND SOC MULTIPROCESSOR SYSTEM. DCABES 2006: 1303-1308