文件名称：动态软件体系结构建模方法研究 (2007年)
文件大小：2.11MB
文件格式：PDF
更新时间：2024-05-12 09:54:28
工程技术 论文
针对用现有方法对动态体系结构建模的不足，提出了一种软件体系结构抽象模型（SAAM）。SAAM以两种互为补充的形式化方法-面向对象Petri网OPN和π 演算为语义基础，其中OPN可以形象地描述软件体系结构的初始化模型和动态行为，π演算可以描述软件体系结构的动态演化。这两种形式化方法通过SAAM集成在一起，并通过相应的支持工具对模型进行分析。在体系结构演化过程中，SAAM利用π演算的相关分析方法，对组件的演化策略和软件体系结构的一致性进行分析，从而可以在系统开发早期发现体系结构级的错误，提高软件质量。利用S