데이터 흐름도 규칙 형식화와 일관성 검사 도구

초록

본 논문은 시스템 개발 단계에서 활용되는 데이터 흐름도(DFD)의 작성 규칙을 수학적으로 형식화하고, 이를 기반으로 다이어그램 간 일관성을 자동으로 검증하는 도구를 설계·구현한다. 형식화된 규칙은 구문 오류와 논리적 모순을 사전에 차단함으로써 모델링 품질을 향상시키고, 수작업 검증에 드는 비용과 시간을 절감한다.

상세 분석

이 연구는 DFD가 소프트웨어 요구사항 정의와 시스템 구조 설계에 널리 사용됨에도 불구하고, 기존에는 규칙이 정성적으로만 제시되어 일관성 검증이 수동에 의존한다는 문제점을 지적한다. 저자들은 먼저 DFD의 핵심 요소인 프로세스, 데이터 저장소, 외부 엔터티, 데이터 흐름을 집합론적 기호와 관계식으로 정의한다. 이후 “하나의 프로세스는 최소 하나의 입력과 출력 흐름을 가져야 한다”, “데이터 흐름은 동일 레벨에서만 연결될 수 있다” 등 전통적인 설계 규칙을 1차 논리식으로 변환하고, 레벨 간 일관성(예: 상위 레벨의 데이터 흐름이 하위 레벨에서 분해될 때 동일한 이름과 타입을 유지)과 완전성(예: 모든 외부 엔터티가 최소 하나의 데이터 흐름에 연결) 등을 2차 전제조건으로 추가한다. 이러한 형식화는 SAT/SMT 솔버와 연동해 자동 검증이 가능하도록 설계되었다.

도구 구현부에서는 사용자 인터페이스를 통해 DFD를 그래픽으로 입력받고, 내부적으로는 XML 기반 메타모델로 변환한다. 변환된 메타모델은 앞서 정의한 논리식 집합에 매핑되어 검증 엔진에 전달된다. 검증 결과는 오류 유형(구문 오류, 레벨 불일치, 누락된 흐름 등)과 위치 정보를 포함한 리포트 형태로 사용자에게 제공된다. 특히, 오류가 발견되면 자동으로 수정 제안을 생성하거나, 문제 발생 원인을 시각적으로 강조해 재설계 과정을 단축한다.

실험에서는 기존 수작업 검증에 비해 평균 85% 이상의 시간 절감 효과와 92% 이상의 정확도를 기록하였다. 또한, 복잡도가 높은 대형 시스템(예: 은행 거래 시스템)의 경우, 레벨 0~3까지 4계층 DFD를 검증했을 때 오류 탐지율이 100%에 근접함을 확인했다. 이러한 결과는 형식화된 규칙이 실제 산업 현장에서 적용 가능함을 입증한다.

한계점으로는 현재 도구가 정적 검증에만 초점을 맞추고 있어, 동적 행위(예: 데이터 흐름의 조건부 전송)나 비기능 요구사항(보안, 성능)과의 연계는 미흡하다는 점을 언급한다. 향후 연구에서는 상태 머신과 연계한 동적 검증, 그리고 메타모델 확장을 통한 비기능 속성 검증을 목표로 제시한다.

전체적으로 이 논문은 DFD의 규칙을 형식 논리로 전환하고, 자동 검증 도구에 적용함으로써 모델링 단계에서의 오류를 사전에 차단하고 개발 효율성을 크게 향상시킨다는 점에서 학술적·실무적 의의가 크다.