论文部分内容阅读
为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型。其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型。同时,为表现不同层次需求模型之间的关系,建立了两层需求元模型之间的追踪和精化关系,提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理。