基于π演算的軟件體系結構求精研究.pdf

1、隨著用戶對軟件產品性能需求的不斷增加，軟件規(guī)模越來越大，復雜性也越來越高。為保證軟件質量、提高軟件的可靠性，以軟件體系結構為設計規(guī)范的開發(fā)方法越來越受到軟件開發(fā)人員的關注。軟件體系結構成為決定軟件質量的主要因素，并發(fā)展成為軟件工程領域的一個研究熱點。然而，在軟件開發(fā)過程中，從用戶需求出發(fā)得到的體系結構初始模型的抽象粒度比較大，通常只反映了軟件系統(tǒng)的某些主要的功能，很多的非功能屬性以及實現(xiàn)細節(jié)都需要在逐步的細化過程中被添加到體系結構上，因

2、此體系結構求精顯得尤為重要。
　　體系結構求精是一項非常復雜而且困難的工作，不僅僅是簡單地給出抽象體系結構的具體體系結構，而是要提供相關的規(guī)則和方法，保障體系結構正確求精。具體而言，體系結構求精關注兩個方面：(1)體系結構求精方法，即采取何種手段、從哪個角度出發(fā)對體系結構求精，使得抽象的體系結構逐步細化為具體的體系結構；(2)體系結構求精規(guī)則，用于指導體系結構求精，為體系結構正確求精提供有力支持。
　　本文在D-ADL動態(tài)體