Well-designed software systems, with providers only modules, have been rigorously obtained by algebraic procedures from the software Laplacian Matrices or their respective Modularity Matrices. However, a complete view of the whole software system should display, besides provider relationships, also consumer relationships. Consumers may have two different roles in a system: either internal or external to modules. Composite modules, including both providers and internal consumers, are obtained from the joint providers and consumers Laplacian matrix, by the same spectral method which obtained providers only modules. The composite modules are integrated into a whole Software System by algebraic connectors. These algebraic connectors are a minimal Occam’s razor set of consumers external to composite modules, revealed through iterative splitting of the Laplacian matrix by Fiedler eigenvectors. The composite modules, of the respective standard Modularity Matrix for the whole software system, also obey linear independence of their constituent vectors, and display block-diagonality. The spectral method leading to composite modules and their algebraic connectors is illustrated by case studies. The essential novelty of this work resides in the minimal Occam’s razor set of algebraic connectors — another facet of Brooks’ Propriety principle leading to Conceptual Integrity of the whole Software System — within Linear Software Models, the unified algebraic theory of software modularity.

中文翻译：

---

线性软件模型：奥卡姆剃刀集代数连接器将模块集成到整个软件系统中

精心设计的软件系统，只有提供者的模块，已经通过代数程序从软件拉普拉斯矩阵或它们各自的模块化矩阵中严格获得。然而，整个软件系统的完整视图除了提供者关系之外，还应该显示消费者关系。消费者在系统中可能有两种不同的角色：模块内部或模块外部。组合模块，包括提供者和内部消费者，是从联合提供者和消费者拉普拉斯矩阵中获得的，通过与获得仅提供者模块相同的谱方法。复合模块通过代数连接器集成到一个完整的软件系统中。这些代数连接器是复合模块外部的最小奥卡姆剃刀消费者集合，通过 Fiedler 特征向量对拉普拉斯矩阵的迭代分裂揭示。整个软件系统的各个标准模块化矩阵的复合模块也服从其组成向量的线性独立性，并显示块对角性。案例研究说明了导致复合模块及其代数连接器的谱方法。这项工作的基本新颖之处在于最小的奥卡姆剃刀代数连接器集 - 布鲁克斯专有原则的另一个方面导致整个软件系统的概念完整性 - 在线性软件模型中，软件模块化的统一代数理论。也服从其组成向量的线性独立性，并显示块对角性。案例研究说明了导致复合模块及其代数连接器的谱方法。这项工作的基本新颖之处在于最小的奥卡姆剃刀代数连接器集 - 布鲁克斯专有原则的另一个方面导致整个软件系统的概念完整性 - 在线性软件模型中，软件模块化的统一代数理论。也服从其组成向量的线性独立性，并显示块对角性。案例研究说明了导致复合模块及其代数连接器的谱方法。这项工作的基本新颖之处在于最小的奥卡姆剃刀代数连接器集 - 布鲁克斯专有原则的另一个方面导致整个软件系统的概念完整性 - 在线性软件模型中，软件模块化的统一代数理论。