决策支持开发工具DSSG的模型与模型库管理

D0I:10.13374/j.1ssm1001-053x.1998.05.020 第20卷第5期 北京科技大学学报 Vol.20 No.5 1998年10月 Journal of University of Science and Technology Beijing 0ct.1998 决策支持开发工具DSSG的模型 与模型库管理 夏克俭 聂维同 北京科技大学信息工程学院，北京100083 摘要讨论了决策支持系统开发工具DSSG的模型概念，模型构造以及模型库管理中的一些问 惠，引人原子棋型和复合模型概念.提出了一个模型及模型库管理系统的设计方法，还就构模语 言SML的设计提出模型. 关键词模型；模型库；构模语言 分类号TP315 DSSC(Decision Support System Generator)是一个决策支持系统生成器，它是一个工具 软件，可用它生成DSS应用系统习.DSSG由数据库管理系统、方法库管理系统、模型库管理 系统及会话系统4部分组成，并向用户提供3种不同语言，以供生成DSS应用系统之用，这 些语言是：DSSGML,即生成器管理语言；SML,即模型构造语言（简称构模语言）；C+语 言，即扩充C语言， 1模型和模型库管理系统的总体结构 DSSG中模型和模型库管理系统的总体结构1如图1所示，它由模型库（包括模型结构 库、模型数据库和模型目录库)、方法库、模型处理系统组成， 图1中，模型结构库存放模型的逻 用户界面 辑结构；模型数据库存放模型的参数 值；模型目录库存放模型信息；模型库 模型处理系统 存放各种算法执行程序；模型处理系统 (MPS)用于对模型进行管理，负责模型 的建立、组织、修改、删除、使用等一系 模型 模型 模型 结构库 模型库 数据库 目录库 方法库 列操作.MPS是模型及模型库管理系统 的核心控制程序，是整个系统的关键. 图1DSSG总体结构图 2模型、子模型、原子模型 2.1定义 模型是对现实问题的逻辑抽象.为客观地描述现实世界，我们引入了复合模型、子模型、 1997-10-04收稿 夏克俭男，42岁，副教授，硕士

第 卷 第 期 年 月 北 京 科 技 大 学 学 报 决策支持开发工具 的模型 与模型库管理 夏克俭 聂 维 同 北京科技大学信息工 程 学 院 ， 北 京 摘要 讨论了决策支持系统开发工具 璐 的模 型概念 、 模 型 构造 以 及 模型库管理 中的一 些 问 翅 ， 引人原子模型 和复合模型概念 提 出了一 个模型 及模 型 库管理 系 统 的设计方 法 ， 还 就 构模语 言 加 的设计提 出模型 关扭词 模型 模型库 构模语言 分类号 瑞 氏 是 一 个 决 策 支 持 系 统 生 成 器 ， 它 是 一 个 工 具 软件 ， 可用它生成 璐 应用 系统 ’ 由数据库管理 系 统 、 方 法 库管理 系 统 、 模 型库管理 系统及 会话系统 部分组成 ， 并 向用户提供 种 不 同语 言 ， 以供 生成 应 用 系 统之 用 这 些 语 言 是 璐 ， 即 生 成 器 管 理 语 言 ， 即 模 型 构 造 语 言 简 称 构 模 语 言 语 言 ， 即扩充 语言 模型和模型库管理系统的总体结构 跳 中模型和模型库管理 系统 的总体结构 如 图 所 示 ， 它 由模 型 库 包括模 型 结 构 库 、 模 型数据库和模型 目录库 、 方法库 、 模型处理 系 统组成 图 中 ， 模型结构库存放模型 的逻 辑 结 构 模 型 数 据 库存 放模 型 的 参数 值 模 型 目录库存 放模 型信 息 模 型库 存放各种 算法 执行程序 模型处理系 统 用 于 对模 型进行管理 ， 负责模型 的建 立 、 组 织 、 修 改 、 删 除 、 使用 等一 系 列操作 是模 型及模型库管理 系统 的核 心控制程序 ， 是整个系统的关键 用户界 面 模型处理 系统 压函刁 丽 丽 巴竺生 模型库 塑壁」巨垦生引 厄 匕二 万 竺」 」… 图 义裕 总体结构图 模型 、 子模型 、 原子模型 定义 模 型是 对现 实 问题 的逻 辑抽 象 为客观 地 描述 现 实世 界 ， 我们 引人 了复合模 型 、 子模 型 、 一 一 收稿 夏 克俭 男 ， 岁 ， 副教 授 ， 硕 士 DOI ：10．13374／j ．issn1001－053x．1998．05．020

