12月3日-5日，第26届亚太软件工程国际学术会议在马来西亚布城召开。银河集团9873.cσm2017级专业硕士研究生迟晓彤同学以第一作者完成的论文”An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems”荣获本届会议唯一“最佳论文奖”。

亚太软件工程国际会议（APSEC）一直是软件工程领域重要的国际学术会议，会议汇集了学术界，工业界和政府的研究人员和从业人员，以分享软件工程的最新技术和实践，并探讨新兴挑战和软件工程创新解决方案。自1994年起已经连续举办25次。本届第26届会议共收到全世界各地253篇投稿，录用62篇，录用率为24.5%。

迟晓彤同学在论文中介绍了一种基于代数方法的物联网系统中由策略驱动的智能设备的建模和验证技术和工具。该方法根据面向物联网领域的建模语言PobSAM (Policy-based Self-Adaptive Model) ，通过重写系统Maude定义了该语言的语法和操作语义，从而实现了PobSAM模型的自动化验证与分析，并通过一个完整的智能家居案例研究说明该方法的有效性。

论文在学院软件科学与技术系主任张民副教授的指导下完成，并得到华为科技公司HIRP创新项目的资助。