FSM（状态机）的JAVA实现

最新推荐文章于 2024-10-05 16:08:10 发布
最新推荐文章于 2024-10-05 16:08:10 发布
阅读量9.5k 收藏 42
点赞数 2
分类专栏： 实用技术 文章标签： FSM 状态机 状态流转 squirrel 状态机框架
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_21955179/article/details/90635012
版权

前言

有限状态机（英语：finite-state machine，縮寫：FSM）又稱有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。（FROM WIKI）

FSM的核心和作用

状态机中的核心内容：有限个状态、通过外部操作引起状态的转移。
用来对状态的流转进行解耦，使代码逻辑更加清楚和更容易维护

FSM的组成和分类

组成

  • 现态：是指当前所处的状态。
  • 条件：又称为事件。当一个条件被满足，可能将会触发一个动作，或者执行一次状态的迁移。
  • 动作：条件满足后执行的动作行为。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不执行任何动作，直接迁移到新状态。
  • 次态：条件满足后要迁往的新状态。“次态”是相对于“现态”而言的，“次态”一旦被激活，就转变成新的“现态”了。

所有的状态转换都可以概括为：F(S, E) -> (A, S’)，即如果当前状态为S，接收到一个事件E，则执行动作A，同时状态转换为下个状态S’。

分类

  • F(S) -> (A, S’) 型状态机：下一状态只由当前状态决定
  • F(S, E) -> (A, S’) 型状态机：下一状态不但与当前状态有关，还与当前输入值有关

通过映射表实现状态机

动作接口：

public interface Action {

    boolean action(Context context);

}

映射表数据结构:

@Setter
@Getter
public class ActionMapping {

    /**
     * 当前状态
     */
    private State currentState;

    /**
     * 次态
     */
    private State nextState;

    /**
     * 动作
     */
    private Action action;

    /**
     * 事件
     */
    private Event event;


    public static ActionMapping ofMap(State currentState, Event event, State nextState, Action action) {
        return new ActionMapping(currentState, event, nextState, action);
    }

    private ActionMapping(State currentState, Event event, State nextState, Action action) {
        this.currentState = currentState;
        this.nextState = nextState;
        this.action = action;
        this.event = event;
    }
}

动作中需要使用的上下文参数：

@Getter
@Setter
@AllArgsConstructor
public class Context {

    private String param;


}

事件枚举：

public enum Event {

    /**
     * 审批通过
     */
    APPROVE_PASS,

    /**
     * 审批拒绝
     */
    APPROVE_REFUSED,

    /**
     * 复核通过
     */
    RECHECK_PASS,

    /**
     * 复核不通过
     */
    RECHECK_REFUSED;

}

状态枚举：

public enum State {

    /**
     * 待审核
     */
    APPROVE,

    /**
     * 拒绝
     */
    REFUSED,

    /**
     * 同意
     */
    PASS;

}

状态转移表：

@Setter
@Getter
public class ActionMapping {

    /**
     * 当前状态
     */
    private State currentState;

    /**
     * 次态
     */
    private State nextState;

    /**
     * 动作
     */
    private Action action;

    /**
     * 事件
     */
    private Event event;


    public static ActionMapping ofMap(State currentState, Event event, State nextState, Action action) {
        return new ActionMapping(currentState, event, nextState, action);
    }

    private ActionMapping(State currentState, Event event, State nextState, Action action) {
        this.currentState = currentState;
        this.nextState = nextState;
        this.action = action;
        this.event = event;
    }
}

状态机：

public class Machine {

    /**
     * 状态转移表
     */
    private List<ActionMapping> mappings = new ArrayList<>();

