소프트웨어 개념적 완전성의 두 단계 해체와 재구성

초록

이 논문은 프레드릭 브룩스가 제시한 “Conceptual Integrity”(개념적 완전성)를 두 단계, 즉 개념화와 모듈화로 분해하고, 선형 소프트웨어 모델의 모듈러리티 매트릭스를 이용해 각각을 수학적으로 정형화한다. 이를 통해 설계 원칙인 Propriety와 Orthogonality를 모듈화 단계에 매핑하고, 두 단계 사이의 명시적 전이를 제시한다.

상세 분석

논문은 먼저 개념적 완전성을 “Conceptualization”(시스템의 의미·도메인 개념을 정의하는 단계)과 “Modularization”(이 개념을 구조적 모듈로 나누는 단계)으로 구분한다. 이 구분은 전통적인 소프트웨어 설계에서 인간의 인지 과정과 수학적 구조화 과정을 분리하려는 시도와 일맥상통한다. 특히, 저자는 Dijkstra의 “Separation of Concerns”와 인간‑소프트웨어 구분을 강조하면서, 인간적 고려사항은 별도 사회과학적 모델로, 소프트웨어 자체는 인공과학으로 다루어야 한다는 ‘Separability Principle’를 제시한다.

모듈화 단계에서 핵심 도구로 제시된 “Modularity Matrix”는 행을 기능(functional), 열을 구조체(structor)로 두고, 1값은 해당 구조체가 해당 기능을 제공함을 의미한다. 모든 구조체와 기능이 선형 독립이라고 가정하면, 행·열 수가 동일한 정방 행렬이 된다. 이 정방성은 퍼론‑프로베니우스 정리와 라플라시안 행렬, Fiedler 벡터 등을 활용해 블록 대각 형태(즉, 모듈)로 자동 분해될 수 있음을 보인다. 따라서 브룩스가 제시한 Propriety(불필요한 요소 배제)와 Orthogonality(독립성 유지)는 바로 이 행렬의 스파스성·블록 구조와 일치한다.

또한, 논문은 Agile 설계의 “Simple Design” 규칙(테스트, 명시적 의도, 중복 제거, 엔티티 최소화)과 브룩스의 원칙을 연관 짓는다. 이는 실무에서 이미 검증된 규칙을 정형 이론에 매핑함으로써, 이론과 실천 사이의 간극을 메우려는 시도로 평가된다.

비판적으로 보면, 구조체·기능의 선형 독립성 가정은 실제 대규모 시스템에서 성립하기 어려울 수 있다. 복잡한 상속·다형성, 동적 바인딩 등은 행렬에 비선형 관계를 도입한다. 또한, 논문은 개념화 단계의 구체적 방법론(예: 도메인 모델링, 요구사항 추출)보다 모듈화 수학에 치중해, 두 단계 간의 “precise transition”을 실제 설계 프로세스에 적용하는 방법이 모호하게 남는다. 그럼에도 불구하고, 선형 대수 기반 모듈러티 매트릭스가 설계 원칙을 정량화하고 자동 모듈 탐지에 활용될 수 있다는 점은 중요한 기여이다.