基于Petri網(wǎng)的用例建模研究.pdf

1、需求分析在整個軟件生命周期中是極其重要和基礎(chǔ)的。隨著軟件系統(tǒng)規(guī)模的擴大，它直接關(guān)系到軟件系統(tǒng)的成功與否。用例作為一種功能強大的需求建模工具，是記錄系統(tǒng)需求的主要載體。伴隨著用例概念的提出，用例驅(qū)動模型的軟件開發(fā)方法也隨之發(fā)展起來。用例驅(qū)動是指在整個軟件開發(fā)過程中的基礎(chǔ)和出發(fā)點是用例，用例貫穿了整個軟件開發(fā)過程，包括需求獲取、系統(tǒng)設(shè)計、軟件測試、系統(tǒng)約束，軟件開發(fā)的整個過程都圍繞著用例展開。 然而，對于用例的描述，不同的使用者描述

2、的方式各不相同，易導致不一致性、二義性等問題。對用例描述進行形式化是一種有效的解決辦法，目前已有一些針對用例描述形式化的研究成果，但它們使用起來比較復雜，難以在開發(fā)早期用于開發(fā)人員和用戶交流。同時，用例從根本上說是文本形式的，它缺乏對具有并行、并發(fā)等特征的行為以及這些行為的執(zhí)行次序的表示能力。對用例進行圖形化表示是一種良好的解決途徑。目前的相關(guān)研究，大多將活動圖作為圖形化用例的工具，但是活動圖在圖形表述上有一個主要問題，就是沒有區(qū)分狀態(tài)

3、和動作，它們都用活動來表示。更為關(guān)鍵的缺陷來自于UML缺少精確語義，這導致對UML描述的系統(tǒng)模型，目前尚缺乏嚴密有效的驗證和分析方法，同時也難以在模型實現(xiàn)之前進行仿真運行，因此難于進行有效的模型修正和改進。并可能導致設(shè)計的過程出現(xiàn)問題或缺乏效率。 針對以上兩點，作者提出了一種應(yīng)用事件序列表達式對用例及其相關(guān)概念進行形式化定義的方法，設(shè)計了一種從用例模型到Petri網(wǎng)模型的映射算法，并在此基礎(chǔ)上提出了一種基于Petri網(wǎng)的用例建模