[논문 리뷰] Rule-based Graph Repair using Minimally Restricted Consistency-Improving Transformations

Alexander Lauer|arXiv (Cornell University)|2023. 07. 18.

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>

연구 동기 및 목표

• 기존 모델 수리 접근 방식이 일관성을 이진 성질로만 간주하거나 첫 번째 수준의 위반만 고려하는 한계를 해결한다.
• 제약 조건 위반의 중첩 수준을 기반으로 모델 수리의 일관성 개념을 세밀하게 평가하는 새로운 개념을 도입한다.
• 변환 과정 중 새로운 위반을 방지하기 위해 계층에서 직접적인 일관성 유지 및 일관성 증가 규칙을 개발한다.
• 일반 규칙과 기본 증가 규칙에 대한 적용 조건을 이전 방법보다 더 단순하고 제한적이지 않게 구성한다.
• 구조적이고 계층적인 전환 과정을 통해 순환적이고 상충 관계가 없는 제약 조건과 제약 조건 집합의 수리를 가능하게 한다.

제안 방법

• 제약 조건의 첫 번째로 만족되지 않는 중첩 수준에 기반해 일관성 유지 및 일관성 증가 전환을 정의한다.
• 모든 새로운 위반을 금지하는 '직접적' 변형을 도입하여 더 강력한 일관성 보장을 확보한다.
• 일반 규칙용과 간단한 변형용으로 두 종류의 적용 조건을 제안하며, 후자는 위반 제거 여부만 확인하면 된다.
• 기본 규칙이 왼쪽 항에 필요한 제약 조건 계층을 포함하지 않더라도 적용 가능하도록 유도 규칙을 사용한다.
• 후속 제약 조건의 수리가 이전 제약 조건에 위반을 유도하지 않는 순환적이고 상충 관계가 없는 제약 조건에 수리 과정을 적용한다.
• 정확성과 최소성을 보장하기 위해 오버랩 집합(P_C')과 위반 존재 및 제거 조건을 사용해 적용 조건을 구성한다.

실험 결과

연구 질문

• RQ1 이진 상태를 초월해 일관성을 어떻게 측정할 수 있으며, 이를 통해 모델 수리의 점진적 향상을 가능하게 할 수 있는가?
• RQ2 주어진 중첩 수준에서 일관성을 향상시키는 동시에 새로운 위반을 유도하지 않는 규칙 적용을 보장하는 조건은 무엇인가?
• RQ3 기본 증가 규칙과 같은 특정 규칙 유형에 대해 적용 조건을 단순화할 수 있는가? 이를 통해 복잡성과 제한성을 줄일 수 있는가?
• RQ4 제약 조건의 어떤 구조적 조건 하에서 규칙 기반 수리 과정이 항상 종료되고 일관성을 유지하는가?
• RQ5 특히 순환적 상충 관계가 존재할 경우, 상호의존적인 여러 제약 조건의 수리를 어떻게 조율할 수 있는가?

주요 결과

• 계층에서의 일관성 증가 개념은 첫 번째로 만족되지 않는 중첩 수준에 초점을 맞추어 단일 간선 또는 노드 삽입/삭제와 같은 최소한의 변화를 탐지할 수 있도록 세밀한 수리를 가능하게 한다.
• 일반 규칙에 비해 기본 증가 규칙의 적용 조건은 훨씬 더 단순하고 제한적이지 않으며, 최소한 하나의 위반이 제거됨을 확인하기만 하면 된다.
• 유도 규칙는 기본 증가 규칙의 적용 가능성을 제한하지 않도록 보장하며, 규칙의 왼쪽 항이 특정 제약 조건 계층을 포함하지 않더라도 적용 가능하도록 한다.
• 이 프레임워크는 순환적이고 상충 관계가 없는 제약 조건과 제약 조건 집합의 수리를 성공적으로 가능하게 하며, 후속 제약 조건의 수리가 이전 제약 조건에 위반을 유도하지 않는다.
• 일관성 유지 및 일관성 증가 규칙의 적용 조건는 공식적으로 구성되었으며 정확성을 보장함을 증명하였으며, 위반 제거 및 새로운 위반 삽입 방지 성분을 통합함으로써 향후 최적화가 가능하다.
• 이 방법은 불리한 논리 연산자가 포함된 모든 만족 가능한 중첩 제약 조건으로의 수리 확장을 위한 기반을 제공하지만, 이는 향후 연구 과제로 남아 있다.