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

• 作者: 方兴 赵恒
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 化学抽象机 软件连接件 形式化模型
• 年，卷（期）: 2004,（1）
• 页码范围: 16-19
• 页数: 4页
• 分类号: TP31
• 字数: 3630字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2004.01.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方兴	华中科技大学计算机学院	3	7	2.0	2.0
2	赵恒		19	110	5.0	10.0