범주 이론을 활용한 온톨로지 기반 임상 LIMS 요구사항 변동 관리

초록

**
본 논문은 의료 마이코로지 실험실 정보 관리 시스템(MYCO‑LIMS)의 기능·비기능 요구사항을 온톨로지와 범주 이론으로 형식화하고, 에이전트 기반 프레임워크(RLR)를 통해 요구사항 변동을 자동 추적·관리하는 방법을 제시한다.

**

상세 분석

**
이 연구는 생명과학 분야의 급격한 지식 진화와 복합적인 데이터 구조가 초래하는 요구사항 변동성을 ‘요구사항 변동(Requirement Volatility)’이라는 개념으로 정의하고, 이를 최소화하기 위한 두 가지 핵심 기술을 결합한다. 첫째, 온톨로지를 이용해 도메인 개념, 속성, 관계를 명시적으로 모델링함으로써 개발자와 도메인 전문가 간의 의미 격차를 해소한다. 온톨로지는 특히 기능 요구사항(FR)과 비기능 요구사항(NFR)의 계층적 분해와 상호 의존성을 표현하는 데 유용하며, 기존 객체지향 모델링이 다루기 어려운 추상적 제약조건을 구조화한다. 둘째, 범주 이론(Category Theory)을 적용해 온톨로지 내 객체와 사상(morphism)을 수학적으로 정의한다. 범주 이론의 ‘객체‑사상’ 구조는 요구사항 간의 종속성, 전이, 합성 관계를 정확히 기술하고, 변화가 발생했을 때 영향을 받는 하위·상위 요구사항을 자동으로 추적할 수 있는 이론적 기반을 제공한다.

논문은 구체적인 MYCO‑LIMS 사례를 통해 FR과 NFR을 각각 트리 형태의 계층 구조로 분해하고, 각 노드에 대응하는 범주 객체를 할당한다. 예를 들어, “주문 관리” FR은 “주문 조회”, “주문 생성” 하위 FR로 분해되고, 이들에 연결된 NFR인 ‘보안(무결성·기밀성·가용성)’과 ‘성능(응답 시간)’은 별도의 객체로 모델링된다. 사상은 “보안 → 주문 관리”와 같이 NFR이 특정 FR에 적용되는 제약을 나타내며, 사상의 합성 규칙을 통해 복합 제약(예: 보안 ∧ 성능)도 표현한다.

변경 관리 측면에서는 RLR(Represent‑Legitimize‑Reproduce) 프레임워크를 도입한다. RLR은 세 종류의 지능형 에이전트(요구사항 탐지 에이전트, 검증 에이전트, 재현 에이전트)로 구성되며, 각각 온톨로지·범주 모델을 실시간으로 모니터링하고, 변경 제안의 일관성을 검증하며, 승인된 변경을 시스템에 반영한다. 특히, 범주 이론 기반의 일관성 규칙(예: 사상의 폐쇄성, 동형성 검증)은 변경 전 자동 검증 단계에서 활용되어, 불일치가 감지되면 에이전트가 즉시 알림을 발생시킨다.

이러한 접근법의 장점은 다음과 같다. (1) 요구사항의 의미적 일관성을 수학적으로 보장함으로써 변동에 따른 비용과 위험을 감소시킨다. (2) FR과 NFR을 동일한 형식화 체계에 포함시켜, 비기능 요구사항이 기능 구현에 미치는 영향을 정량적으로 추적한다. (3) 에이전트 기반 자동화로 인간의 실수와 커뮤니케이션 비용을 최소화한다. 그러나 범주 이론의 추상적 표현이 실무 개발자에게는 진입 장벽이 될 수 있으며, 온톨로지 구축과 사상 정의에 초기 투자 비용이 크게 요구된다는 한계도 존재한다.

**