基于CHAM的软件连接件形式化模型
方兴1
赵恒2
1.华中科技大学计算机学院,武汉,4300742.武汉数字工程研究所,武汉,430074
摘要：软件连接件是软件体系结构中的一个重要概念,是构件间相互作用的媒体.用形式化方法对其模型加以描述是软件体系结构研究中的一个重点.化学抽象机形式化语言(CHAM:Chemical Abtract Machine)是一种通用的、简单直观的计算模型描述语言.本文在分析了连接件语义模型的基础上,提出了一种基于CHAM的软件连接件描述模型,从软件连接件静态组成及动态行为两个方面对连接件进行形式化、规范化地描述和分析,以期进一步实现简化软件连接件的设计、增强其通用性的目的.
关键词：化学抽象机软件连接件形式化模型
分类号：TP31(计算技术、计算机技术)
资助基金：国防预研项目(10104010202)国防预研项目(41310601)
论文发表日期：2004-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 16-19 )
英文信息