蒋建民
发布时间: 2014-05-26 访问次数: 2700

 


蒋建民 (1972-),男,四川渠县人,博士,教授,硕士生导师。

   1995年本科毕业于四川师范大学物理系计算机专业,同年进入渝州大学(今为重庆工商大学)任教;2006年在中国科学院成都计算机应用研究所获得博士学位,同年进入福建师范大学任教。研究方向为软件开发方法和形式法方法,提出了能与Petri网比美的形式化模型——依赖结构(Dependency structure)和能用于复杂系统调度问题的理论——细粒度调度理论,已经引起国内、国际学术界的注意。目前主持国家自然基金面向上项目、福建省自然基金面上项目,在国际一流刊物ACM TECS、ACM TCPS、SPE和国内刊物Sci. China等学术期刊发表论文30余篇。


欢迎有志于从事软件工程及相关研究的同学加入我的团队!


教育经历:

u 1991.9—1995.7四川师范大学物理系计算机专业本科

u 2003.92006.7中国科学院成都计算机应用研究所计算机软件与理论博士

  

工作经历

1995.7—2003.8 在重庆工商大学从事计算机教学与科研工作

1997.7-2002.5  到校外软件公司兼职从事软件开发(岗位:程序员、系统分析员和项目经理)

2006.8—现在在福建师范大学从事计算机教学与科研工作


社会服务

  • 长期担任软件工程教研室主任;

  • 目前福建省软件工程本科实验教学特色专业建设项目负责人;

  • 是一些国际期刊如Science China Information Sciences, International Journal of Software Engineering and Knowledge Engineering 等期刊审稿人


研究兴趣:


  • 软件开发方法

在软件工程实践中,现有的软件开发方法无法满足具体的工程要求,究其原因主要是这些方法在实践上没有系统的、具体的、可行的实施方案。我的研究工作就是将现有的方法具体化、工程化,从而提出自己的开发方法。主要研究基于组件、面向服务和云计算的软件开发方法。在实践上,寻求与软件公司合作,培养研究生成为高级程序员、架构工程师、系统分析员和软件项目经理。

  • 形式化建模、分析和验证

    软件需求、设计、编码和测试是非常繁重的工作,现阶段还没有完全可行的理论和技术保证软件的质量。我的研究工作主要提出新的理论和新技术,采用严格的数学推理方法,把新的理论融入到软件开发过程中,使软件开发能部分支持自动化,并保证软件的正确性。我已经开发出了具有原创的形式化模型——依赖结构(dependency structure),该模型可以与国际上流行的Petri网比美;同时提出了相应的分析理论——细粒度调度理论。我的目标是在形式化方法领域建立自己的理论体系,希望在国际形式化领域建立中国人的学术流派。


  


教学与指导研究生

  • 主要对本科学生讲授《软件工程》、《数据库原理》和《C++》等课程。

  • 对研究生讲授《软件开发方法》、《形式化方法》、《基于组件的开发方法》等课程。

  • 已经指导硕士研究生10余人,部分学生保送攻读博士学位。



