论文部分内容阅读
软件连接件是软件体系结构中的一个重要概念,是构件间相互作用的媒体.用形式化方法对其模型加以描述是软件体系结构研究中的一个重点.化学抽象机形式化语言(CHAM:Chemical Abtract Machine)是一种通用的、简单直观的计算模型描述语言.本文在分析了连接件语义模型的基础上,提出了一种基于CHAM的软件连接件描述模型,从软件连接件静态组成及动态行为两个方面对连接件进行形式化、规范化地描述和分析,以期进一步实现简化软件连接件的设计、增强其通用性的目的.