刘晓副教授应邀到安徽大学做学术报告

       2013年09月27日上午10:00，华东师范大学刘晓副教授应邀到安徽大学磬苑校区行知楼计算机科学与技术学院学术报告厅，作题为“工作流时序验证：一个确保业务流程按时完成的重要方法”的学术报告。报告会由安徽大学计算机科学与技术学院副院长郑诚主持。

       刘晓副教授首先简要介绍了华东师范大学软件学院建筑分布、研究方向和就业等情况；详细介绍了工作流服务质量研究过程，包括研究领域、时序服务质量、科学工作流、商业工作流和问题分析；还讲授了工作流时序验证框架的功能模块，即时序约束设置、时序一致性检验和时序违背处理；最后讨论了科学工作流和商业工作流的不同点并简要介绍了时序验证在商业工作流领域的最新研究进展。