·494· 北京科技大学学报 1998年第5期 原子模型3个范畴.复合模型由多个子模型组成，而子模型本身又可分解为几个更小的模型 (可以称为子子模型)，子子模型还可以分解成更加小的模型，等等，小得不能再分的模型称为 原子模型.子模型可以是原子模型，也可以是复合模型，因而实质上我们把模型分成两大类： 复合模型和原子模型.下面用BNF给出这两类模型的统一定义， <模型>：=<模型头><模型体> <模型头>：=<模型名><模型参数表><信息表> <模型参数表>：=<输人参数表><输出参数表> <信息表>“=<作者><日期><模型功能描述> <输人参数表>：=<参数类型><参数名> <模型体>：=<输人限制><模型的逻辑结构><输出限制> <输人限制>：=<布尔函数> <输出限制>：=<布尔函数> <模型逻辑结构>：=<方法名><模型间的逻辑联接表> <模型间的逻辑联接表>：=<源模型名>(<源参数名>→<目标模型名> <目 标参数名>) 复合模型和原子模型的定义是统一的，它们的不同之处在于模型的逻辑结构部分，对原 子模型而言，模型逻辑结构由方法名来表示，而对于复合模型来说，模型逻辑结构则由各子模 型间的逻辑联接来描述. 2.2模型的内部存贮结构 所谓模型的内部存贮结构是指模型在计算机存贮器中的存贮结构， ()原子模型的内部存贮结构.根据原子模型的定义，我们用如下结构来存放原子模型： Struct UniModel { Char modelname[];author[],date[]; Struct INPUTLIST input;Struct OUTPUTLST output; Struct INPUTCONSTRAIN inconstr;Struct OUTPUTCONSTRAIN *outconstr; Struct ALGORITHM *alg; FILE◆description; 其中，Struct INPUTLIST,OUTPUTLIST,INPUTCONSTRAIN,OUTPUTCONSTRAIN, ALGORITHM分别是模型输人/输出表、输入/输出限制、模型所选方法，description是一指 向存放模型功能描述的指针， (2)复合模型的内部存贮结构.从定义来看这两类模型的区别在于模型的逻辑结构部分， 它们的内部结构大致相同，不同之处仅在于原子模型用Struct ALGORITHM来存放模型所 选的方法；而复合模型则用Struct-LOGICAL-COMBINE存放模型的逻辑联接，Struct--LOGI- CAL-COMBINE是一种图的邻接结构.下面用一个具体的例子来说明这种结构 假设有一个复合模型称comp,其内部各子模型间的逻辑联接如图2(a)所示，我们可用图 2(b)所示的内部存贮结构来描述

· 北 京 科 技 大 学 学 报 年 第 期 原子模 型 个 范畴 复合模 型 由多 个 子模型 组 成 ， 而 子模 型本 身又 可 分解 为几 个更 小 的模 型 可 以 称 为 子 子模 型 ， 子 子模 型还 可 以 分解 成更 加小 的模 型 ， 等等 小 得 不 能再分 的模 型称 为 原 子模型 子模 型 可 以 是 原 子模 型 ， 也 可 以是 复合模 型 ， 因而 实 质 上 我们把模 型 分成 两 大类 复合模型 和 原子模型 下 面用 给 出这 两类模 型 的统一定义 模型 模型 头 模型体 模 型 头 模 型名 模型参数表 信息表 模 型参数表 输人参数表 输 出参数表 信息表 作者 日期 模 型功 能描 述 输人 参数表 参数类型 参数名 模 型体 输 人 限制 模 型 的逻辑结 构 输 出限制 输人 限制 二 布 尔 函 数 输 出 限制 布 尔 函数 模 型 逻 辑结构 方 法 名 模 型 间的逻 辑联接 表 模 型 间 的逻辑联 接表 源模 型名 源参数名 目标模 型 名 目 标参数名 复合模 型 和 原 子模 型 的定 义是 统一 的 ， 它们 的不 同之 处在 于模 型 的逻辑结构部分 对原 子模 型 而 言 ， 模 型 逻辑结构 由方 法名来 表示 ， 而 对于 复合模 型来说 ， 模 型 逻辑结构则 由各子模 型 间的逻辑联接来描 述 模型 的 内部存贮结构 所谓模 型 的 内部存贮结构是 指模 型在 计算机存贮器 中的存贮结 构 原子模 型 的 内部存贮结 构 根 据原 子模 型 的定 义 ， 我们 用如 下结 构来存放 原子模 型 笼 』 ， 七 仁 ， 如 其 中 ， 如 ， 」 ， ， ， ， 分别是模 型 输人 输 出表 、 输人 输 出限制 、 模 型 所 选方 法 ， 是 一指 向存 放模 型 功 能描 述 的指针 复合模型 的 内部存贮结构 从定 义来 看 这 两类模 型 的 区别在 于模 型 的逻 辑结构部分 ， 它们 的 内部 结 构 大 致 相 同 ， 不 同之 处仅在 于 原 子模 型 用 刃叭 来存 放模 型 所 选 的 方 法 而 复合模 型 则 用 存 放模 型 的逻 辑 联 接 ， 是 一种 图的邻接结构 下 面 用一个具体的例子来说 明这种结构 假设有 一 个复合模 型称 ， 其 内部 各子模 型 间 的逻 辑 联接 如 图 所 示 ， 我们 可 用 图 所示 的 内部存贮结构来描 述

Vol.20 No.5 夏克俭等：决策支持开发工具DSSG的模型与模型库管理 ·495· (a) (6) A1 BIL A02B2 B I A02CI1 C1DI1 C02D2 图2复合类型comp中的(a)模型逻辑连接，(b)类型内部存贮结构 3模型及其表示形式 模型一般可以理解为决策过程中的数学仿真，因此称它为数学模型.但是笔者认为，数 学模型的思想有扩大的必要.首先，模型实际上并非一定是数学的；其次，模型在计算中实现 时，不仅应包括决策过程，而且应包括决策参数输人与决策结果表示形式等其他多种因素， 因此模型概念应摆脱纯数学框架，使其具有更广泛的含义，这样做既能更正确地反映客观实 际，又能扩大模型的表示范围.当然，在扩大模型含义时，传统模型的基本特性还需继续保持， 根据上述讨论，我们认为模型可以是决策过程中的某种仿真.它具有如下特性：()模型 的语义性.模型有一定的抽象形式，同时它有语义背景.(2)模型表示的多样性.模型的抽象形 式可用数学的与非数学的2种形式表示.(3)模型的可构造性.模型一定可以通过构造手段构 造而成.(4)模型的可编程性.决策支持系统是一种计算机应用系统，因此模型一定能用程序 形式来表示. 上述模型特性扩大了传统模型的概念，同时也保持了传统模型的特点，特别是模型的表 示形式虽有变化，但模型的可构造性是不变的， 在决策支持系统中，模型不是基本的，模型（原子模型）是由方法构成的，由方法构成模型 的方式一般有2种：(1)方法的嵌套.一种方法的输出可以做为另一种方法的输入称作方法的 嵌套.(2)方法的并列.2种方法间无输人、输出的联系称作方法的并列. 通过对DSSG中某些特写的程序、表格、图形及DSSG的系统命令，将某些用户应用程序 扩充，不论是数学方法还是非数学方法，它们均具有下面的形式表示： 0y1y2…,yn)=Fx,x,…,x). 4构模语言SML的功能探讨及设计 4.1构模语言的基本成分 构造一个模型需要以下3个基本成分： (1)方法.它是模型的基础，模型结构是由方法构造而成的. (2)数据.模型结构需要赋值基本数据，因此数据也是构造模型的基本成分， (3)构造手段，方法与数据是构造模型的基本原料，这些原料需经下面的构造手段才能构 造成模型.①方法与方法间的构造.通过嵌套与并列2种构造手段将方法造成模型结构.②数

