UML学习笔记 状态机部分 （1） 转

kenson

. U9 V+ S: K! ]/ Q! d
先讨论下为什么要学习UML：
契机：最近想研究量子平台，良好的UML功底对研究量子平台的DATASHEET大有裨益。

) I# o6 K/ y1 ~5 @) |* L4 ]: B动力：1.UML是软件交流的基础工具

          2.状态机是嵌入式领域一大利器
, ~- V9 X- ?: p- c( ?
6 i+ F+ a' c0 X- _# WOK，就以这本书开始啦
4 Q/ e6 }0 _  w4 l" K) Q
图片
- g2 q, ]; H% b8 U3 `4 ~0 l; t) r# D
1 y7 [% H( n/ Y; O  O* \, f
$ N& j) M* g+ L  C( j* o& l
. u; a( Q7 u% N  ?, z$ u9 Q! J- F综述：
& \0 @: O2 Z; C4 d) D/ l# n
( J. j/ G* [8 k# P5 y6 @         状态机通过为每一个对象的生命周期建模的方式解释对象的动态行为。

我们把每一个对象被分割为单体，与外界通信的方式仅为检测事件，并对事件做出相应。事件代表了所有对象可以检测到的变化，形如收到明确的触发信号，或者定时器产生的中断。所有可以影响到对象属性的事物都可以被描述为事件。真实世界发生的事情被转化为传输至系统中的信号（我们最常见的就是各类电信号）。

, a3 O) @* l# O/ T8 Q- }3 W( g         一个状态就是，当对象的属性被确定时，那么他对某特定的行为响应就被确定了，换句话来说，所有有着相同状态的对象，在相同事件发生时，他们的响应也是近似的。

2 b, H/ n! t9 z+ b" d         状态机即解释了一个对象可以保持在哪些状态，对于每一个特定的状态，状态机解释了当对象接受到事件时，会产生的响应，以及接下来转移到的状态。
6 _, Q+ R5 x& A4 R& ?
) O) S/ @" d1 C: s& L8 ?
% ?; a" H) B7 _9 V3 s, s+ u& E- s
状态机
; Z8 C) ^* L3 M& ?4 S# M
  m# J6 h. p) P& d2 [2 u         状态机是包含状态与变化的图表，形如：
& E4 c- f5 Z& O! ^# x* `3 Q
3 j9 a1 J( H7 }  G7 J图片

5 b, `2 B% Y: d9 Z. _% B         通常，状态机伴随着类，并且解释了类的实例对事件的响应。
  [5 O) Z/ J# E( o% ^0 E; `
         状态机是对单个对象的建模，所有外界的影响都被概括为事件，当对象检测到时间的时候，它根据当前的状态做出响应。响应可能包括对象属性值的改变以及使对象转变到新的状态。
5 p3 Q9 y  Q1 e: x8 A7 @( ]
' A5 a7 G! r4 ]# k         状态机是一种有局限的视图，因为它只是看单独的对象的行为。这是一种对系统的简化，不适合用于系统整体的分析，但是，对于精细分析对象的行为，这是一个好的选择。

3 }, D4 d' v1 [' @( t/ j8 V7 C

$ W+ t  m$ G) a6 [( w事件
% h0 s$ A" E7 e$ i& X
         事件发生在确定的时间点，它是不会持续的。如果一些事物发生后会产生影响，我们就把它们建模为事件，就像类描述符代表了所有该类实例化的对象拥有相同的结构一样，事件描述符代表了一类事件。当一个特定的事件产生时，我们称之为发生（occurrence），像对象一样，事件也是有参数的。事件可分为四类：调用事件，改变事件，信号事件，时间事件（概述如下表）
4 S: p. I/ a0 F, K# [
. O4 t+ q* ^1 O8 A图片
3 R0 P/ G, Z  v
         信号：信号严格的存在于两个对象之间的信号中，接受到信号对于接受对象来说是一个事件，发送对象严格的创造且初始化信号的实例用于发送给各类对象。在大多数场合，信号是异步的，即发送对象不会等待接受对象处理结束，只会一直发送信号。

         信号在类中可以以《signal》的方式被声明，同时，信号也是支持继承机制的。
; v2 G! N/ n  Q, n* R4 o
6 ^# W$ R- H4 p9 t) s4 h  i, f图片
2 H. B+ U+ Y( a% ?: n( M) h- L1 u
         调用事件：调用事件是指一个对象对调用的接收，与类的方法不同，被调用者会在之后与调用者并行运行。

         改变事件：改变事件发生在特定属性值的布尔表达式满足某一特定条件时。这是一种非常直观的方式，但它有两个缺点：1.不必要的计算量，2.对于原因与影响的关系来说，它是非常模糊的。
$ Z! K2 V+ j  q: {3 b, y
         注意分辨保护条件和改变事件的区别，改变事件是事实在测试布尔值的，而保护条件则相当于操作系统中的临界区，只在需要的时候才出现。

- X: K1 _6 W4 h; H         时间事件：很好理解，到了某个时间所触发的时间。
! Q" m: P; R; g( q4 t
9 L) k; H4 q& n$ G

yifabin023

没图片。。图片挂了！！不过状态机还是很好用的

kenson

yifabin023 发表于 2014-10-23 18:28
- A* ~. a* U' n( V+ x9 v- A没图片。。图片挂了！！不过状态机还是很好用的

有关状态机的文章其实在中国比较少，现在状态机我暂时发现的只有QP 和另外一个比较新的国内集所有RTOS一些的raw-os ，比较一下这两个不同点在那里。