분자 상호작용 지도 계산법

초록

MIM 계산법은 분자 상호작용 지도(MIM) 기호를 직접 연산자로 삼아, 생물학적 의미를 보존하면서도 형식적인 프로세스 계산 모델을 제공한다. 논문은 문법과 의미론을 정의하고, 계산법의 정형적 성질을 탐구한 뒤, 실제 신호 전달 네트워크를 사례로 적용한다.

상세 분석

MIM calculus는 기존의 프로세스 계산법(예: π‑calculus, Bio‑PEPA)과 달리, 생물학자들이 일상적으로 사용하는 MIM 다이어그램의 기호 체계를 그대로 연산자로 도입한다는 점에서 혁신적이다. 구문적으로는 종(species), 결합(binding), 촉진(promote), 억제(inhibit), 전환(conversion) 등 여섯 가지 기본 연산자를 정의하고, 각각을 명시적 라벨과 함께 프로세스 식에 매핑한다. 의미론은 구조적 전이 시스템(LTS)으로 구성되며, 각 연산자는 전이 규칙에 의해 구체적인 반응 이벤트로 전환된다. 특히, 결합 연산자는 두 종이 동시 존재할 때 새로운 복합체를 생성하는 전이와, 복합체가 해리될 때 원래 종으로 돌아가는 역전이를 모두 포함한다. 촉진·억제 연산자는 조건부 전이(guarded transition) 형태로 구현돼, 특정 종이 존재하거나 부재일 때만 반응이 일어나도록 한다. 이러한 설계는 MIM 다이어그램을 그대로 코드화할 수 있게 하여, 모델링 단계에서 발생하는 해석의 모호성을 원천적으로 제거한다.

형식적 성질 분석에서는 폐쇄성(closedness), 결정성(determinism) 및 교환법칙(commutativity) 등을 검증한다. 특히, 연산자 간 교환법칙은 MIM 기호가 본질적으로 비순서적임을 수학적으로 입증함으로써, 시뮬레이션 엔진이 연산 순서에 의존하지 않도록 보장한다. 또한, 바운드 변수와 스코프 규칙을 도입해 무한히 확장되는 복합체 생성 문제를 제한하고, 타입 시스템을 통해 비생물학적 상태 전이를 사전에 차단한다.

사례 연구에서는 MAPK/ERK 신호 전달 경로를 MIM calculus로 모델링한다. 각 단백질(예: Raf, MEK, ERK)을 종으로, 인산화·탈인산화 반응을 촉진·억제 연산자로 표현한다. 결과적으로, 기존 ODE 기반 모델과 동일한 정량적 동역학을 재현하면서도, 개별 반응의 존재·부재를 논리식 수준에서 검증할 수 있는 정형 검증 가능성을 확보한다. 이는 약물 타깃 검증이나 변이 효과 분석에 유용한 정밀 모델링 도구로 활용될 수 있음을 시사한다.

요약하면, MIM calculus는 생물학적 직관과 형식적 엄밀성을 동시에 만족시키는 새로운 모델링 패러다임을 제시한다. MIM 다이어그램을 직접 코드화함으로써 모델링 비용을 크게 낮추고, 정형 검증 및 시뮬레이션 자동화를 가능하게 한다. 향후 확장성 측면에서는 공간적 제약, 확률적 전이, 멀티스케일 연동 등을 추가함으로써 더욱 복잡한 세포 내 네트워크를 포괄할 수 있을 것으로 기대된다.