一种基于SPDM验证主谓宾需求模型的方法

摘要

没有一套需求理论能放之四海而皆可用，因为不同的需求方法各有其专注的领域；同样，需求验证方法也必须遵循需求模型的特点才能达到更好的验证效果。本文针对主谓宾需求模型提出基于状态业务流程描述模型(SPDM)的验证方法。 主谓宾需求模型与SPDM属同一系列不同阶段的软件方法，两者均以表单为切入点、以流程为中心分别实现系统的功能需求分析与流程模型描述，并且需求模型能平滑过度到SPDM建模阶段，这些构成本文坚实的理论基础。 基于SPDM的方法主要从技术角度验证主谓宾需求模型中特定视图的有效性与一致性以提高需求工程的质量，其过程主要包括三方面工作：首先，研究主谓宾需求模型与SPDM之间的关联，并建立规则集有选择的将需求模型部分视图映射为SPDM。接着，利用需求模型到SPDM映射存在信息冗余的特点，对SPDM执行模型转换并与需求模型其它视图进行比较分析从而发现冲突。基于SPDM验证方法的优势还在于模型映射过程实际是信息有机整合的过程，在SPDM中需求模型不同视图的关联与隐含冲突将显得更加直观。最后，设计并实现对主谓宾需求模型进行验证的辅助工具，更好的保证基于SPDM验证方法的有效性与可行性并提高执行效率。

目录

文摘

英文文摘

声明

第1章绪论

1.1问题的提出

1.2国内外研究现状

1.3选题意义与主要工作

1.4论文的组织结构

第2章需求模型与SPDM模型

2.1需求模型构造描述--以广西新华书店系统需求为例

2.2基于状态的业务流程描述模型SPDM

2.3需求模型与SPDM模型的联系

第3章需求模型到SPDM模型的映射

3.1模型映射总述

3.2 SPDM模型结构层次分析

3.3需求模型与SPDM模型结构层次关联

3.4模型映射规则集建立

第4章基于SPDM模型验证需求模型

4.1需求模型验证内容与目标

4.2需求模型验证框架

4.3 SPDM模型语法验证表单状态图有效性

4.4 SPDM权限模型验证三表一图冲突性

4.5 SPDM消息交互模型验证三图一致性

第5章需求模型辅助验证器

5.1需求模型辅助验证器结构

5.2需求模型验证器执行序列

5.3需求模型验证器主界面展示

第6章总结与展望

6.1总结

6.2下一步工作

参考文献

致谢