다중스케일 생물 시스템을 위한 프로세스 대수의 새로운 접근

초록

본 논문은 생물학적 시스템을 다중스케일로 모델링하기 위해 CCS 기반의 프로세스 대수에 시간 지속성을 부여하는 연산자를 도입한다. 고수준의 느린 반응과 저수준의 빠른 반응이 동시에 일어날 수 있도록 설계된 의미론을 제시하고, 이에 대한 행동 동등성 이론을 정립한다. 간단한 사례를 통해 제안된 프레임워크의 적용 가능성을 보여준다.

상세 분석

이 연구는 기존 생물학적 프로세스 대수에서 “동작은 즉시 발생한다”는 가정을 탈피한다는 점에서 혁신적이다. 저자들은 CCS(Communicating Sequential Processes)의 기본 연산에 ‘시간 지속 연산자’를 추가함으로써, 서로 다른 시간 스케일을 갖는 반응을 동일 모델 안에 통합할 수 있게 했다. 구체적으로, 고수준(예: 세포 분열)에서는 긴 시간 동안 지속되는 행동을, 저수준(예: 단백질-리간드 결합)에서는 짧은 시간에 여러 번 발생하는 행동을 각각 표현한다.

핵심은 두 종류의 행동이 겹칠 때 발생할 수 있는 ‘동시성 충돌’을 어떻게 다루는가이다. 저자들은 “중첩 가능성”이라는 개념을 도입해, 한 컴포넌트가 장시간 고수준 행동에 참여하면서도 저수준 행동에 동시에 참여할 수 있도록 의미론을 정의한다. 이를 위해 전통적인 라벨 전이 시스템(LTS)을 확장해, 전이 라벨에 ‘시간 구간’ 정보를 부착하고, 전이의 병합 규칙을 새롭게 설계했다.

또한, 행동 동등성(equivalence) 연구에 있어서도 기존의 관찰 가능성(Observational Equivalence)이나 약한 동등성(Weak Bisimilarity)만으로는 다중스케일 특성을 포착하기 부족함을 지적한다. 따라서 저자들은 ‘시간 민감 이중동등성(Time‑Sensitive Bisimilarity)’이라는 새로운 동등성 관계를 정의하고, 그 성질을 정리한다. 이 동등성은 두 프로세스가 동일한 시간 구간에서 동일한 행동 집합을 수행할 수 있는지를 판단한다.

논문은 이론적 정의 외에도 간단한 생물학적 사례—예를 들어, 세포 주기와 그 안에서 일어나는 신호 전달 경로—를 모델링한다. 모델링 결과, 기존 CCS 기반 모델에서는 표현할 수 없던 “고수준 행동이 진행되는 동안 저수준 행동이 여러 차례 발생”하는 현상을 자연스럽게 기술할 수 있음을 보여준다.

전체적으로 이 논문은 다중스케일 생물 시스템 모델링에 필요한 시간적 차원을 프로세스 대수 수준에서 체계적으로 다루는 방법론을 제시한다. 제안된 연산자와 의미론, 그리고 새로운 동등성 이론은 향후 복합적인 생물학적 네트워크를 정량적·정성적으로 분석하는 데 유용한 도구가 될 것으로 기대된다.