

版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領
文檔簡介
1、軟件體系結構是20世紀90年代國際軟件工程領域出現(xiàn)的一個研究熱點,隨著軟件系統(tǒng)規(guī)模和復雜性的不斷增大,軟件體系結構的設計已成為系統(tǒng)成功的關鍵因素。 軟件體系結構描述是軟件體系結構的一個首要研究內(nèi)容。目前主流的軟件體系結構描述方法主要有兩類,分別是可視化描述和形式化描述。兩者在描述軟件體系結構方面具有很強的互補性??梢暬枋銮宄庇^,以UML為代表。UML提供了一套描述軟件系統(tǒng)模型的概念和圖形表示法,但缺乏精確的語義,難以對所表示
2、的模型進行嚴格分析。形式化描述語義精確,如XYZ/E。XYZ/E是一種可執(zhí)行的形式化的時序邏輯語言,可以在統(tǒng)一的時序邏輯框架下表示從形式化規(guī)范到可執(zhí)行程序的不同抽象層次的系統(tǒng)描述,它的這一特性可以應用于軟件體系結構的描述、求精和設計中。 本文主要探討了如何將可視化建模語言UML和時序邏輯語言XYZ/E相結合來描述軟件體系結構的問題。首先介紹了軟件體系結構的基本概念和描述方法,在此基礎上,分析了將UML和XYZ/E相結合描述軟件體
3、系結構的可行性。UML的各類視圖適合對不同系統(tǒng)結構和行為的描述,但缺乏一致的語義基礎,難以說明系統(tǒng)的內(nèi)在聯(lián)系。時序邏輯語言XYZ/E適合作為軟件體系結構的形式化理論基礎,但它對軟件體系結構概念方面的支持還不夠,基于這方面的考慮,我們擴充了XYZ/E的語法成份,使之支持軟件體系結構的基本概念,在語言上提供對軟件體系結構基本概念的顯式支持,并對UML進行擴展和約束,定義了UML活動圖的XYZ/E語義,使之更好的支持軟件體系結構的描述。最后本
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于時序邏輯語言XYZ-E的CA認證系統(tǒng)描述與求精.pdf
- 基于時序邏輯的Open Solaris內(nèi)核進程形式化描述與求精.pdf
- 基于時序描述邏輯的UML狀態(tài)圖語義研究.pdf
- 基于時序邏輯語言的分布式實時軟件體系結構描述與精化.pdf
- 基于xyze的uml2.0順序圖的時序邏輯語義描述研究
- 基于投影時序邏輯的片上系統(tǒng)形式化描述和驗證.pdf
- 基于行為時序邏輯TLA的網(wǎng)絡協(xié)議的描述與驗證.pdf
- 基于描述邏輯的UML行為圖的形式化研究.pdf
- 基于UML和Z的軟件體系結構求精方法及其應用.pdf
- 基于時序邏輯的Web服務安全形式化描述與分析.pdf
- 基于硬件描述語言的并行邏輯模擬系統(tǒng)研究與實現(xiàn).pdf
- 基于動態(tài)語言的系統(tǒng)描述、驗證和綜合.pdf
- 基于UML和XYZ-ADL的軟件體系結構描述及精化研究.pdf
- 時序動態(tài)描述邏輯TDDLALC的推理機制及應用研究.pdf
- 基于UML建模語言的排課系統(tǒng)的設計與實現(xiàn).pdf
- 基于時序邏輯的網(wǎng)絡攻擊建模與檢測.pdf
- 基于UML時序圖的系統(tǒng)形式模型自動生成研究.pdf
- 基于本體和描述邏輯的SWRL推理研究.pdf
- 基于本體和描述邏輯的信息檢索研究.pdf
- 用動作時序邏輯(TLA)進行Web服務描述和合成的研究.pdf
評論
0/150
提交評論