俞振华;蔡元利;徐海平 动态软件体系结构的建模方法。 （中文。英文摘要） Zbl 1150.68322号 J.西安交通大学。 41，第2期，167-171（2007）. 摘要：针对现有动态软件体系结构建模方法的缺陷，提出了一种新的软件体系结构抽象模型（SAAM），其中采用了两种互补的形式，即面向对象Petri网（OPN）和（pi）演算，作为形式化理论基础。OPN用于可视化初始体系结构和系统行为；而（pi）演算用于描述软件体系结构演进。这两种形式化方法集成在SAAM中，SAAM可以通过相应的支持工具进行分析和验证。此外，还可以使用pi演算分析组件的演化策略和组件之间的一致性，以便在早期软件设计阶段检测设计错误，从而显著提高软件质量。通过一个典型的加油站实例表明，SAAM直观有效地描述了动态软件体系结构。 理学硕士： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：软件体系结构;面向对象Petri网;\（\pi\）-演算进化;建模 PDF格式BibTeX公司 XML格式引用 \textit{Z.Yu}et al.，J.西安交通大学41，No.2，167--171（2007；Zbl 1150.68322）