Towards Model Transformation Validation from Model Validation

从模型验证转向模型验证

• 批准号: 22650007
• 负责人: HU Zhenjiang
• 金额: $ 1.58万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Exploratory Research
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22650007/
• 关键词: モデル変換; モデル駆動ソフトウェア; 検証; グラフ変換; 双方向変換; プログラム言語論; プログラミングパラダイム

In this research, we succeeded in designing a static verification algorithm for validating transformations in UnQL(UnCAL), a known graph(model) querying language. Our new approach to the verification problem is based on the two important characteristics of UnCAL, bisimulation-equivalence of graphs and structured recursion, and we show that a graph transformation in the Core UnCAL can be automatically checked with the MONA system against a schema specified in the powerful monadic second order logic(MSO). Moreover, we show that ranges of transformations can be statically computed, which can be used to exclude invalid updates on the resulting graph of a transformation.

在这项研究中，我们成功地设计了一种静态验证算法，用于验证 UnQL（UnCAL）（一种已知的图（模型）查询语言）中的转换。我们解决验证问题的新方法基于 UnCAL 的两个重要特征，即图的互模拟等价性和结构化递归，并且我们表明，可以使用 MONA 系统根据中指定的模式自动检查 Core UnCAL 中的图转换。强大的一元二阶逻辑（MSO）。此外，我们表明可以静态计算变换范围，这可用于排除变换结果图上的无效更新。

项目成果

模倣に基づくグラフスキーマを利用したビュー更新可能性判定

使用基于模仿的图形模式查看可更新的确定

• 发表时间: 2012
• 期刊: コンピューターソフトウェア
• 作者: 権藤晃徳;岸知二;Ｓ．Ｗｅｉ;中野圭介，日高宗一郎，胡振江，稲葉一浩，加藤弘之，
• 通讯作者: 中野圭介，日高宗一郎，胡振江，稲葉一浩，加藤弘之，

Bidirectionalizing graph transformations

• DOI: 10.1145/1863543.1863573
• 发表时间: 2010-09
• 作者: S. Hidaka;Zhenjiang Hu;K. Inaba;H. Kato;Kazutaka Matsuda;Keisuke Nakano

発表論文、開発したシステムのソースなどを下記のプロジェクトのページからご覧いただける

您可以从下面的项目页面查看发表的论文、开发的系统的源码等。

Graph-transformation verification using monadic second-order logic

使用一元二阶逻辑进行图转换验证

• 发表时间: 2011
• 作者: Kazuhiro Inaba;Soichiro Hidaka;Zhenjiang Hu;Hiroyuki Kato;Keisuke Nakano
• 通讯作者: Keisuke Nakano

Sound and Complete Validation of Graph Transformations

图转换的健全且完整的验证

• 期刊: GRACE Technical Report (GRACE-TR-2010-04)
• 作者: Kazuhiro Inaba;Soichiro Hidaka;Zhenjiang Hu;Hiroyuki Kato;Keisuke Nakano
• 通讯作者: Keisuke Nakano