基于问题框架与目标相结合的需求分析技术研究
广西师范大学 庞柳
本文工作的主要贡献,可以从三个方面总结如下：(1)本文针对面向目标方法KAOS的局限性,即对上下文分析和描述不充分的缺陷提出了一种结合问题框架的方法来克服该局限性。实现了将问题框架方法中的问题图与系统目标相匹配,通过对需求本身及相互间关系进行精确的形式化表达来协助提高需求分析过程的完备性和严谨性。(2)问题框架方法和基于目标的方法在需求建模分析过程中,通常都是演示静态的建模过程。本文从动态的角度进行分析和研究,即在两种方法的背景下通过引入了消息序列图(MSC)来进行动态建模,并描述和表征需求行为和现实世界交互的过程,使得需求建模和分析过程更具可操作性、可理解性及可跟踪性。(3)本文在基于问题框架方法上,运用一种从用户需求模型半自动地转换成为软件规约设计模型的变换方法和技术,称之为问题变换[1]。变换的结果是使得需求直接和机器领域相连接,从而使需求只涉及和约束机器领域。
