UML作业第五次：分析系统，绘制状态图

电玩女神 2021-11-11 04:14 420阅读 0赞

分析电梯控制系统和银行账户系统，分别画出状态图

一、PlantUML状态图 语法学习小结。

使用(`[*]`)开始和结束状态图。

使用`-->`添加箭头。

@startuml
    
    [*] --> State1
    State1 --> [*]
    State1 : this is a string
    State1 : this is another string
    
    State1 -> State2
    State2 --> [*]
    
    @enduml

![foo][]

## Change state rendering ##

You can use `hide empty description` to render state as simple box.

@startuml
    hide empty description
    [*] --> State1
    State1 --> [*]
    State1 : this is a string
    State1 : this is another string
    
    State1 -> State2
    State2 --> [*]
    @enduml

![foo][foo 1]

## 合成状态 ##

一个状态也可能是合成的，必须使用关键字`state`和花括号来定义合成状态。

@startuml
    scale 350 width
    [*] --> NotShooting
    
    state NotShooting {
      [*] --> Idle
      Idle --> Configuring : EvConfig
      Configuring --> Idle : EvConfig
    }
    
    state Configuring {
      [*] --> NewValueSelection
      NewValueSelection --> NewValuePreview : EvNewValue
      NewValuePreview --> NewValueSelection : EvNewValueRejected
      NewValuePreview --> NewValueSelection : EvNewValueSaved
      
      state NewValuePreview {
    	 State1 -> State2
      }
      
    }
    @enduml

![foo][foo 2]

## 长名字 ##

也可以使用关键字`state`定义长名字状态。

@startuml
    scale 600 width
    
    [*] -> State1
    State1 --> State2 : Succeeded
    State1 --> [*] : Aborted
    State2 --> State3 : Succeeded
    State2 --> [*] : Aborted
    state State3 {
      state "Accumulate Enough Data\nLong State Name" as long1
      long1 : Just a test
      [*] --> long1
      long1 --> long1 : New Data
      long1 --> ProcessData : Enough Data
    }
    State3 --> State3 : Failed
    State3 --> [*] : Succeeded / Save Result
    State3 --> [*] : Aborted
     
    @enduml

![foo][foo 3]

## 并发状态 ##

用`--` or `||`作为分隔符来合成并发状态。

@startuml
    [*] --> Active
    
    state Active {
      [*] -> NumLockOff
      NumLockOff --> NumLockOn : EvNumLockPressed
      NumLockOn --> NumLockOff : EvNumLockPressed
      --
      [*] -> CapsLockOff
      CapsLockOff --> CapsLockOn : EvCapsLockPressed
      CapsLockOn --> CapsLockOff : EvCapsLockPressed
      --
      [*] -> ScrollLockOff
      ScrollLockOff --> ScrollLockOn : EvCapsLockPressed
      ScrollLockOn --> ScrollLockOff : EvCapsLockPressed
    }
    
    @enduml

![foo][foo 4]

## 箭头方向 ##

使用`->`定义水平箭头，也可以使用下列格式强制设置箭头方向：

*  `-down->` (default arrow)
 *  `-right->` or `->`
 *  `-left->`
 *  `-up->`

@startuml
    
    [*] -up-> First
    First -right-> Second
    Second --> Third
    Third -left-> Last
    
    @enduml

![foo][foo 5]

可以用首字母缩写或者开始的两个字母定义方向(如, `-d-`，`-down-`和`-do-`是完全等价的)。

请不要滥用这些功能，Graphviz不喜欢这样。

## 注释 ##

可以用 `note left of`, `note right of`, `note top of`, `note bottom of` 关键字来定义注释。

还可以定义多行注释。

@startuml
    
    [*] --> Active
    Active --> Inactive
    
    note left of Active : this is a short\nnote
    
    note right of Inactive
      A note can also
      be defined on
      several lines
    end note
    
    @enduml

![foo][foo 6]

以及浮动注释。

@startuml
    
    state foo
    note "This is a floating note" as N1
    
    @enduml

![foo][foo 7]

二、分别语言描述《电梯控制》系统、《银行账户》系统 状态转换。

电梯控制状态

电梯存在待载，上升，下楼，楼间的状态。电梯无人承载会停在某一曾楼，处在待载状态。当有人进入电梯时，并且当前楼层比目标楼层低，则电梯上升。如果当前楼层比目标楼层高时，电梯下降。在上升或者下降状态，如果到达了某个楼层，电梯停止运行，进入间停状态，等待人的进出。如果所有人都在本楼层下完，电梯回到待载状态。

银行账户状态

银行账户存在空额，有余额，负债三种状态。初建立的账户没有存款，处在空额状态。账户在空额状态时，如果向其中存款，进入余额状态，如果从账户取款，则进入负债状态。账户在余额状态时，如果向账户存款，余额会增加，但仍处于余额状态。如果从账户取款，若取款额小于余额，账户在余额状态。若取款等于余额，则取款后账户回到空额状态。若余款额大于账户余额，则取款额账户进入负债状态。

三、分别用PlantUML的绘制《电梯控制》系统、《银行账户》系统状态转换的脚本程序

电梯控制

@startuml

\[\*\] -> 待载

上升 -> 楼间停:\[进人/出人\]/停机开门

下降 -> 楼间停:\[进人/出人\]/停机开门

待载 --> 上升:进入\[目标楼层>当前楼层\]/关门上行

待载 --> 下降:进入\[目标楼层<当前楼层\]/关门下行

楼间停 -> 上升:\[目标楼层>当前楼层\]/关门上行

楼间停 -> 下降:\[目标楼层<当前楼层\]/关门下行

楼间停 -> 待载:\[无人\]/关门

@enduml

银行账户

@startuml  
空额--> 有余额:存款/余额=余额+存款额   
空额--> 负债取款:\[取款额<最大限额\]/余额=余额-存款额  
有余额-left-> 有余额:存款/余额=余额+存款额   
有余额-right->有余额:取款\[取款额<余额\]/余额=余额-取款额  
负债-> 负债:取款\[取款额<最大限额\]/余额=余额-存款额  
负债->负债   
负债-->有余额   
有余额-->负债   
有余额-->空额   
负债-->空额  
\[\*\] ->空额   
空额-left-> \[\*\]  
@enduml

四、我的图

![1639168-20190501203419265-924872409.png][]

![1639168-20190501204957048-1410337959.png][]

转载于:https://www.cnblogs.com/zjw980104/p/10826107.html

[foo]: http://s.plantuml.com/imgw/state-diagram-p44op44x.png
[foo 1]: http://s.plantuml.com/imgw/state-diagram-byxbngtw.png
[foo 2]: http://s.plantuml.com/imgw/state-diagram-c7uo0afx.png
[foo 3]: http://s.plantuml.com/imgw/state-diagram-ksunw4zs.png
[foo 4]: http://s.plantuml.com/imgw/state-diagram-hpgp7hnq.png
[foo 5]: http://s.plantuml.com/imgw/state-diagram-76nrmibi.png
[foo 6]: http://s.plantuml.com/imgw/state-diagram-prga38qs.png
[foo 7]: http://s.plantuml.com/imgw/state-diagram-oht9ebel.png
[1639168-20190501203419265-924872409.png]: /images/20211109/00d703060b7649ecb064f3c297e0d19f.png
[1639168-20190501204957048-1410337959.png]: /images/20211109/2e446563a82749169018de9d0b6fdc5d.png