[논문 리뷰] Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems

L. de Francesco Albasini, N. Sabadini외 1명|ArXiv.org|2009. 09. 23.

Topological and Geometric Data Analysis참고 문헌 16인용 수 12

한 줄 요약

이 논문은 그래프의 코스팬과 스팬을 기반으로 하는 범주형 대수를 제안하여 이산 시스템의 순차적 및 병렬적 합성에 데이터 유형을 모델링한다. 이전의 유한 상태 제어에 대한 연구를 확장하여 분배 범주를 통해 데이터 구조를 포함함으로써, 튜링 완전 계산, 동시성, 계층성, 기하학적 변환을 지원하는 통합적이고 구현 가능한 프로그래밍 언어를 가능하게 한다.

ABSTRACT

We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters for the sequential and parallel composition of processes, adding here data types.

연구 동기 및 목표

• 이산 시스템에 대한 코스팬과 스팬의 범주형 대수를 확장하여 데이터 유형을 포함시키고, 이는 이론적으로만 유한 상태 제어를 넘어서는 것이다.
• 순차적 및 병렬적 합성을 데이터 구조와 함께 지원하는 공식적이고 구현 가능한 프로그래밍 언어를 개발하는 것이다.
• 기존의 동시성, 계층성, 기하학적 변환 문제들이 이 대수적 프레임워크 내에서 어떻게 모델링될 수 있는지 보여주는 것이다.
• 광범위한 범주에서 직접 합과 행렬 계산을 통해 데이터 인식 프로그램과 유한 오ート마타 사이의 연결을 수립하는 것이다.
• 선조 및 후계자 연산을 갖춘 엘고트 오트마타와의 관련성을 통해 최종 시스템이 튜링 완전함을 보여주는 것이다.

제안 방법

• 논문은 순차적 합성을 위해 코스팬으로, 병렬적 합성을 위해 스팬으로 시스템을 모델링하며, 인터페이스는 그래프 준동형사상으로 정의된다.
• 그래프와 그래프 준동형사상의 범주를 사용하는 범주적 프레임워크를 도입하며, 코스팬의 경우 합성은 푸시아웃을, 스팬의 경우 풀백을 통해 이루어진다.
• 데이터 유형은 분배 범주를 통해 통합되며, 직접 합 연산과 행렬 계산을 가능하게 하여 제어 구조와 데이터 연산을 연결한다.
• 기본 연산들인 선조(pred), 후계자(succ), 그리고 구조적 조합자(예: ∇, η, ε, 1)를 포함하는 코스팬-스팬 언어로 시스템을 형식화한다.
• 프로그램은 이러한 연산들의 복합체로 표현되며, 평가 결과로는 중심 그래프 내 경로로 나타나는 행동을 갖는 시스템이 도출된다.
• 이 프레임워크는 병렬 시스템에 대한 순차적 연산을 통해 계층적 합성과 기하학적 변환을 지원하며, 중첩된 구조를 평탄화하는 데에 분배 법칙이 작용한다.

실험 결과

연구 질문

• RQ1 코스팬과 스팬을 통한 범주적 합성 방식이 이산 시스템 모델링에 데이터 유형을 포함시키기 위해 어떻게 확장될 수 있는가?
• RQ2 코스팬과 스팬을 기반으로 한 프로그래밍 언어가 데이터 연산을 추가로 포함하면 튜링 완전 계산을 지원할 수 있는가?
• RQ3 이 대수적 프레임워크를 통해 데이터를 포함한 고전적 동시성 문제들이 어떻게 모델링되고 합성될 수 있는가?
• RQ4 이 프레임워크 내에서 계층적 시스템 구조를 평탄화하는 데에 분배 법칙이 수행하는 역할은 무엇인가?
• RQ5 병렬 시스템의 순차적 합성을 통해 시스템 기하학적 변화는 어떻게 표현될 수 있는가?

주요 결과

• 직접 합이 광범위한 범주에서 발생하는 행렬 계산을 통해, 데이터 유형을 갖는 코스팬-스팬 대수는 엘고트 오트마타와 선조 및 후계자 연산을 갖춘 경우 튜링 완전함을 입증하였다.
• 광범위한 범주에서의 직접 합으로부터 유도되는 행렬 계산은 데이터 인식 프로그램과 그 제어 구조를 명시적으로 표현할 수 있게 한다.
• 예를 들어 자연수의 덧셈과 같은 순차적 프로그래밍은 pred, succ, ∇와 같은 기본 연산들의 조합을 통해 표현될 수 있다.
• 상호 배제 및 동기화 등의 고전적 동시성 문제들은 공유 인터페이스와 레이블이 부여된 전이를 갖는 병렬 시스템의 합성으로 모델링될 수 있다.
• 계층적 시스템 구조는 분배 법칙을 통해 구성되고 평탄화될 수 있으며, 이는 모듈러 시스템 설계와 합성을 가능하게 한다.
• 기하학적 변환은 병렬 시스템의 순차적 합성을 통해 달성되며, 이는 이전 연구에서 데이터를 무시한 일반화된 결과를 확장한다.