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

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

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

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