姓 名:
徐春香 性 别:
女
职 务:
职 称:
副研究员（自然科学）
通讯地址:
乌鲁木齐市北京南路40号附1号
邮政编码:
830011 电子邮件:
xuchunxiang@ms.xjb.ac.cn

简历：
　　2000年9月- 2004 年7月 北京大学 计算机与科学技术系 理学学士学位

　　2004年9月-- 2010年7月 北京大学 信息科学与技术学院 理学博士学位

　　2010年7月- 2013年6月 北京国政通科技有限公司 高级软件工程师

　　2013年7月-今 中科院新疆理化技术研究所

主要研究领域：

　　主要从事软件形式化方法，需求建模和分析，服务组合，物联网，数据挖掘等领域的研究。

目前主持和作为骨干参与的项目：

　　1.自治区高层次人才引进工程:油品销售信息采集监管

　　2.中科院西部之光:云环境下服务组合和智能调度的研究

　　3.中科院科技服务网络计划（STS计划）:加油(气)站安全监管分析平台与示范

　　4.中科院西部之光:移动特种设备电子监管数据分析方法研究

　　5.研究所所长基金:云环境下大数据处理共性关键技术研究及应用

代表性文章:

　　1. 徐春香, 黄雨, 王捍贫: 工作流逻辑模型分析，计算机科学，2006，33-8: 60-62.

　　2. 徐春香, 王捍贫, 屈婉玲, 黄雨: 基于同步网的BPEL建模和验证，系统仿真学报 2007 Vol.19 No.S1，pp.97-100

　　3. Chunxiang Xu, Hapin Wang, WanlingQu: Modeling and Verifying BPEL Using Synchronized Net. Proceedings of the 2008 ACM Symposium on Applied Computing. ACM: New York, 2008, 2358-2363. (EI)

　　4. Chunxiang Xu, Hanpin Wang, WanlingQu, Meixia Zhu, Yu Huang: A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. SSIRI 2009: 203-211

　　5. Chunxiang Xu, WanlingQu, Hanpin Wang: A Petri-net Based Method for Data Validation of Web Services Composition. Computer Software and Applications Conference (COMPSAC), 2010 IEEE 34th Annual, 468 – 476. (EI)

　　6. Chunxiang Xu, WanlingQu, Hanpin Wang: A Petri Net-Based Method for RFID Event Detection. Computer Software and Applications Conference (COMPSAC), 2010 IEEE 34th Annual, 367-372.

　　7. 徐春香，王捍贫，屈婉玲：死路删除语义下的WS-BPEL流程的建模，北京大学学报(自然科学版), 2010 Vol 2.

　　8. 黄雨, 徐春香, 王捍贫: 工作流过程的Petri网建模方法计算机科学，2006，33-8: 56-59

　　9. 霍金健, 徐春香, 屈婉玲, 袁崇义: SimNet—一种新型的工作流仿真模型计算机科学，2006，33-8: 47-50

　　10. 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 (EI)

　　11. Yu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu: Formalizing Web Service Choreography Interface. Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINA Workshop'07, 2007, 576-581. (EI)
研究领域：
　　物联网应用技术，数据分析与数据挖掘，云计算
社会任职：

获奖及荣誉：

代表论著：

承担科研项目情况：

代表论著：