语义组件组成

构建复杂软件系统 necessitates 使用基于组件的体系结构。在理论上，对于设计所需组件集合，只有很小一部分是"自定义"的，其余部分是重用或重构现有软件组件。不幸的是，这是一个理想化的情形。即使两个组件应该能够一起工作，也不一定会工作。将组件连接在一起的"胶水"不仅仅是技术。连接复杂系统的"约束"隐式地定义了超过其显式类型的内容。这些"概念约束"描述了额外系统语义的关键方面：例如对象模型、类型系统、数据表示、接口动作语义、合法和合同义务等。设计师和开发者花费了大量时间通过技术方式粘合系统以满足这些概念约束，因为系统范围的语义尚未得到严格的字符化或编码。这篇论文对问题进行了形式化描述，并讨论了其产生的理论系统的初始实现。