[論文レビュー] Rule-based Graph Repair using Minimally Restricted Consistency-Improving Transformations

Alexander Lauer|arXiv (Cornell University)|Jul 18, 2023

Model-Driven Software Engineering TechniquesComputer Science被引用数 3

ひとこと要約

本稿では、最小限に制限された整合性向上変換を用いた、ルールベースのグラフ修復手法を提案する。この手法により、特定のネスティングレベルにおける整合性維持ルールと整合性向上ルールの区別を可能にし、不整合なモデルに対する細分化された修復が可能になる。主な貢献は、特に基本的増加ルールに対して、より単純で層特異的な適用条件を持つフレームワークを提供することであり、これにより、循環的で矛盾のない制約や制約集合に対する効率的で直接的な修復が可能になる。

ABSTRACT

Model-driven software engineering is a suitable method for dealing with the ever-increasing complexity of software development processes. Graphs and graph transformations have proven useful for representing such models and changes to them. These models must satisfy certain sets of constraints. An example are the multiplicities of a class structure. During the development process, a change to a model may result in an inconsistent model that must at some point be repaired. This problem is called model repair. In particular, we will consider rule-based graph repair which is defined as follows: Given a graph $G$, a constraint $c$ such that $G$ does not satisfy $c$, and a set of rules $R$, use the rules of $\mathcal{R}$ to transform $G$ into a graph that satisfies $c$. Known notions of consistency have either viewed consistency as a binary property, either a graph is consistent w.r.t. a constraint $c$ or not, or only viewed the number of violations of the first graph of a constraint. In this thesis, we introduce new notions of consistency, which we call consistency-maintaining and consistency-increasing transformations and rules, respectively. This is based on the possibility that a constraint can be satisfied up to a certain nesting level. We present constructions for direct consistency-maintaining or direct consistency-increasing application conditions, respectively. Finally, we present an rule-based graph repair approach that is able to repair so-called \emph{circular conflict-free constraints}, and so-called circular conflict-free sets of constraints. Intuitively, a set of constraint $C$ is circular conflict free, if there is an ordering $c_1, \ldots, c_n$ of all constraints of $C$ such that there is no $j <i></i>

研究の動機と目的

• 既存のモデル修復手法が整合性を二値的性質として扱うか、第一レベルの違反のみを考慮するという制限に対処する。
• 制約違反のネスティングレベルに基づいて、モデル修復の整合性評価を細分化された概念として導入する。
• 変換中に新たな違反を引き起こさないよう、層ごとに整合性維持および整合性向上ルールを直接定義する。
• 一般ルールおよび基本的増加ルールのための適用条件を、従来の手法よりも複雑さと制限性が低い形で構築する。
• 構造的で階層的な変換プロセスを通じて、循環的で矛盾のない制約や制約集合の修復を可能にする。

提案手法

• 制約の最初に満たされないネスティングレベルに基づいて、整合性維持および整合性向上変換を定義する。
• 任意の新たな違反を禁止する「直接的」なバージョンを導入し、より強い整合性保証を実現する。
• 一般ルール用と、基本的増加ルール用の2種類の適用条件を提案する。後者は、違反の削除の有無を確認するのみで十分である。
• 基本ルールが左辺に必要な制約層を初期段階で含まない場合でも適用可能となるように、導出ルールを用いる。
• 後続の制約の修復が、以前の制約に違反を引き起こさない、循環的で矛盾のない制約に対して修復プロセスを適用する。
• 正しさと最小性を保証するため、重複集合（P_C'）と違反の存在および削除に関する条件を用いて、適用条件を構築する。

実験結果

リサーチクエスチョン

• RQ1 整合性を二値状態を超えてどのように測定できるか。これにより、モデル修復における段階的改善が可能になるか。
• RQ2 あるネスティングレベルで整合性を向上させるルール適用が、新たな違反を引き起こさない条件は何か。
• RQ3 基本的増加ルールのような特定のルールタイプに対して、適用条件を単純化することで、複雑さと制限性を軽減できるか。
• RQ4 制約の構造的条件がどのようなものであれば、ルールベースの修復プロセスが終了保証と整合性維持を満たすか。
• RQ5 特に循環的矛盾が存在する場合に、相互に依存する複数の制約の修復をどのように調整できるか。

主な発見

• 層における整合性向上の概念により、最初に満たされないネスティングレベルに焦点を当てることで、単一のエッジやノードの挿入・削除といった最小限の変更の検出が可能になる。
• 一般ルールと比較して、基本的増加ルールの適用条件は著しく単純かつ制限が少ない。これは、少なくとも1つの違反が削除されていることを確認するだけで十分であるためである。
• 導出ルールにより、基本的増加ルールの適用性が、左辺に特定の制約層を含む必要があるという制約によって制限されなくなる。
• このフレームワークは、循環的で矛盾のない制約や制約集合の修復に成功しており、後続の制約の修復が以前の制約に違反を引き起こさない。
• 整合性維持および整合性向上ルールの適用条件は形式的に構築され、正しさが保証されており、違反の削除と違反の挿入なしの両方の要素を統合することで、さらなる最適化が可能である。
• 本手法は、論理演算子を含むすべての充足可能なネストされた制約への拡張の基盤を提供するが、これは今後の課題のまま残っている。