一种支持用例分析技术的需求元模型

摘要

为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型.其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型.同时,为表现不同层次需求模型之间的关系,建立了两层需求元模型之间的追踪和精化关系,提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理.%There are different abstract levels of requirements in different requirement activities. To represent this, a two-level requirement metamodel which supports use case analysis is proposed in this paper. In it the user level requirement metamodel defines the requirement model outputted in requirement capturing activity, and the software level requirement metamodel defines the requirement model outputted in requirement analysing activity. What's more,the tracing and refinement relationship between two-level requirement metamodel is established in the paper in order to manifest the relationships between the requirement model in different levels, and the predication logic is proposed and applied to specify the rules and theorem the relationship between tracing and refinement should meet.