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

于振华; 蔡远利; 徐海平

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-12-08

- 动态软件体系结构建模方法研究
- 动态软件体系结构建模方法研究
- 西安交通大学学报 2007年第2期页码：167-171
- 作者机构：
- 作者简介：
- 基金信息：
  
  国家高技术研究发展计划资助项目(2003AA721070)
- DOI：
  中图分类号： TP311.52
- 纸质出版：2007
- 稿件说明：
移动端阅览
于振华, 蔡远利, 徐海平. 动态软件体系结构建模方法研究[J]. 西安交通大学学报, 2007,(2):167-171.

于振华, 蔡远利, 徐海平. 动态软件体系结构建模方法研究[J]. 2007, (2): 167-171.
于振华, 蔡远利, 徐海平. 动态软件体系结构建模方法研究[J]. 西安交通大学学报, 2007,(2):167-171. DOI：

于振华, 蔡远利, 徐海平. 动态软件体系结构建模方法研究[J]. 2007, (2): 167-171. DOI：

摘要

针对用现有方法对动态体系结构建模的不足

提出了一种软件体系结构抽象模型(SAAM).SAAM以两种互为补充的形式化方法———面向对象Petri网OPN和π演算为语义基础

其中OPN可以形象地描述软件体系结构的初始化模型和动态行为

π演算可以描述软件体系结构的动态演化.这两种形式化方法通过SAAM集成在一起

并通过相应的支持工具对模型进行分析.在体系结构演化过程中

SAAM利用π演算的相关分析方法

对组件的演化策略和软件体系结构的一致性进行分析

从而可以在系统开发早期发现体系结构级的错误

提高软件质量.利用SAAM对经典实例自动加油站系统进行的建模与分析表明

SAAM直观、易懂

可以有效地刻画系统动态体系结构.

Abstract

关键词

Keywords

references

{"db_type":"CJFDREF","db_name":"期刊","reference_articles":[{"unit":"西安交通大学学报","flag":"[J]","issue":"12","year":2004,"author":"于振华,蔡远利","index":1,"title":"基于面向对象Petri网的软件体系结构描述语言"}],"articles_count":1}

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

考虑定子各向异性的永磁同步电机振动噪声优化

结构-语义-残差协同的图像压缩框架：面向隐私保护与高保真重建

采用机器学习的大规模并行程序I/O性能建模与预测方法

离子液体改性燃料的电流体动力学效应研究

电子级超纯氮深冷空分流程节能优化研究