动态软件体系结构建模方法研究

• 作者: 于振华 徐海平 蔡远利
• 来源期刊: 西安交通大学学报
• 关键词: 软件体系结构 面向对象Petri网 π演算 演化 建模
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 167-171
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2007.02.009

摘要

针对用现有方法对动态体系结构建模的不足,提出了一种软件体系结构抽象模型(SAAM).SAAM以两种互为补充的形式化方法--面向对象Petri网OPN和π演算为语义基础,其中OPN可以形象地描述软件体系结构的初始化模型和动态行为,π演算可以描述软件体系结构的动态演化.这两种形式化方法通过SAAM集成在一起,并通过相应的支持工具对模型进行分析.在体系结构演化过程中,SAAM利用π演算的相关分析方法,对组件的演化策略和软件体系结构的一致性进行分析,从而可以在系统开发早期发现体系结构级的错误,提高软件质量.利用SAAM对经典实例自动加油站系统进行的建模与分析表明,SAAM直观、易懂,可以有效地刻画系统动态体系结构.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡远利	西安交通大学电子与信息工程学院	95	1219	23.0	31.0
2	于振华	西安交通大学电子与信息工程学院	14	223	9.0	14.0