Complexity and Coupling: A Functional Domain Approach

기술 요약: 복잡성과 결합도: 기능적 도메인 접근법

문제 제기
본 논문은 산업 제어 및 자동화 시스템(iCAS)과 소프트웨어 공학 전반에서 나타나는 "복잡성(complexity)"과 "결합도(coupling)"의 정의에 관한 만연한 모호함과 과학적 엄밀성의 결여를 다룬다. 저자는 현재의 정의들이 종종 물리적 도메인(예: 코드 라인 수, 구성 요소 수, 기계 크기 또는 계산 시간)에 기반하고 있으며, 이로 인해 일관되지 않은 해석과 인지적 함정이 발생한다고 주장한다. 이러한 물리적 속성에 대한 의존은 안정적이고 보편적인 정의(유(genus)-차(differentia) 구조)의 형성을 저해하며, 시스템 복잡성을 합리적으로 줄이는 것을 방해한다. 또한, 소프트웨어 공학에서 결합도가 소프트웨어 시스템의 내재적이고 피할 수 없는 속성이라는 지배적인 믿음은 물리적 상호 연결과 기능적 의존성을 구분하지 못한 데서 기인한 오해라고 반박한다.

방법론
본 논문은 남병주 교수의 공리적 설계(Axiomatic Design) 이론에 기초한 이론적 프레임워크를 채택한다. 방법론은 다음과 같다:

1. 개념의 재정의: 복잡성과 결합도의 위치를 물리적 도메인에서 **기능적 도메인(functional domain)**으로 전환한다.
2. 수학적 정식화: 정보 이론을 활용하여 기능 요구사항(FR)을 충족하는 데 필요한 "정보량(information content, IC)"으로서 복잡성을 정량화한다. 이는 설계 범위(FR이 요구하는 허용 오차)와 시스템 범위(설계 파라미터의 실제 성능 능력) 사이의 중첩을 바탕으로 성공 확률을 계산하는 과정을 포함한다.
3. 행렬 분석: 독립성 공리(Independence Axiom)를 적용하여 설계 행렬을 사용하여 기능 요구사항(FR)과 설계 파라미터(DP) 간의 관계를 분석한다. 본 논문은 설계를 비결합(uncoupled, 대각 행렬), 결합(decoupled, 삼각 행렬), 또는 완전 결합(coupled, 전체 행렬) 상태로 분류한다.
4. 비교 분석: 모듈 간의 상호 연결 및 변경 파급 효과에 기반한 전통적인 소프트웨어 공학의 결합도 정의를 기능적 정의와 대조하며, 주방 수도꼭지 등의 비유와 산업 자동화 사례를 사용하여 그 차이를 설명한다.

주요 기여

• 복잡성의 과학적 정의: 본 논문은 복잡성을 시스템의 크기나 구성 요소의 수가 아니라, 일련의 기능 요구사항을 달성하는 데 따르는 불확향성(uncertainty)의 척도로 정의한다. 시스템 범위(성능)가 FR의 설계 범위(허용 오차) 내에 완전히 포함될 때 복잡성은 0이 된다.
• 결합도의 기능적 정의: 결합도는 단일 설계 파라미터(DP)가 여러 기능 요구사항(FR)에 영향을 미치는 기능적 현상으로 재정의된다. 이는 독립성 공리를 위반하는 것이다. 본 논문은 결합도가 물리적 도메인(예: 공유된 전선이나 코드 라이브러리)에서는 발생하지 않으며, 하나의 DP 변화가 둘 이상의 독립적인 FR 충족에 영향을 미칠 때만 기능적 도메인에서 발생한다고 주장한다.
• 디커플링(Decoupling)을 설계 목표로 설정: 본 논문은 "비결합" 또는 "디커플링된" 설계가 달성 가능하며 필요함을 입증한다. 이는 단일 책임 원칙(SRP) 및 공통 폐쇄 원칙(CCP)과 같은 소프트웨어 원칙과 궤를 같이하며, 이러한 원칙들이 물리적 명령이 아닌 기능적 명령임을 주장한다.
• 정보량을 통한 정량화: 본 논문은 복잡성을 계산하기 위한 수학적 기초($I = -\log_2 P$)를 제공하며, 결합된 설계는 상호 의존성으로 인해 모든 FR을 동시에 만족시킬 확률이 감소하므로 정보량(및 복식 복잡성)을 증가시킨다는 것을 보여준다.

결과 및 분석

• 수도꼭지 비유: 본 논문은 유량(flow)과 온도(temperature)를 모두 제어하는 두 개의 손잡이(온수/냉수)를 가진 물리적 설계가 기능적으로는 결합되어 있지만, 물리적 손잡이는 독립적일 수 있음을 보여준다. 반대로, 유량과 온도를 별도로 제어하는 설계는 기능적으로 비결합되어 있다. 이는 물리적 독립성이 기능적 독립성을 보장하지 않음을 입증한다.
• 산업 자동화 사례 연구: 우유 가공 예시(수위 제어, 온도 제어, 혼합)를 통해 프로세스 입도(Process Granularity, PG)가 어떻게 적용될 수 있는지 보여준다. 독립적인 기능 블록(FB)을 독립적인 FR에 할당함으로써 설계 행렬은 대각 행렬(비결합)이 된다. 만약 하나의 FB가 수위와 온도를 모두 제어한다면, 행렬은 전체 행렬(결합)이 되어 불확실성을 도입하고 복잡성을 높이게 된다.
• 복잡성 감소: 분석 결과, 비결합 설계에서는 전체 시스템 정보량이 개별 FR 정보량의 합과 같음을 확인하였다. 결합된 설계에서는 하나의 FR을 만족시키는 것이 다른 FR의 상태에 의존하기 때문에, 공동 성공 확률이 급격히 떨어지며 시스템 범위를 설계 범위 내로 제어하기가 더 어려워진다.

의의 및 주장
본 논문은 산업 제어 및 자동화(및 일반적인 소프트웨어)의 효과적인 설계를 위해서는 반드시 기능적 도메인 내에서 복잡성과 결합도를 다루어야 한다고 주장한다.

• 의의: 이러한 정의를 채택함으로써 엔지니어들은 코드 라인 수와 같은 직관적 또는 물리적 지표를 넘어, 설계에 대한 엄격하고 과학적인 접근 방식으로 나아갈 수 있다. 이를 통해 독립성 공리를 충족함으로써 복잡성을 체계적으로 줄일 수 있다.
• 제한적 주장: 본 논문은 모든 공학적 문제를 해결한다고 주장하는 것이 아니라, 기능적 도메인에 근거한 정밀하고 공유된 정의 없이는 시스템 복잡성을 줄이는 진보가 불가능하다고 주장한다. 결론적으로 결합된 설계는 FR을 만족시키기 위한 허용 범위를 제한함으로써 복잡성을 본질적으로 증가시킨다고 명시한다. 본 논문의 주요 기여는 새로운 실험적 도구나 특정 소프트웨어 프레임워크를 제안하는 것이 아니라, "강건한 설계(robust design)"와 설계자의 인지 부하 감소를 가능하게 하기 위해 이러한 개념을 명확히 하는 데 있다.

본 논문은 향-후 연구가 설계 품질과 복잡성 관리를 더욱 발전시키기 위해 산업 제어 시스템의 문제 정의를 이러한 기능적 관점으로 재정의하는 데 집중해야 한다고 결론짓는다.