基于UML的OSPF協(xié)議分析和建模技術研究.pdf

1、該論文研究的內(nèi)容是為了適應四川省網(wǎng)絡通信技術重點實驗室兩項研究工作需要而提出的.首先協(xié)議測試系統(tǒng)需要易于修改適合用于測試系統(tǒng)調(diào)試的測試對象,其次新的單物理層平面體系結構(SUPA)的研究和協(xié)議軟件開發(fā)中需要探索建模技術.選擇以面向?qū)ο蠹夹g為基礎、具有方便的圖形化界面的統(tǒng)一建模語言(UML)為工具,以應用較廣而復雜程度較高的OSPF協(xié)議作為探討協(xié)議實現(xiàn)建模的對象有助于上述兩項工作的后續(xù)工作的開展.該項工作利用UML對OSPF協(xié)議工作機制進

2、行較為詳細的分析,為OSPF的主要運作機制(鏈路狀態(tài)數(shù)據(jù)庫、鄰居發(fā)現(xiàn)和數(shù)據(jù)庫交換等)建模并在Linux平臺上實現(xiàn)了OSPF協(xié)議中的部分功能.該文中反映的作者建立的模型包括:用例模型、靜態(tài)結構對象模型和動態(tài)行為模型.最后,作者對在Linux環(huán)境中開發(fā)的部分OSPF協(xié)議實現(xiàn)進行了初步的測試,結果表明基本該實現(xiàn)具備了OSPF協(xié)議中相關部分的基本功能.該項研究與實踐還表明:用UML作為協(xié)議分析與建模工具,由于所建模型能以標準的、易于理解的方式為

3、協(xié)議軟件建立藍圖,有助于高效正確地開發(fā)可維護、易擴展、和可重用與可移植的OSPF協(xié)議實現(xiàn).該論文的主要貢獻是:①用UML中的"用例模型"和"用例詳述"的形式對OSPF進行了較為詳盡的分析,較好地解決了復雜協(xié)議中對繁瑣細節(jié)的分析描述.②用UML"狀態(tài)圖"對OSPF協(xié)議中的接口狀態(tài)機和鄰居狀態(tài)機進行了建模分析;借用UML狀態(tài)圖中的"復合狀態(tài)"等概念對協(xié)議文本中描述的"接口狀態(tài)機"和"鄰居狀態(tài)機"進行了細化,并以此為基礎分析了相關的實現(xiàn)機制.