龚平

男副教授
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.**, On-line publication, IEEE.(SCI 3区)