姓名: 白鑫鑫

研究方向: 分布式工作流执行系统
现工作单位: IBM,CRL,中国
硕士论文题目: 实时业务过程性能管理与工作流动态建模技术研究

-> 工作学习经历

1998年9月-2002年7月 中国民用航空学院自动化专业大学本科
2002年9月- 2005年7月 清华大学自动化系系统集成研究所硕士研究生
2005年8月-现在 IBM,CRL,中国工作

-> 参加的项目

  1. UML(Unified Modeling Language)模型向Petri网模型的转换研究 2003年12月~2004年12月

-> 在清华工作学习期间发表的论文

  1. Xinxin Bai, Yushun Fan. Towards Formal Verification of Web Service Composition. In Proceedings of The 11th International Conference on Industrial Engineering and Engineering Management (IEEM'2005), Shenyang, China, April, 2005,pp.577-581 ISTP收录,IDS Number: BCN39,ISBN: 7-111-03973-4 (PDF文件)
  2. 白鑫鑫,范玉顺,“企业业务过程性能实时管理技术研究”《计算机集成制造系统》Vol.11 No4, Apr.2005. pp.507-514 (EI索引号05239147404) (PDF文件)
  3. Yushun Fan,Xinxin Bai"Real-Time business Process Performance Management",IEEE International Conference on E-Commerce Technology for Dynamic E-Business (CEC-East 2004).13-15 Sep.,2004. pp.341-344 ISTP收录,IDS Number: BBA97 ,ISBN: 0-7695-2206-8 (EI索引号05108872561) (PDF文件)
  4. Yu Zhao,Yushun Fan,Xinxin Bai,Yuan Wang,Hong Cai,Wei Ding"Towards Formal Verification of UML Diagrams Based on Graph Transformaion",IEEE International Conference on E-Commerce Technology for Dynamic E-Business (CEC-East 2004).13-15 Sep.,2004. pp.180-187 ISTP收录,IDS Number: BBA97 ,ISBN: 0-7695-2206-8 (EI索引号05108872531) (PDF文件)