패턴 지향 분석 설계 이론

본 논문은 “패턴‑지향 분석·설계(POAD)”라는 개념을 수학적으로 정형화함으로써, 설계 패턴을 조합해 복합 소프트웨어를 구축하는 과정을 비용 효율적인 형식적 분석으로 전환하고자 한다. 서론에서는 POAD가 검증된 설계 패턴을 문제 도메인에 적용해 개발 속도와 품질을 향상시키는 방법론임을 강조하고, 기존 연구가 패턴 자체의 형식화에 집중했지만 패턴 간 조합에 대한 체계적 연구는 부족함을 지적한다. 제2절에서는 POAD 이론의 한계를 논한다. 정보량을 수치화할 수 있는 특성만을 모델링 대상으로 삼아, 복잡성을 정량화하지만 현상 자체를 설명하지는 못한다는 점을 명시한다. 특히, 식(10)에서 제시된 패턴 합성 과정이 새로운 정보를 생성하는 메커니즘을 제공하지만, 그 근원은 외부 역할 기반 상호작용에 의존한다는 점을 언급한다. 제3절에서는 “절대 정보” 개념을 도입한다. 콜모고로프 복잡도의 연속형 확장인 SQKC를 정의하고, 이를 통해 양자 문자열(슈퍼포지션) 형태의 프로그램 길이 평균을 최소화하는 값을 정보량으로 채택한다. SQKC는 언어 독립성을 보장하기 위해 상수항을 허용하며, 실제 계산이 불가능한 이론적 측정값임을 밝힌다. 또한, 조건부 SQKC와 SQKC 거리 정의를 통해 두 프로그램 간 변환에 필요한 최소 정보량을 정량화한다. 제4절에서는 설계 패턴을 개념 공간 𝒞 위의 함수 f:𝒞→𝒞 로 정의한다. 패턴의 도함수 f′는 패턴 자체의 동작을 나타내며, 이는 컨텍스트 변화에 따른 구조적 변화를 또 다른 패턴으로 표현한다. 예시로 MVC 패턴의 동작을 설명하며, 모델·뷰·컨트롤러 간의 상호작용을 함수적 변환으로 해석한다. 제5절은 패턴 합성의 대수적 모델을 제시한다. “stringing”은 패턴 덧셈으로, 교환법칙·결합법칙·항등원·역원을 만족한다. 이 연산은 복합 패턴의 복잡도가 개별 패턴 복잡도의 합을 초과하지 않음을 보장한다(‖P₁+P₂‖ ≤ ‖P₁‖+‖P₂‖). “overlapping”은 패턴 곱셈으로, 스칼라 곱과 유사한 성질을 갖으며 복잡도를 스칼라 배수만큼 확대한다(‖α·P‖ = |α|·‖P‖). 곱셈은 새로운 정보(복잡도)를 창출할 수 있어, 단순 합성보다 풍부한 설계 변형을 가능하게 한다. 패턴 거리 ‖f−g‖는 두 패턴을 동일 컨텍스트에 적용했을 때 발생하는 SQKC 차이의 적분으로 정의되어, 대칭성·비음성·삼각부등식을 만족한다. 제6절에서는 소프트웨어 문제를 함수형 목적 J