系统与模型之间双向转换理论框架

Xiao HE, Zhenjiang HU, Na MENG. A Theoretic Framework of Bidirectional Transformation between Systems and Models. Sci China Inf Sci, DOI: 10.1007/s11432-021-3504-4

为支持基于模型的系统管理，模型驱动社区已经提出了一些用于实现运行时系统和模型同步的技术。尽管基于状态的系统-模型同步有着很好的应用前景，但缺乏理论基础。

本文提出了一种基于状态的系统-模型双向转换（BX）理论，并为系统-模型BX定义了七个组合子，用于描述行为正确的同步程序。系统-模型BX是一个能够满足一致性约束的可双向执行的程序。在正向转换中，它如传统BX一样能够根据系统运行时信息创建一个抽象模型。在反向转换中，它通过计算模型和系统之间的差异，产生一组系统编辑操作，可以将系统从当前状态变更到新状态，使其与模型保持一致。系统-模型BX能够考虑修改系统状态时的领域约束，并根据这些约束规划出编辑操作的合理执行顺序。本文还通过构建一个通用的系统-模型同步器和一个具体的文件系统-文件模型同步器来展示系统-模型BX的工作方式。

本文内容可能会与最终出版文章有微小差异，点击下方阅读原文按钮，快速获取文章最新版本。

《中国科学：信息科学》| SCIENCE CHINA Information Sciences

及时报道计算机科学与技术、控制科学与控制工程、通信与信息系统、微电子与固体电子学等领域基础与应用研究方面的原创性成果.

英文版投稿：https://mc03.manuscriptcentral.com/scis

中文版投稿：https://www.scicloudcenter.com/SSI/login/index

快速访问：http://scis.scichina.com/