中科院需求工程需求工程(第八讲)基于领域建模的需求工程_.ppt

需 求 工 程 金芝 中国科学院数学与系统科学研究院 zhijin@amss.ac.cn 第八讲：基于领域模型的方法 概述 软件需求描述及建模本体 基于本体的需求抽取 知识制导的需求抽取 需求抽取过程 需求描述的完整性检查 需求描述规格说明 基于本体的需求建模 自动模型生成 基于约束的模型验证 发展和展望 概述 什么是计算机辅助需求工程 基于知识的需求工程 软件需求工程知识体 计算机辅助需求工程 类比于软件工程 提升手工作坊式工作方式的手段 一组有用的工具 有效使用工具的组织层次 了解如何有效使用工具的人 计算机辅助软件（需求）工程 提供满足需要的工具集 将手工活动自动化 提升工程师对问题的认识 需求工程的本质 需求工程的任务 需求工程：任务的分解 现有的工具在何处有用？ 什么地方需要支持？ 什么地方需要支持？ 需要哪种类型的工具 现实世界问题理解工具 现实世界问题建模工具 现实世界问题分析工具 软件问题理解工具 软件建模工具 软件模型分析工具 规格说明生成工具 需求工程过程管理工具 需求文档管理工具 需求跟踪工具 …… 基于知识的需求工程 广义地说 采用基于知识的方法，对需求工程过程中的各种任务进行支持 知识可以是领域知识，也可以是需求工程知识 目的是支持整个需求工程过程 窄义地说 专门针对特定领域知识和现实世界问题的知识 目的是支持与领域用户的沟通，帮助需求的抽取、建模和分析 领域模型有什么用？ 软件需求描述及建模本体 知识工程中的本体论 软件需求描述本体 软件需求建模本体 本体论（起源和含义） 十七世纪提出，解决二义性问题，十八世纪广泛采用 二十世纪，成为分析哲学中研究实体存在和存在本质的通用理论 西方哲学史:本体论是指关于存在及其本质和规律的学说 中国古代哲学:本根论:指探究天地万物产生、存在、发展变化的根本原因和根本依据的学说 特点： 关于世界某个方面的一个特定的分类体系 这个体系不依赖于任何特定的语言 知识工程中的本体论 从20世纪90年代初期开始，关于本体论的专题研讨会 需要可重用的描述型知识 知识工程中的本体 1991年，Neches等，本体定义了组成主题领域的词汇的基本术语和关系，以及用于组合术语和关系以定义新词汇的外延规则 1993年，Gruber，本体是概念模型的显式的规格说明 1997年，Borst，本体可定义为被共享的概念模型的形式的规格说明 表示需要词汇 领域专家使用领域相关的词汇 传统表示语言是领域无关的 例：谓词演算，框架等，不提供领域相关的词汇 需求抽取的需要 领域用户： 需要提示 在描述时只使用领域的语言 最好是 “yes/no” 问题 描述允许是不完整 领域本体能提供 概念类规定为什么实体建模 概念类都是领域的概念抽象 概念关联、函数、公理预先定义 概念关联、函数、公理可以被继承 需求建模的需要 系统分析员要求 具有形式的语法，可以机械地理解 具有预先定义的语义，可以机械地建立模型 需求分析的需要 系统分析员要求 自动进行模型的分析 三层概念需求描述结构 三层概念需求描述结构 方法案例 针对企业信息系统的实践 企业本体：概念和外延关联 企业本体：概念和外延关联 概念框架（组织概念） 概念框架（活动概念） 概念框架（岗位和角色概念） 概念框架（资源概念） 企业本体的概念类型层次 企业本体的外延关联 企业本体内涵关联 外延本体定义需求描述的语法，内涵本体定义需求语义模型。比如，组织信息系统的一些内涵本体 组织结构本体； 组织目标本体； 事件流本体； 资源流本体； …… 概念框架（组织结构概念） 内涵关联的定义 概念框架（组织目标概念） 内涵关联的定义 概念框架（组织活动流概念） 知识制导的需求描述 类型指导下的需求描述 概念和关联的抽取 概念和关联的重用 约束引导下的概念闭包扩展 元级约束 领域级约束 需求描述分析 获取概念实例 Typical Questions for Inquiring Customers Please list as many as possible names of divisions or departments for your organization. Please list as many as possible names for positions settled in any divisions. Please list as many as possible names of members in your organization. Please list as many as possible activities the members may perform. Please list as many as possible re