포장된 구획의 확률 미적분

초록

포장된 구획 계산법(CWC)은 루핑 시퀀스 계산법(CLS)의 변형으로, 시퀀스 연산자를 제거해 패턴 매칭을 단순화한다. 본 논문은 CWC에 확률적 의미론을 부여하고, 이를 이용해 대식세포와 사멸 호중구 간 상호작용 및 대장균의 유전자 조절 메커니즘을 모델링한다.

상세 분석

CWC는 CLS에서 사용되는 ‘시퀀스 연산자’를 없애고, 대신 ‘포장된 구획(wrapped compartment)’이라는 구조만을 남긴다. 이 구조는 생물학적 시스템에서 흔히 나타나는 막으로 둘러싸인 공간을 자연스럽게 표현한다. 시퀀스 연산자를 없애면 변수 매칭이 복잡해지는 문제를 크게 완화할 수 있다. 구획 내부의 물질들은 멀티셋 형태로 기술되며, 구획 자체는 다른 구획 안에 중첩될 수 있어 계층적 구조를 손쉽게 모델링한다.

논문은 먼저 CWC의 문법을 정의한다. 구획은 ⟨C⟩ 형태로 표기되고, C는 물질들의 멀티셋이다. 재작성 규칙은 전통적인 반응 규칙과 동일하게 ‘전제 → 결과’ 형태이며, 전제와 결과 모두 구획과 멀티셋으로 구성된다. 중요한 점은 전제에 포함된 변수는 구획 전체 혹은 구획 내부의 멀티셋에 매칭될 수 있어, 매칭 알고리즘이 단순해진다.

확률적 의미론은 Gillespie 알고리즘에 기반한다. 각 규칙에 속도 상수 k를 부여하고, 현재 시스템 상태에서 적용 가능한 규칙들의 총 발생률을 계산한다. 구획 구조가 중첩될 경우, 내부 구획의 반응은 외부 구획과 독립적으로 발생할 수 있음을 보장한다. 이를 위해 규칙 적용 시 구획 경계가 명시적으로 고려되며, 경계 투과성(permeability)이나 격리(isolation)와 같은 생물학적 특성을 파라미터화할 수 있다.

두 개의 사례 연구가 제시된다. 첫 번째는 대식세포가 사멸 호중구를 탐식하는 과정이다. 여기서는 대식세포 구획 안에 ‘phagosome’이라는 하위 구획을 두고, 호중구 파편이 이 구획으로 이동하는 일련의 반응을 모델링한다. 각 단계마다 ‘식작용(phagocytosis)’, ‘소화(digestion)’, ‘항원 제시(antigen presentation)’ 등을 규칙으로 정의하고, 실험 데이터와 비교해 파라미터를 튜닝한다. 두 번째 사례는 대장균(E. coli)의 Lac operon 조절 메커니즘이다. 유전자 발현을 구획 내부의 전사·번역 과정으로, 억제 단백질(LacI)의 결합/해리를 구획 경계에서 일어나는 사건으로 모델링한다. CWC는 전통적인 ODE 모델보다 복잡한 공간적 제약을 자연스럽게 포함시킬 수 있다.

성능 평가에서는 CWC 기반 시뮬레이터가 CLS 기반 도구보다 매칭 단계에서 약 30 %~40 %의 시간 절감을 보였으며, 메모리 사용량도 유사하거나 약간 낮았다. 특히 대규모 구획 중첩 구조를 다룰 때 매칭 알고리즘의 복잡도가 선형에 가깝게 유지되는 점이 큰 장점으로 강조된다.

결론적으로, CWC는 생물학적 시스템을 계층적이고 공간적으로 모델링하는 데 적합한 형식이며, 시퀀스 연산자를 제거함으로써 자동화 도구 개발이 용이해진다. 확률적 의미론을 통해 정량적 분석도 가능하므로, 향후 더 복잡한 세포 내 신호 전달망이나 조직 수준 모델링에 적용될 잠재력이 크다.