论文部分内容阅读
软件需求阶段引入的错误，为之付出的成本通常都比较高，因为它的影响会持续到后续的设计、开发和测试等多个阶段，所以在需求文档提交之前，需求验证是非常重要的一步工作。本文的研究基于主谓宾逻辑的需求获取和分析方法(SPOSR)，旨在提出对该方法中的模型：表单流图、(带泳道的)业务流程图、活动图和表单状态图进行验证的方法。
本文首先定义了表单状态图模型，其实质就是一种改进有限状态机，即在有限状态机的定义中增加了消息的定义，这里的消息不仅用于表示流程(表单状态图)之间的交互，也用来表示流程之间隐含的数据依赖。接着，本文详细讨论了流程合并(即合并有消息交互的流程)。基于流程合并，本文介绍了一种需求验证方法，用于验证表单流图和表单状态图之间的一致性，以及(带泳道的)业务流程图、活动图同表单状态图之间的一致性。
本文从主谓宾逻辑的角度出发，对Stephen M．McMenamin和John Palmer提出的一种求解系统“实质”行为(用数据流图DFD表示)的方法改进，并同流程合并的方法相结合，提出了用于验证(带泳道的)业务流程图和活动的准确性、完整性、父子一致性的方法。
文章以某新华书店集团的区店教材系统为例，介绍了流程模型验证方法，同时也在一定程度上说明了方法的有效性。最后设计实现一个基于本文思想的需求验证工具，主要是流程合并部分。