论文部分内容阅读
软件体系结构是软件工程领域中发展迅速的一个研究与实践领域。软件体系结构被描述为构件、连接件和它们之间的交互和配置。体系结构的形式化描述大都基于系统的静态的交互和配置。然而,随着软件开发的发展、用户需求的提高和系统适应性变化的增加,软件系统需要在系统运行时动态地随外界环境的变化而变化。而这类系统采用静态的体系结构形式化描述存在着许多缺陷和不足。 本文首先介绍软件体系结构的早期认识和发展,简要概括了软件体系结构的研究内容,阐明软件体系结构研究的作用和意义。然后从软件开发的本质属性角度认识软件体系结构在软件开发的重要作用,分析适应性软件系统的需求和属性以及它在体系结构层次上建模的重要性。最后分析适应性软件体系结构所具有的属性特征。 针对适应性软件系统的体系结构采用已有的体系结构描述语言存在的不足,本文中采用Pi演算描述适应性软件体系结构。使用Pi演算作为软件体系结构的规格说明的主要原因是Pi演算可以直接描述在运行时动态改变拓扑结构的体系结构。这在CSP或者CCS中很难做到。本文使用Pi演算描述软件体系结构的方法是使用进程或实体描述构件的端口和连接件的角色,使用组合和求和等操作描述它们之间的交互。构件和连接件的交互适应性软件体系结构的属性研究太原理工大学硕士论文过程可以用Pi演算描述。适应性软件系统中存在多种动态交互行为,包括构件的替代、升级和拓扑结构的改变等,采用Pi演算也可以自然地描述。