·82 智能系统学报 第10卷 图，分别获取需求完整建模，在集成过程中检测不一 间存在辖制关系：角色是最基本的组织，角色在特定 致：而王学智等对C4ISR系统能力需求中存在的不 资源上具有一组操作能力。3)资源分为复合资源 一致问题深入分析，构建能力模糊本体，研究了能力 和原子资源：复合资源可由更基本的资源构成，这些 需求模型一致性验证技术) 基本资源可分为主资源和非主资源，二者有确定的 需求不一致的处理方法主要有：1)逻辑推理证 函数依赖关系：原子资源是最基本的资源，由一组属 明方法采用带标记的逻辑公式作为需求表示形式， 性组成，包括主属性和非主属性，主属性和非主属性 通过禁止所有平凡推理暂时容忍不一致需求，然后 间存在确定的函数依赖关系。ROB将需求抽象为 维护需求一致性断言集并设置需求优先级别，检测、 统一的树形模型，如图1所示。 跟踪并自动处理不一致需求：2)模型检验方法采用 完整需求树 状态变迁作为需求建模原则，并利用模型检验技术 进行需求不一致性处理；3)基于目标的方法区分了 资源树 业务树 组织树 需求不一致的4种程度，包括矛盾、分歧、竞争和障 碍，通过检测和处理分歧解决不一致问题。这些研 更基本 函数依 更基本 业务 更基本 辖制与 的资源 赖关系 的业务 流程 的组织 制约关系 究成果已有很多应用，在一些特定领域取得很好效 果，为相关研究做出很多有益指导，但这一过程对建 原子 复合 综合 机构 模人员有较高的知识要求，缺少更接近普通认知的 活动 资源 资源 业务 组织 过渡，进一步的应用受到很大限制，其根本原因是不 能将易理解方便沟通与高度自动化形式化2个要求 函数 活动参 性 资调 Api 角色 资源操 统一起来，导致需求模型难以与实际对应，建模理论 赖 权限 作权限 难以转换为实际应用，需求分析管理自动化程度和 前置 过 后置 智能化水平不高。基于资源、组织与业务的需求模 条件 出目标 requirement model on resources,organization and business,.ROB),用人们认识世界的一般方法抽取 图1ROB模型树形结构 需求，将数据、角色和功能指称到描述真实世界的资 Fig.1 Tree-shaped diagram of ROB-model 源、组织与业务，从不同视角基于递归分解思想将需 求抽象为需求树，以期确定、完整一致的表达需求。 ROB本体概念体系 文中在ROB基础上提出建立ROB知识库，通过知 从需求理解的角度看，需求工程依赖于人们对 识推理检验需求一致性，并将一致需求增加到断言 现实世界的认识程度，现实世界被抽象为概念与关 知识库中，形成逐步扩展断言库的需求建模方法，保 系，因此在需求工程中引入本体增强了表达能力，在 证了需求完整性、一致性。 很大程度上满足了需求分析的要求。本体是相关专 题的基本术语和关系，以及利用这些术语和关系构 ROB结构 成该专题的规则的集合[6，本体是领域概念模型的 ROB从3个视点（资源、组织与业务）进行需求 显示表示)。陆汝钤等将对象和本体结合，提出面 分析，形成多视点结构：1)业务视点通过分类、分解 向本体的需求分析OORA[⑧劉，此后本体论应用于需 的方法分析业务以描述功能需求：2)组织视点分析 求工程的研究有了很大发展，如金芝等提出的基于 角色权限和人为活动等需求：3)资源视点获取数据 问题框架的需求建模[」 需求。 2.1 ROB本体概念层次 ROB具有层次结构：1)资源层建立数据模型形 本体概念是ROB建模全过程所有方法及对象分 成数据需求：2)组织层将参与者抽象为角色，通过 类的概括，主要包括需求任务(Errand)、业务功能 权限、关系建立需求模型：3)业务层为真实模拟业 (Business)、执行模块(Task)、业务状态(State)、组织 务活动过程，从业务分解与协同（角色、资源与业务 与角色(Organization)、资源(Resource)、需求任务类 协作)建立功能需求模型。ROB层次间具有关联。 型(ERdType)、资源类型(RscType)和操作类型(Opt ROB基于递归分解的思想：1)业务分为复合业 Type)。ROB本体概念层次结构如图2所示，T表示 务和活动：复合业务由一组更基本的业务构成，这些 ROB本体概念全域。Errand分为基本简单任务(Bas- 基本业务之间存在线性、并行等关系，即业务流：活 ic)和复合任务(Composite);Task分为前置模块(Pre 动是最基本的业务，包括角色、资源和API:API定 task)和核心模块(Stage):State分为前置条件(Pre 义为五元组，包括前置条件、起始状态、过程状态，终 condit)、输入(nput)、过程(Procedure)、输出(Out- 止状态和目标状态。2)组织分为机构组织和角色： put)和后置服务(Postcondi);Organization分为部门 机构组织由更基本的机构组织构成，这些基本组织 (Department)和角色(Role),Department分为领导 (Leader)和员工(Subject):Resource分为元素(Ele图袁分别获取需求完整建模袁在集成过程中检测不一 致曰而王学智等对 悦源陨杂砸 系统能力需求中存在的不 一致问题深入分析袁构建能力模糊本体袁研究了能力 需求模型一致性验证技术咱缘暂 遥 需求不一致的处理方法主要有院员冤逻辑推理证 明方法采用带标记的逻辑公式作为需求表示形式袁 通过禁止所有平凡推理暂时容忍不一致需求袁然后 维护需求一致性断言集并设置需求优先级别袁检测尧 跟踪并自动处理不一致需求曰圆冤模型检验方法采用 状态变迁作为需求建模原则袁并利用模型检验技术 进行需求不一致性处理曰猿冤基于目标的方法区分了 需求不一致的 源 种程度袁包括矛盾尧分歧尧竞争和障 碍袁通过检测和处理分歧解决不一致问题遥 这些研 究成果已有很多应用袁在一些特定领域取得很好效 果袁为相关研究做出很多有益指导袁但这一过程对建 模人员有较高的知识要求袁缺少更接近普通认知的 过渡袁进一步的应用受到很大限制袁其根本原因是不 能将易理解方便沟通与高度自动化形式化 圆 个要求 统一起来袁导致需求模型难以与实际对应袁建模理论 难以转换为实际应用袁需求分析管理自动化程度和 智能化水平不高遥 基于资源尧组织与业务的需求模 型渊 则藻择怎蚤则藻皂藻灶贼 皂燥凿藻造 燥灶 则藻泽燥怎则糟藻泽袁 燥则早葬灶蚤扎葬贼蚤燥灶 葬灶凿 遭怎泽蚤灶藻泽泽袁 砸韵月冤 袁用人们认识世界的一般方法抽取 需求袁将数据尧角色和功能指称到描述真实世界的资 源尧组织与业务袁从不同视角基于递归分解思想将需 求抽象为需求树袁以期确定尧完整一致的表达需求遥 文中在 砸韵月 基础上提出建立 砸韵月 知识库袁通过知 识推理检验需求一致性袁并将一致需求增加到断言 知识库中袁形成逐步扩展断言库的需求建模方法袁保 证了需求完整性尧一致性遥 员摇 砸韵月 结构 砸韵月 从 猿 个视点渊资源尧组织与业务冤进行需求 分析袁形成多视点结构院员冤业务视点通过分类尧分解 的方法分析业务以描述功能需求曰圆冤组织视点分析 角色权限和人为活动等需求曰猿冤资源视点获取数据 需求遥 砸韵月 具有层次结构院员冤资源层建立数据模型形 成数据需求曰圆冤 组织层将参与者抽象为角色袁通过 权限尧关系建立需求模型曰猿冤 业务层为真实模拟业 务活动过程袁从业务分解与协同渊角色尧资源与业务 协作冤建立功能需求模型遥 砸韵月 层次间具有关联遥 砸韵月 基于递归分解的思想院员冤业务分为复合业 务和活动曰复合业务由一组更基本的业务构成袁这些 基本业务之间存在线性尧并行等关系袁即业务流曰活 动是最基本的业务袁包括角色尧资源和 粤孕陨曰粤孕陨 定 义为五元组袁包括前置条件尧起始状态尧过程状态尧终 止状态和目标状态遥 圆冤组织分为机构组织和角色曰 机构组织由更基本的机构组织构成袁这些基本组织 间存在辖制关系曰角色是最基本的组织袁角色在特定 资源上具有一组操作能力遥 猿冤 资源分为复合资源 和原子资源曰复合资源可由更基本的资源构成袁这些 基本资源可分为主资源和非主资源袁二者有确定的 函数依赖关系曰原子资源是最基本的资源袁由一组属 性组成袁包括主属性和非主属性袁主属性和非主属性 间存在确定的函数依赖关系遥 砸韵月 将需求抽象为 统一的树形模型袁如图 员 所示遥 图 员摇 砸韵月 模型树形结构 云蚤早援员摇 栽则藻藻鄄泽澡葬责藻凿 凿蚤葬早则葬皂 燥枣 砸韵月鄄皂燥凿藻造 圆摇 砸韵月 本体概念体系 从需求理解的角度看袁需求工程依赖于人们对 现实世界的认识程度袁现实世界被抽象为概念与关 系袁因此在需求工程中引入本体增强了表达能力袁在 很大程度上满足了需求分析的要求遥 本体是相关专 题的基本术语和关系袁以及利用这些术语和关系构 成该专题的规则的集合咱远暂 袁本体是领域概念模型的 显示表示咱苑暂 遥 陆汝钤等将对象和本体结合袁提出面 向本体的需求分析 韵韵砸粤咱愿暂 袁此后本体论应用于需 求工程的研究有了很大发展袁如金芝等提出的基于 问题框架的需求建模咱怨暂 遥 圆援员摇 砸韵月 本体概念层次 本体概念是 砸韵月 建模全过程所有方法及对象分 类的概括袁主要包括需求任务渊 耘则则葬灶凿冤尧业务功能 渊月怎泽蚤灶藻泽泽冤尧执行模块渊栽葬泽噪冤尧业务状态渊 杂贼葬贼藻冤尧组织 与角色 渊韵则早葬灶蚤扎葬贼蚤燥灶冤尧资源渊砸藻泽燥怎则糟藻冤尧需求任务类 型渊耘砸凿栽赠责藻冤尧资源类型渊砸泽糟栽赠责藻冤和操作类型渊韵责贼鄄 栽赠责藻冤遥 砸韵月 本体概念层次结构如图 圆 所示袁栽 表示 砸韵月 本体概念全域遥 耘则则葬灶凿 分为基本简单任务渊月葬泽鄄 蚤糟冤和复合任务渊悦燥皂责燥泽蚤贼藻冤曰栽葬泽噪 分为前置模块渊孕则藻鄄 贼葬泽噪冤和核心模块渊 杂贼葬早藻冤曰杂贼葬贼藻 分为前置条件渊 孕则藻鄄 糟燥灶凿蚤贼冤尧输入渊 陨灶责怎贼冤尧过程渊 孕则燥糟藻凿怎则藻冤尧输出渊 韵怎贼鄄 责怎贼冤和后置服务渊 孕燥泽贼糟燥灶凿蚤冤曰韵则早葬灶蚤扎葬贼蚤燥灶 分为部门 渊阅藻责葬则贼皂藻灶贼冤 和角色渊 砸燥造藻 冤袁 阅藻责葬则贼皂藻灶贼 分为领导 渊蕴藻葬凿藻则冤和员工渊 杂怎遭躁藻糟贼冤曰砸藻泽燥怎则糟藻 分为元素渊耘造藻鄄 窑愿圆窑 智 能 系 统 学 报摇摇摇摇摇摇摇摇摇摇摇摇摇摇摇摇摇摇 第 员园 卷