基于有限状态机模型的GUI设计及其应用
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ｄ ｃ ｔ ｔ ａ ｅ Ｇ ｒ ｇａ ｅ ｉ ｎ ｄ ｂ ｓ ｄ ｏ ｈ Ｓ ｍｏ ｅ ａ ｅｔ ｃ ｎ ｑ ｅｃ ａａ ｔ ｒ ｏ ｉｈ ｓ ｅ ｄ ｉ ｅ ｅｏ ｍｅ ｔ ｎ ｏ ｄ ｉ ｘ ａ ｓ— ｉ ａｅ ｈ ｔ ｈ ＵＩｐ ｏ ｒ ｍ ｄ ｓｇ ｅ ａ ｅ ｎ ｔ ｅ Ｆ Ｍ ｄ ｌｈ ｓｔ ｅ ｈ ｉｕ ｈ ｒｃ ｅｓ ｆｈ ｇ ｐ ｅ ｎ ｄ ｖ ｌｐ ｎ ｄ ｇ ｏ ｅ ｐ ｎ ｉ ｔ ｈ ａ ｎ ｂ ｌ ｙ ａ ｄ ｒ ｌ ｂ ｌ ｙ ｉ ｔ ｎ ｅｉ ｉ ｔ ． ｉ ａ ｉ
吴春波 苏厚勤
（ 华大学计算机科学与技术学院 东 上海 ２１２） ０６ ０
摘 要
为 了提高 Ｇ Ｉｇａｈｃｕｅ ｔｆｃ ） Ｕ （ｒｐ ｉ ｓｒｎｅ ａｅ 程序 的开发效 率和 质量 ， ｉ ｒ 比较 了 Ｍｏｒ ｏ 机与 Ｍｅｌ ａ ｙ机模 型 的优缺点 ， 出了一种适ｑ 提 ｊ
Ａｂｓｒ ｃ ｔａ ｔ Ｔｏ ｉ ｒ ｖ ｈ ｆｉｉ ｎ ｙ ａ ａ ｉ ｆＧＵＩｐ ｏ ｒ ｍ ｅ ｅ ｏ ｍｅ ， ｔ ｅ ａ ａ ａ ｅ ｎ ｓ ｄ ａ ｔ ｇ ｓ ｂｅｗｅ ｎ ｍｐ ｏ ｅ ｔ ｅ ｅｆｃ ｅ ｃ ｎｄ ｑｕ ｌｔ ｏ ｙ ｒ ｇ ａ ｄ ｖ ｌ ｐ ｎｔ ｈ ｄｖ ｎｔｇ ｓ ａ ｄ ｄｉａ ｖ ｎ ａ ｅ ｔ ｅ Ｍｏ ｒ ｍａ ｈ ｎ ｏ ｃ ｉｅ
ＤＥＳ ＧＮ Ｉ ＡＮＤ ＡＰＰＬＩ ＣＡＴＩ ｏＮ ｏＦ ＧＵＩ ＢＡＳ ＥＤ ｏＮ ＮＩ ＦＩ ＴＥ ＴＡＴＥ ＡＣＨＩ Ｓ Ｍ ＮＥ ＯＤＥＬ Ｍ
Ｗ ｕ Ｃｈ ｎ ｏ Ｓ ｕ ｉ ｕ ｂ ｕ Ｈｏ ｑ ｎ
（ ｏｌ ｅｏ ｏ ｐｔｒ ｃ ｎｅ ｎ ｅｈ ｏ ｇ ， ｏｇ ｕ ｎｖｒｔ，Ｓａ ｇ ａ ０ ６ ０， ｈｎ ） Ｃ ｌｇ ｅ ｆＣ ｍ ｕｅ Ｓｉ ｃ ｄＴｃｎｌ ｙ Ｄ ｎｈ ａＵ ｉ ｓｙ ｈ ｎ ｈ ｉ １２ Ｃ ｉａ ｅ ａ ｏ ｅｉ ２
Ｋ ｅ ｗｏｒ ｙ ｄｓ ＧＵＩ Ｆｉｉｅ ｓａｅ ｍａ ｈｎｅ Ｍ ｏ ｒｍａ ｈ ｎ Ｍ ｅ ｌ ａ ｈ ｎ ＡＦＣ— ｕｔｍａ ｉ ａ ｅ ｃ ｌｅ ｔｏ ｎｔ ｔ ｔ ｃ ｉ ｏ ｃ ｉ ｅ ａｙ ｍ ｃ ｉ ｅ ａ ｏ ｔｃ ｆｒ ｏｌｃ ｉｎ
前 的状态 和输 入 ， Ｍｏｒ 而 ｏ 机的输 出只依赖于状态 。由于这种功
ｒａ ｙｂ ｅ ｐ ｌ ｄｔ ｓｍｉ ｕｏ ａ ｃｔ ｋ ｔ ａ ｈｎ ｓ ｎ ｕｏ ａｉ ｆ ｅｃ ｌ ｃｉ Ａ Ｃ ｙ ｔ ｅ ａｌｒｎ ｉ ｈ ｐ ｌ ａ ｏ ｓ ｌ 。 ｅ ｄ ｅｎ ａ ｐｉ — ｔｍ ｔ ｃ ｅ ｍ ｃ ｉｅ ｔ ｔ ｒ ｏ ｅ ｔ ｎ（ Ｆ ）ｓｓ ｍ ｏ ｔ ｉ ｔ ｓ ．Ｔ ｅａ ｐｉ ｔ ｎｒ ｕｔ ｉ ｅ ｏｅ ａ ｉ ｉ ｉＡ ｍ ｃａ ｌ ｏ ｅ ｆ ｈ ｒ ａ ｔ ｃ ｉ ｅ ｓｎ
０ 引 言
图 形 用 户 界 面 Ｇ Ｉ 软 件 产 品 的 重 要 组 成 部 分 。 据 有 关 Ｕ是
能 上 的不 同 ， 两 种 状 态 机 的 应 用 方 式 差 别 也 很 大 。 Ｍｅｌ 这 ａ ｙ机
主要应用 于描述 事件类型输 出的状 态模 型 ， Ｍ ｏ 机主要应用 而 ｏｒ 于在特定状 态下有 持续 输 出 的模型 Ｊ 。为 了有效 地 描述 和实
பைடு நூலகம்
１ １ Ｍ ｅｌ ． ａｙ机 文献 ［ ］ ３ 中比较 正式地介绍 了 Ｍ ａ ｅｌ ｙ机的形式化定 义 ， 但若
第２ ７卷 第 １ 期 １
２１ ０ ０年 １ １月
计 算机 应 用与软 件
Ｃｏ ｕ ｅ ｐ ｉａ ｉｎ ｎｄ Ｓ ｆｗａ ｅ ｍｐ ｔ ｒＡｐ ｌｃ ｔ ｓ ａ ｏｔ ｒ ｏ
Ｖ０． ７ １２ Ｎｏ． １ ｌ
ＮＯ Ｖ． ２ ０ ０ｌ
基 于 有 限状 态 机 模 型 的 ＧＵ 设 计 及 其 应 用 Ｉ
ａ ｄ Ｍｅ ｌ ｃ ｉ ｅ ａ ｅ ｃ ｍｐ ｒ ｄ ｉ ｈｓ ｐ ｐ ｒ ｎ ｅ ｎ ｄ ｆ ｉ ｔｔ ｃ ｉ ｅ ｍｏ ｅ ｈ ｃ ｔ ｔ ｅ ｄ ｓｇ ｆＧＵ ｓｐ ｏ ｏ ｅ ．Ｉ ｈ ｓ ａ— ｎ ａｙ ｍａ ｈ ｎ ｌ ｏ ａ ｅ ｎ ｔ ｉ ａ ｅ ．ａ ｄ ａ ｒ ｆ ｅ ｎ ｔ ｓ ｅ ｍａ ｈ ｎ ｄ ｌ ｉｈ ｆ ｓ ｈ ｅ ｉ ｎ ｏ Ｉ ｉ ｒ ｐ ｓ ｄ ｔ ａ ｌ ｉ ｉ ｅ ａ ｗ ｉ
于Ｇ Ｉ Ｕ 设计的有限状态机模 型 ， 并将其成功 应用 于轨道 交通 Ａ Ｃ（自动售检票 ） Ｆ 系统 的半 自动售 票机 中。应用结 果表 明， 于这 一 基 状态机模 型设 计的 Ｇ Ｉ Ｕ 程序 具有开发速度快 、 可扩展 性知可靠性高等技术特 点。 关键词 Ｇ Ｉ 有 限状态机 Ｕ Ｍｏｒ ｏ机 Ｍｅｌ ａ ｙ机 自动售检 票
现 Ｇ Ｉ的 控 制 逻 辑 ， 要 对 现 有 的 Ｍｏｒ机 与 Ｍｅｌ 进 行 Ｕ 需 ｏ ａ ｙ机
改进 。
资料显示 ， 用户界 面在应用 软件 中平均 占开发量 的 ４ ％和运 行 ８ 时问的 ５ ％… ， ０ 因此提高 Ｇ Ｉ 开发效 率和 质量 ， 提升整 个 Ｕ 的 对
软件产品的质量和降低成本有重要意义 。 高 质 量 的 Ｇ Ｉ 程 是 一 项 艰 巨 的工 作 。Ｇ Ｉ 序 员 一方 面 Ｕ编 Ｕ程 需 要 考 虑 诸 如 表 格 、 钮 、 单 和 下 拉 框 等 控 件 的 位 置 、 小 和 按 菜 大 颜 色 等 界 面 布 局 和搭 配 ， 一 方 面 还 要 注 意 对 各 个 界 面 的 输 入 另
吴春波 苏厚勤
（ 华大学计算机科学与技术学院 东 上海 ２１２） ０６ ０
摘 要
为 了提高 Ｇ Ｉｇａｈｃｕｅ ｔｆｃ ） Ｕ （ｒｐ ｉ ｓｒｎｅ ａｅ 程序 的开发效 率和 质量 ， ｉ ｒ 比较 了 Ｍｏｒ ｏ 机与 Ｍｅｌ ａ ｙ机模 型 的优缺点 ， 出了一种适ｑ 提 ｊ
Ａｂｓｒ ｃ ｔａ ｔ Ｔｏ ｉ ｒ ｖ ｈ ｆｉｉ ｎ ｙ ａ ａ ｉ ｆＧＵＩｐ ｏ ｒ ｍ ｅ ｅ ｏ ｍｅ ， ｔ ｅ ａ ａ ａ ｅ ｎ ｓ ｄ ａ ｔ ｇ ｓ ｂｅｗｅ ｎ ｍｐ ｏ ｅ ｔ ｅ ｅｆｃ ｅ ｃ ｎｄ ｑｕ ｌｔ ｏ ｙ ｒ ｇ ａ ｄ ｖ ｌ ｐ ｎｔ ｈ ｄｖ ｎｔｇ ｓ ａ ｄ ｄｉａ ｖ ｎ ａ ｅ ｔ ｅ Ｍｏ ｒ ｍａ ｈ ｎ ｏ ｃ ｉｅ
ＤＥＳ ＧＮ Ｉ ＡＮＤ ＡＰＰＬＩ ＣＡＴＩ ｏＮ ｏＦ ＧＵＩ ＢＡＳ ＥＤ ｏＮ ＮＩ ＦＩ ＴＥ ＴＡＴＥ ＡＣＨＩ Ｓ Ｍ ＮＥ ＯＤＥＬ Ｍ
Ｗ ｕ Ｃｈ ｎ ｏ Ｓ ｕ ｉ ｕ ｂ ｕ Ｈｏ ｑ ｎ
（ ｏｌ ｅｏ ｏ ｐｔｒ ｃ ｎｅ ｎ ｅｈ ｏ ｇ ， ｏｇ ｕ ｎｖｒｔ，Ｓａ ｇ ａ ０ ６ ０， ｈｎ ） Ｃ ｌｇ ｅ ｆＣ ｍ ｕｅ Ｓｉ ｃ ｄＴｃｎｌ ｙ Ｄ ｎｈ ａＵ ｉ ｓｙ ｈ ｎ ｈ ｉ １２ Ｃ ｉａ ｅ ａ ｏ ｅｉ ２
Ｋ ｅ ｗｏｒ ｙ ｄｓ ＧＵＩ Ｆｉｉｅ ｓａｅ ｍａ ｈｎｅ Ｍ ｏ ｒｍａ ｈ ｎ Ｍ ｅ ｌ ａ ｈ ｎ ＡＦＣ— ｕｔｍａ ｉ ａ ｅ ｃ ｌｅ ｔｏ ｎｔ ｔ ｔ ｃ ｉ ｏ ｃ ｉ ｅ ａｙ ｍ ｃ ｉ ｅ ａ ｏ ｔｃ ｆｒ ｏｌｃ ｉｎ
前 的状态 和输 入 ， Ｍｏｒ 而 ｏ 机的输 出只依赖于状态 。由于这种功
ｒａ ｙｂ ｅ ｐ ｌ ｄｔ ｓｍｉ ｕｏ ａ ｃｔ ｋ ｔ ａ ｈｎ ｓ ｎ ｕｏ ａｉ ｆ ｅｃ ｌ ｃｉ Ａ Ｃ ｙ ｔ ｅ ａｌｒｎ ｉ ｈ ｐ ｌ ａ ｏ ｓ ｌ 。 ｅ ｄ ｅｎ ａ ｐｉ — ｔｍ ｔ ｃ ｅ ｍ ｃ ｉｅ ｔ ｔ ｒ ｏ ｅ ｔ ｎ（ Ｆ ）ｓｓ ｍ ｏ ｔ ｉ ｔ ｓ ．Ｔ ｅａ ｐｉ ｔ ｎｒ ｕｔ ｉ ｅ ｏｅ ａ ｉ ｉ ｉＡ ｍ ｃａ ｌ ｏ ｅ ｆ ｈ ｒ ａ ｔ ｃ ｉ ｅ ｓｎ
０ 引 言
图 形 用 户 界 面 Ｇ Ｉ 软 件 产 品 的 重 要 组 成 部 分 。 据 有 关 Ｕ是
能 上 的不 同 ， 两 种 状 态 机 的 应 用 方 式 差 别 也 很 大 。 Ｍｅｌ 这 ａ ｙ机
主要应用 于描述 事件类型输 出的状 态模 型 ， Ｍ ｏ 机主要应用 而 ｏｒ 于在特定状 态下有 持续 输 出 的模型 Ｊ 。为 了有效 地 描述 和实
பைடு நூலகம்
１ １ Ｍ ｅｌ ． ａｙ机 文献 ［ ］ ３ 中比较 正式地介绍 了 Ｍ ａ ｅｌ ｙ机的形式化定 义 ， 但若
第２ ７卷 第 １ 期 １
２１ ０ ０年 １ １月
计 算机 应 用与软 件
Ｃｏ ｕ ｅ ｐ ｉａ ｉｎ ｎｄ Ｓ ｆｗａ ｅ ｍｐ ｔ ｒＡｐ ｌｃ ｔ ｓ ａ ｏｔ ｒ ｏ
Ｖ０． ７ １２ Ｎｏ． １ ｌ
ＮＯ Ｖ． ２ ０ ０ｌ
基 于 有 限状 态 机 模 型 的 ＧＵ 设 计 及 其 应 用 Ｉ
ａ ｄ Ｍｅ ｌ ｃ ｉ ｅ ａ ｅ ｃ ｍｐ ｒ ｄ ｉ ｈｓ ｐ ｐ ｒ ｎ ｅ ｎ ｄ ｆ ｉ ｔｔ ｃ ｉ ｅ ｍｏ ｅ ｈ ｃ ｔ ｔ ｅ ｄ ｓｇ ｆＧＵ ｓｐ ｏ ｏ ｅ ．Ｉ ｈ ｓ ａ— ｎ ａｙ ｍａ ｈ ｎ ｌ ｏ ａ ｅ ｎ ｔ ｉ ａ ｅ ．ａ ｄ ａ ｒ ｆ ｅ ｎ ｔ ｓ ｅ ｍａ ｈ ｎ ｄ ｌ ｉｈ ｆ ｓ ｈ ｅ ｉ ｎ ｏ Ｉ ｉ ｒ ｐ ｓ ｄ ｔ ａ ｌ ｉ ｉ ｅ ａ ｗ ｉ
于Ｇ Ｉ Ｕ 设计的有限状态机模 型 ， 并将其成功 应用 于轨道 交通 Ａ Ｃ（自动售检票 ） Ｆ 系统 的半 自动售 票机 中。应用结 果表 明， 于这 一 基 状态机模 型设 计的 Ｇ Ｉ Ｕ 程序 具有开发速度快 、 可扩展 性知可靠性高等技术特 点。 关键词 Ｇ Ｉ 有 限状态机 Ｕ Ｍｏｒ ｏ机 Ｍｅｌ ａ ｙ机 自动售检 票
现 Ｇ Ｉ的 控 制 逻 辑 ， 要 对 现 有 的 Ｍｏｒ机 与 Ｍｅｌ 进 行 Ｕ 需 ｏ ａ ｙ机
改进 。
资料显示 ， 用户界 面在应用 软件 中平均 占开发量 的 ４ ％和运 行 ８ 时问的 ５ ％… ， ０ 因此提高 Ｇ Ｉ 开发效 率和 质量 ， 提升整 个 Ｕ 的 对
软件产品的质量和降低成本有重要意义 。 高 质 量 的 Ｇ Ｉ 程 是 一 项 艰 巨 的工 作 。Ｇ Ｉ 序 员 一方 面 Ｕ编 Ｕ程 需 要 考 虑 诸 如 表 格 、 钮 、 单 和 下 拉 框 等 控 件 的 位 置 、 小 和 按 菜 大 颜 色 等 界 面 布 局 和搭 配 ， 一 方 面 还 要 注 意 对 各 个 界 面 的 输 入 另