    {
        //F(APPROVE,APPROVE_PASS)->(PASS,ApprovePassAction)
        mappings.add(ActionMapping.ofMap(APPROVE, APPROVE_PASS, PASS, new ApprovePassAction()));

        //F(APPROVE,APPROVE_REFUSED)->(REFUSED,ApproveRefusedAction)
        mappings.add(ActionMapping.ofMap(APPROVE, APPROVE_REFUSED, REFUSED, new ApproveRefusedAction()));

        //F(REFUSED,RECHECK_PASS)->(PASS,RecheckPassAction)
        mappings.add(ActionMapping.ofMap(REFUSED, RECHECK_PASS, PASS, new RecheckPassAction()));

        //F(REFUSED,RECHECK_REFUSED)->(REFUSED,RecheckRefusedAction)
        mappings.add(ActionMapping.ofMap(REFUSED, RECHECK_REFUSED, REFUSED, new RecheckRefusedAction()));

    }

    public boolean transform(State currentState, Event event, Context context) {
        ActionMapping actionMapping = getMapping(currentState, event);
        if (null == actionMapping) {
            throw new RuntimeException("未找到相应的映射");
        }
        Action action = actionMapping.getAction();
        action.action(context);
        return true;
    }

    private ActionMapping getMapping(State currentState, Event event) {
        if (mappings.size() > 0) {
            for (ActionMapping n : mappings) {
                if (n.getCurrentState().equals(currentState) && n.getEvent().equals(event)) {
                    return n;
                }
            }
        }
        return null;
    }

}

审批通过动作的实现：


    @Override
    public boolean action(Context context) {

        System.out.println(MessageFormat.format("审批人{0}审批了价格，审批结果为通过", context.getParam()));
        //TODO 将审批状态更新为已审核通过
        return true;
    }
}

审批拒绝动作的实现：

public class ApproveRefusedAction implements Action {
    @Override
    public boolean action(Context context) {
        System.out.println(MessageFormat.format("审批人{0}审批了价格，审批结果为拒绝", context.getParam()));
        //TODO 将审批状态更新为审核拒绝
        return true;
    }
}

复核通过动作的实现：

public class RecheckPassAction implements Action {
    @Override
    public boolean action(Context context) {
        System.out.println(MessageFormat.format("审批人{0}对未审核通过的价格进行复核，审批结果为通过", context.getParam()));
        //TODO 将审批状态更新为审核通过
        return true;
    }
}

复核拒绝的动作实现

public class RecheckPassAction implements Action {
    @Override
    public boolean action(Context context) {
        System.out.println(MessageFormat.format("审批人{0}对未审核通过的价格进行复核，审批结果为通过", context.getParam()));
        //TODO 将审批状态更新为审核通过
        return true;
    }
}

测试类：

public class Test {

    public static void main(String[] args) {
        Machine machine = new Machine();

        machine.transform(APPROVE,APPROVE_REFUSED,new Context("咲夜"));
        machine.transform(REFUSED,RECHECK_REFUSED,new Context("咲夜"));
        machine.transform(REFUSED,RECHECK_PASS,new Context("帕秋莉"));
    }
}

输出：
在这里插入图片描述

squirrel状态机框架

就像松鼠一样，小巧，灵活，智能，警觉和可爱的动物，squirrel基础旨在为企业使用提供轻量级，高度灵活和可扩展，可诊断，易于使用和类型安全的Java状态机实现。
squirrel文档：https://www.yangguo.info/2015/02/01/squirrel/
文档中很多已经介绍的十分清楚明白了，我这里就不做过多赘述，只写一个例子。

事件枚举：

public enum Event {

    /**
     * 审批通过
     */
    APPROVE_PASS,

    /**
     * 审批拒绝
     */
    APPROVE_REFUSED,

    /**
     * 复核通过
     */
    RECHECK_PASS,

    /**
     * 复核不通过
     */
    RECHECK_REFUSED;

}

状态枚举：

public enum State {

    /**
     * 待审核
     */
    APPROVE,

    /**
     * 拒绝
     */
    REFUSED,

    /**
     * 同意
     */
    PASS;

}

上下文参数：

@Getter
@Setter
@AllArgsConstructor
public class Context {

    private String param;


}

状态机

package com.lg.state.squirrel;

import com.lg.state.Context;
import com.lg.state.Event;
import com.lg.state.State;
import org.squirrelframework.foundation.fsm.impl.AbstractStateMachine;

import java.text.MessageFormat;

