FSM（状态机）的JAVA实现

最新推荐文章于 2024-06-07 22:06:40 发布
最新推荐文章于 2024-06-07 22:06:40 发布
阅读量8.9k 收藏 40
点赞数 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);

    }

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

引用

不是因为坚持只是因为喜欢
关注
  • 2
    点赞
  • 踩
  • 40
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
专栏目录
java实现有限状态自动机FSM(附完整源码)
希望我的博客，能帮上你解决学习中工作中所遇到的问题
06-07 211
java实现有限状态自动机FSM(附完整源码)
状态机 FSM 设计指导
03-20
全面阐述状态机 FSM 设计和实现
java状态机设计模式_设计模式-如何实现FSM-J中的有限状态机
weixin_35715440的博客
02-16 169
我使用Java设计并实现了一个简单的有限状态机示例。IFiniteStateMachine：管理有限状态机的公共接口例如将新状态添加到有限状态机或通过具体动作。interface IFiniteStateMachine {void setStartState(IState startState);void setEndState(IState endState);void addState(ISt...
什么是状态机（FSM）？
最新发布
weixin_49007164的博客
06-07 433
FSM 的核心组成部分包括状态、状态之间的转移、输入、输出和转移条件。状态代表了系统在某一时间点的特定状态，而状态之间的转移则描述了系统如何根据输入和当前状态从一个状态转移到另一个状态。FSM 通过定义系统在特定时间的状态、状态之间的转移、以及引起这些转移的条件来描述系统的运行过程。它广泛应用于计算机科学、电子工程、控制理论等领域，用于设计硬件电路、解析输入串、控制逻辑、协议设计等。有限状态机是一种用于设计和分析系统行为的强大工具，通过明确的状态、输入、输出和状态转移来描述系统的行为。
【新手Java】11.有限状态机FSM
RetenQ的博客
09-17 964
注：这部分与Java没有直接联系，只想看Java的可以跳过 注再注：计算理论是真的折磨，这里就是折磨的开始 【概述】 有限状态机（有时称为有限状态自动机）是一种可以用硬件或软件实现的计算模型，可以用来模拟顺序逻辑和某些计算机程序。 有限状态自动机生成常规语言。它可用于对许多领域的问题进行建模，包括数学，人工智能，游戏和语言学。 【米里状态机 Mealy State Machine】 顺序系统，其中输出取决于当前输入和状态 有限状态机（FSM）对正则表达式提供了不同的观点，一个FSM描述了一个正则表达式的行
StateMachine:squirrel-foundation实现的状态机demo
05-18
状态机 概述 状态机三要素 状态(state)：根据业务抽象出的阶段状态 事件(event)：触发状态过渡或满足指定要求的条件 动作(action)：符合条件进行状态过渡执行相应的处理 框架 squirrel-foundation 项目结构 Main：启动类，实现状态机的流程控制及状态事件动作的定义 MyCondtion：自定义条件过滤器 MyEvent：自定义事件枚举列表 MyState：自定义状态枚举列表 MyStateMachine：状态机，根据需求实现AbstractStateMachine|StateMachine|AbstractUntypedStateMachine StateListener：自定义监听器，可实现相应方法或使用注解定义监听事件 StateMaker：自定义决策类，用于实现多状态选择 declarative：该包下为声明式注解定义状态机及其实现状态流程控制
FSM——squirrel状态机使用
weixin_45565886的博客
02-24 1207
FSM——squirrel状态机使用
Squirrel状态机-从原理探究到最佳实践
京东科技开发者
01-28 508
Squirrel状态机是一种用来进行对象行为建模的工具，主要描述对象在它的生命周期内所经历的状态，以及如何响应来自外界的各种事件。比如订单的创建、已支付、发货、收获、取消等等状态、状态之间的控制、触发事件的监听，可以用该框架进行清晰的管理实现。使用状态机来管理对象生命流的好处更多体现在代码的可维护性、可测试性上，明确的状态条件、原子的响应动作、事件驱动迁移目标状态，对于流程复杂易变的业务场景能大大减轻维护和测试的难度。
squirrel（松鼠）状态机的介绍及使用
墨鸦的博客
04-17 5925
Squirrel（松鼠）状态机 依赖 <dependency> <groupId>org.squirrelframework</groupId> <artifactId>squirrel-foundation</artifactId> <version>0.3.8</version> </dependency> 状态机描述 参考：https://segmentfault.com/a/11
Java使用有限状态机算法实现判断字符串是否合法
artistkeepmonkey的博客
09-01 411
请根据给出的正则表达式来验证邮箱格式是否合法，如果用户输入的格式合法则输出「邮箱格式合法」，否则输出「邮箱格式不合法」。正确格式对应的正则表达式"[a-zA-Z0-9]+@[a-zA-Z0-9]+\.[a-zA-Z0-9]+";输入：输出：邮箱格式合法。
FSM状态机生成工具
08-23
标题中的“FSM状态机生成工具”是指一种用于创建有限...总之，FSM状态机生成工具通过简化状态机设计，提供了一种高效且易于维护的方式来实现状态机逻辑，这对于需要处理复杂流程控制或事件驱动逻辑的项目尤其有价值。
一个有趣的有限状态机的JAVA实现
07-10
本主题“一个有趣的有限状态机的JAVA实现”将带你探索如何利用Java语言构建一个能解决有趣问题的状态机，比如“如何把大象塞进冰箱”。 首先，让我们理解有限状态机的基本概念。有限状态机是一种数学模型，它由一组...
fsm状态机资料编程集
09-02
这个名为“fsm状态机资料编程集”的压缩包很可能是包含了一些关于如何在实际编程项目中应用状态机的例子。 状态机的基本概念包括： 1. **状态（State）**：系统可以处于的一种特定情况或模式，每个状态都对应着系统...
FSM-Engine:使用 Spring 在 Java 应用程序中轻松定义有限状态机
06-07
使用 Spring 在 Java 应用程序中轻松定义有限状态机。 ＃介绍 FSM 引擎使在 Java 应用程序中定义和执行简单的以及工作流变得容易。 在需要根据对象的状态在运行时自动更改对象行为的情况下，它确实很有帮助。 该库...
java版状态机Squirrel源码分析
研究源码的最底层,只持有正确的仓位
12-30 2297
第一节 参考 https://github.com/hekailiang/squirrel https://segmentfault.com/a/1190000009906469 第二节 状态机理论 一.应用范围 订单状态/合同规则状态切换,词法分析器，审批工作流，SQl语言解析，信息检索，爬虫 二.开源项目 jflex,smc,spring statemachine,jfsm,statel...
Springboot整合squirrel-foundation状态机
黄嚯嚯
10-26 2664
上一篇文章介绍了状态机介绍以及常见种类对比。本篇主要介绍一下项目中如何使用squirrel-foundation的一些细节以及如何与spring进行集成的流程。 状态机(有限状态自动机 FSM)介绍_黄嚯嚯-CSDN博客状态机概念, 为什么要使用状态机https://blog.csdn.net/qq_42543063/article/details/119111658阅读过程中如有介绍不全的位置 , 也可以留言 , 或者参考官方文档自行分析 squirrel-foundation | Squ...
java 状态机_Java有限状态机的4种实现对比
weixin_39622643的博客
12-02 457
在日常工作过程中，我们经常会遇到状态的变化场景，例如订单状态发生变化，商品状态的变化。这些状态的变化，我们称为有限状态机，缩写为FSM( F State Machine).。之所以称其为有限，是因为这些场景中的状态往往是可以枚举出来的有限个的，所以称其为有限状态机。下面我们来看一个具体的场景例子。 简单场景： 地铁进站闸口的状态有两个：已经关闭、已经开启两个状态。刷卡后闸口从已关闭变为已开启，人通...
【java有限状态机选型】
qq_260179415的博客
12-22 3247
今天跟大家分享一个关于“状态机”的话题。状态属性在我们的现实生活中无处不在。比如经典的电商场景会有一系列的订单状态(待支付、待发货、已发货、超时、关闭）；某个活动会有活动状态（待提交、审核中、审核成功、审核拒绝、已失效、带参与、已参与、未参与）等等。上述场景有一个共同问题：根据不同触发条件执行不同处理动作最后落地不同的状态。}那我们最容易能想到的自然是if-else方案。那if-else方案会有什么问题呢？维护成本增加（复杂的业务流程，if.else代码几乎无法维护）
状态机squirrel-foundation实战
你我皆凡人的博客
04-26 1117
具体的处理取决于如何配置异常处理策略，默认的异常处理策略行为是：抛出异常，状态机会停留在原来的状态状态，不会进行状态转换。默认策略下每个状态转换事件都是独立的，一个事件的异常不会影响其他事件。业务对应的状态流转具有一定业务复杂度，且状态变更时具有一个明确的生命周期及事件响应(它不应该就是个简单的状态修改，状态机的接入本身会带来一定的复杂度)。状态机是用来对对象行为变更建模的一种工具，主要描述在状态流转的生命周期内所经历的状态及状态变更对应的事件响应。动作也不是必需的，可以不执行任何动作，只做状态变更。
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、付费专栏及课程。

余额充值