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

于振华; 蔡远利; 徐海平

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-12-08

- 动态软件体系结构建模方法研究
- Issue 2, Pages: 167-171(2007)
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311.52
- Published：2007
- 稿件说明：
移动端阅览
于振华, 蔡远利, 徐海平. 动态软件体系结构建模方法研究[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}

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

I/O Performance Modeling and Prediction Method for Large-Scale Parallel Applications Using Machine Learning

Knowledge Graph Representation Learning Driven by Semantic Discrimination and Subgraph Integration

A Fast Calculation Method for Thermal Flow Fields in Transformer Windings Based on PI-DeepONet

Electrothermal Coupling Research on the Evolutionary Law of Anti-Corona Performance for High-Altitude Air-Cooled Generators

Related Author

左曙光

张耀丹

阎礁

张国辉

林福

吴双龙

Related Institution

同济大学新能源汽车工程中心

泛亚汽车技术中心有限公司

⁰