신호 전달 경로 교차작용 모델링 및 분석

초록

본 논문은 생물학적 신호 전달 경로를 PRISM 기반의 모듈형 모델로 표현하고, 경로 간 교차작용을 동기화와 이름 바꾸기 연산으로 정의한다. 다섯 가지 교차작용 유형(신호 흐름, 기질 가용성, 수용체 기능, 유전자 발현, 세포 내 통신)을 제시하고, 연속 확률 논리(CSL) 속성을 이용해 각 유형을 식별·구분한다. TGF‑β/BMP, WNT, MAPK 경로의 교차작용 사례를 통해 접근법의 실용성을 입증한다.

상세 분석

이 연구는 신호 전달 경로를 “동기화된 병렬 조합(parallel composition)”이라는 형식적 연산으로 모델링한다는 점에서 기존의 정적 네트워크 분석과 차별화된다. 저자들은 먼저 경로를 구성하는 기본 단위인 ‘generic module’을 정의하고, 각 모듈에 내부 라벨(내부 전이)과 외부 라벨(다른 모듈과의 인터페이스)을 부여한다. PRISM 언어를 활용해 이러한 모듈을 확률적 상태 기계로 구현함으로써, 반응 속도와 확률적 변이를 자연스럽게 포함시킨다.

경로 간 교차작용은 두 가지 연산, 즉 **동기화(synchronisation)**와 **이름 바꾸기(renaming)**의 조합으로 기술된다. 동기화는 두 모듈이 동일한 라벨을 공유함으로써 사건을 동시에 발생시키게 하고, 이름 바꾸기는 라벨을 재명명해 다른 모듈과 연결한다. 이러한 연산을 조합함으로써 저자들은 다음과 같은 다섯 가지 교차작용 유형을 체계화한다.

1. Signal Flow (신호 흐름) 교차작용: 한 경로의 출력 라벨이 다른 경로의 입력 라벨과 동기화되어 신호가 직접 전달된다. 이는 전통적인 ‘위/아래’ 신호 전달과 유사하지만, 모델 내에서는 확률적 전이율을 통해 신호 전달 효율을 정량화한다.

2. Substrate Availability (기질 가용성) 교차작용: 두 경로가 동일한 기질(공통 전구체)을 경쟁적으로 사용한다. PRISM 모델에서는 해당 기질을 공유 라벨로 정의하고, 동기화 없이 경쟁 전이율을 부여해 자원 제한 효과를 시뮬레이션한다.

3. Receptor Function (수용체 기능) 교차작용: 한 경로의 수용체가 다른 경로의 리간드에 의해 활성화되거나 억제된다. 이는 라벨 이름 바꾸기를 통해 수용체 라벨을 다른 경로의 리간드 라벨과 매핑함으로써 구현된다.

4. Gene Expression (유전자 발현) 교차작용: 한 경로가 전사인자를 생성하고, 이 전사인자가 다른 경로의 유전자 발현을 조절한다. 모델에서는 전사인자 라벨을 공유하고, 동기화된 전이를 통해 전사·번역 과정을 확률적으로 기술한다.

5. Intracellular Communication (세포 내 통신) 교차작용: 세포 내 소기관이나 구조적 구획을 매개로 한 간접적인 신호 전달이다. 여기서는 다중 단계 동기화와 이름 바꾸기를 연쇄적으로 적용해 복합적인 신호 흐름을 재현한다.

각 교차작용 유형을 구분하기 위해 저자들은 Continuous Stochastic Logic (CSL) 속성을 설계한다. 예를 들어, “P≤0.1