论文部分内容阅读
基于组件的软件开发（CBSD）是软件产业化和工程化的必由之路，软件组件间通过接口实现交互，接口应当提供组件交互所需的所有信息。目前的接口定义语言（IDL）仅仅提供了组件交互所需的语法层信息，没有包含交互所需的语义信息和协议信息。不能保证开放环境下组件的正确交互和使用。提出了基于契约化设计的接口语义信息扩展和基于π演算的行为协议信息扩展，构成了开放环境下基于组件软件开发的基础。