基于場景的行為模型合成技術(shù)研究.pdf

1、需求工程是軟件工程初期的重要工作，其目的是得到對需求的準(zhǔn)確清晰一致的描述以及相應(yīng)的求解限制。隨著需求工程的發(fā)展，基于場景的需求獲取逐步得到了軟件工程界的重視，出現(xiàn)了基于場景的需求獲取方法及工具。 本文主要針對需求工程中場景合成的有關(guān)問題進(jìn)行了探討，在國內(nèi)外專家學(xué)者對需求獲取、用戶場景及其合成研究的基礎(chǔ)上進(jìn)行進(jìn)一步研究分析，確定本文的研究重點是：在需求工程中如何利用用戶提交的場景進(jìn)行行為模型合成；對已有的場景處理方案進(jìn)行分析，引入

2、了改進(jìn)后的支持狀態(tài)標(biāo)簽(State Label)的消息序列圖(MSC)；研究行為模型合成算法，將MSC規(guī)約轉(zhuǎn)化為有限狀態(tài)過程(FSP)的形式描述；根據(jù)算法設(shè)計，初步實現(xiàn)行為模型合成工具。 本文研究意義在于：需求工程的發(fā)展，使人們認(rèn)識到，只有最終用戶直接參與到軟件開發(fā)過程并發(fā)揮主導(dǎo)作用，才能真正解決問題空間與求解空間的一致性問題，消除計算機(jī)領(lǐng)域和應(yīng)用領(lǐng)域之間的鴻溝，滿足并自動適應(yīng)系統(tǒng)需求的不斷變更。改善需求工程的開發(fā)質(zhì)量和效率，需