基于π演算的軟件體系結(jié)構(gòu)求精研究.pdf

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

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