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