Trace-based Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations
Trace-based Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations
复制标题
通过双向图转换进行基于跟踪的错误预防和一致性维护检测
DOI：
10.1109/qrs-c51114.2020.00025
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Soichiro Hidaka
中科院分区：
文献类型：
--
作者：
Habu Mikiya;Hidaka Soichiro;Soichiro Hidaka
双向转换用于维护各种工件之间的一致性。它们的研究涉及不同的研究领域，如数据库、编程语言、范畴论和软件工程。一致性用变换来表示，并且当工件之一发生更改时，通过向前和向后方向上的变换传播更改来保持一致性。在作者之前的工作中，通过使用自动生成的可追溯性信息解释原因，在向后转换之前向双向图转换的用户告知错误的可能性。在本文中，我们回顾了之前的工作，将双向转换视为一致性关系的规范，将错误视为违反一致性，并讨论了双向转换语言中关注数据流的机制的本质。
Bidirectional transformations are used to maintain consistency between various artifacts. They are studied across different research fields such as databases, programming languages, category theories and software engineering. The consistency is represented in terms of transformations and consistency is maintained by propagating changes through transformations in forward and backward directions when one of the artifacts are changed. In the authors' previous work, the users of bidirectional graph transformations are informed before backward transformation the possibility of errors by explaining the reason using automatically-generated traceability information. In this paper, we recaptulate the previous work by regarding bidirectional transformations as specifications of consistency relation and errors as violation of consistency, and discuss the essence of the mechanism focusing on the data flow in the bidirectional transformation languages.