基于主謂賓邏輯的需求方法中的流程模型驗(yàn)證研究.pdf

1、軟件需求階段引入的錯(cuò)誤，為之付出的成本通常都比較高，因?yàn)樗挠绊憰?huì)持續(xù)到后續(xù)的設(shè)計(jì)、開發(fā)和測試等多個(gè)階段，所以在需求文檔提交之前，需求驗(yàn)證是非常重要的一步工作。本文的研究基于主謂賓邏輯的需求獲取和分析方法(SPOSR)，旨在提出對(duì)該方法中的模型：表單流圖、(帶泳道的)業(yè)務(wù)流程圖、活動(dòng)圖和表單狀態(tài)圖進(jìn)行驗(yàn)證的方法。 本文首先定義了表單狀態(tài)圖模型，其實(shí)質(zhì)就是一種改進(jìn)有限狀態(tài)機(jī)，即在有限狀態(tài)機(jī)的定義中增加了消息的定義，這里的消息不僅用

2、于表示流程(表單狀態(tài)圖)之間的交互，也用來表示流程之間隱含的數(shù)據(jù)依賴。接著，本文詳細(xì)討論了流程合并(即合并有消息交互的流程)?；诹鞒毯喜?，本文介紹了一種需求驗(yàn)證方法，用于驗(yàn)證表單流圖和表單狀態(tài)圖之間的一致性，以及(帶泳道的)業(yè)務(wù)流程圖、活動(dòng)圖同表單狀態(tài)圖之間的一致性。 本文從主謂賓邏輯的角度出發(fā)，對(duì)Stephen M．McMenamin和John Palmer提出的一種求解系統(tǒng)“實(shí)質(zhì)”行為(用數(shù)據(jù)流圖DFD表示)的方法改進(jìn)，并