基于描述邏輯的UML行為圖的形式化研究.pdf

1、統(tǒng)一建模語言(Unified Modeling Language，UML)是一種通用的圖形建模語言，它已成為面向對象分析和設計的工業(yè)標準。UML采用元模型、對象約束語言(Object Constraint Language，OCL)和自然語言來描述抽象的語法和語義。元模型的使用嚴格地描述了UML建模技術的抽象語法，可用于語義描述的基礎。OCL適合于表達約束規(guī)則，但用于描述動態(tài)語義則不容易被理解，也缺乏語義的形式描述。UML在動態(tài)語義方面

2、采用直接的自然語言來表達。由于上述三者分別用不同的結構來定義，因此存在著模糊和不一致性等問題。針對上述問題，學者們提出了對UML進行形式化。
　　 本文采用擴展后的描述邏輯來對UML活動圖進行研究，提高了UML活動圖語義的精確性。本文的工作主要有以下3個方面：
　　 (1)擴展時序算子。將時序上限和時序下限引入到時序邏輯的時序算子中，使得時序算子可以描述事件的執(zhí)行過程，并給出了擴展后時序算子的表達形式和線性運算。

3、　　 (2)對活動圖進行時間約束。對活動圖的邊和節(jié)點進行時間約束，給出了具有時間約束后的活動圖的語法的定義，并引入時間約束區(qū)間的概念，擴大了活動圖的應用范圍。
　　 (3)形式化。將擴展后的時序算子引入到描述邏輯中，得到了時序描述邏輯，定義了時序描述邏輯的語義和語法部分，分別給出了UML活動圖和擴展后的活動圖的時序描述邏輯語義，然后在此語義的基礎上，給出了從活動圖以及擴展后的活動圖到時序描述邏輯的轉換規(guī)則，并分別用實例進行了驗