南京大学计算机科学与技术系

软件新技术与产业化协同创新中心

摘 要：
模型驱动的软件工程（MDE）运用自动化的模型转换和代码生成将高抽象层次的软件模型变换为低抽象层次模型和代码。然而在开发过程中，高抽象层次的模型和转换后得到的低抽象层次的模型（代码）可能同时发生演化，如何保证模型（代码）之间的同步和一致性是影响MDE应用的一个关键问题。双向转换是一种实现数据同步的基础方法，它允许我们编写一个转换程序实现两种数据之间在双方向的相互转换。然而，由于模型结构的特殊性和复杂性，常用于XML或结构化数据的双向转换技术不能直接用于实现双向模型转换。本次报告将围绕双向模型转换这个主题，讨论双向模型转换问题中存在的主要挑战，介绍我们在双向模型转换的基础理论、语言、可变性管理、测试的研究进展。
报告人简介：
何啸，北京科技大学，副教授，中国计算机学会软件工程专委会委员。主要研究方向是模型驱动的软件工程、领域建模、模型转换。分别于2006年和2012年在北京大学获得理学学士和理学博士学位。2012年加入北京科技大学。2015年至2016年，在荷兰格罗宁根大学访问。在FSE、ISSTA、MoDELS、JSS、IST、SoSyM等主要会议和期刊上发表过论文，累计发表高水平论文30余篇。MoDELS'21和COMPSAC'21的程序委员会委员，TSE、JSS、SoSyM、IEEE Software、软件学报等期刊审稿人。