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

A REQUIREMENT METAMODEL SUPPORTING USE CASE ANALYSIS

作　　者：陈立哲[1] 马永刚[1] 

机构地区：[1]电子工程学院,安徽合肥230037

出　　处：《计算机应用与软件》2011年第5期168-171,180,共5页Computer Applications and Software

摘　　要：为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型。其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型。同时,为表现不同层次需求模型之间的关系,建立了两层需求元模型之间的追踪和精化关系,提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理。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.

关 键 词：需求元模型 用例分析技术 追踪 精化 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]