基于OCL的應(yīng)用場景到狀態(tài)圖的自動轉(zhuǎn)換.pdf

1、應(yīng)用場景是指應(yīng)用系統(tǒng)為完成某個(gè)功能所進(jìn)行的一系列的行為活動，包括用戶對象與系統(tǒng)對象之間的交互。統(tǒng)一建模語言(UML)中的順序圖可以用來描述對象之間的交互順序，所以在軟件設(shè)計(jì)的需求分析階段，一般使用自然語言和順序圖來描繪應(yīng)用場景的各項(xiàng)功能。其優(yōu)點(diǎn)是簡單直觀，易于溝通和交流，但由于對問題理解的差異，這種描述很容易產(chǎn)生歧義，并且不能直接反映對象隨交互過程狀態(tài)的變化。因此在系統(tǒng)設(shè)計(jì)階段，使用狀態(tài)圖建立系統(tǒng)的動態(tài)行為模型，展現(xiàn)對象在其生存周期內(nèi)隨

2、時(shí)間和輸入的變化其動態(tài)行為的變化情況，能更好地反映系統(tǒng)功能的實(shí)現(xiàn)過程，確保系統(tǒng)的可靠性。使用對象約束語言(OCL)為順序圖添加對象約束，從而實(shí)現(xiàn)順序圖向?qū)ο鬆顟B(tài)圖的轉(zhuǎn)換。本文重點(diǎn)針對順序圖對象元素以及消息發(fā)送機(jī)制，定義對象屬性向量并為消息前后添加約束條件，設(shè)計(jì)算法將順序圖映射為對象狀態(tài)圖，合并對象狀態(tài)圖得到應(yīng)用場景的最終狀態(tài)圖。
　　本文首先針對應(yīng)用場景到狀態(tài)圖轉(zhuǎn)換的國內(nèi)外研究現(xiàn)狀進(jìn)行了分析和綜述，以O(shè)CL表達(dá)對象約束為基礎(chǔ)，在研

3、究UML順序圖向狀態(tài)圖的轉(zhuǎn)換中，以模型形式化定義作為輸入輸出，以對象屬性向量值判斷對象的狀態(tài)更改，提出了具體的轉(zhuǎn)換方法，并設(shè)計(jì)開發(fā)自動轉(zhuǎn)換平臺，最后通過具體實(shí)例分析驗(yàn)證了轉(zhuǎn)換平臺的工作流程合理性。
　　本文以設(shè)計(jì)一個(gè)企業(yè)短信互動系統(tǒng)為實(shí)例，首先基于應(yīng)用場景描述設(shè)計(jì)系統(tǒng)的用例圖、順序圖;然后針對順序圖，采用本文所提出的方法，使用自動轉(zhuǎn)換平臺將其轉(zhuǎn)為對象狀態(tài)圖;最后合并為整體狀態(tài)圖并轉(zhuǎn)換為Petri網(wǎng)進(jìn)行性能評估。通過實(shí)例驗(yàn)證了轉(zhuǎn)換方