基于π演算的软件体系结构形式化研究-计算机软件与理论专业论文.docxVIP

摘要伴随计算机软件系统的规模和复杂程度不断提高，软件系统的结构变得日益 摘要 伴随计算机软件系统的规模和复杂程度不断提高，软件系统的结构变得日益 复杂，软件设计重心从“算法+数据结构”设计转变成为体系结构设计。软件体 系结构已经成为决定软件系统质量的重要因素，是软件产品线开发的关键技术之 一，并因此成为当前软件工程领域的一个研究热点。 体系结构规约是软件体系结构重要的研究课题。运用自然语言和图表描述体 系结构存在众多不足，难以有效实现软件体系结构预期的诸多好处。于是众多学 者开始运用通用的形式化方法、提出专门的体系结构描述语言描述软件体系结 构，这两类方法具有各自的特点和不足，并且它们通常在软件体系结构的演化、 精化、分析和实现等方面缺乏支持，从而阻碍了软件体系结构在实践当中的应用。 据此，基于移动进程理论万演算，结合体系结构形式化方法和体系结构描述 语言，我们提出软件体系结构形式化描述语言刀ADL，并以此作为基础，展开 软件体系结构演化、精化、实现和分析等课题的探索和研究。具体如下： 1．基于移动进程代数，r演算，提出软件体系结构形式化描述语言万ADL， 形式化描述软件系统的结构和行为。提出端口组装和六种构件组装机制及相应的 组装推导算法。以有效支持体系结构层次化配置。 2．对动态体系结构进行研究，提出石ADL描述动态体系结构的方法和相应 的形式语义。该方法运用独立的万进程描述动