科研项目

  1. 国家自然基金面上项目,61772004,基于事件的形式化模型的表达能力与工程方法研究,2018/01-2021/12, 主持。

  2. 福建省自然基金面上项目,2018J01777基于事件的形式化模型的理论与应用研究2018/04-2021/03,主持

  3. 福建省自然基金面上项目,2014J01221, 多租户云应用软件的形式化建模与自动配置,2014/01-2016/12已结题,主持。

  4. 上海市高可信计算重点实验室开放课题,07dz2230420140,多租户云应用软件的理论与应用研究, 2015/07-2017/06已结题,主持。

  5. 国家自然科学基金面上项目,面向软件行为鉴别的事件序列挖掘方法研究,2012/01-2015/12,已结题,参与。

  6. 福建省科技厅青年人才项目,2006F3043,装配式软件的理论与应用研究,2006/01-2008/12,已结题,主持。

    代表性论文(包括正在评审的):

  7. Jian-Min Jiang, Huibiao ZhuQin LiYongxin ZhaoLin ZhaoShi ZhangPing Gong. Isolation modeling and analysis based on mobility, Submitted to ACM Transactions on Software Engineering and Methodology (CCF A), 小修,等待录用

  8. Jian-Min Jiang, Huibiao ZhuQin LiYongxin ZhaoShi ZhangZhong Hong. Event-based functional decomposition. Submitted to Information and Computation. (CCF A), 小修,等待录用

  9. Jian-Min Jiang, Zhong Hong, Huibiao Zhu, Jinzhao Wu. Fine-grained scheduling theory. Submitted to ACM Transactions on Computational Logic

  10. Jian-Min Jiang, Zhong Hong, Huifeng Chen. Controlling iterative development process. Submitted to ACM Transactions on Management Information Systems. 正在大修

  11. Xiaofei Yu, Jian-Min Jiang and Zhong Hong. Decomposition and composition of sequence diagrams, Proceedings of First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '18), pp. 76-83, IEEE Computer Society Press, 2018(CCF C)

  12. Xiaofei Yu, Jianmin Jiang, Zhong Hong: Decomposition and Composition of Sequence Diagrams. TASE 2018: 76-83

  13. Jian-Min Jiang, Xiaofei Yu and Zhong Hong. Modeling mobility and communication in a unified way. Proceedings of The 30th International Conference on Software Engineering & Knowledge Engineering. Pp.381-384, 2018 (CCF C)

  14. Huifeng Chen,Jian-min Jiang (通信作者),Zhong Hong,Ling Lin. Decomposition of UML activity diagrams. SoftwarePractice and Experience. 48(1):105-122 (2018) (CCF B)

  15. Jian-Min Jiang, Huibiao ZhuQin LiYongxin ZhaoLin ZaoShi ZhangPing GongZhong HongDonghuo ChenEvent-based mobility modeling and analysisACM Transactions on Cyber-Physical Systems2017.2.2012):1-32

  16. Jian-Min Jiang, Zhu, HuibiaoLi, QinZhao, YongxinZhao, LinZhang, ShiGong, PingHong, ZhongAnalyzing Event-Based Scheduling in Concurrent Reactive SystemsACM Transactions on Embedded Computing Systems2015.12.01144):1-27 (CCF B)

  17. Jian-Min Jiang, Zhang ShiGong PingHong ZhongYue HouGuangModeling and analyzing mixed communications in service-oriented trustworthy softwareScience China-Information Sciences2012.12.015512):2738-2756 (CCF B)

  18. Jian-Min Jiang,Shi ZhangPing GongZhong HongConfiguring Business Process ModelsACM SIGSOFT - Software Engineering Notes2013.7.15384):1-10

  19. Jian-Min Jiang HuiBiao ZhuQin Li, Shi Zhang, Ping Gong, Zhong Hong. Configuration of services based on virtualization8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014Changsha, China2014.9.1-2014.9.3 (CCF C)

  20. Jian-Min JiangShi ZhangPing GongZhong HongMessage dependency-based adaptation of services2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011Jeju, Korea2011.12.12-2011.12.15

  21. Jianmin Jiang, Shi Zhan, Ping Gong and Zhong Hong. Service Adaptation at message Level. 2011 IEEE World Congress on Services, SERVICES 2011Washingto DC, USA2011.7.4-2011.7.9

  22. 杨启帆,吴亚洲,蒋建民,张仕,云计算中服务虚拟的形式依赖分析,福建师范大学学报(自然科学版)2015.3.20,(02):24-31

  23. 朱振宇, 张仕, 蒋建民,. 并发系统中基于优先级的调度分析[J]. 计算机科学, 2016, 43(s2):523-528.

  24. 吴亚洲,杨启帆,蒋建民,张仕,业务过程的自动配置与管理,计算机科学,2015.7.15,(07):129-133+141

  25. 林添荣, 蒋建民. UML活动图的一种逻辑语义[J]. 福建师范大学学报(自然科学版), 2010, 26(3):26-30.

  26. 朱恒亮, 蒋建民, 肖颖. 基于搜索的信息管理系统[J]. 计算机与数字工程, 2009, 37(9):39-41.

  27. 肖颖, 蒋建民, 朱恒亮. 对象之间连接器的设计与实现[C]. 全国计算机技术与应用会议. 2009.

  28. 龚平,蒋建民,张仕,语义标识的过程模型的可执行性分析,小型微型计算机系统, 2012, 33(12):2618-2624.

  29. Ping Gong(龚平)Zaiwen FengJianmin Jiang(蒋建民)David  KnupleschbpCMon: A Rule-based Monitoring Framework for Business ProcessesComplianceInternational Journal of Web Services Research, 2017,14281-103

  30. 龚平, 冯在文, 蒋建民. 一种高效的业务过程的合规性监控框架[J]. 计算机集成制造系统, 2017, 23(5):1113-1124.

  31. Jianmin Jiang, Hongpin Shu. Assembly, Disassembly, Adaptation and Replacement of Software Components, Proc. of CSSE 2008, IEEE Computer Society Press, 2008

  32. Jianmin Jiang, Jinzhao Wu and Hongping Shu. Symmetry in Process Algebra. Proceedings of First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), pp.450-459, IEEE Computer Society Press, 2007 

  33.  Jianmin Jiang, Jinzhao Wu and Donghuo Chen. Symmetry in Event Structures. Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC’06). ACM press, pp. 1850- 1851, 2006. 

  34. Jianmin Jiang, Jinzhao Wu. Symmetry and Autobisimulation. Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005). IEEE Computer Society Press, pp.866-870, 2005.

  35.  Jianmin Jiang, Jinzhao Wu and Wei Yan. Structural Reductions in Process Algebra Languages. Proceedings of the 11th Joint International Computer Conference (JICC 2005). World Scientific Publishing Co., pp.596-600, 2005.

  36.  Jianmin Jiang, Jinzhao Wu. The preservation of interleaving equivalences.  Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society Press, pp.580-589, 2005.

  37. 蒋建民舒红平.基于组件和中间件的装配式软件系统模型。计算机工程与应用. 2003, 39(34):137-138,190.

  38. 蒋建民李登信用例模型与装配式软件系统的开发计算机工程与设计. 2003, 24(12):97-99.

  39. 蒋建民基于XML与组件的新组件第四次全国程序设计语言发展与教学学术会议论文集北京:电子工业出版社,200376-80.

  40. 蒋建民张世勇.  基于组件的分析模型重庆工商大学学报. 2003,20(1):37-40.

  41. 蒋建民.  JMSXML和组件构建可装配的软件系统计算机应用研究.  2003, 20(7):72-75.

  42. 蒋建民李登信软件槽技术与装配式软件系统计算机应用研究.  2003, 20(2):32-3347.

  43. 蒋建民李登信基于组件的用例模型计算机工程与应用. 2002, 38(22):98-99,130.

  44. 蒋建民、张世勇.  软件扩展槽技术渝州大学学报.  2002,19(3):49-52

  45. 蒋建民. JavaXML和组件技术构建可装配系统计算机工程与应用. 2002, 38(16):105-106,109

  46. 蒋建民基于组件和工作流技术的系统模型计算机工程与应用. 2002,38(15) :63-64


