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

被引：4

作者：

于振华 ^{[1
]}

蔡远利 ^{[1
]}

徐海平 ^{[2
]}

机构：

[1] 西安交通大学电子与信息工程学院

[2] 马萨诸塞州立大学达特茅斯分校计算机与信息科学系

来源：

西安交通大学学报 | 2007年 / 02期

关键词：

软件体系结构; 面向对象Petri网; π演算; 演化; 建模;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：167 / 171

页数：5