外文翻譯--uml20序列圖組合碎片-資料下載頁
2025-05-12 08:22本頁面
【導(dǎo)讀】threeitems,thenIget20%offmypurchase;elseIget10%offmypurchase).
【正文】 ebox”中，一種卷角長方形，而且實際的 UML 圖在較大的封閉長方形內(nèi)部定義。 在大多數(shù)的序列圖中， UML “inline”約束不足以處理一個建模序列的必需 邏輯。這個功能缺失是 UML 的一個問題。 UML 2 已經(jīng)通過去掉 “inline”約束，增加一個叫做組合碎片的符號元件，解決了這一個問題。一個組合碎片用來把一套消息組合在一起，在一個序列圖中顯示條件分支。 UML 2 規(guī)范指明了組合碎片的 11 種交互類型。 變體 變體用來指明在兩個或更多的消息序列之間的、互斥的選擇。 3 變體支持經(jīng)典 “if then else”邏輯的建模（舉例來說，如果 我買三個，然后 我得到 我購買的 20% 折扣；否則 我得到我購買的 10% 折扣）。就如你將會在圖 8 中注意到的，一個變體的組合碎片元件使用框架來畫。單詞 “alt”放置在框架的 namebox里。然后較大的長方形分為 UML 2 所稱的操作元。 4 操作元被虛線分開。每個操作元有一個約束進(jìn)行測試，而這個約束被放 置在生命線頂端的操作元的左上部。 5 如果操作元的約束等于 “true”，然后那個操作元是要執(zhí)行的操作元。 圖 8：包含變體組合碎片的一個序列圖片段 圖 8 作為一個變體的組合碎片如何閱讀的例子，顯示序列從頂部開始，即 bank對象獲取支票金額和帳戶結(jié)余。此時，序列圖中的變體組合碎片接管。因為約束 “[balance = amount]”，如果余額超過或等于 金額，然后順序進(jìn)行 bank對象傳遞 addDebitTransaction 和 storePhotoOfCheck 消息給 account 對象。然而，如果余額不是超過或等于金額，然后順序的過程就是 bank 傳遞 addInsuffientFundFee 和 noteReturnedCheck 消息給account對象， returnCheck 消息給它自身。因為 “else”約束，當(dāng)余額不大于或者等于金額時，第二個序列被調(diào)用。在變體的組合碎片中，不需要 “else”約束；而如果一個操作元，在它上面沒有一個明確的約束，那 么將假定 “else”約束。 變體的組合碎片沒被限制在簡單的 “if then else”驗證?？赡苄枰罅康淖凅w路徑。 如果需要較多的變體方案，你一定要做的全部工作就是把一個操作元加入有序列約束和消息的長方形中。 選擇項 選擇項組合碎片用來為序列建模，這些序列給予一個特定條件，將會發(fā)生的； 或者，序列不發(fā)生。一個選擇項用來為簡單的 “if then”表達(dá)式建模。（例如，如果架上的圈餅少于五個，那么另外做兩打圈餅）。 選擇項組合碎片符號與變體組合碎片類似，除了它只有一個操作元并且永不能有 “else”約束以外（它 就是如此，沒有理由）。要畫選擇項組合，你畫一個框架。文字 “opt”是被放置在框架的 namebox 里的文本，在框架的內(nèi)容區(qū)，選擇項的約束被放置在生命線頂端上的左上角。 然后選擇項的消息序列被放在框架的內(nèi)容區(qū)的其余位置內(nèi)。這些元件如圖 9 所示。 圖 9：包括選擇項組合碎片的一個序列圖片段 閱讀選擇項組合碎片很容易。圖 9 是圖 7 的序列圖片段的再加工，但是這次它使用一個選擇項組合碎片，因為如果 Student 的逾期平衡等于 0，需要傳遞更多的消息。按照圖 9 的序列圖，如果 Student的逾期平衡等于零 ，然后傳遞 addStudent， getCostOfClass和 chargeForClass 消息。如果 Student的逾期平衡不等于零，那么在選擇項組合碎片中，序列不傳遞任何一個消息。 例子圖 9的序列圖片段包括一個選擇項約束；然而，約束不是一個必需的元件。在高層次、抽象的序列圖中，你可能不想敘述選擇項的條件。你可能只是想要指出片段是可選擇的。 循環(huán) 有時候你將會需要為一個重復(fù)的序列建模。在 UML 2 中，為一個重復(fù)的序列建模已經(jīng)改良，附加了循環(huán)組合碎片。循環(huán)組合碎片表面非常類似選擇項組合碎片。你畫一個框架 ，在框架的 namebox 中放置文本 “l(fā)oop”。在框架的內(nèi)容區(qū)中，一個生命線的頂部，循環(huán)約束 6 被放置在左上角。然后循環(huán)的消息序列被放在框架內(nèi)容區(qū)的其余部分中。在一個循環(huán)中，除了標(biāo)準(zhǔn)的布爾測試外，一個約束能測試二個特定的條件式。特定的約束條件式是寫作 “minint = [the number]”（例如， “minint = 1”）的最小循環(huán)次數(shù)，和寫作 “maxint = [the number]”（例如， “maxint = 5”）的最大循環(huán)次數(shù)。通過最小循環(huán)檢驗，循環(huán)必須運行至少指定次數(shù)，而循環(huán)執(zhí)行次數(shù)不能達(dá)到約束指定的最大循環(huán)次數(shù)。 圖 10：循環(huán)組合碎片的一個序列圖例子 在圖 10 中顯示的循環(huán)運行，直到 reportsEnu 對象的 hasAnotherReport 消息返回 false。如果循環(huán)序列應(yīng)該運行，這個序列圖的循環(huán)使用一個布爾測試確認(rèn)。為了閱讀這個圖，你和平常一樣，從頂部開始。當(dāng)你到達(dá)循環(huán)組合碎片，做一個測試，看看值 hasAnotherReport 是否等于 true。如果 hasAnotherReport 值等于 true，于是序列進(jìn)入循環(huán)片斷。然后你能和正常情況一樣，在序列圖中跟蹤循環(huán)的消息。
畢業(yè)設(shè)計相關(guān)推薦
鄂ICP備17016276號-1