夏雲霓

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）參與微軟亞洲研究院項目“分散式錯誤檢測算法的設計和分析”
論文及著作：
[1] 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檢索
[2] 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檢索
[3] 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檢索
[4] 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檢索
[5] Yunni Xia, Hanpin Wang, Yu Huang, L. Yuan: A stochastic model for workflow QoS evaluation. Scientific Programming 14(3-4): 251-265 (2006) SCI檢索
[6] Yuxiang Dong, 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核心檢索
[7] 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核心檢索
[8] Yunni Xia, Zhe Ouyang, Yanxin Wu, Ruilong Yang: Determing Performance of Choreography-based Composite Services1. JCIT 5(8): 113-125 EI核心檢索
[9] 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核心檢索
[10] 劉毅，薛紅超，夏雲霓，楊俊: 一種基於隨機Petri網的服務組合排編標準性能建模和評價方法.被《計算機工程與套用》錄用
會議文章：
[1] Yunni Xia, Hongchao Xue, Xiuwu Wang: Performance prediction of WS-CDL based service composition. QSIC 2010: 294-299
[2] 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
[3] 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
[4] Yuxiang Dong, Yunni Xia, Qingsheng Zhu, Yu Huang: A Stochastic Approach to Predict Performance of Web Service Composition. IEEE ISECS 2009 (2): 460-464
[5] Yu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu: Formalizing Web Service Choreography Interface. AINA Workshops (2) 2007: 576-581
[6] Yunni Xia, Hanpin Wang, Yu Huang, Wanling Qu: Queuing analysis and performance evaluation of workflow through WFQN. TASE 2007: 178-187
[7] 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
[8] Yunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu: Stochastic modeling and quality evaluation of component-based software systems. QSIC 2006: 377-384
[9] 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)
[10] Yunni Xia, Hanpin Wang, Wei Yi: QPERT, a Novel Analytical Framework for Project Management and Analysis. BIO-INSPIRED COMPUTING, Theory and Applications 2006: 966-974 (2006)
[11] 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