public class StateMachine extends AbstractStateMachine<StateMachine, State, Event, Context> {

    private void approvePassAction(State from, State to, Event event, Context context) {
        System.out.println(MessageFormat.format("审批人{0}审批了价格，审批结果为通过", context.getParam()));
        //TODO 将审批状态更新为已审核通过
    }

    private void approveRefusedAction(State from, State to, Event event, Context context) {
        System.out.println(MessageFormat.format("审批人{0}审批了价格，审批结果为拒绝", context.getParam()));
        //TODO 将审批状态更新为审核拒绝
    }

    private void recheckPassAction(State from, State to, Event event, Context context) {
        System.out.println(MessageFormat.format("审批人{0}对未审核通过的价格进行复核，审批结果为通过", context.getParam()));
        //TODO 将审批状态更新为审核通过
    }

    private void recheckRefusedAction(State from, State to, Event event, Context context) {
        System.out.println(MessageFormat.format("审批人{0}对未审核通过的价格进行复核，审批结果为不通过", context.getParam()));
        //TODO 将审批状态更新为审核不通过
    }
}

调用入口示例：

 public static void main(String[] args) {

        StateMachineBuilder<StateMachine, State, Event, Context> builder =
                StateMachineBuilderFactory.create(StateMachine.class, State.class, Event.class, Context.class);

        /**
         * 状态转移表
         */
        //F(APPROVE,APPROVE_PASS)->(PASS,approvePassAction)
        builder.externalTransition().from(APPROVE).to(PASS).on(APPROVE_PASS).callMethod("approvePassAction");

        //F(APPROVE,APPROVE_REFUSED)->(REFUSED,ApproveRefusedAction)
        builder.externalTransition().from(APPROVE).to(REFUSED).on(APPROVE_REFUSED).callMethod("approveRefusedAction");

        //F(REFUSED,RECHECK_PASS)->(PASS,RecheckPassAction)
        builder.externalTransition().from(REFUSED).to(PASS).on(RECHECK_PASS).callMethod("recheckPassAction");

        //F(REFUSED,RECHECK_REFUSED)->(REFUSED,RecheckRefusedAction)
        builder.externalTransition().from(REFUSED).to(REFUSED).on(RECHECK_REFUSED).callMethod("recheckRefusedAction");

        StateMachine machine = builder.newStateMachine(APPROVE);

        Context patchouli = new Context("patchouli");
        Context xiaoye = new Context("咲夜");

        machine.start();

        //patchouli审批拒绝
        machine.fire(APPROVE_REFUSED,patchouli);

        //xiaoye复核成功
        machine.fire(RECHECK_PASS,xiaoye);

    }

结果：
在这里插入图片描述

引用