软件项目(本人直接参与) 

时 间

工 作 内 容

   位

    注

 

2008.7-2009.1

需求分析(大型物流企业的ERP系统)

福建盛辉物流集团公司(系统分析员与项目经理)

带领学生直接参与需求分析工作,该项目涉及200多家分支公司

 

2007.5-2007.9

分析与设计

福州富士通软件有限责任公司(项目经理)

带领学生开发“垃圾邮件管理系统”

 

2001.5-20025

1、电子商务平台设计

重庆电子商务发展有限公司(系统分析员)

1、负责其中支付、认证分析、设计、实现,参与电子商务平台规划。

 

2、新技术钻研

2、负责钻研组件技术、UML和软件工程方法,提出建议。

 

3、改进公司软件分析、设计步骤和方法

 

3、负责一些小项目分析、设计工作

 

2000.9-2001.4

1、负责电量、电费决策分析系统

重大电气有限公司(系统分析员)

1、用BusinessObjectOLAP软件实现电量、电费的决策分析

 

2、建立电力标准网站

2、对网站建立设计、分析

 

1999.4-2000.9

1、负责重庆市烟草专卖系统分析、设计

重庆市渝叶科技发展有限公司(系统分析员)

“烟草进销存”和“专卖”项目是将全重庆市各区县及乡的烟草专卖执法检查与销售管理联结在一起,本人负责分析、设计并指导实现。

 

2、负责DB2技术问题

 

3、协助重庆市烟草进销存系统分析、设计

 

1998.1-1999.3

重庆市电力建设一公司办公自动化

重庆远望科技(系统分析员、程序员)

负责分析、设计并参与编码

 

1997.7-1998.3

重庆港务售票系统

重庆长松网络(程序员)

参与编码