南京大学商学院

 

于笑丰

电子商务系讲师，吉林农安人。2007年于南京大学计算机软件及理论专业获得博士学位；2003年于南京航空航天大学航空宇航制造工程专业获得硕士学位；1998年于南京航空航天大学飞行器制造工程专业获得学士学位。

2008年1月至5月以访问教授身份赴加拿大University of Ontario Institute and Technology进行合作研究。担任2009 World Congress on Privacy, Security, Trust and the Management of e-Business的Publicity Co-Chairs；2009 IEEE Asia-Pacific Services Computing Conference (IEEE APSCC 2009) 技术委员会委员(Technical Program Committee)；第11、12、13、14届IEEE International Enterprise Distributed Object Computing Conference (EDOC), SCC 2008 (2008 IEEE International Conference on Services Computing)、SCC 2009和SCC2010等重要国际学术会议程序委员会委员和审稿人；IEEE Transactions on Services Computing，Enterprise Information Systems和Information Systems Frontiers 等国际期刊审稿人。

研究方向

  1. 服务工程（Services Engineering）
  2. 软件工程（Software Engineering）
  3. 模型驱动工程（Model Driven Engineering）

教学方向

  1. 管理信息系统
  2. 计算机网络与通信
  3. 企业资源计划
进入教师园地>>

联系方式

联系电话： 025-83621159

电子信箱：xiaofengyu#nju.edu.cn

主持和参与科研项目

  1. 于笑丰, 2008.09-2010.09, 基于Mobile Service 的应急反应建模与模型转换研究, 计算机软件新技术国家重点实验室（南京大学）, 2万元
  2. 李宣东等, 2007.08-2010.12, 支持软件可信性分析和评估的生产线, 国家高技术研究发展计划（863计划）重点项目, 编号:2007AA010302, 809万元
  3. 李宣东, 2007.01-2009.12, 基于场景规约的Web Service组合行为获取与验证研究, 国家自然科学基金委员会, 编号:60673125, 22万元
  4. 王全胜等, 2007-2008, 信息时代的管理理论与实践案例库建设, 南京大学985二期, ７万元
  5. 李宣东, 2005.1-2008.12, 软件工程学, 国家杰出青年科学基金, 编号:60425204, 100万元
  6. 李宣东等, 2002.12-2007.8, 网构软件形式化理论与方法研究, 国家重点基础研究发展计划（973 计划）, 编号:2002CB312001, 220万元

公开发表论文

  1. 张天，张岩，于笑丰，王林章，李宣东, 2008, 基于MDA的设计模式建模与模型转换, 软件学报 19(9),2203-2217.
  2. Xiaofeng Yu, Yan Zhang, Tian Zhang, Jun Hu, Linzhang Wang, JianHua Zhao, Xuandong Li, 2007, A Model Driven Development Framework for Enterprise Web Services, Information Systems Frontiers Vol.9, No.4. 391-409. (SCI:000248825200006,EI:074710933647) (A preliminary version of this paper appears in Proceedings of the 10th IEEE International EDOC Enterprise Computing Conference(EDOC 2006))
  3. 张岩, 胡军, 于笑丰, 张天, 李宣东, 郑国梁, 2007, 场景驱动的构件行为抽取, 软件学报 18(1)，50-61. EI
  4. 于笑丰, 胡军, 李宣东, 郑国梁, 2006, 面向Web service的模型驱动开发方法, 计算机科学 33(4)，260-265.
  5. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng, 2006, Deriving Available Behavior All Out from Incompatible Component Compositions, In: Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS 2005), Electronic Notes in Theoretical Computer Science, Elsevier Vol.160, 349-361. (EI:063210052706)
  6. 胡军, 于笑丰, 张岩, 李宣东, 郑国梁, 2006, 基于场景构件式实时软件设计的一致性检验, 软件学报 17(1)，48-58. EI
  7. 胡军, 于笑丰, 张岩, 王林章, 李宣东, 郑国梁, 2006, 基于场景规约的构件式系统设计分析与验证, 计算机学报 26(4)，513-525. EI
  8. 胡军, 于笑丰, 张岩, 王林章, 李宣东, 郑国梁, 2005, 嵌入式软件建模、实现与验证：研究与进展, 计算机科学 32(12)，16-23.
  9. 张岩, 胡军, 于笑丰, 李宣东, 郑国梁, 2005, 接口自动机--一种用于组件组合的形式系统, 计算机科学 32(11)，212-217.

会议论文与工作论文

  1. YU Xiaofeng, Teodor Sommestad, Casey Fung,Patrick C. K. Hung, 2008, Emergency Response Framework for Aviation XML Services on MANET, In： Proceedings of ICWS 2008 (2008 International Conference on Web Services),IEEE Computer Society (EI:085211814259)
  2. YU Xiaofeng, HU Jun, ZHANG Yan, ZHANG Tian, WANG Linzhang, ZHAO Jianhua, 2007, Towards a Model Driven Approach to Automatic BPEL Generation, In:Proceedings of Third European Conference on Model Driven Architecture: Foundations and Applications (ECMDA-FA 2007), Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg New York,204-218. Vol.4530. (SCI:000247365200016,EI:075110984435)
  3. Xiaofeng Yu , Jun Hu, Yan Zhang, Tian Zhang, Xuandong Li, Linzhang Wang, and Jianhua Zhao, 2006, A Model Driven Development Framework for Enterprise Web Services, In: Proceedings of 10th IEEE International EDOC Enterprise Computing Conference(EDOC2006), IEEE Computer Society 75-85. (EI:080611082577)
  4. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng, 2006, Scenariobased Component Behavior Derivation, In: Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006). Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, New York, 206-225 Vol. 4260 (SCI:000243128400012,EI:065010297331)
  5. Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, and Guoliang Zheng, 2006, Scenario-based Component Behavior Filtration, In: Proceedings of IFIP Working Conference on Software Engineering Techniques (SET 2006), Lecture Notes in Computer Science, Springer Boston Vol.227, 25-36. (SCI:000242338400003)
  6. Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, and Guoliang Zheng, 2005, Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications, In: Proceedings of IFIP International Conference on Embedded and Ubiquitous Computing (EUC2005), Lecture Notes in Computer Science, Springer Vol.3824, 395-404. (SCI:000234715700038,EI:06249940213)
  7. Hu Jun, Yu Xiaofeng, Zhang Yan, Zhang Tian, Li Xuandong, and Zheng Guoliang, 2005, Scenario-Based Verification of Component-Based Embedded Software Designs, In: Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP2005 Workshops), IEEE Computer Society Press 240-247. (EI:06269956743)

浏览方式