夏 克俭等 决策支持开发工具 的模 型 与模型 库管理 区 国 口 口 口 团口 园口洲 口 圃 图 复合类型 中的 模型逻辑连接 ， 伪 类型 内部存贮结构 模型及其表示 形式 模型 一 般可 以 理 解 为决策 过程 中的数学仿真 ， 因此 称 它 为数学模 型 但是 笔者 认 为 ， 数 学模 型 的思 想 有 扩大 的必要 首 先 ， 模 型 实 际 上 并 非 一 定是 数 学 的 其次 ， 模 型 在计算 中实现 时 ， 不 仅 应 包 括 决 策 过 程 ， 而 且 应 包括 决 策参数 输入 与 决 策结果 表 示 形 式 等 其他 多 种 因 紊 因此模型 概 念 应 摆脱纯 数学框 架 ， 使其具 有更 广泛 的含 义 ， 这 样做 既 能更 正 确 地 反 映客观 实 际 ， 又 能扩大模 型 的表示 范 围 当然 ， 在 扩大模 型含 义 时 ， 传 统模 型 的基本特性 还需 继续保持 根 据 上 述讨论 ， 我 们 认 为模 型 可 以 是 决策 过 程 中 的某 种仿真 它 具 有 如下 特 性 模型 的语义 性 模 型有 一定 的抽象形 式 ， 同时它 有语义 背 景 模 型 表示 的多样 性 模 型 的抽 象形 式可 用 数 学 的 与非 数学 的 种 形 式 表示 模 型 的可 构 造 性 模 型 一定 可 以通 过 构造 手段 构 造 而 成 模 型 的可 编 程 性 决 策 支 持 系 统是 一 种 计 算 机 应 用 系 统 ， 因 此模 型 一 定 能 用程 序 形 式来表示 上 述模 型 特 性 扩大 了传 统模 型 的概 念 ， 同 时也 保持 了传 统模 型 的特 点 ， 特别是 模 型 的表 示 形 式 虽有 变 化 ， 但模 型 的可 构造性 是 不 变 的 在决策支 持系 统 中 ， 模 型不是基 本 的 ， 模型 原 子模 型 是 由方 法构成 的 ， 由方 法构成模型 的方式 一般有 种 方法 的嵌套 一种方 法 的输 出可 以 做为另 一 种方法 的输人 称作方法 的 嵌套 方 法 的并列 种 方 法 间无 输人 、 输 出的联 系称作 方法 的并 列 通 过 对 中某 些特 写 的程序 、 表格 、 图形及 的系 统命令 ， 将某 些 用户应 用 程序 扩充 ， 不 论 是 数学 方 法 还是 非数学方 法 ， 它们均具 有 下 面 的形 式 表示 妙 ， 夕 ， “ ‘ ， 夕。 ，， 毛 ， ” ’ ， 戈 · 构模语言 的功能探讨及设计 构模语言的基本成分 构造一 个模 型需要 以下 个基本成分 方法 它是模 型 的基 础 ， 模 型 结构是 由方 法构造 而 成 的 数 据 模 型 结构需 要 赋值基本数 据 ， 因此数据也是 构造模 型 的基本成分 构造 手段 方 法 与数据是 构造模 型 的基本 原料 ， 这 些 原料 需 经 下 面 的构造 手段 才 能构 造成模 型 ①方 法 与方 法 间 的构 造 通 过嵌套 与并 列 种 构造 手段 将方 法 造成模 型结构 ②数

