統(tǒng)一建模語言（Unified Modeling Language, UML）是一種通用的圖形建模語言,它已成為面向?qū)ο蠓治龊驮O(shè)計的工業(yè)標(biāo)準(zhǔn)。UML采用元模型、對象約束語言（Object Constraint Language, OCL）和自然語言來描述抽象的語法和語義。元模型的使用嚴格地描述了UML建模技術(shù)的抽象語法，可用于語義描述的基礎(chǔ)。OCL適合于表達約束規(guī)則，但用于描述動態(tài)語義則不容易被理解，也缺乏語義的形式描述。UML在動態(tài)語義方面采用直接的自然語言來表達。由于上述三者分別用不同的結(jié)構(gòu)來定義，因此存在著模糊和不一致性等問題。針對上述問題，學(xué)者們提出了對UML進行形式化。本文采用擴展后的描述邏輯來對UML活動圖進行研究，提高了UML活動圖語義的精確性。本文的工作主要有以下3個方面：（1）擴展時序算子。將時序上限和時序下限引入到時序邏輯的時序算子中，使得時序算子可以描述事件的執(zhí)行過程，并給出了擴展后時序算子的表達形式和線性運算。（2）對活動圖進行時間約束。對活動圖的邊和節(jié)點進行時間約束，給出了具有時間約束后的活動圖的語法的定義，并引入時間約束區(qū)間的概念，擴大了活動圖的應(yīng)用范圍。（3... 

【文章來源】：蘭州理工大學(xué)甘肅省

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

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

【部分圖文】：

UML視圖的分類下面對上述視圖分別做一個簡單的介紹

UML+SDL建模過程

擴展子系統(tǒng)的使用(5)FORTS技術(shù)[45]

【參考文獻】：
期刊論文
[1]基于通信序列進程的UML序列圖形式化方法[J]. 鄧建波,張立臣,鄧惠敏,徐碧紅.  計算機應(yīng)用. 2010(10)
[2]順序圖與狀態(tài)圖的遞歸語義一致性研究[J]. 周翔,邵志清.  計算機科學(xué). 2010(08)
[3]描述邏輯研究進展[J]. 張燕.  江南大學(xué)學(xué)報(自然科學(xué)版). 2010(01)
[4]一類擴展的動態(tài)描述邏輯[J]. 常亮,史忠植,陳立民,牛溫佳.  軟件學(xué)報. 2010(01)
[5]基于SHOIN（D）的UML類圖形式化方法[J]. 陳振慶.  計算機工程. 2009(19)
[6]基于CSP的形式化方法研究[J]. 孫麒,張云華.  浙江理工大學(xué)學(xué)報. 2009(04)
[7]基于rCOS的UML狀態(tài)圖語義研究[J]. 張曉蒙,戎玫,張廣泉.  計算機工程. 2009(02)
[8]動態(tài)描述邏輯的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬.  計算機學(xué)報. 2008(06)
[9]基于Petri網(wǎng)的UML狀態(tài)圖的形式化模型[J]. 郭峰,姚淑珍.  北京航空航天大學(xué)學(xué)報. 2007(02)
[10]擴展描述羅輯ALC+到謂詞邏輯的轉(zhuǎn)換研究初探[J]. 文斌,甘健侯,夏幼明,徐天任.  云南大學(xué)學(xué)報(自然科學(xué)版). 2006(S2)



本文編號：3080466