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

 

蒋建民jjm@fjnu.edu.cn

男,1972年生,教授,硕士生导师

教育经历:

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

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

  

工作经历

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

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

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

社会兼职

Science China-Information Sciences审稿人

研究兴趣:

ü软件工程实践与理论

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

ü形式刻画和形式验证

软件需求、设计、编码和测试是非常繁重的工作,现阶段还没有完全可行的理论和技术保证软件的质量,我的研究工作主要提出新的理论和技术,采用严格的数学推理方法,把新的理论融入到软件开发过程中,使软件能部分支持自动化,并保证软件的正确性。我已经提出了原创的形式化模型——依赖结构(dependency structure,该模型可以与国际上流行的Petri网比美,已经引起国内外学术界的注意,参看论文[1]至[10]。

  

指导研究生:

2007级:朱恒亮、肖颖

2008级:林添荣

   2012级:杨启帆、吴亚洲

2015级:陈慧峰

2016级:余晓菲

教学:

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

科研

1、 论文

[1] Huifeng Chen,Jian-min Jiang,Zhong Hong,Ling Lin. Decomposition of UML activity diagrams. Softw., Pract. Exper. 48(1):105-122 (2018)

[2] 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

[3] 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

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

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

[6] Jian-Min Jiang HuiBiao ZhuQin Li,Shi Zhang,PingGong, ZhongHong.Configuration of services based on virtualization8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014Changsha, China2014.9.1-2014.9.3

[7] 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

[8] 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

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

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

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

[12] 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

[13]  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. 

[14]  Jianmin Jiang, Jinzhao Wu. Interleaving and Step Equivalences and Their Preservations under Action Refinement. Accepted by Journal of Computer Science and Technology, 2005.

[15] 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.

[16]  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.

[17]  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.

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

[19] 蒋建民基于组件的设计模式。计算机应用研究。2003,增刊:278-282

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

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

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

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

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

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

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

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

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

  

2、科研项目

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

(2) 福建省自然基金面上项目,2014J01221, 多租户云应用软件的形式化建模与自动配置,2014/01-2016/123万元,主持。

(3) 上海市高可信计算重点实验室开放课题,07dz2230420140,多租户云应用软件的理论与应用研究, 2015/07-2017/063.5万元,主持。

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

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

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

时 间

工 作 内 容

 位

 注

  

2001.5-2002.5

1、电子商务平台设计

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

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

  

2、新技术钻研

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

  

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

  

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

  

2000.9-2001.4

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

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

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

  

2、建立电力标准网站

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

  

1999.4-2000.9

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

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

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

  

2、负责DB2技术问题

  

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

  

1998.1-1999.3

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

重庆远望科技

负责分析、设计并参与编码(岗位:系统分析员、程序员)

  

1997.7-1998.3

重庆港务售票系统

重庆长松网络

参与编码(岗位:程序员)