在統(tǒng)一建模語言(Unified Modeling Language)UML2.0規(guī)范中，模型的語法是通過元模型以類圖形式定義的，靜態(tài)語義用對象約束語言(Object Constraint Language)OCL描述，動態(tài)語義直接用英文的自然語言表達。采用這種方法描述的動態(tài)語義，存在著不完全、不一致、模糊性等缺陷，為軟件開發(fā)的后續(xù)工作帶來了不利影響：不利于對復(fù)雜系統(tǒng)的模型進行嚴(yán)格的語義分析和正確性驗證。順序圖是統(tǒng)一建模語言UML定義的動態(tài)圖中最重要的圖形之一，給出其準(zhǔn)確、完整、一致的語義將有利于對復(fù)雜系統(tǒng)的模型進行嚴(yán)格的語義分析和正確性驗證，從而給軟件的后續(xù)開發(fā)提供幫助。 UML 2.0版本定義的順序圖用來描述對象之間的動態(tài)交互關(guān)系，著重體現(xiàn)對象間消息傳遞的時間順序卻沒有嚴(yán)格的時間限制，因此用一個合適的時序邏輯描述語言來給出它的語義是可行的。XYZ／E是一個可執(zhí)行線性時序邏輯語言，既可描述系統(tǒng)的動態(tài)行為又可表示程序性質(zhì)。對順序圖進行形式化規(guī)約后，就可在統(tǒng)一的時序邏輯框架下分析順序圖的性質(zhì)。 UML2.0順序圖的組成元素用XYZ／E很難直接表示出準(zhǔn)確、完整、一致的語義，因此本課題的一個關(guān)...

【文章頁數(shù)】：54 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
第一章 前言
    1.1 綜述
    1.2 研究現(xiàn)狀介紹
    1.3 研究方法和目標(biāo)以及本文的組織安排
第二章 形式化方法與時序邏輯語言XYZ/E
    2.1 形式化方法與規(guī)范語言
    2.2 線性時序邏輯語言XYZ/E簡介
    2.3 XYZ/BE的組成成分介紹
第三章 統(tǒng)一建模語言UML及其順序圖
    3.1 統(tǒng)一建模語言UML
    3.2 UML2.0順序圖介紹
    3.3 對象約束語言O(shè)CL(Object Constraint Language)
第四章 從順序圖到并發(fā)控制流圖的轉(zhuǎn)換
    4.1 為順圖選擇合適的控制流模型
    4.2 UML2.0活動圖
    4.3 并發(fā)控制流圖(CCFG)
    4.4 從順序圖到并發(fā)控制流圖CCFG的轉(zhuǎn)換規(guī)則
第五章 用 XYZ/E描述基于 CCFG的UML2.0順序圖的語義
    5.1 CCFG的語法與約束
    5.2 CCFG的形式化語義
    5.3 案例研究:圖書管理系統(tǒng)
第六章 總結(jié)
參考文獻
攻讀學(xué)位期間的研究成果
致謝



本文編號：3855072