如果状态在运行过程中,不停的切换和改变,我们怎么办?

状态的迁移是我们生活和工程中非常普遍的一个概念。于是在数学上有一种理论来分析和解决这个问题。

有限状态机理论是一个非常成熟的理论,所有动作和流程的迁移可以归结为状态的迁移。

这个理论的前提是:

状态的数目是确定的,或者说是有限的。

状态的迁移方向是固定的,也就是有向的。  

状态存储关于过去的信息,就是说:它反映从系统开始到现在时刻的输入变化。转移指示状态变更,并且用必须满足来确使转移发生的条件来描述它。动作是在给定时刻要进行的活动的描述。有多种类型的动作:

进入动作(entry action):在进入状态时进行

退出动作:在退出状态时进行

输入动作:依赖于当前状态和输入条件进行

转移动作:在进行特定转移时进行

下面我们将按照一个地铁轧机的操作来讲解有线状态机理论。

地铁轧机的整体状态图如上。基本就是开和关2种行为。

关于FSM,可以有3种实现方式。

1.switch case方式

package com.joyfulmath.state.switchcase;

/**
* @author deman.lu
* @version on 2016-05-18 09:43
*/
public class Turnstile { //status
public static final int LOCKED = 0;
public static final int UNLOCKED = 1; //events
public static final int COIN = 0;
public static final int PASS = 1; int state = LOCKED; private TurnstileController turnstileController; public Turnstile(TurnstileController turnstileController) {
this.turnstileController = turnstileController;
} public void enent(int event)
{
switch (state)
{
case LOCKED:
switch (event)
{
case COIN:
state = UNLOCKED;
turnstileController.unlock();
break;
case PASS:
turnstileController.alarm();
break;
}
break;
case UNLOCKED:
switch (event)
{
case COIN:
turnstileController.thankYou();
break;
case PASS:
state = LOCKED;
turnstileController.lock();
break;
}
break;
}
}
}
/**
* @author deman.lu
* @version on 2016-05-18 09:47
*/
public interface TurnstileController {
void lock();
void unlock();
void alarm();
void thankYou();
}

状态的迁移在switch-case语句里面进行。当前是2种状态 & 2种触发条件。

switch-case 就是2*2 的结果。可以相见,如果情况复杂化,switch-case将呈现爆炸式增长。

2.解释迁移表

该方法在很早以前的C语言中很常见,我个人也经历过这样的代码,并且维护过一段时间。

说句实话,这个东西有点C语言实现面向对象的思想。当然和Java语言没法比较。

package com.joyfulmath.state.switchcase;

import java.util.ArrayList;
import java.util.List; /**
* @author deman.lu
* @version on 2016-05-18 10:05
*/
public class TurnStyle {
int state = Turnstile.LOCKED;
TurnstileController turnstileController;
List<Transition> mTransitions = new ArrayList<>();
public TurnStyle(final TurnstileController turnstileController) {
this.turnstileController = turnstileController;
addTransition(Turnstile.LOCKED, Turnstile.COIN, Turnstile.UNLOCKED, new Runnable() {
@Override
public void run() {
turnstileController.unlock();
}
});
} private void addTransition(int state, int event, int nextstate, Runnable runnable) {
Transition transition = new Transition();
transition.currentState = state;
transition.event = event;
transition.nextState = nextstate;
transition.runnable = runnable;
mTransitions.add(transition);
} public void event(int event)
{
for(Transition transition:mTransitions)
{
if(transition.currentState == state && event == transition.event)
{
state = transition.nextState;
transition.runnable.run();
}
}
}
}

迁移表的维护,有些困难。一点大量状态 & 事件存在,该表将非常复杂。

3.state 模式

好在软件开发中,还有设计模式这个礼物。使用state模式,是目前实现FSM来说,非常适合的一种方式。

package com.joyfulmath.state.statemode;

