온톨로지 엔지니어링을 위한 도구 복합체의 형식 모델과 아키텍처 설계

초록

본 논문은 온톨로지 엔지니어링 목적의 소프트웨어 시스템 “Instrumental complex for ontological engineering purpose”(ICOP)의 전반적인 개발 과정을 정형화하고, 수학적 표현, UML 다이어그램, 그리고 클라이언트‑서버 환경의 3계층 아키텍처를 제시한다. 이를 통해 시스템의 기능적·비기능적 요구를 체계적으로 모델링하고, 구현 단계에서의 재사용성과 확장성을 확보한다.

상세 분석

본 연구는 먼저 온톨로지 엔지니어링 도구 복합체의 요구사항을 도메인 분석을 통해 추출하고, 이를 기반으로 정형 모델링 언어인 Z와 B 메서드를 활용해 시스템의 상태와 연산을 수학적으로 정의한다. 상태 변수는 온톨로지 저장소, 메타데이터 레지스트리, 사용자 세션 등으로 구분되며, 각 연산은 온톨로지 생성, 수정, 검증, 배포와 같은 핵심 기능을 포괄한다. 이러한 수학적 모델은 시스템 일관성 검증과 오류 탐지를 자동화하는 근거를 제공한다.

다음으로 UML을 이용해 정적 구조와 동적 행위를 시각화한다. 클래스 다이어그램에서는 데이터 계층(온톨로지 저장소, 트리플 스토어), 비즈니스 로직 계층(온톨리제이션 엔진, 규칙 검증 모듈), 프레젠테이션 계층(웹 UI, REST API)으로 구분하고, 각 클래스 간의 연관관계와 의존성을 명시한다. 시퀀스 다이어그램은 사용자가 온톨로지를 업로드하고 검증하는 흐름을 단계별로 보여주며, 메시지 교환과 트랜잭션 경계를 명확히 한다. 또한 액티비티 다이어그램을 통해 온톨로지 자동 추출 파이프라인의 병렬 처리와 조건 분기를 상세히 기술한다.

아키텍처 설계에서는 전통적인 3계층(프레젠테이션, 비즈니스, 데이터) 모델을 채택하면서, 클라이언트‑서버 환경에서의 부하 분산과 확장성을 고려한다. 프레젠테이션 계층은 웹 브라우저와 모바일 클라이언트를 지원하는 React 기반 SPA로 구현되며, 비즈니스 계층은 Spring Boot와 Docker 컨테이너로 마이크로서비스화한다. 데이터 계층은 Neo4j 그래프 데이터베이스와 PostgreSQL 관계형 DB를 혼합 사용해 온톨로지 트리플과 메타데이터를 효율적으로 저장한다. 서비스 디스커버리와 로드 밸런싱은 Kubernetes와 Istio를 통해 자동화되며, 보안은 OAuth2와 JWT 기반 인증·인가 체계로 강화된다.

마지막으로 개발 프로세스는 모델‑구동 개발(MDD) 접근을 적용한다. 정형 모델을 기반으로 코드 생성 템플릿을 작성하고, 자동화된 테스트 스위트를 통해 모델과 구현 간의 일치성을 지속적으로 검증한다. 이러한 방법론은 시스템 유지보수 비용을 절감하고, 새로운 온톨로지 표준이 등장할 때 빠른 적응을 가능하게 한다.