생물 시스템 모델링을 위한 최소 객체지향 계산법

초록

본 논문은 생물학적 타입 개념을 형식화하기 위해, 캡슐화·메서드 호출·서브타입·단순 상속을 지원하는 최소 객체지향 코어 계산법을 제안한다. 이 계산법은 기존의 용어 재작성 기반 모델링 언어(Calculus of Looping Sequences, P‑systems 등)에 적용 가능하며, 클래스와 메서드를 재사용함으로써 모델링의 구조화와 오류 검출을 돕는다.

상세 분석

논문은 먼저 생물학에서 “타입”이란 개념을 컴퓨터 과학의 타입 시스템과 유사하게 바라보고, 효소·분자·수소화 효소 등 계층적 관계를 서브타입 구조로 표현한다. 이를 위해 제안된 코어 계산법은 전통적인 객체지향 언어의 핵심 요소만을 최소화한 형태로, 클래스 선언(class C extends D { M })과 메서드 선언(m(C x) R)만을 제공한다. 캡슐화는 메서드 본문에 포함된 용어 재작성 규칙(R)으로 구현되며, 메서드 호출 v.m(t)는 평가 규칙(e‑meth)에 의해 실제 재작성 규칙으로 전개된다. 전개 시 ‘this’는 호출 객체 v로 치환되고, 인자 변수 x는 실제 인자 t로 치환된다. 이러한 메커니즘은 기존의 용어 재작성 시스템에서 규칙을 직접 작성하던 방식을 객체지향적으로 추상화함으로써, 규칙 재사용과 모델 간 라이브러리화가 가능하도록 만든다.

서브타입 관계는 클래스 선언에 의해 정의되며, 반사적·전이적 특성을 갖는다. 타입 검사는 메서드 선언 시 매개변수와 본문 규칙이 선언된 클래스와 일치하는지, 메서드 호출 시 인자 타입이 메서드 기대 타입의 서브타입인지 확인한다. 특히, 생물학적 의미에서 “효소는 분자를 변환하지만 효소 자체는 소모되지 않는다”는 제약을 메서드 본문 규칙으로 명시하고, 서브타입을 통해 효소가 특정 기질(예: 당)만을 다루도록 제한한다.

예시에서는 Enzyme 클래스를 정의하고, action 메서드가 S + this → this + P 형태의 규칙을 포함하도록 했다. Lactase와 같은 구체적 효소는 Enzyme을 상속받아 타입을 지정하고, 메서드 호출을 통해 실제 반응 규칙을 모델에 삽입한다. 또한, Hydrolase와 GlycosideHydrolase 같은 하위 클래스가 메서드 오버라이딩을 통해 더 구체적인 반응(물과 함께 두 개의 생성물 생성)으로 바꾸는 과정을 보여준다.

계산법을 CLS와 P‑systems에 적용한 부분에서는, 각각의 형식이 요구하는 규칙 문법에 맞게 메서드 본문을 기술하고, 클래스 테이블과 타입 환경을 고정시켜 모델 실행 중에 변하지 않도록 설계한다. 이는 기존 타입 시스템이 없던 생물 모델링에 정적 검증을 도입함으로써, 잘못된 기질·생성물 매칭을 사전에 차단한다는 장점을 제공한다.

한계점으로는 상속 구조가 단일 상속만 지원되고, 다중 상속·인터페이스·제네릭 등 고급 OO 기능이 부재하다는 점이다. 또한, 메서드 본문이 단순히 재작성 규칙의 집합이므로, 복잡한 제어 흐름이나 조건부 규칙을 표현하려면 추가적인 메커니즘이 필요하다. 그럼에도 불구하고, 최소한의 OO 개념을 도입함으로써 생물학적 온톨로지를 모델에 직접 연결하고, 재사용 가능한 “클래스 라이브러리”를 구축할 수 있다는 점은 큰 의의가 있다.