[논문 리뷰] Communication Dualism in Distributed Systems with Petri Net Interpretation

Stanisław Chrobot, Wiktor B. Daszczuk|arXiv (Cornell University)|2006. 12. 30.

Petri Nets in System Modeling참고 문헌 18인용 수 14

한 줄 요약

이 논문은 통합 분산 시스템 모델(IMDS) 내에서 페트리 넷을 사용하여 분산 시스템의 소통 이원성(communication dualism)을 공식화하며, 소통을 메시지 전달(공간적)과 변수 공유(시간적)의 이중 차원 현상으로 모델링한다. 이는 페트리 넷 해석에서 자동 프로세스 추출 방법을 제시하여 동기식, 비동기식, 공유 변수 소통을 하나의 프레임워크에서 통합적으로 모델링할 수 있게 한다.

ABSTRACT

In the paper notion of communication dualism id formalized and explained in Petri net interpretation. We considcr communication dualism a basic property of communication in distributcd systems. The formalization is done in the Integrated Model of Distributed Systems (IMDS) where synchronous communication, as wcll as asynchronous message-passing and variable-sharing are modeled in a common framework. In the light of this property, communication in distributed systems can be seen as a two-dimensional phenomenon with passing being its spatial dimension and sharing its temporal dimension. Any distributed system can be modeled as a composition of message-passes asynchronous processes or as a composition of variable-sharing asynchronous processes. A method of automatic process extraction in Petri net interpretation of IMDS is presented.

연구 동기 및 목표

• 분산 시스템의 기본 특성으로서 소통 이원성을 공식화하기 위해.
• IMDS를 사용하여 동기식 소통, 비동기 메시지 전달, 변수 공유를 하나의 모델링 프레임워크에 통합하기 위해.
• 페트리 넷 의미론을 활용하여 소통을 공간적(전달) 및 시간적(공유) 차원의 이중 현상으로 표현하기 위해.
• IMDS의 페트리 넷 해석에서 프로세스를 자동으로 추출하는 방법을 개발하기 위해.

제안 방법

• 통합 분산 시스템 모델(IMDS)을 통합 프레임워크로 삼아 소통 이원성을 공식화하기 위해.
• 공통된 페트리 넷 해석을 사용하여 동기식 소통, 비동기 메시지 전달, 변수 공유를 모델링하기 위해.
• 메시지 전달을 소통의 공간적 차원으로, 변수 공유를 시간적 차원으로 표현하기 위해.
• IMDS의 페트리 넷 모델에서 시스템 프로세스를 자동으로 유도할 수 있도록 프로세스 추출 알고리즘을 정의하기 위해.
• 장소, 전이, 아크 등의 페트리 넷 구조를 사용하여 소통 의미론과 상태 전이를 인코딩하기 위해.
• 형식적 매핑 규칙을 통해 고수준 시스템 모델과 저수준 페트리 넷 표현 간의 일관성을 확보하기 위해.

실험 결과

연구 질문

• RQ1 분산 시스템에서 소통를 공간적 및 시간적 차원을 가진 이원적 현상으로 공식적으로 특징지울 수 있는가?
• RQ2 페트리 넷은 분산 시스템에서 메시지 전달과 변수 공유의 모델링을 어떻게 통합하는가?
• RQ3 IMDS의 페트리 넷 해석에서 프로세스를 어떻게 자동으로 추출할 수 있는가?
• RQ4 소통 이원성은 분산 시스템 행동의 더 통합적이고 일관된 표현을 어떻게 가능하게 하는가?
• RQ5 동기식, 비동기식, 공유 변수 소통이 한 모델 안에서 공존할 수 있는 형식적 조건은 무엇인가?

주요 결과

• 소통 이원성은 메시지 전달이 공간적 차원이고 변수 공유가 시간적 차원인 통합 개념적 프레임워크를 제공한다.
• IMDS의 페트리 넷 해석은 동기식, 비동기식, 공유 변수 소통을 하나의 형식적 모델로 성공적으로 통합한다.
• 자동 프로세스 추출 방법은 페트리 넷 모델에서 직접적으로 시스템 프로세스를 도출할 수 있게 하며, 의미 일관성을 유지한다.
• 이 프레임워크는 메시지 전달 또는 변수 공유 비동기 프로세스의 조합으로서 분산 시스템을 모델링할 수 있다.
• 이 형식화는 서로 다른 소통 패러다임 간의 명확한 구분과 동시에 존재를 하나의 통합 시스템 모델 내에서 가능하게 한다.
• 이 접근법은 표준 페트리 넷 분석 기법을 사용하여 분산 시스템의 형식적 검증 및 분석을 가능하게 한다.