报告题目:面向业务流系统的行为检测与数据分析方法研究

报告人:赵芳博士

报告时间:2026年1月8日周四下午14:30

报告地点:数理楼306会议室

报告对象:感兴趣的师生

主办单位:微数学院

报告人简介:赵芳，数据科学系，讲师，2022年5月在同济大学获得博士学位，主要从事Petri网原理及应用、软件形式化验证和模型检测等方面的研究。已发表SCI期刊论文5篇，EI期刊论文2篇，CSCD论文2篇。主持安徽工业大学校青年基金1项。

报告内容简介:随着电子商务的日益发展，成功的业务流系统管理变得愈发重要。模型检测、确保业务流程模型的行为属性和数据流正确性以及满足系统需求已经成为研究的关键点。模型的活动变迁不仅在结构上存在着一定的依赖关系，同时其变迁之间还存在着各种数据依赖的关系。因此，本报告拟从控制流与数据流以及系统的设计需求角度对电子商务业务流程模型的正确性进行分析，有助于提升我国在软件工程领域的理论研究和技术水平。