Java实现有限状态自动机（Finite State Machine, FSM）
CyberLancer的博客
09-15 318
有限状态自动机（FSM）是一种计算模型，用于描述具有有限数量的状态和状态之间的转换规则的系统。通过定义状态和转换规则，并使用枚举类型和函数来表示它们，我们可以模拟系统在不同状态之间的转换过程。我们可以使用一个函数来表示状态之间的转换规则，该函数接受当前状态作为输入，并返回下一个状态。请注意，为了简化示例，我们使用了一个无限循环来模拟交通信号灯的运行，你可以根据实际需求进行适当的修改。每次循环迭代时，我们调用。以上是一个简单的有限状态自动机的实现示例，你可以根据自己的需求和具体场景进行扩展和修改。
FSM有限状态机理解和实现，附上源代码
我是香菜
01-31 216
主要定义了四个方法，前三个方式属于状态的生命周期enter 在切换到此状态时调用exit 在离开此状态时调用，可以恢复环境或者做一些动作update 是当前状态需要做的事，比如上面播放动画最后一个getStateId 是状态的id这里定义两个实现一个idle ,一个runidle 作为默认状态,这里注意下，没有使用事件通知，监控了数据同时状态都持有状态机本身的引用，方便访问上下文数据@Override@Overridereturn;doAction()
有限状态自动机java实现_有限状态机FSM的几种简单实现
weixin_35261385的博客
02-24 1572
标签： 有限状态机,Akka fsm,squirrel-foundation，java状态模式、责任链模式1. 有限状态机的概念有限状态机(英语：finite-state machine，缩写：FSM)又称有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。通常FSM包含几个要素：状态的管理、状态的监控、状态的触发、状态触发后引发的动作。这些关系的意思可以这...
支付系统核心逻辑 — — 状态机（Java&Golang版本）
weixin_45565886的博客
04-13 2032
支付系统核心逻辑 — — 状态机（Java&Golang版本）
Java中的状态机实现：使用Spring State Machine管理复杂状态流转
最新发布
心猿意码
10-05 708
接下来，定义订单处理流程中的所有状态，并设置状态之间的转换规则。java深色版本@Override@Override@Override.and().and().and().and()
状态机 实现 java
weixin_32101177的博客
08-12 136
状态机在Java中的实现 状态机是一种数学模型，用于描述系统的状态以及状态之间的转换。它通常由状态（States）、事件（Events）和转换（Transitions）三部分构成。状态机在计算机科学中应用广泛，特别是在编程语言设计、图形用户界面、网络协议等领域。本文将探讨如何在Java中实现状态机，并提供一个具体的代码示例...
状态机 java简单实现
Meiko记录
07-06 5377
介绍 有限状态机通常用于模拟序列逻辑，换句话说，就是用于代表和控制执行流程。 有限状态机所需条件： 一个物体只有固定的几种状态（例如交通灯只有绿灯、黄灯和红灯三个状态）。 有固定的变化顺序（例如交通灯只能绿灯->黄灯->红灯->绿灯循环） 物体同一时间点上只有一种状态。 例子 这里拿一个空调做例子，图是用了别人的，这里说明下下面三个状态的意思： Off：空调关机 FanOnly：空调仅吹风 Cool：空调制冷 原始的解决办法 StateEnum 用枚举类定义三种
一个有趣的有限状态机的JAVA实现
07-10
知道如何用java+有限状态机把大象塞进冰箱吗？
java 标签 状态机_java版的状态机实现
weixin_39543758的博客
02-16 258
状态机适用场景：C的操作，需要等到A、B的两个操作(A、B顺序操作)，那就需要在 A、B之间创建一个状态机(state machine)，C的操作需要状态机达到某一个状态才能进行1. Overviewjava版的状态机的原理其实就是java中的枚举类Enum，所以在进行状态机设计之前，先学习一下(回顾一个java Enum)2. Java Enums一个简单的例子：员工请假系统，员工到HR那离(s...
Java架构-状态机如何实现
weixin_54542328的博客
10-28 1518
先来解释什么是“状态”（ State ）。现实事物是有不同状态的，例如一个自动门，就有 open 和 closed 两种状态。我们通常所说的状态机是有限状态机，也就是被描述的事物的状态的数量是有限个，例如自动门的状态就是两个 open 和 closed。状态机，也就是 State Machine ，不是指一台实际机器，而是指一个数学模型。说白了，一般就是指一张状态转换图。例如，根据自动门的运行规则，我们可以抽象出下面这么一个图。
FSM状态机生成工具
08-23
标题中的“FSM状态机生成工具”是指一种用于创建有限...总之，FSM状态机生成工具通过简化状态机设计，提供了一种高效且易于维护的方式来实现状态机逻辑，这对于需要处理复杂流程控制或事件驱动逻辑的项目尤其有价值。
easy-fsm:一个小型的Java状态机，可让您定义事件，状态及其适当的绑定
05-26
易fsm 一个小型的Java状态机，可让您定义事件，状态及其适当的绑定。 我们并不是说进化论是不存在的，而只是说它是在他的崇敬附录的指导下进行的。 博比·亨德森（Bobby Henderson），《飞行意大利面条怪兽的福音》 Maven依赖 使用以下存储库： < repository> < id>clojars</ id> < name>Clojars repository</ name> < url>https://clojars.org/repo</ url> </ repository> 使用以下Maven依赖项： < dependency> < groupId>io.github.fsm</ groupId> < artifactId>fsm</ artifactId> < version>0.
java实现有限状态机
07-21
用java语言实现有限状态机，这个简单地实例能全面地诠释状态机的思想
【新手Java】11.有限状态机FSM
RetenQ的博客
09-17 1014
注：这部分与Java没有直接联系，只想看Java的可以跳过 注再注：计算理论是真的折磨，这里就是折磨的开始 【概述】 有限状态机（有时称为有限状态自动机）是一种可以用硬件或软件实现的计算模型，可以用来模拟顺序逻辑和某些计算机程序。 有限状态自动机生成常规语言。它可用于对许多领域的问题进行建模，包括数学，人工智能，游戏和语言学。 【米里状态机 Mealy State Machine】 顺序系统，其中输出取决于当前输入和状态 有限状态机（FSM）对正则表达式提供了不同的观点，一个FSM描述了一个正则表达式的行
Recommended FSM (Finite State Machine) Library for Java [closed]
caomiao2006的专栏
04-03 3850
50down votefavorite 23 Is there a best-of-breed in-memory FSM library for Java? I think ideal library would be relatively simple with support for events, actions, and transitions. I
一个轻量实用的Java状态机框架--Cola-StateMachine
qq_36551991的博客
01-17 8018
详解Java状态机框架--Cola-StateMachine
java实现有限状态自动机FSM(附完整源码)
希望我的博客，能帮上你解决学习中工作中所遇到的问题
06-07 255
java实现有限状态自动机FSM(附完整源码)
一个java状态机样例的代码
热门推荐
seacean2000的专栏
08-29 2万+
在UML当中有状态机视图，这个状态机可以用于自动售货机，自动售票机等等场景，下面是用java代码模拟的一个状态机： 1.状态机接口 package stateMachine; /** * 状态机接口 * @author seacean * @date 2013-8-29 */ public interface State { /** * 投入硬币 */ void inser
有限状态机(FSM)的Java 演示
weixin_33809981的博客
05-01 157
本文从简单的样例入手。逐步演变成很复杂的程序。 在简明 状态模式（5.8）中，状态之间的变换由外界控制，或者说。多种状态是切割的、无关的。状态模式最有趣的地方正是讨论其状态的变迁。 1.引子 空调(air-condition)的遥控器有两个button(很多其它的button在后面的样例中引入)。power/电源键和cool/制冷键。空调的执行呈现3个状态，停止/Off、仅送风/Fa...
FSM状态机示例代码
08-31
下面是一个简单的FSM状态机示例代码（使用Python编写）： ```python class State: def __init__(self, name): self.name = name def on_enter(self): pass def on_exit(self): pass def handle_event(self, event): pass class StateMachine: def __init__(self, initial_state): self.current_state = initial_state def transition_to(self, new_state): self.current_state.on_exit() self.current_state = new_state self.current_state.on_enter() def handle_event(self, event): self.current_state.handle_event(event) # 示例状态 class IdleState(State): def on_enter(self): print("进入空闲状态") def on_exit(self): print("退出空闲状态") def handle_event(self, event): if event == "start": print("开始任务") return "running" return self.name class RunningState(State): def on_enter(self): print("进入运行状态") def on_exit(self): print("退出运行状态") def handle_event(self, event): if event == "stop": print("停止任务") return "idle" return self.name # 创建状态机并设置初始状态为IdleState state_machine = StateMachine(IdleState()) # 处理事件 state_machine.handle_event("start") # 输出: 进入空闲状态 # 开始任务 state_machine.transition_to(RunningState()) # 输出: 退出空闲状态 # 进入运行状态 state_machine.handle_event("stop") # 输出: 停止任务 # 退出运行状态 # 进入空闲状态 ``` 以上示例代码展示了一个简单的状态机，其中包括两个状态，即"空闲"和"运行"。状态之间的切换由事件触发，例如"start"事件将从"空闲"状态切换到"运行"状态，"stop"事件将从"运行"状态切换回"空闲"状态。每个状态都有进入（on_enter）和退出（on_exit）方法，在切换到新状态时会调用这些方法。
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值