프로세스와 상호작용: 비결정론적 네트워크에서의 결정적 시스템 설계

초록

본 논문은 비결정론적 상호작용 네트워크 속에서 동작하는 결정적 유한 시스템을 기술하기 위해, 프로세스와 프로토콜을 동일한 유한 입출력 자동기(전이기) 모델로 통합한다. 외부 결합은 채널을 통해 시스템 간 인과관계를, 내부 결합은 전이 제한을 통해 단일 시스템 내 입출력 인과관계를 표현한다. 자원 관리 예시를 통해 설계 원리를 구체화한다.

상세 분석

논문은 전통적인 프로세스 모델이 “단계적 실행”에 초점을 맞추어 비결정론적 상호작용을 충분히 포착하지 못한다는 비판에서 출발한다. 이를 보완하기 위해 저자는 모든 프로세스와 그 상호작용을 동일한 형식의 유한 입출력 자동기(Finite Input Output Automaton, FIFO)로 모델링한다. 여기서 자동기는 입력 알파벳, 출력 알파벳, 상태 집합, 전이 관계, 초기 상태로 구성되며, 전이 관계는 입력·출력 쌍에 따라 결정된다.

프로세스는 다중 채널에 동시에 참여하는 결정적 자동기로 정의된다. 즉, 하나의 프로세스는 여러 다른 프로세스와 비동기적·비결정론적 방식으로 메시지를 교환하지만, 각 채널에 대한 동작 자체는 내부적으로는 결정적이다. 이러한 설계는 “외부 결합(outer coupling)”과 “내부 결합(inner coupling)”이라는 두 단계의 전이 제한을 통해 구현된다.

외부 결합은 채널을 매개로 두 자동기의 출력과 입력을 연결한다. 구체적으로, 채널은 한 자동기의 출력 이벤트를 다른 자동기의 입력 이벤트와 동일시함으로써 인과관계를 형성한다. 이때 채널은 비결정론적 스케줄링을 허용하지만, 각 자동기의 전이 자체는 결정적이므로 전체 시스템의 행동은 제품 자동기(product automaton)의 전이 제한에 의해 기술된다.

내부 결합은 단일 자동기 내에서 여러 입력·출력 인터페이스 간의 동기화를 담당한다. 저자는 “조정 조건(coordination condition)”이라는 제약을 도입해, 특정 상태에서 동시에 발생해야 하는 여러 입출력 이벤트를 하나의 원자적 전이로 결합한다. 이를 통해 프로세스 내부의 복합적인 상호작용을 일관된 결정론적 동작으로 표현한다.

논문은 이러한 모델링을 실제 사례인 “자원 관리 프로세스 네트워크”에 적용한다. 사용자 프로세스는 자원에 대한 독점 접근을 요청하고, 관리 프로세스는 요청을 순차적으로 승인하거나 거부한다. 각 요청·승인·해제 과정은 전이 제한에 의해 정의된 프로토콜(프로세스 간 상호작용 규칙)으로 구현되며, 채널을 통해 메시지가 전달된다. 결과적으로 시스템은 비결정론적 요청 순서에도 불구하고, 각 자원에 대한 접근은 결정적인 규칙에 따라 안전하게 보장된다.

핵심 기여는 다음과 같다. 첫째, 프로세스와 프로토콜을 동일한 자동기 기반으로 통합함으로써 모델의 일관성을 확보한다. 둘째, 외부·내부 결합이라는 두 단계 전이 제한을 도입해 비결정론적 네트워크 속에서도 결정적 동작을 설계할 수 있는 방법론을 제시한다. 셋째, 실제 자원 관리 시나리오를 통해 이론적 모델이 실용적인 시스템 설계에 적용 가능함을 입증한다.

이러한 접근은 분산 시스템, 서비스 지향 아키텍처, 멀티에이전트 시뮬레이션 등 다양한 분야에서 프로세스 간 비결정론적 상호작용을 구조화하고 검증하는 데 유용할 것으로 기대된다.