产品线体系结构层次组装技术研究

产品线体系结构是软件产品线成功开发的基础,层次组装是产品线体系结构设计的重要支撑技术。在产品线体系结构描述语言vADL的基础上,针对产品线体系结构层次组装的特点,首次引入变化性组装概念,并研究了两种变化性组装技术:变量映射和守护条件约束。在传统端口绑定基础上,引入组装件技术支持多个异型组件端口组装和多种类型的端口行为组装。给出基于π演算理论的行为组装推导算法,并充分考虑变化性对行为组装的影响。