/**
* @author deman.lu
* @version on 2016-05-18 10:43
*/
public interface ITurnstitleState {
void coin(TurnsStatus t);
void pass(TurnsStatus t);
}

这是event事件。

状态的实现:

package com.joyfulmath.state.statemode;

/**
* @author deman.lu
* @version on 2016-05-18 10:52
*/
public class LockedStatus implements ITurnstitleState {
@Override
public void coin(TurnsStatus t) {
t.setUnLock();
t.unlock();
} @Override
public void pass(TurnsStatus t) {
t.alarm();
}
}
package com.joyfulmath.state.statemode;

/**
* @author deman.lu
* @version on 2016-05-18 10:53
*/
public class UnLockedStatus implements ITurnstitleState {
@Override
public void coin(TurnsStatus t) {
t.thankyou();
} @Override
public void pass(TurnsStatus t) {
t.setLock();
t.lock();
}
}

TurnsStatus是驱动状态迁移的关键。在有些介绍状态模式的书里面,这个类一般定义为context

package com.joyfulmath.state.statemode;

import com.joyfulmath.state.switchcase.TurnstileController;

/**
* @author deman.lu
* @version on 2016-05-18 10:52
*/
public class TurnsStatus {
private static ITurnstitleState lockedStatus = new LockedStatus();
private static ITurnstitleState unlockedStatus = new UnLockedStatus(); private TurnstileController controller;
private ITurnstitleState state = lockedStatus;
public TurnsStatus(TurnstileController controller) {
this.controller = controller;
} public void coin()
{
state.coin(this);
} public void pass()
{
state.pass(this);
} public void setLock()
{
state = lockedStatus;
} public void setUnLock()
{
state = unlockedStatus;
} void thankyou()
{
controller.thankYou();
} void alarm()
{
controller.alarm();
} void lock()
{
controller.lock();
} void unlock()
{
controller.unlock();
}
}

其中coin & pass 方法是供外部类进行调用的,而

void unlock()
{
controller.unlock();
}

这些方法是给state做处理的。

状态模式彻底的分离了状态机的逻辑和动作。

动作在Context类中实现,而逻辑在各个state中实现。

从个人经验来讲,状态模式适合状态会反复切换的场景。

参考:

《敏捷软件开发》 BOb大叔著。

敏捷软件开发(1)--- STATE 模式的更多相关文章

  1. 敏捷软件开发vs传统软件开发

    摘要 本文介绍了传统软件开发(着重介绍了传统软件开发中常用的瀑布模型)和敏捷软件开发,以及敏捷开发和传统开发的对比. 一.传统软件开发 比较常用的几种传统软件开发方法:瀑布式开发.迭代式开发.螺旋开发 ...

  2. 敏捷软件开发(4)--- TEMPLATE METHOD & STRATEGY 模式

    1.TEMPLATE METHOD 泛型,也就是这个模式,是可以基于泛型的. 我们往往会有一些算法,比如排序算法.它的算法部分,我可以把它放在一个基类里面,这样具体类型的比较可以放在子类里面. 看如下 ...

  3. 敏捷软件开发(3)---COMMAND 模式 & Active Object 模式

    COMMAND 模式 command模式非常简单,简单到你无法想象的地方. public interface Command { void execute(); } 这就是一个command模式的样子 ...

  4. 敏捷软件开发:原则、模式与实践——第14章 使用UML

    第14章 使用UML 在探索UML的细节之前,我们应该先讲讲何时以及为何使用它.UML的误用和滥用已经对软件项目造成了太多的危害. 14.1 为什么建模 建模就是为了弄清楚某些东西是否可行.当模型比要 ...

  5. 敏捷软件开发:原则、模式与实践——第12章 ISP:接口隔离原则

    第12章 ISP:接口隔离原则 不应该强迫客户程序依赖并未使用的方法. 这个原则用来处理“胖”接口所存在的缺点.如果类的接口不是内敛的,就表示该类具有“胖”接口.换句话说,类的“胖”接口可以分解成多组 ...

  6. 敏捷软件开发:原则、模式与实践——第10章 LSP:Liskov替换原则

    第10章 LSP:Liskov替换原则    Liskov替换原则:子类型(subtype)必须能够替换掉它们的基类型(base type). 10.1 违反LSP的情形 10.1.1 简单例子 对L ...

  7. 敏捷软件开发:原则、模式与实践——第8章 SRP:单一职责原则

    第8章 SRP:单一职责原则 一个类应该只有一个发生变化的原因. 8.1 定义职责 在SRP中我们把职责定义为变化的原因.如果你想到多于一个的动机去改变一个类,那么这个类就具有多于一个的职责.同时,我 ...

  8. 【Scrum】-NO.40.EBook.1.Scrum.1.001-【敏捷软件开发:原则、模式与实践】- Scrum

    1.0.0 Summary Tittle:[Scrum]-NO.40.EBook.1.Scrum.1.001-[敏捷软件开发:原则.模式与实践]- Scrum Style:DesignPattern ...

  9. 敏捷软件开发:原则、模式与实践——第13章 写给C#程序员的UML概述

    第13章 写给C#程序员的UML概述 UML包含3类主要的图示.静态图(static diagram)描述了类.对象.数据结构以及它们之间的关系,藉此表现出了软件元素间那些不变的逻辑结构.动态图(dy ...

