一種基于SPDM驗(yàn)證主謂賓需求模型的方法.pdf

1、沒有一套需求理論能放之四海而皆可用，因?yàn)椴煌男枨蠓椒ǜ饔衅鋵Ｗ⒌念I(lǐng)域；同樣，需求驗(yàn)證方法也必須遵循需求模型的特點(diǎn)才能達(dá)到更好的驗(yàn)證效果。本文針對主謂賓需求模型提出基于狀態(tài)業(yè)務(wù)流程描述模型(SPDM)的驗(yàn)證方法。 主謂賓需求模型與SPDM屬同一系列不同階段的軟件方法，兩者均以表單為切入點(diǎn)、以流程為中心分別實(shí)現(xiàn)系統(tǒng)的功能需求分析與流程模型描述，并且需求模型能平滑過度到SPDM建模階段，這些構(gòu)成本文堅(jiān)實(shí)的理論基礎(chǔ)。 基于SP

2、DM的方法主要從技術(shù)角度驗(yàn)證主謂賓需求模型中特定視圖的有效性與一致性以提高需求工程的質(zhì)量，其過程主要包括三方面工作：首先，研究主謂賓需求模型與SPDM之間的關(guān)聯(lián)，并建立規(guī)則集有選擇的將需求模型部分視圖映射為SPDM。接著，利用需求模型到SPDM映射存在信息冗余的特點(diǎn)，對SPDM執(zhí)行模型轉(zhuǎn)換并與需求模型其它視圖進(jìn)行比較分析從而發(fā)現(xiàn)沖突?；赟PDM驗(yàn)證方法的優(yōu)勢還在于模型映射過程實(shí)際是信息有機(jī)整合的過程，在SPDM中需求模型不同視圖的關(guān)聯(lián)