论文部分内容阅读
在需求工程领域结合文档驱动软件开发方法以及关注点建模思想,863小组共同提出并细化的基于关注点的从非形式化文本需求逐步定义形式化需求文档的需求方法。该方法为跨越非形式化文本需求与形式化需求文档之间的鸿沟搭建了一个桥梁,使得在软件开发的需求分析阶段可以更加有效和便捷地得到严格的、精确的、完整的形式化需求文档。为了在需求分析阶段定义严格的精确的数学文档,本文在需求方法中引入了关注点建模思想,使关注点建模成为从非形式化文本需求到最终的形式化需求文档的一个缓冲,从而为文档驱动需求分析方法提供了更好的支持,同时保证了从非形式化需求到形式化需求文档的映射的精确性和有效性。本文重点阐述了基于非形式化文本需求的关注点建模机制,其中给出了关注点以及关注点之间关系的形式化定义和分类,并且明确了自顶向下和自底向上结合的建模过程。此外,基于关注点模型引入了面向方面思想,提出了在需求分析阶段以关注点及其关系的形式定义和分类为基础的横切关注点判定体系,进而给出了在需求分析阶段获取复杂需求集合的方面(Aspect)的方法。本文提出的关注点建模机制以及横切关注点判定体系、关注点冲突检查以及横切关注点复合等方法论组成部分已成功应用于经典需求实例Light Control System的廊灯部分需求,得到了较好的效果。针对关注点建模机制、横切关注点判定机制、关注点冲突检查以及横切关注点复合等方法论组成部分,本文设计开发了相关支持工具,并集成到国家“863”高技术研究发展计划专题项目“面向方面文档驱动需求工程”基础的支持工具包AODREM1.0中,是其中的重要组成部分。