2.1 UML 状态机速成教程之一

本贴最后更新于 1446 天前,其中的信息可能已经物是人非

UML 状态机速成教程

真正对我们有帮助的地方是优化 IF-THEN-ELSE 结构。大多数程序一开始的结构都相当好。可随着错误的发现和特性的添加,IF 和 ELSE 也被不断地加进来,一直到没人真正了解数据是如何流经一个函数的。漂亮的打印能帮上些忙,但它无法减少一个嵌套 15 层的 IF 语句的复杂性。

—Jack Ganssle, “Break Points,” ESP Magazine, January 1991

传统的顺序式程序,可以借助循环和嵌套函数调用之类的标准构件,被架构成一个单一的控制流。这样的程序中,大部分的执行上下文是通过程序计数器指针、函数调用树以及堆栈上分配的临时变量来表示的。

而事件驱动式程序则需要一系列细粒度的事件处理函数来响应事件。这些事件处理函数必须快速执行、并总是返回到主事件循环,因此在调用树和程序计数器中无法保留任何上下文。此外,所有的堆栈变量在调用不同的事件处理程序之间都不复存在。所以事件驱动式程序严重依赖静态变量来保存不同事件处理程序调用之间的执行上下文。

因此,事件驱动编程的最大挑战之一,就在于管理以数据形式呈现的执行上下文。主要问题是上下文数据必须能以某种方式反馈回事件处理程序中的代码控制流,以便每个事件处理程序只执行与当前上下文相对应的动作。传统上,这种对上下文的依赖往往会导致深度嵌套的 if-else 结构,后者基于上下文数据(Context Data)来决定控制流。

如果你能消除哪怕是一小部分的条件分支(或者叫 "意大利面条"代码),软件都会变得更容易理解、测试和维护,代码中曲折的执行路径的数量也会急剧下降,而且通常是成数量级的下降。这正是基于状态机的技术的用武之地--通过大幅减少代码中的各种路径,来消除在每个分支点的条件测试。

在这一章中,我简要介绍了 UML 状态机,描述了这些技术在长期演进中的当前状态。给出一个完整的、正式的 UML 状态机讨论不是我的目的,因为 OMG 官方规范里已经[OMG 07]全面地、正式地涵盖了这些内容。相反,我在这一章的目标是通过建立基本术语、介绍基本符号和澄清语义歧义,来为后续的内容打下基础。本章只限于状态机特性中那些可以说是最基本的子集。着重于 UML 状态机在实际、日常编程中的作用,而不是数学抽象。

事件-动作范式的过度简化

目前结构化事件驱动软件的主流方法,是无处不在的 "事件-动作 "范式(Event-Action Paradigm),在这个范式中,事件被直接映射代码,以执行预期的响应。事件-动作范式是理解状态机的重要基石,所以在这一节中,我简单介绍一下它在实践中是如何工作的。

我会使用一个来自图形用户界面(GUI)领域的例子,因为 GUI 是事件驱动系统的典范。在《用状态图构造用户界面》[Horrocks 99]一书中,Ian Horrocks 讨论了一个简单的 GUI 计算器应用程序,该程序作为 Microsoft Visual Basic 的示例程序,发行了数百万份,他在其中发现了一些严重的问题。正如 Horrocks 所指出的那样,这个分析的重点并不是要批评这个特殊的程序,而是要找出其构建中所基于的常规原则的缺点。

当你启动 Visual Basic 计算器(可从配套的网站上获得,在目录******/resources/vb/vccalc.exe 中),你一定会发现,大多数时候它都能正确地进行加、减、乘、除运算(见图 2.1(A))。**

image20210628221655212.png

那有什么不满意的呢?然而,多操作一段时间,你可以发现许多边界条件的情况下,计算器提供错误的结果,冻结,或完全崩溃。

Ian Horrocks 仅经过一个小时的测试,就在 Visual Basic 计算器中发现了 10 个严重错误。试着找出至少一半的错误。

例如,Visual Basic 计算器对 - 事件的响应经常会出问题,只要尝试以下操作顺序。2, -, -, -, -, 2, =. 应用程序就因运行时错误而崩溃(见图 2.1(B))。这是因为同一个按钮( - )具有对一个数字取负值和输入减法运算符两种功能。因此,对"-"按钮点击事件的正确解释取决于其发生时的上下文或模式。同样,CE(取消输入)按钮偶尔也会错误地工作--尝试输入 2,x,CE,3,=,观察到 CE 没有任何效果,尽管它似乎从显示中撤销了 2 的输入。同样,CE 在取消操作数和取消运算符时的表现应该不同。事实证明,无论上下文如何,应用程序处理 CE 事件的方式总是一样的。此时,你可能已经注意到一个新出现的模式。应用程序特别容易受到需要根据上下文进行不同处理的事件的影响

