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

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

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

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

【部分圖文】：

UML視圖的分類下面對(duì)上述視圖分別做一個(gè)簡(jiǎn)單的介紹

UML+SDL建模過(guò)程

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

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



本文編號(hào)：3080466