·496· 北京科技大学学报 1998年第5期 据与模型间的构造，通过赋值将模型结构与数据构造成模型. 这些基本成分在DSS中分别由下面机构提供：(1)方法由DSS中的方法库提供；(2)数据 的来源一是由DSS中的数据库提供，二是由外界用户通过构模语言给出；(3)构造手段由构 模语言提供， 模型通过构模语言与方法库、数据库相联，在DSS中由模型执行时，不断调用方法库中 的方法与数据库中的数据，从而形成了DSS中模型驱动的格局. 4,2构模语言(SML)的设计 (1)方法.在构模语言中，方法是一个基本语句，它的形式：0y…)=F(xx,…,x). (2)数据.由用户给出的数据，可用构模语言直接将数据写上；如果是数据库的数据，则定 义一个标准的形式：$数据库关系名称、属性名（逻辑条件）. (3)构造手段中的嵌套.方法与方法的嵌套可以用语言中的赋值语句来表示，例如： y)=xx),'=2'=y2y:=F(,',y,') (4)构造手段中的并列.方法间的并列不 需语言中的任何语句来表示，只需将方法列 F,) 出即可：y=F(x,x),y=F(x) G(y1) (5)构造手段中的赋值可以用语言中的 F(x) 赋值语句来表示， 这样，上述简单的语句即可以定义一个 x=1.5,=$s.name(s#-101),x=3.5,=$s.age(s#101), 完整的模型.图3给出一个模型的表示形 =，=F(9y=G0) 式 图3模型表示形式 5模型管理 5.1模型的建立 模型的建立者负责建立供决策者使用的、用于解决实际问题的模型一原子模型和复合 模型.在DSSG的模型管理中为解决实际中存在的大量的半结构化和非结构化问题，使用原 子模型，由计算机自动地处理是不可能的，必须有人介人，其方法是将非结构化的问题分解成 多个子问题，然后进行复合还原，每个子问题 由一个子模型来解决；各子模型的有机结合 BII BOI 构成一个能有效地解决问题的更大模型一 BI2 B02 复合模型， A01 构造复合模型的关键在于构造复合模型 A02 中各子模型的逻辑联接关系.我们专门设计 A03 了一个图形界面，用户可以在屏幕上用图像 DII DOI 符号（点、线、方框）的相互联接来表示这种逻 DI2 D02 C12C02 D3D03 辑联接关系.以图2(a)中复合模型comp为例 屏幕上用户可以按图4来表示. 图4子模型间逻辑关系表示形式 为正确地构造一个复合模型，还必须检 查该复合模型中逻辑联接的合法性.检查的内容包括：两模型进行逻辑联接时，参数类型是否

北 京 科 技 大 学 学 报 年 第 期 据与模型 间的构造 通 过 赋值将模 型结构 与数据构造 成模型 这 些基本成分在 中分别 由下 面机 构提供 方 法 由 中的方法库提供 数据 的来 源 一 是 由 中的数 据库 提 供 ， 二 是 由外 界 用 户 通 过 构模 语 言给 出 构 造 手 段 由构 模语言提 供 模 型 通 过 构模 语 言 与方 法 库 、 数 据 库相 联 ， 在 中 由模 型 执行 时 ， 不 断调 用 方 法 库 中 的方法 与数 据库 中的数 据 ， 从而 形 成 了 中模型 驱 动 的格 局 构模语言 的设计 方 法 在 构模 语 言 中 ， 方 法 是 一 个基 本 语句 ， 它 的形 式 妙 ，， ， … ， 凡 卜月 ，， 凡 ， … ， 幼 · 数 据 由用 户给 出 的数据 ， 可 用 构模 语 言直接将数 据写 上 如果 是 数据库 的数据 ， 则定 义一 个标 准 的形 式 数据 库 关系名称 、 属性 名 逻辑条件 构造 手 段 中的嵌套 方法 与方法 的嵌套 可 以用语 言 中的赋值语句来表 示 ， 例 如 如 ， 凡 ， ， 对 二 ， 对 凡 ， 二 一 厂 妙 ‘ ， 对 构 造 手 段 中的并 列 方 法 间 的并列 不 需 语 言 中 的任 何 语 句 来 表 示 ， 只 需 将方 法 列 出即可 一月 ， 毛 ， 凡一厂 ， 戈 构 造 手 段 中的赋 值可 以 用 语 言 中的 赋值语句来 表示 这 样 ， 上 述 简单 的语句 即 可 以 定 义 一 个 完 整 的 模 型 图 给 出 一 个 模 型 的 表 示 形 式 － 。 、 叹工， 兀， 】 边 － ’ 一 ’ 卜一 ’ 为 拟 ， 戈 爪 洛 ， 二 ， 从一 洛 ， ，， 及 ， 儿 ， 为 ， 伽 、 为 图 模型表示形式 模型 管理 模型 的建 立 模 型 的建 立者 负责建 立供决策者使用 的 、 用于 解 决 实 际 问题 的模 型－ 原子模 型 和 复合 模 型 在 的模 型 管理 中为解 决 实 际 中存在 的大量 的半结 构化 和 非结构化 问题 ， 使用 原 子模 型 ， 由计算 机 自动地处理 是 不 可 能 的 ， 必须有 人介 人 其方 法是 将非结构化 的 问题 分解成 多 个 子 问题 ， 然 后 进 行 复 合 还 原 ， 每 个 子 问题 由 一 个 子 模 型 来 解 决 各 子 模 型 的有 机 结 合 构成 一 个 能 有 效 地 解 决 问题 的更 大模 型 复合模 型 － 构 造 复 合 模 型 的 关 键 在 于 构 造 复 合 模 型 中各 子 模 型 的 逻 辑 联 接 关 系 我 们 专 门设 计 了 一 个 图形 界 面 ， 用 户 可 以 在 屏 幕 上 用 图像 符号 点 、 线 、 方 框 的相 互 联 接来 表 示 这 种 逻 辑联 接 关 系 以 图 中复合模 型 为例 屏 幕上 用 户 可 以 按 图 来 表示 为 正 确 地 构 造 一 个 复 合模 型 ， 还 必 须 检 厂 〕 王 田 图 子模型 间逻辑关 系表示形式 查 该 复合模 型 中逻辑 联 接 的合 法 性 检查 的 内容 包 括 两模 型 进行 逻 辑联 接 时 ， 参数类 型是 否

Vol.20 No.5 夏克俭等：决策支持开发工具DSSG的棋型与棋型库管理 ·497 匹配；各子模型之间是否存在循环依赖关系， 5.2模型的使用、修改和删除 建立模型的最终目的是为了决策者使用模型解决现实问题.在决策者眼中，模型是一个 反映输人表、输出表关系的黑盒，因此决策者使用模型实质上是人-机交互地求解棋型. 修改模型，既要修改模型目录库和模型结构中与模型有关的内容，又要保持整个模型库 的一致性，还要调整修改后复合模型中各子模型间的逻辑关系， 模型应具备删除功能.模型的删除非常简单，只要在模型目录库和模型结构库中删除与 该模型有关的内容即可.为保持整个模型库的一致性，对那些作为其他复合模型的子模型的 模型不能删，除非连同其他复合模型一起副除， 6模型库的管理 从图1可以看出，模型库是由模型结构库、模型数据库和模型目录库3部分组成的.为便 于和当今流行的关系数据库接口，在DSSG的模型库中由关系数据库来实现. 6.1模型目录库 模型目录库用于记录模型库中各模型的信息，其格式为： 模型名 模型类型 模型参数 方法名 开发状态 存贮位置 文件名 其中，模型名字段存模型的名字；模型类型字段用于存放该模型的类（原子模型或复合模型）： 模型参数字段用于存放该模型的参数信息（输入/出参数的名字、类型）：方法名字段用于存 放模型所选用的方法的名字，对复合模型来说该字段为空；开发状态指明该模型是否开发完 毕；存贮位置指明该模型的逻辑结构和模型结构库中的存贮位置；文件名指明该模型的参数 值存放在数据库中哪个文件， 6.2模型结构库 模型结构库用来记录模型库中各模型的逻辑结构，其模式为： 标志 源模型 源参数 目标模型 目标参数 一个模型对应若干个元组，元组对应于模型的一个逻辑联接关系，元组中各字段定义为： 标志字段表明该元组是否是一个模型的最后一个元组；源模型、源参数、目标模型、目标参数 字段分别表示模型的一个逻辑联接中的源模型名，源参数名、目标模型名、目标参数名， 6.3模型数据库 模型数据库用于存放模型中各参数的值，其模式为： 参数名 参数值 模型数据库含很多文件，一个文件对应一个模型，其对应关系在模型的目录库中给出. 7结束语 (1)DSSG扩充了模型的范围，使模型跳出了纯数学；原子模型和复合模型概念的引入，使 模型的构造更趋势完整和全面， (2)分析了构造模型的基本表示形式，并建立了简单而构造能力很强的构模语言

夏克俭等 决策支持开发工具璐 的模型 与模型库管理 匹 配 各子模型之 间是否存在循环依赖关系 长 模型 的使用 、 修改和 删 除 建立 模型 的最 终 目的是 为 了决策 者 使用模 型解 决 现 实 问题 在决 策者 眼 中 ， 模 型是 一 个 反 映输人 表 、 输 出表 关系 的黑盒 ， 因此 决策者使用模 型 实质上是 人一机交互地求解 模 型 修 改模 型 ， 既要 修 改模 型 目录库 和 模 型结构 中与模 型有 关 的 内容 ， 又 要 保持 整 个模 型 库 的一致性 ， 还要 调 整 修改后 复合模 型 中各子模 型 间 的逻 辑 关系 模型 应具 备删 除功能 模型 的删 除非 常简单 ， 只要 在 模 型 目录库和模 型结 构库 中删 除 与 该模 型 有 关 的 内容 即可 为保持整 个模 型 库 的 一 致性 ， 对那 些 作 为其他复 合模 型 的子模 型 的 模型不 能删 ， 除非 连 同其他复合模 型 一起删除 模型库 的管理 从 图 可 以 看 出 ， 模 型 库是 由模 型 结构 库 、 模 型 数据 库 和模 型 目录库 部分 组成 的 为便 于 和 当今 流行 的 关系数据库接 口 ， 在 万 的模 型 库 中 由关 系数据库来实 现 模型 目录 库 模 型 目录库 用 于 记 录模 型库 中各模 型 的信息 ， 其格 式 为 模型名 模型类型 模型参数 方法名 开发状态 存贮位置 文件名 其 中 ， 模 型 名字段存模 型 的名字 模型类 型字段 用于存放 该模 型 的类 原子模型 或复合模 型 模 型 参数 字 段 用 于 存放 该模 型 的参数信 息 输人 出参数 的名字 、 类 型 方 法 名字 段 用 于 存 放模 型 所 选 用 的方 法 的名 字 ， 对复合模 型 来 说 该 字段 为 空 开发 状 态指 明该模 型是 否 开 发完 毕 存 贮位 置 指 明该模 型 的逻 辑 结构 和模 型 结构 库 中的存 贮位 置 文件名 指 明该模 型 的参数 值存 放在数据库 中哪个文件 模型 结构库 模 型结构库用来记 录模 型库 中各模 型 的逻辑结构 ， 其模 式 为 标志 源模 型 源参数 目标模型 目标参数 一个模 型 对应若 干个元组 ， 元 组 对应 于 模 型 的一个逻 辑联接 关 系 元组 中各字段 定义 为 标志 字段 表 明该元 组是 否 是 一个模 型 的最 后 一个元 组 源模 型 、 源参数 、 目标模 型 、 目标参数 字段分 别 表示 模 型 的一个 逻辑联 接 中的源模 型名 、 源参数名 、 目标模 型 名 、 目标参数名 模型数据库 模 型 数据库用 于存 放模型 中各参数 的值 ， 其模 式 为 二 参数名 参数值 模 型数据库含很 多 文件 ， 一个文件 对应 一个模 型 ， 其 对应 关系在模 型 的 目录库 中给 出 结束语 扩充 了模型 的范 围 ， 使模 型跳 出 了纯数学 原 子模 型和复合模 型概念 的引人 ， 使 模 型 的构 造 更 趋 势完整 和 全 面 分析 了 构造模 型 的基 本表示 形 式 ， 并建立 了 简单而 构 造 能力很 强 的构模 语言