随机推荐

  1. 设计前沿:25款精妙的 iOS 应用程序图标

    在这篇文章中,我为大家精心挑选的25款巧妙设计的 iOS 应用程序图标,会激发你未来的工作.苹果的产品总是让人爱不释手,设计精美,对用户使用体验把握得淋漓尽致,iPhone.iPad.iPod和 iM ...

  2. Fiddler进行手机抓包

    测试设备:Windows8.1,Android 4.0.4山寨Android手机 网络环境:电信校园网,Wifi环境 测试工具:Fiddler4 完全参考了:http://www.jb51.net/s ...

  3. Android View 之进度条+拖动条+星级评论条....

    PS:将来的你会感谢现在奋斗的自己.... 学习内容: 1.进度条 2.拖动条 3.星级评论条 1.进度条...       进图条这东西想必大家是很熟悉的...为了使用户不会觉得应用程序死掉了,因此 ...

  4. 为了去重复,写了一个通用的比较容器类,可以用在需要比较的地方,且支持Lamda表达式

    为了去重复,写了一个通用的比较容器类,可以用在需要比较的地方,且支持Lamda表达式,代码如下: public class DataComparer<T>:IEqualityCompare ...

  5. [转]easyui datagrid 批量编辑和提交

    web前台主要代码: <script type="text/javascript"> $(function() { var $dg = $("#dg" ...

  6. Discuz DB层跨库映射关系表名前缀BUG修复后产生的新bug

    新的逻辑引入了新的bug,会导致在跨多库连接时,产生表名前缀映射混乱,需要再做逻辑上的修复. function table_name($tablename) { if(!empty($this-> ...

  7. 线段树---Atlantis

    题目网址:http://acm.hust.edu.cn/vjudge/contest/view.action?cid=110064#problem/A Description There are se ...

  8. ztree树 叶子节点路径的集合

    1.Question Description: ztree树各个节点都带有路径,如“/根节点”,"/根节点/一级节点",“根节点/一级节点/二级节点‘; 现在想获取所选的最末级节点 ...

  9. 初学Java9:学习Mybatis时报错:Parameter 'name' not found. Available parameters are [1, 0, param1, param2]

    报错-->Parameter 'name' not found. Available parameters are [1, 0, param1, param2] 百度找到这篇文章完成修改 htt ...

  10. Hibernate之lazy延迟加载(转)

    一.延迟加载的概念 当Hibernate从数据库中加载某个对象时,不加载关联的对象,而只是生成了代理对象,获取使用session中的load的方法(在没有改变lazy属性为false的情况下)获取到的 ...