孙晋永(1978-),男,山东枣庄人,博士,讲师,CCF专业会员,主要研究领域为业务过程管理,知识表示与推理;钱俊彦(1973-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为软件工程,模型检测,程序验证;古天龙(1964-),男,博士,教授,博士生导师,主要研究领域为软件工程与形式化方法,知识工程,符号推理;刘华东(1978-),男,博士生,讲师,主要研究领域为知识工程,符号推理;闻立杰(1977-),男,博士,副教授,博士生导师,主要研究领域为业务数据管理,大过程数据,业务过程管理,工作流技术.
古天龙,E-mail:cctlgu@guet.edu.cn
国家自然科学基金(61572146,U1501252,61562015,61862016);广西自然科学基金(2016GXNSFDA380006,2017GXNSFAA198283);广西高等学校高水平创新团队及卓越学者计划;广西可信软件重点实验室基金(KX201723)
National Natural Science Foundation of China (61572146, U1501252, 61562015,61862016); Guangxi Natural Science Foundation (2016GXNSFDA380006, 2017GXNSFAA198283); High Level of Innovation Team of Colleges and Universities in Guangxi and Outstanding Scholars Program; Guangxi Key Laboratory of Trusted Software (KX201723)
孙晋永,古天龙,闻立杰,钱俊彦,刘华东.基于行为特征的语义工作流修正算法.软件学报,2018,29(11):3260-3277
复制