基于時序描述邏輯的UML狀態(tài)圖語義研究.pdf

1、統(tǒng)一建模語言(Unified Modeling Language)UML簡潔、直觀，便于建模人員之間的交流與溝通，適用于軟件開發(fā)的各個階段。然而，UML缺乏精確的形式化語義，難以對它所描述的系統(tǒng)進行形式化分析和一致性檢驗。描述邏輯具有很強的表達和可判定推理能力，但基本的描述邏輯只能表示靜態(tài)領(lǐng)域的知識，無法對具有動態(tài)和時序特征的知識進行描述。時序邏輯包含大量的時序算子，可以對靜態(tài)和動態(tài)領(lǐng)域的知識進行描述，但它的推理能力不是很強。
　

2、　 針對上述問題，本文對基本的描述邏輯進行時序擴展，然后用擴展后的描述邏輯，即用時序描述邏輯TDLs(Temporal Description Logics)對UML狀態(tài)圖進行形式化研究，提高UML狀態(tài)圖語義描述的精確性。本文的主要研究工作包括：
　　 1.UML和描述邏輯的異同點。比較了UML和描述邏輯的異同點，包括：靜態(tài)、動態(tài)、共享、可擴展性、繼承、封裝、類之間的關(guān)系、類和屬性的層次，以及推理特性。
　　 2.描述

3、邏輯的時序擴展。針對基本的描述邏輯無法對具有動態(tài)與時序特征的知識進行描述的問題，考慮采用時序算子對基本的描述邏輯進行擴展，得到既可以表示靜態(tài)知識，又可以對動態(tài)和時序知識進行描述的時序描述邏輯，給出了擴展后的語法、語義、定義及公理。
　　 3.UML狀態(tài)圖的形式化。狀態(tài)圖是UML重要的行為圖之一，通過對狀態(tài)圖進行分析，將UML狀態(tài)圖映射為時序描述邏輯表達式，給出了映射規(guī)則，并通過一個實例說明了映射過程，檢驗了方法的可行性，對形式化