一种支持用例分析技术的需求元模型 - 计算机应用与软件.pdf

第２８卷第５期　　　 计算机应用与软件 Ｖｏｌ２８Ｎｏ．５ ２０１１年５月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｍａｙ２０１１ 一种支持用例分析技术的需求元模型 陈立哲　马永刚 （电子工程学院　安徽合肥２３００３７） 摘　要　　为了体现在不同需求活动中需求的抽象层次，建立了一种支持用例分析技术的两层需求元模型。其中，用户层需求元模 型定义需求获取活动输出的需求模型；软件层需求元模型定义需求分析活动输出的需求模型。同时，为表现不同层次需求模型之间 的关系，建立了两层需求元模型之间的追踪和精化关系，提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理。 关键词　　需求元模型　用例分析技术　追踪　精化 ＡＲＥＱＵＩＲＥＭＥＮＴＭＥＴＡＭＯＤＥＬＳＵＰＰＯＲＴＩＮＧＵＳＥＣＡＳＥＡＮＡＬＹＳＩＳ ＣｈｅｎＬｉｚｈｅ　ＭａＹｏｎｇｇａｎｇ （ＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇＩｎｓｔｉｔｕｔｅ，Ｈｅｆｅｉ２３００３７，Ａｎｈｕｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｔｈｅｒｅａｒｅｄｉｆｆｅｒｅｎｔａｂｓｔｒａｃｔｌｅｖｅｌｓｏｆｒｅｑｕｉｒｅｍｅｎｔｓｉｎｄｉｆｆｅｒｅｎｔｒｅｑｕｉｒｅｍｅｎｔａｃｔｉｖｉｔｉｅｓ．Ｔｏｒｅｐｒｅｓｅｎｔｔｈｉｓ，ａｔｗｏｌｅｖｅｌｒｅｑｕｉｒｅｍｅｎｔ ｍｅｔａｍｏｄｅｌｗｈｉｃｈｓｕｐｐｏｒｔｓｕｓｅｃａｓｅａｎａｌｙｓｉｓｉｓｐｒｏｐｏｓｅｄｉｎｔｈｉｓｐａｐｅｒ．Ｉｎｉｔｔｈｅｕｓｅｒｌｅｖｅｌｒｅｑｕｉｒｅｍｅｎｔｍｅｔａｍｏｄｅｌｄｅｆｉｎｅｓｔｈｅｒｅｑｕｉｒｅｍｅｎｔ ｍｏｄｅｌｏｕｔｐｕｔｔｅｄｉｎｒｅｑｕｉｒｅｍｅｎｔｃａｐｔｕｒｉｎｇａｃｔｉｖｉｔｙ，ａｎｄｔｈｅｓｏｆｔｗａｒｅｌｅｖｅｌｒｅｑｕｉｒｅｍｅｎｔｍｅｔａｍｏｄｅｌｄｅｆｉｎｅｓｔｈｅｒｅｑｕｉｒｅｍｅｎｔｍｏｄｅｌｏｕｔｐｕｔｔｅｄｉｎ ｒｅｑｕｉｒｅｍｅｎｔａｎａｌｙｓｉｎｇａｃｔｉｖｉｔｙ．Ｗｈａｔ’ｓｍｏｒｅ，ｔｈｅｔｒａｃｉｎｇａｎｄｒｅｆｉｎｅｍｅｎｔｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｔｗｏｌｅｖｅｌｒｅｑｕｉｒｅｍｅｎｔｍｅｔａｍｏｄｅｌｉｓｅｓｔａｂｌｉｓｈｅｄ ｉｎｔｈｅｐａｐｅｒｉｎｏｒｄｅｒｔｏｍａｎｉｆｅｓｔｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｓｂｅｔｗｅｅｎｔｈｅｒｅｑｕｉｒｅｍｅｎｔｍｏｄｅｌｉｎｄｉｆｆｅｒｅｎｔｌｅｖｅｌｓ，ａｎｄｔｈｅｐｒｅｄｉｃａｔｉｏｎｌｏｇｉｃｉｓｐｒｏｐｏｓｅｄａｎｄ ａｐｐｌｉｅｄｔｏｓｐｅｃｉｆｙｔｈｅｒｕｌｅｓａｎｄｔｈｅｏｒｅｍｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｔｒａｃｉｎｇａｎｄｒｅｆｉｎｅｍｅｎｔｓｈｏｕｌｄｍｅｅｔ． Ｋｅｙｗｏｒｄｓ　　Ｒｅｑｕｉｒｅｍｅｎｔｍｅｔａｍｏｄｅｌ　Ｕｓｅｃａｓｅａｎａｌｙｓｉｓｔｅｃｈｎｉｑｕｅ　Ｔｒａｃｉｎｇ　Ｒｅｆｉｎｅｍｅｎｔ ｗａｒｅＵｎｄｅｒＤｅｖｅｌｏｐｍｅｎｔ）能够满足用户的要求，使得开发人员和 ０　引　言 用户在“ＳＵＤ应做什么”这一问题上达成一致。用例分析技术 中，通过用例获取用户的需求，即建立用例模型。用例模型的主 模型驱动工程ＭＤＥ（ＭｏｄｅｌＤｒｉｖｅｎＥｎｇｉｎｅｅｒｉｎｇ）把模型作为 要部分是用例，而用例的本质是参与者与ＳＵＤ之间的一组交互 软件开发过程各个阶段的主要制品［１］。在需求阶段，产生的模 场景。这组交互场景能够为用户提供可观察的价值，表征用户 型是需求模型。而定义需求模型的特征并为其提供语义的模 期望ＳＵＤ应具备的特征。 型，被称为需求元模型［２］。 用例模型包含３个元素：参与者、用例及二者之间的