19、可执行规范嵌入技术与COTS信息共享平台的探索

可执行规范嵌入技术与COTS信息共享平台的探索

在软件领域，确保组件的语义完整性以及有效管理商业现货（COTS）软件组件的信息是两个关键的挑战。下面我们将深入探讨可执行规范嵌入技术以及eCots平台为COTS信息共享带来的创新解决方案。

可执行规范嵌入技术

在软件系统中，服务质量合同是一个重要的概念。目前，实时CORBA规范是我们发现的唯一用于服务质量合同的机制，它允许在系统中传播进程优先级并指定资源需求。然而，该技术对系统配置的假设在大多数情况下并不现实，例如假设每个主机都在固定优先级的实时操作系统上运行实时CORBA ORB。

不过，合同允许我们表达安全约束，这使得我们可以检查两个组件是否功能等效，并根据一些非功能质量属性选择其中一个。组件的另一个有趣特性是它们通常具有一定的定制和参数化能力。行为子类型技术被认为是定义组件固有行为以及评估给定定制/参数化版本组件是否符合要求的有前途的机制。但我们不确定行为子类型技术是否能扩展到大型组件，这与按契约设计技术在对象抽象类型变得更大、更复杂时可能无法扩展的原因相同。

目前，我们认为组件接口级合同是确保语义完整性的重要起点，但它们必须与其他技术（如形式规范或架构描述语言）结合使用，或者进行扩展以支持在从组件组合软件时出现的各种约束。

未来研究方向

我们认为，这里讨论的合同技术与一些已有的软件架构描述和形式方法技术之间的关系可能非常有趣。例如，可以用形式规范或架构描述语言描述系统，然后生成具有嵌入式语义的组件接口，接着为规范实现组件，并使用约束检查来确保实现和接口一致。反之，给定一种能够表达我们所需约束的组件合同语言，我们可以以此为基础生成可静态验证的形式规范。