Complexity and Coupling: A Functional Domain Approach

技術要約：複雑性と結合度：機能的ドメインによるアプローチ

問題提起
本論文は、産業用制御および自動化システム（iCAS）やソフトウェア工学において、特に「複雑性（complexity）」と「結合度（coupling）」の定義に蔓延する曖昧さと科学的厳密さの欠如に対処している。著者は、現在の定義が物理的ドメイン（例：コード行数、コンポーネント数、機械のサイズ、計算時間）に根ざしていることが、一貫性のない解釈や認知的な罠を招いていると主張している。こうした物理的属性への依存は、安定した普遍的な定義（属と種差の構造）の形成を妨げ、システム複雑性の合理的な削減を阻害している。さらに、結合度はソフトウェアシステムの固有かつ不可避な特性であるというソフトウェア工学における一般的な信念に対し、物理的な相互接続と機能的な依存関係を区別できていないことに起因する誤解であるとして異議を唱えている。

手法
本論文は、Nam P. Suhによる**公理的設計（Axiomatic Design）**に基づいた理論的枠組みを採用している。その手法は以下の通りである：

1. 概念の再定義： 複雑性と結合度の所在を、物理的ドメインから機能的ドメインへと移行させる。
2. 数学的定式化： 情報理論を利用して、機能要求（FR）を満たすために必要な「情報量（IC）」として複雑性を定量化する。これには、設計範囲（FRによって要求される許容差）とシステム範囲（設計パラメータの実際の性能能力）の重なりに基づき、成功確率を算出するプロセスが含まれる。
3. 行列分析： 独立性の公理を適用し、設計行列を用いて機能要求（FR）と設計パラメータ（DP）の関係を分析する。論文では、設計を非結合（対角行列）、デカップル（三角行列）、または結合（フル行列）に分類している。
4. 比較分析： モジュールの相互接続や変更の連鎖に基づく従来のソフトウェア工学の結合度の定義と、機能的な定義を対比させる。その際、蛇口の例えや産業オートメーションの例を用いて、その違いを説明する。

主な貢献

• 複雑性の科学的定義： 本論文は、複雑性をシステムの規模やコンポーネント数の尺度としてではなく、一連の機能要求を満たす際の不確実性の尺度として定義している。システム範囲（性能）がFRの設計範囲（許容差）内に完全に収まっている場合、複雑性はゼロとなる。
• 結合度の機能的定義： 結合度は、単一の設計パラメータ（DP）が複数の機能要求（FR）に影響を与えるという機能的な現象として再定義される。これは独立性の公理に反するものである。論文は、結合は物理的ドメイン（例：共有された配線やコードライブラリ）では発生せず、あるDPの変化が複数の独立したFRの充足に影響を与える場合にのみ、機能的ドメインにおいて発生すると断言している。
• 設計目標としてのデカップリング： 「非結合」または「デカップル」された設計は達成可能であり、低複雑性において必要であることを示している。これは、単一責任の原則（SRP）や共通クローズの原則（CCP）といったソフトウェアの原則と整合しており、それらが物理的な要件ではなく機能的な要件であることを論じている。
• 情報量による定量化： 複雑性（$I = -\log_2 P$）を計算するための数学的基礎を提供し、結合された設計は相互依存性によってすべてのFRを同時に満たす確率が低下するため、情報量（したがって複雑性）が増大することを示している。

結果と分析

• 蛇口の例え： 流量と温度の両方を制御する2つのノブ（温水・冷水）を持つ物理的設計は、たとえ物理的なノブが独立していても、機能的には結合していることを示している。逆に、流量と温度を別々に制御する設計は、機能的に非結合である。これは、物理的な独立性が機能的な独立性を保証しないことを示している。
• 産業オートメーションのケーススタディ： 牛乳加工の例を用いて、プロセス粒度（PG）の適用方法を示している。独立した機能ブロック（FB）を独立したFRに割り当てることで、設計行列は対角（非結合）となる。もし単一のFBが流量と温度の両方を制御すれば、行列はフル（結合）となり、不確実性と複雑性が導入される。
• 複雑性の低減： 分析により、非結合設計においては、総システム情報量は個々のFRの情報量の合計になることが確認されている。結合設計では、あるFRの充足が他のFRの状態に依存するため、すべてのFRを同時に満たす結合確率は大幅に低下し、システム範囲を設計範囲内に制御することが困難になる。

意義と主張
本論文は、産業制御および自動化（およびソフトウェア全般）における効果的な設計には、複雑性と結合度を厳格に機能的ドメイン内で扱う必要があると主張している。

• 意義： これらの定義を採用することで、エンジニアは（行数のような）直感的または物理的な指標を超えて、設計に対する厳密で科学的なアプローチへと移行できる。これにより、独立性の公理を満たすことで、システム複雑性を体系的に削減することが可能となる。
• 控えめな主張： 本論文はすべてのエンジ工程上の問題を解決すると主張しているのではなく、機能的ドメインに基づいた精密かつ共通の定義がなければ、システム複雑性の低減における進歩は不可能であると断言している。結論として、結合された設計は、FRを満たすための許容範囲を制限することで、必然的に複雑性を増大させると述べている。主な貢献は、新しい実験的ツールや特定のソフトウェアフレームワークを提案することではなく、設計の質を高め、設計者の認知負荷を軽減するための、これらの概念の明確化である。

本論文は、今後の研究が、産業制御システムにおける問題定義をこの機能的な視点を通じて再定義することに焦点を当てるべきであると結論付けている。