这并非是说 Visual Basic 计算器没尝试去处理上下文。恰恰相反,如果你看一下计算器的代码(可以从网站上的 <qp>/resources/vb/calc.frm 目录中找到),你会发现实际上管理上下文正是这个程序的主要关注点。代码中充斥着大量的全局变量和标志位,它们只有一个目的:处理上下文。例如,DecimalFlag 表示已经输入了一个小数点,OpFlag 表示一个待定的运算,LastInput 表示最后一次按钮按下的事件类型,NumOps 表示操作数,等等。采用这种表示方式,计算的上下文被表达地模糊不清,因此很难准确地判断出应用程序在特定时刻位于哪种模式。实际上,这个程序没有任何单一操作模式的概念,取而代之的是由全局变量和标志的值决定的一、堆紧密耦合并且重叠的运算条件。

代码清单 2.1 显示的条件逻辑中,操作符号事件(+,-,*,和/)的事件处理程序试图确定**-**(减)按钮的点击,是应该被当作取反还是减法。

Listing 2.1 Fragment of Visual Basic code that attempts to determine whether the – (minus) button-click event should be treated as negation or subtraction

Private Sub Operator_Click(Index As Integer) ... Select Case NumOps     Case 0         If Operator(Index).Caption = "-" And LastInput <> "NEG" Then             ReadOut = "-" & ReadOut             LastInput = "NEG"         End If     Case 1         Op1 = ReadOut         If Operator(Index).Caption = "-" And LastInput <> "NUMS" And OpFlag <> "=" Then             ReadOut = "-" LastInput = "NEG"         End If ...

Listing 2.1

清单 2.1 中举例的方法是产生 "边角情形 "行为(也就是 bug)的沃土,原因至少有三。

  1. 它总是导致复杂的条件逻辑(也就是 "意大利面条 "代码)
  2. 在每个分支点都需要评估一个复杂的表达式。
  3. 在不同模式之间的切换需要修改很多变量,从而很容易造成不一致。

像清单 2.1 中呈现的复杂条件表达式,散布在整个代码中,在运行时进行求值从而导致不必要的复杂和性能开销。它们也是出了名的难以搞正确,即便是对是有经验的程序员也是如此,就如那些仍然潜伏在 Visual Basic 计算器中的错误所证明的那样。这种方法很有欺骗性,因为它在最初看起来很好用,但随着问题复杂性的增加,它的代码规模就没办法再上去了。显然,计算器应用程序(总体上只有 7 个事件处理程序和大约 140 行包括注释在内的 Visual Basic 代码)是足够复杂的,以至于很难用这种方法来正确处理。

上面所列举的缺陷,根源在于对事件-动作范式的过度简化。我希望 Visual Basic 计算器的例子能清楚地表明,单一事件本身并不能决定该事件的响应所应执行的动作,至少当前的上下文也同样重要 。然而,流行的事件-动作范式只认识到对事件类型的依赖性,而将上下文的处理很大程度上留给了各种临时技术,这些技术很容易产出为意大利面条代码。

1 操作
li3p 在 2021-06-28 22:45:07 更新了该帖

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...

