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

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

在软件开发领域，可执行规范的嵌入技术以及商业现货（COTS）软件组件信息的有效管理与共享，是当前面临的重要课题。下面将详细探讨这两方面的相关内容。

可执行规范嵌入技术

1. 实时CORBA规范
   实时CORBA规范是目前发现的用于服务质量合同的唯一机制，它能实现系统中进程优先级的传播以及资源需求的规范。然而，该技术存在局限性，它对系统配置的假设在大多数系统中并不现实，例如假设每个主机都在固定优先级的实时操作系统上运行实时CORBA ORB。不过，合同允许我们表达安全约束，可用于检查两个组件是否功能等效，并根据非功能质量属性选择其中一个。
2. 组件的特性与行为子类型技术
   组件通常具有定制和参数化的能力。行为子类型技术被视为定义组件固有行为以及评估定制/参数化版本组件一致性的有前景的机制。但需要注意的是，对于大粒度组件，行为子类型技术可能无法有效扩展，这与按契约设计技术在对象抽象类型变得更大、更复杂时可能无法扩展的原因相同。
3. 组件接口级合同的作用
   现阶段，组件接口级合同是确保语义完整性的重要起点。但是，它们要么需要与其他技术（如形式化规范或架构描述语言）结合使用，要么需要扩展以支持在从组件组合软件时出现的各类约束。

研究方向与工具开发

1. 研究方向
   • 组件合同语言的生成 ：目前最需要研究的领域是