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

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

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