推荐标签 标签

  • 印象笔记
    3 引用 • 16 回帖 • 1 关注
  • SVN

    SVN 是 Subversion 的简称,是一个开放源代码的版本控制系统,相较于 RCS、CVS,它采用了分支管理系统,它的设计目标就是取代 CVS。

    29 引用 • 98 回帖 • 694 关注
  • VirtualBox

    VirtualBox 是一款开源虚拟机软件,最早由德国 Innotek 公司开发,由 Sun Microsystems 公司出品的软件,使用 Qt 编写,在 Sun 被 Oracle 收购后正式更名成 Oracle VM VirtualBox。

    10 引用 • 2 回帖 • 18 关注
  • Vue.js

    Vue.js(读音 /vju ː/,类似于 view)是一个构建数据驱动的 Web 界面库。Vue.js 的目标是通过尽可能简单的 API 实现响应的数据绑定和组合的视图组件。

    268 引用 • 666 回帖 • 1 关注
  • 互联网

    互联网(Internet),又称网际网络,或音译因特网、英特网。互联网始于 1969 年美国的阿帕网,是网络与网络之间所串连成的庞大网络,这些网络以一组通用的协议相连,形成逻辑上的单一巨大国际网络。

    98 引用 • 367 回帖
  • 笔记

    好记性不如烂笔头。

    310 引用 • 794 回帖
  • QQ

    1999 年 2 月腾讯正式推出“腾讯 QQ”,在线用户由 1999 年的 2 人(马化腾和张志东)到现在已经发展到上亿用户了,在线人数超过一亿,是目前使用最广泛的聊天软件之一。

    45 引用 • 557 回帖 • 4 关注
  • 开源

    Open Source, Open Mind, Open Sight, Open Future!

    412 引用 • 3588 回帖
  • JavaScript

    JavaScript 一种动态类型、弱类型、基于原型的直译式脚本语言,内置支持类型。它的解释器被称为 JavaScript 引擎,为浏览器的一部分,广泛用于客户端的脚本语言,最早是在 HTML 网页上使用,用来给 HTML 网页增加动态功能。

    730 引用 • 1281 回帖 • 3 关注
  • Maven

    Maven 是基于项目对象模型(POM)、通过一小段描述信息来管理项目的构建、报告和文档的软件项目管理工具。

    188 引用 • 319 回帖 • 244 关注
  • 心情

    心是产生任何想法的源泉,心本体会陷入到对自己本体不能理解的状态中,因为心能产生任何想法,不能分出对错,不能分出自己。

    59 引用 • 369 回帖
  • 钉钉

    钉钉,专为中国企业打造的免费沟通协同多端平台, 阿里巴巴出品。

    15 引用 • 67 回帖 • 271 关注
  • Gzip

    gzip (GNU zip)是 GNU 自由软件的文件压缩程序。我们在 Linux 中经常会用到后缀为 .gz 的文件,它们就是 Gzip 格式的。现今已经成为互联网上使用非常普遍的一种数据压缩格式,或者说一种文件格式。

    9 引用 • 12 回帖 • 175 关注
  • GAE

    Google App Engine(GAE)是 Google 管理的数据中心中用于 WEB 应用程序的开发和托管的平台。2008 年 4 月 发布第一个测试版本。目前支持 Python、Java 和 Go 开发部署。全球已有数十万的开发者在其上开发了众多的应用。

    14 引用 • 42 回帖 • 818 关注
  • TextBundle

    TextBundle 文件格式旨在应用程序之间交换 Markdown 或 Fountain 之类的纯文本文件时,提供更无缝的用户体验。

    1 引用 • 2 回帖 • 84 关注
  • ActiveMQ

    ActiveMQ 是 Apache 旗下的一款开源消息总线系统,它完整实现了 JMS 规范,是一个企业级的消息中间件。

    19 引用 • 13 回帖 • 676 关注
  • 电影

    这是一个不能说的秘密。

    122 引用 • 608 回帖
  • Kotlin

    Kotlin 是一种在 Java 虚拟机上运行的静态类型编程语言,由 JetBrains 设计开发并开源。Kotlin 可以编译成 Java 字节码,也可以编译成 JavaScript,方便在没有 JVM 的设备上运行。在 Google I/O 2017 中,Google 宣布 Kotlin 成为 Android 官方开发语言。

    19 引用 • 33 回帖 • 80 关注
  • Unity

    Unity 是由 Unity Technologies 开发的一个让开发者可以轻松创建诸如 2D、3D 多平台的综合型游戏开发工具,是一个全面整合的专业游戏引擎。

    25 引用 • 7 回帖 • 119 关注
  • etcd

    etcd 是一个分布式、高可用的 key-value 数据存储,专门用于在分布式系统中保存关键数据。

    6 引用 • 26 回帖 • 544 关注
  • 书籍

    宋真宗赵恒曾经说过:“书中自有黄金屋,书中自有颜如玉。”

    80 引用 • 396 回帖
  • jsoup

    jsoup 是一款 Java 的 HTML 解析器,可直接解析某个 URL 地址、HTML 文本内容。它提供了一套非常省力的 API,可通过 DOM,CSS 以及类似于 jQuery 的操作方法来取出和操作数据。

    6 引用 • 1 回帖 • 490 关注
  • WordPress

    WordPress 是一个使用 PHP 语言开发的博客平台,用户可以在支持 PHP 和 MySQL 数据库的服务器上架设自己的博客。也可以把 WordPress 当作一个内容管理系统(CMS)来使用。WordPress 是一个免费的开源项目,在 GNU 通用公共许可证(GPLv2)下授权发布。

    45 引用 • 114 回帖 • 173 关注
  • 思源笔记

    思源笔记是一款隐私优先的个人知识管理系统,支持完全离线使用,同时也支持端到端加密同步。

    融合块、大纲和双向链接,重构你的思维。

    25930 引用 • 107475 回帖
  • 支付宝

    支付宝是全球领先的独立第三方支付平台,致力于为广大用户提供安全快速的电子支付/网上支付/安全支付/手机支付体验,及转账收款/水电煤缴费/信用卡还款/AA 收款等生活服务应用。

    29 引用 • 347 回帖
  • 职场

    找到自己的位置,萌新烦恼少。

    127 引用 • 1708 回帖
  • Laravel

    Laravel 是一套简洁、优雅的 PHP Web 开发框架。它采用 MVC 设计,是一款崇尚开发效率的全栈框架。

    19 引用 • 23 回帖 • 737 关注