双向变换是一个可以按照正反两个方向执行的程序，并且能够从数学上保证正反两个方向的执行满足一致性约束。它是一个跨领域的研究方向，起源于经典的数据库视图同步问题，但引起了程序语言社区和模型驱动社区的较大关注。在我们之前的研究中，我们与胡振江教授合作研究了无二义性的双向模型转换语言XMU、建立了系统-模型同步框架、提出了双向模板语言BIT、研究了双向面向对象语言BiFJ。相关研究论文发表在FSE'18、IST、COMPSAC'17、Science China。我们会进一步围绕这一课题，从理论、语言、工具、应用这几个方面展开进一步研究。
Hexiao
+
Professional Title:Associate Professor
Supervisor of Master's Candidates
Research Focus
Current position:
Home
/Research Focus
双向变换