[논문 리뷰] Graph rewriting with polarized cloning

Dominique Duval, Rachid Echahed외 1명|arXiv (Cornell University)|2009. 11. 19.

Model-Driven Software Engineering Techniques참고 문헌 22인용 수 7

한 줄 요약

이 논문은 노드에 극성(polarization)을 표기하여 들어오는 간선, 나가는 간선, 둘 다, 또는 둘 다를 복제할지 결정하는 방식으로 민감한 노드 복제를 허용하는 새로운 그래프 리라이팅 프레임워크인 극성 부여된 세스키-푸시아웃(PSqPO) 방법을 제안한다. 극성 부여된 그래프를 리라이팅 규칙의 인터페이스로 사용함으로써, 기존의 세스키-푸시아웃 및 이질적 푸시아웃 접근법을 일반화하고, 최종 피복 보완(complement)과 푸시아웃을 기반으로 한 범주론적 기초를 제공한다.

ABSTRACT

We tackle the problem of graph transformation with a particular focus on node cloning. We propose a new approach to graph rewriting where nodes can be cloned zero, one or more times. A node can be cloned together with all its incident edges, with only its outgoing edges, with only its incoming edges or with none of its incident edges. We thus subsume previous works such as the sesqui-pushout, the heterogeneous pushout and the adaptive star grammars approaches. A rewrite rule is defined as a span where the right-hand and left-hand sides are graphs while the interface is a polarized graph. A polarized graph is a graph endowed with some annotations on nodes. The way a node is cloned is indicated by its polarization annotation. We use these annotations for designing graph transformation with polarized cloning. We show how a clone of a node can be built according to the different possible polarizations and define a rewrite step as a final pullback complement followed by a pushout. This is called the polarized sesqui-pushout approach. We also provide an algorithmic presentation of the proposed graph transformation with polarized cloning.

연구 동기 및 목표

• 기존 그래프 리라이팅 접근법이 노드 복제 행동에 대한 세밀한 제어를 지원하지 못하는 한계를 해결하기 위해.
• 세스키-푸시아웃, 이질적 푸시아웃, 적응형 스타 문법과 같은 기존 대수적 그래프 리라이팅 프레임워크를 통합하고 일반화하기 위해.
• 입접 간선(들어오는, 나가는, 둘 다, 또는 없음)을 선택적으로 복제할 수 있는 노드 복제를 지원하는 그래프 리라이팅의 범주론적 기초를 제공하기 위해.
• 최종 피복 보완과 푸시아웃을 이용한 새로운 리라이팅 단계를 범주론적으로 정식화하기 위해.
• 실제 구현을 위한 실용적인 알고리즘적 표현을 제시하기 위해.

제안 방법

• 리라이팅 규칙를 $ L \from K \to R $ 의 스펜(span)으로 정의하며, $ K $ 는 극성 부여된 그래프이고 $ L, R $ 은 표준 그래프이다.
• K의 노드에 부여된 극성 표기(annotation)를 통해 복제 행동을 지정한다: 들어오는 간선만 복제, 나가는 간선만 복제, 둘 다 복제, 또는 둘 다 복제하지 않음.
• 최종 피복 보완을 통해 리라이팅 단계를 구성한 후 푸시아웃을 적용함으로써, 그래프 변환 과정의 일관성과 정확성을 보장한다.
• 각 노드의 복제 전략을 나타내는 노드에 표시된 극성 정보를 가진 그래프를 극성 부여된 그래프로 정의한다.
• 인터페이스와 규칙의 대상(타겟)을 표현하는 사상 $ l: K \to L $ 과 $ r: K \to R $ 를 정의하며, $ l $ 은 극성 정보를 유지한다.
• 피복과 푸시아웃과 같은 범주론적 구성요소를 활용하여 그래프 범주 내에서 변환이 잘 정의되어 있음을 보장한다.

실험 결과

연구 질문

• RQ1 노드 복제를 어떻게 일반화하여, 인접 간선을 모두 동시에가 아니라 들어오는, 나가는, 둘 다, 또는 없음 중에서 선택적으로 복제할 수 있도록 할 수 있는가?
• RQ2 세스키-푸시아웃과 이질적 푸시아웃 접근법이 하나의 더 표현력이 풍부한 프레임워크에 통합될 수 있는가?
• RQ3 극성 부여된 복제를 갖는 그래프 리라이팅의 통합적이고 정확한 정의를 가능하게 하는 범주론적 구성은 무엇인가?
• RQ4 제안된 접근법을 실용적인 그래프 변환 도구에서 사용할 수 있도록 알고리즘적으로 어떻게 구현할 수 있는가?
• RQ5 제안된 극성 부여된 세스키-푸시아웃 접근법과 기존의 DPO, SPO, HPO 접근법 간의 관계는 무엇인가?

주요 결과

• 제안된 극성 부여된 세스키-푸시아웃(PSqPO) 접근법은 극성 표기를 통해 노드 복제의 세밀한 제어를 가능하게 하여, 세스키-푸시아웃과 이질적 푸시아웃(HPO) 접근법을 일반화한다.
• 세스키-푸시아웃 리라이팅 단계는 PSqPO 프레임워크 내에서 시뮬레이션될 수 있지만, 그 반대는 일반적으로 성립하지 않으며, 이는 새로운 접근법의 더 높은 표현력임을 보여준다.
• HPO 접근법은 PSqPO 프레임워크에 의해 포함된다. 어떤 HPO 규칙도 적절한 극성 표기를 사용하여 PSqPO 규칙로 표현할 수 있다.
• PSqPO 프레임워크는 원래의 세스키-푸시아웃 접근법보다 더 넓은 범위의 변환을 지원한다. 원래의 접근법은 모든 인접 간선을 복제하는 것만 허용하지만, PSqPO는 선택적 복제를 허용한다.
• 최종 피복 보완 이후 푸시아웃을 이용한 범주론적 구성은 변환 과정의 정확성과 일관성을 보장한다.
• 이 프레임워크는 그래프 리라이팅를 위한 로예의 일반 스펜 범주 프레임워크 내에서 구현될 수 있으며, 이는 더 넓은 이론적 발전과의 호환성을 시사한다.