软件工程系教师简历

龚平

发布时间:2014-05-26浏览次数:4032

  

副教授

pinggong@fjnu.edu.cn

  

学习背景

1999-2003 集美大学 数学与应用数学 本科

2003-2006 贵州大学 数学与应用数学  硕士

2006-2009 武汉大学 计算机软件与理论  博士

2015-2016 德国Ulm大学 访学学者

研究兴趣

科研方面:形式化建模与分析,业务过程合规性监控、数据流计算

企业方面:系统架构, 流数据分析,工作流管理

主持科研项目

1)福建省自然科学基金面向项目:协作化业务过程实现系统的运行时合规性监控的关键技术研究, 在研.

2)福建省自然科学基金青年项目:面向方面的服务软件演化的关键支撑技术研究,负责人,已结题;

3)福建省教育厅科技项目(A类):语义过程模型的验证技术研究,负责人,已结题。

4)福建省教育厅科技项目(B类):过程感知信息系统的合规性验证技术研究,负责人,已结题

参与科研项目

5)国家自然科学基金青年项目:面向方面的过程感知信息系统演化方法研究,参研.

6)国家自然科学基金面上项目,基于事件的形式化模型的表达能力与工程方法研究,参研。

7)省级一般项目(省自然科学基金):多租户云应用软件的建模与配置研究,参研

研究论文

 [1] P. Gong(龚平), D. Knuplesch, Z.W. Feng(冯在文), J.M. Jiang(蒋建民),bpCMon: A rule-based monitoring framework for business process compliance, International Journal of Web Services Research, vol 14, no2, pp. 81-103, 2017.(SCI)

[2] 龚平,冯在文,蒋建民,一种高效的业务过程的合规性监控框架, 计算机集成制造系统,2017.5. EI.

[3]  Gong P.(龚平), Feng Z. W(冯在文), et al. Rule-based Monitoring with event correlation for business process compliance. In: Proceedings of S2 international conference on Internet of Things, Servicers Society,November 14-15, pp. 39-47.2016.

[4] P. Gong(龚平), D. Knuplesch, M. Reichert, Rule-based monitoring framework for business process compliance, Technical Report UIB-2016-03, Ulm University.

[5] 龚平冯在文. 基于标注的业务过程合规性验证方法. 计算机应用, 2014, 34(7): 2115-2123.

[6]  Ping Gong(龚平),Compliance checking for semantically annotated process model,Journal of Digital Content Technology and its Applications,2012.01.01,6(21):670~679 (EI)

[7]  Ping Gong(龚平), Jianmin Jiang(蒋建民), Shi Zhang, Executability analysis for semantically annotated process model, In the proceedings of Asia Pacific Service Computing Conference, IEEE, pp. 117-124, 2012. (EI)

[8]  龚平,蒋建民, 张仕,“语义标识的过程模型的可执行性分析”,小型微型计算机系统,第12期,pp. 2618-2624, 2012.  

[9]  Ping Gong(龚平), Jianmin Jiang(蒋建民), Shi Zhang, “Formal Analysis of OWL-S Process Model by FDR, in proceeding of APSCC(2011)”, Jeju, Korea, IEEE, pp.215-222, 2011.(EI)

[10]  Ping Gong, “Formal dynamic semantics for semantically annotated process model”, Journal of Convergence Information Technology, Vol. 7, No. 20, pp. 167 -174, 2012.(EI)

[11] Ping Gong,Jianmin Jiang, Shi Zhang, “FDR-based compositional verification for OWL-S process model”, Journal of Convergence Information Technology, Vol. 7, No. 12, pp. 398-409, 2012.EI)

[12]  Zaiwen Feng(冯在文), Dickson K.W. Chiu, Rong Peng, Ping Gong(龚平), Keqing He, and Yiwang Huang, Facilitating Cloud Process Family Co-evolution by Reusable Process Plug-in: An Open-source Prototype, IEEE Transactions on Service Computing, DOI 10.1109/TSC.2015.2504973, On-line publication, IEEE.(SCI 3区)