一種基于SPDM驗證主謂賓需求模型的方法.pdf

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

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