동시성 구성과 이벤트 액션 프로세스 대수

** 본 논문은 동시성 이론의 근본적인 한계, 즉 시간 모델의 단순화와 이벤트의 무지속성을 비판하고, 이를 보완하기 위한 새로운 메타모델인 EAP(event‑action‑process)를 제시한다. 서론에서는 기존의 Petri‑넷, CSP, CCS, ESP 등 다양한 동시성 모델을 검토하면서, 이들 모델이 주로 선형·분기 시간 스케일과 순간 이벤트에 의존하고 있음을 지적한다. 특히, 멀티코어·그리드·클라우드 환경에서 근접 동시성(near‑simultaneity)과 이벤트 지속시간을 무시하면 시스템 설계·분석에 심각한 오류가 발생한다는 점을 강조한다. EAP의 설계는 세 단계로 구성된다. 첫 번째 단계는 **이벤트**이다. 이벤트는 물리적·시스템적 시간·공간에 존재하는 변화로 정의되며, 의미론적 측면(프로세스 변화, 환경 변화, 프로세스‑환경 관계 변화)을 동시에 고려한다. 저자는 이벤트를 점‑형(실수 좌표), 구간‑형(시간 구간), 튜플‑형(다중 좌표) 등 세 가지 수학적 구현으로 제시한다. 이를 통해 이벤트가 완전 겹치거나 부분 겹치는 상황을 연속적인 실수 구간으로 모델링한다. 두 번째 단계는 **액션**이다. 액션은 이벤트들의 부분 트레이스로, 전통적인 프로세스 대수에서 전체 트레이스만을 다루는 것과 달리, 부분적인 실행 흐름을 독립적인 연산 단위로 취급한다. 액션은 순차·병렬·선택·재귀 연산자를 통해 조합될 수 있으며, 이때 이벤트 겹침 정보가 보존된다. 이는 스레드 간 교차, 인터럽트 처리, 비동기 메시징 등 실제 시스템에서 흔히 발생하는 복합 실행 패턴을 정확히 기술한다. 세 번째 단계는 **프로세스**이다. 프로세스는 액션들의 집합으로, 전체 실행 역사를 나타낸다. 여기서는 액션 레벨에서 정의된 연산자를 그대로 승격시켜 프로세스 레벨 연산자를 만든다. 저자는 프로세스 연산자를 CSP의 병렬 연산자(‖), 순차 연산자(;), 선택 연산자(