基于Agent的動態(tài)軟件體系結構研究.pdf

1、軟件體系結構是對軟件系統(tǒng)高層次的抽象。當前軟件體系結構的研究主要集中在靜態(tài)體系結構上，而軟件系統(tǒng)的需求或運行環(huán)境是不斷變化的，因此軟件系統(tǒng)需要不斷更新。對于靜態(tài)體系結構的軟件系統(tǒng)而言，軟件的更新或維護，需要停止系統(tǒng)運行，這將導致高額的代價，因此動態(tài)軟件體系結構的研究應運而生。 本文介紹了軟件體系結構和動態(tài)軟件體系結構的基本概念、特點以及研究中所涉及的基本問題，闡述了軟件Agent的相關理論和技術，在此基礎上，針對運行系統(tǒng)的動態(tài)更

2、新問題，提出了基于Agent的動態(tài)軟件體系結構ABDA（Agent_Based Dynamic Architecture，簡稱ABDA）。本文分析了基于ABDA模型的局部更新和全局更新這兩類典型的動態(tài)更新實例。結合Wright和CSP，給出了運行系統(tǒng)動態(tài)更新的形式化描述和分析方法。以一個實際系統(tǒng)為例,按照ABDA模型對其進行動態(tài)更新,并對其更新進行形式化描述和語義分析，根據(jù)其分析結果對動態(tài)更新時系統(tǒng)的一致性進行檢測。結果表明該結構能很好