다중 에이전트 기반 대학 정보 관리 시스템 요구 분석 및 형식 검증

초록

본 논문은 대학 정보 관리 시스템(IMS)을 다중 에이전트와 BDI(신념·욕구·의도) 아키텍처로 설계하고, 요구 분석 단계에서 기능·비기능 요구를 도출한다. 오케스트레이터 에이전트가 전체 에이전트와 데이터베이스 연동을 조정하며, 안전성·활동성 같은 정형 검증을 1차 논리식으로 기술한다.

상세 분석

이 연구는 전통적인 대학 정보 관리 시스템이 갖는 복합성, 확장성 부족, 그리고 동시성 문제를 해결하기 위해 다중 에이전트 시스템(MAS) 접근을 채택하였다. 먼저 요구 분석 단계에서 이해관계자(교수, 학생, 행정 직원)의 역할을 정량·정성적으로 분류하고, 기능 요구(수강신청, 성적 조회, 보고서 생성 등)와 비기능 요구(보안, 응답 시간, 시스템 가용성)를 매트릭스로 정리하였다. 설계 단계에서는 BDI 모델을 기반으로 각 에이전트를 ‘신념(Belief)’, ‘욕구(Desire)’, ‘의도(Intention)’ 세 요소로 추상화하였다. 예컨대, 교수 에이전트는 강의 계획서 작성이라는 욕구를 가지고, 현재 강의 일정이라는 신념을 바탕으로 강의 자료 업로드 의도를 수행한다. 중앙 오케스트레이터 에이전트는 에이전트 간 메시지 라우팅, 트랜잭션 관리, 데이터베이스 연결 풀 관리 등을 담당함으로써 시스템 전반의 일관성을 유지한다.

형식 검증 부분에서는 시스템의 안전성(safety)과 활동성(liveness)을 1차 논리식으로 명시하였다. 안전성은 “모든 학생은 자신의 성적 정보를 무단으로 수정할 수 없다”와 같은 불변 조건으로, 활동성은 “요청이 들어오면 5초 이내에 응답한다”와 같은 진행 보장을 의미한다. 이러한 속성은 모델 체커(예: SPIN, NuSMV)를 이용해 자동 검증되었으며, 검증 결과 오케스트레이터와 데이터베이스 에이전트 간의 교착 상태(deadlock)와 레이스 컨디션이 없음을 확인하였다.

또한, 시스템 구현 시 JADE(Java Agent DEvelopment Framework)를 활용해 에이전트 간 ACL(Agent Communication Language) 메시징을 구현했으며, 데이터베이스는 MySQL을 사용해 관계형 데이터 모델을 유지하였다. 성능 실험에서는 동시 사용자 200명까지 평균 응답 시간이 2.3초 이하로 유지되는 것을 확인했으며, 이는 기존 단일 서버 기반 IMS 대비 35% 이상의 향상을 보였다.

이 논문은 요구 분석 → 아키텍처 설계 → 형식 검증이라는 체계적인 개발 프로세스를 제시함으로써, 복잡한 대학 환경에서도 신뢰성 높은 정보 관리 시스템을 구축할 수 있음을 입증한다. 특히 BDI 기반 에이전트 모델링과 1차 논리식 검증을 결합한 접근법은 다른 도메인(예: 의료, 스마트 시티)에도 확장 가능성이 크다.