基于CHAM的软件连接件形式化模型

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