面向特征领域建模工具fodm

《面向特征领域建模工具fodm》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、国家863计划课题技术验收附件材料可信的国家软件资源共享与协同生产环境课题编号：2007AA010301面向特征的领域建模工具FODM软件需求规格说明TRUSTIE课题组二〇一〇年十二月文档修改记录修订版本号修订人修改内容日期备注V1.0张伟于文静创建文档2008年5月V2.0更新需求内容V3.0审阅并定稿目录1引言11.1编写目的11.2背景11.3定义11.4参考资料32任务概述32.1目标32.2用户的特点32.3假定和约束33需求规定33.1对功能的规定33.1.1项目管理相关需求43.1.2视图管理相关需求53.1.3特征建模相关需求63.1.4特征建模工

2、具编辑与排版相关需求73.1.5其它需求93.2对性能的规定103.2.1精度103.2.2时间特性要求103.2.3灵活性103.3输入输出要求103.4数据管理能力要求103.5故障处理要求103.6其他专门要求104运行环境规定104.1设备104.2支持软件104.3接口114.4控制111引言1.1编写目的本文档主要面向面向特征的领域建模工具FODM（以下简称特征建模支持工具）的体系结构设计人员和构件实现人员，其主要目的在于为相关人员提供关于特征建模支持工具的基本背景知识和清晰的需求说明。1.2背景特征建模支持工具是国家863计划课题“可信的国家软件资源共

3、享与协同生产环境”（课题编号：2007AA010301）的研究载体，其开发的主要目的是将北京大学软件研究所关于特征建模的研究成果工具化，该工具由北京大学软件研究所需求工程与领域工程小组内部成员承担开发。1.3定义l领域:Domain“领域”是指一组具有相似或相近软件需求的应用系统所覆盖的功能区域。例如文字处理器、图元编辑器、电子邮件客户端等领域。l领域工程:DomainEngineering领域工程是为一组相似或相近系统的应用工程建立基本能力和必备基础的过程，它覆盖了建立可复用的软件构件的所有活动。领域工程包含三个阶段：领域分析，领域设计和领域实现。本工具主要适用于

4、领域分析阶段。l特征:Feature特征是系统中最终用户可见的、显著或特色的行为、能力、特点等，描述的是用户对于系统的理解。例如：图元编辑器领域的一个特征“图元操纵服务”。特征间的关系有：精化关系、约束关系、交互关系。特征可以大致分类为：服务，功能，行为，质量，用例，状态等。此外，特征由其自身的一组属性所刻画，具体包括：名称、需求描述、规约描述、变化性、绑定时间、绑定状态。l精化:Refinement通过精化关系，特征可以将具有不同抽象层次和不同粒度的特征组织成一种11层次式的结构。精化关系也为特征的发现提供了基本的指南。即：通过对一个特征进行精化，发现更小粒度、更

5、低抽象层次的特征；通过对若干个特征进行抽象（反精化），发现更大粒度、更高抽象层次的特征。有3种精化关系：分解(Decomposition)；属性化（Detailization）；特殊化（Specialization）。l约束:Constraint约束关系表示了一组在剪裁特征模型时必须满足的规则。约束反映了特征之间的静态依赖关系。即：一个特征的存在需要其它特征的存在，或与其它某些特征互斥。基本的约束包括：依赖（Require）和互斥（Exclude）。复杂的约束包括：组约束（GroupConstraints）；组合约束（CompositeConstraints）等。我

6、们的支持工具能够以图形化的方式对这些约束进行建模。同时，这些约束关系在内部被形式化为一组命题逻辑公式，并通过模型检查器对约束建模结果的合理性进行验证。l交互:Interaction交互反映了特征之间存在的动态依赖关系。典型的交互如调用、通知等等。我们的特征模型对两元交互提供了一种分类框架。即按照参与交互的模式和交互的主动方对被动方是否存在依赖，把两元特征划分为4类：DirectExplicitInteractions；DirectImplicitInteractions；IndirectExplicitInteractions；IndirectImplicitInt

7、eractions。在此基础上，我们提供了7种具体的交互类型：调用（Invoke）；元层配置（Meta-levelConfigure）；通知（Notify）；资源配置（ResourceConfigure）；影响（Influence）；流（Flow）；互斥（Mutex）。l维度－值关系:Dimension-ValueRelation一个特征自身具有变化性，这个特征进一步细化为一组特征，且在这一组特征上只能选择一个特征来实例化父特征。l变化性:Variability父特征对子特征的可选性，分为可选(Optional)和必选(Mandatory)。l绑定:Bindin