赋能转转回收：LiteFlow可视化编排方案设计

飞刀探花李

1引言2LiteFlow简介2.1引入jar包2.2定义组件2.3执行流程2.4官网3可视化编排（形态进阶）3.1为什么要可视化3.2方案设计3.3推拉结合刷新流程3.4源码4效果收益&未来规划4.1效果收益4.2未来规划1引言LiteFlow解决哪些场景的问题呢？通过下面的例子感受一下。假设有三个组件（或方法）stepOne、stepTwo、stepThree，并且你想要按照顺序打印"one"、"two"、"three"，通常我们编写代码的方式可能是这样的：@Componentpublic class rintService {    /**     * 执行业务代码     */    private void doExecute() {        stepOne();        stepTwo();        stepThree();    }    private void stepOne() {        // 业务代码        System.out.println("one");    }    private void stepTwo() {        // 业务代码        System.out.println("two");    }    private void stepThree() {        // 业务代码        System.out.println("three");    }}这样写最简单粗暴，但是如果之后有调整打印顺序的话，例如你想打印two、one、three，或者直接跳过two直接打印one、three，你一定需要修改代码并且重新上线。 // 打印two、one、three    public void doExecute() {        stepTwo();        stepOne();        stepThree();    }    // 打印one、three    public void doExecute() {        stepOne();        stepThree();    }对于需要动态调整执行流程的业务场景，显然不适合将流程硬编码在代码中。2LiteFlow简介LiteFlow是一款编排式的规则引擎框架，可以通过表达式的方式来编排组件或方法的执行流程，并且支持一些高级的流程编排。上述案例如何通过更高级的方式来实现零代码修改、无需重新上线即可编排流程了呢？我们基于LiteFlow做一些改造。2.1引入jar包可以去官网根据需要选择合适的版本，这里用的是最新版本    com.yomahub        2.12.02.2定义组件将打印功能分别定义成一个个组件，继承NodeComponent这个抽象父类并实现其中的方法：@Componentpublic class rintOne extends NodeComponent {    @Override    public void process() throws Exception {        // 业务代码        System.out.println("one");    }}@Componentpublic class rintTwo extends NodeComponent {    @Override    public void process() throws Exception {        // 业务代码        System.out.println("two");    }}@Componentpublic class rintThree extends NodeComponent {    @Override    public void process() throws Exception {        // 业务代码        System.out.println("three");    }}2.3执行流程定义好组件之后，我们就开始编写组件执行的流程表达式了，官方名称叫EL表达式；上述案例可以这样编写表达式：THEN(node("printOne"),node("printTwo"),node("pirntThree"));并给这个流程起个名字（流程唯一标识）：print_flow根据流程名称执行流程：@Componentpublic class rintService {    @Autowired    private FlowExecutor flowExecutor;    /**     * 执行业务代码     */    public void doExecute() {        // 开始执行流程        LiteflowResponse response = flowExecutor.execute2Resp("print_flow");        // 根据执行结果进行后续操作        // ......    }}一般我们会将流程放到数据库中，如果想改变打印顺序，只需要修改表达式即可，例如：打印two、one、three。THEN(node("printTwo"),node("printOne"),node("pirntThree"));打印two、three。THEN(node("printTwo"),node("printThree"));然后LiteFlow真正强大的地方远不止如此，它不仅仅支持简单的串行编排，还支持更加复杂的逻辑例如（并行编排）WHEN、（条件编排）IF、（选择编排）SWITCH、（循环编排）FOR等。2.4官网上述的简单示例旨在为不熟悉LiteFlow框架的伙伴们提供一个初步的认知。要想真正基于LiteFlow将业务流程落地并运用到实际业务场景中，还需要通过官方文档深入了解该框架的运作原理和核心机制。https://liteflow.cc/3可视化编排（形态进阶）3.1为什么要可视化官网提供修改表达式的方式只有一个，那就是手写！官网并没有提供配套的可视化工具，手写可能存在诸多问题和不便，例如：容易出错：表达式少一个字母甚至一个逗号都不行！流程不可视：我们只能完全依赖大脑去构想这些流程，运营或产品团队想要了解或讨论流程，也只能依赖于其他画图工具来手动绘制和表达。节点不可配置：我们的运营会根据不同的场景对节点进行动态配置，没有可视化界面，运营改动配置的需求则无从下手。所以可视化对于编排流程来说意义重大，对于研发能更准确地理解和设计流程，还能让运营能更便捷地监控和管理流程。3.2方案设计网上有一些网友开源的项目，但基本都是个人维护，对于复杂流程的处理不是很好，质量也参差不齐，所以自己进行了调研和设计；支持普通节点、判断节点、选择节点、并行节点；循环节点目前业务不需要，有需要的可以自己拓展，掌握方案之后拓展节点类型非常简单。完成可视化编排需要解决两个问题：一款与用户交互的前端画布（推荐logicFlow，有自己熟悉的也行）将画布数据转化成EL表达式（手写算法，基于DFS的递归）这里重点讲画布数据转化为EL的过程。3.2.1整体流程创建流程流程的核心在第5步，下面会重点讲解。回显流程解析EL成本很高，所以我选择不解析表达式，直接将前端传入的画布json数据返回给前端进行回显。3.2.2后端抽象语法树设计节点类型枚举public enum NodeEnum {    // 普通节点，对应普通组件    COMMON,    // 并行节点，对应并行组件    WHEN,    // 判断节点，对应判断组件    IF,    // 选择节点，对应选择组件    SWITCH,    // 汇总节点（自定义）    SUMMARY,    // 开始节点（自定义）    START,    // 结束节点（自定义）    END;}COMMON普通节点，入度和出度都为1。IF判断节点，包含一个true分支，一个false分支，入度为1，出度为2。SWITCH根据SWITCH返回的tag，来决定执行后续哪个流程。入度为1，出度大于1。WHEN官网没有WHEN节点的概念，我这里自定义WHEN节点会避免很多问题。为什么要定义WHEN节点？WHEN作为一个出度大于1的节点，和IF、SWITCH不同的是WHEN并没有一个前置节点去驱动一个流程。假设这样一个流程，如果没有WHEN节点的支持，展示到画布上的效果很差。THEN(    IF(node("c"),         WHEN(            node("a"),            node("b"),            node("d"),            node("e")        ).ignoreError(true)    ),    node("f"))SUMMARY官网没有这种节点，自定义节点，用于汇总所有分支节点，也就是WHEN、IF、SWITCH节点。入度大于1，出度为1。为什么要定义SUMMARY节点？构建EL算法是基于递归实现的，参考的是深度优先遍历算法（DFS），这种嵌套方式如果没有一个结束标志会一直执行下去。举个例子：基于图1生成EL表达式THEN(    node("c"),    WHEN(        THEN(node("b"),node("e")),        THEN(node("d"),node("e"))    ))基于图2生成EL表达式THEN(    node("c"),    WHEN(node("b"),node("d")),    node("e"))可以看出来图2的EL表达式才是我们想要的。市面上有名的工作流引擎在画布上处理汇总问题也是这样设计的，比如在activiti中使用并行网关开启会签，也必须用并行网关在会签结束时进行汇总，否则就会出现重复审批的问题。START开始节点，一个流程必须有一个开始节点，入度为0，出度为1。END结束节点，一个流程必须有一个结束节点，入度为1，出度为0。上述节点类型的类定义// 抽象父类@Getterpublic abstract class Node {    // node的唯一id    private final String id;    // node名称，对应LiteFlow的Bean名称    private final String name;    // 入度    private final List pre = Lists.newArrayList();    // 节点类型    private final NodeEnum nodeEnum;    // 出度    private final List next = Lists.newArrayList();    protected Node(String id, String name, NodeEnum nodeEnum) {        this.id = id;        this.name = name;        this.nodeEnum = nodeEnum;    }    public void addNextNode(Node node) {        next.add(node);    }    public void addPreNode(Node preNode) {        pre.add(preNode);    }}// 普通节点public class CommonNode extends Node {    public CommonNode(@NonNull String id, @NonNull String name) {        super(id, name, NodeEnum.COMMON);    }}// 并行节点public class WhenNode extends Node {    public WhenNode(@NonNull String id, @NonNull String name) {        super(id, name, NodeEnum.WHEN);    }}// 判断节点@Getterpublic class IfNode extends Node {    private Node trueNode;    private Node falseNode;    public IfNode(@NonNull String id, @NonNull String name) {        super(id, name, NodeEnum.IF);    }    public void setTrueNode(Node trueNode) {        this.trueNode = trueNode;        super.addNextNode(trueNode);    }    public void setFalseNode(Node falseNode) {        this.falseNode = falseNode;        super.addNextNode(falseNode);    }}// 选择节点@Getterpublic class SwitchNode extends Node {    private final Map nodeTagMap = Maps.newHashMap();    public SwitchNode(@NonNull String id, @NonNull String name) {        super(id, name, NodeEnum.SWITCH);    }    public void putNodeTag(Node node, String tag) {        nodeTagMap.put(node, tag);        super.addNextNode(node);    }}// 开始节点public class StartNode extends Node {    public StartNode(@NonNull String id, @NonNull String name) {        super(id, name, NodeEnum.START);    }}// 结束节点public class EndNode extends Node {    public EndNode(@NonNull String id, @NonNull String name) {        super(id, name, NodeEnum.END);    }}// 汇总节点public class SummaryNode extends Node {    public SummaryNode(@NonNull String id, @NonNull String name) {        super(id, name, NodeEnum.SUMMARY);    }}3.2.3画布JSON数据设计画布数据最终体现在JSON语法树，数据结构如下：{    "nodeEntities": [        {            "id": "节点的唯一id，由前端生成。必填",            "name": "节点名称，对应LiteFlow的节点名称，spring的beanName。必填",            "label": "前端节点展示名称，到时候给前端。必填",            "nodeType": "节点的类型，有COMMON、IF、SWITCH、WHEN、START、END和SUMMARY。必填",            "x": "x坐标。必填",            "y": "y坐标。必填"        }    ],    "nodeEdges": [        {            "source": "源节点。必填",            "target": "目标节点。必填",            "ifNodeFlag": "if类型节点的true和false，只有ifNode时必填，其他node随意",            "tag": "switch类型的下层节点的tag，主机有switchNode时必填，其他node随意"        }    ]}用户拖动画布节点和节点之间连线的过程，其实就是维护节点数组和边数组的过程。3.2.4画布JSON数据合法校验下面是针对画布json数据的一些简单合法性校验，可以自己根据需要拓展，实现很简单，最后有具体实现代码，需要的可以下载。流程必须有一个开始节点和一个结束节点校验节点类型，只能是IF、WHEN、COMMON、SWITCH、START、END和SUMMARYIF、WHEN、SWITCH节点的数量总和与SUMMARY类型节点数量总和校验校验节点和边的source和target是否能对应上校验SWITCH的出度边是否有tag，且tag不能为空校验IF节点有没有ifNodeFlag的标识，并且总有一条true分支，总有一条false分支3.2.5画布JSON数据转化为抽象语法树举个简单的例子：对应的JSON语法树如下；避免篇幅过长，这里只列举了部分属性。{    "nodeEntities": [        {            "id": "a",            "label": "a",            "nodeType": "COMMON"        },        {            "id": "e",            "label": "e",            "nodeType": "WHEN"        },        {            "id": "b",            "label": "b",            "nodeType": "COMMON"        },        ......    ],    "nodeEdges": [        {            "source": "a",            "target": "e",        },        {            "source": "e",            "target": "b",        },        {            "source": "e",            "target": "c",        },        ......    ]}JSON转化为抽象语法树，实际就是创建节点对象，并维护节点的属性，下面是伪代码。        // 创建节点对象        List nodes = Lists.newArrayList();        for (NodeEntity nodeEntity : nodeEntities) {            Node node = null;            switch (nodeEntity.getNodeType()) {                case NodeEnum.COMMON;                    node = new CommonNode("节点的id", "节点的label");                    break;                case NodeEnum.WHEN;                    node = new WhenNode("节点的id", "节点的label");                    break;                case NodeEnum.SUMMARY;                    node = new SummaryNode("节点的id", "节点的label");                    break;                default:                    throw new RuntimeException("未知的节点类型！");            }            nodes.add(node);        }        // 构建nodeId和node的map        Map nodeIdAndNodeMap = nodes.stream()        .collect(Collectors.toMap(Node::getId, Function.identity()));        // 维护节点间关系        for (NodeEdge nodeEdge : nodeEdges) {            Node sourceNode = nodeIdAndNodeMap.get(nodeEdge.getSource());            Node targetNode = nodeIdAndNodeMap.get(nodeEdge.getTarget());            sourceNode.addNextNode(targetNode);            targetNode.addPreNode(sourceNode);            ......        }疑问：为什么要设计JSON和AST（抽象语法树）两种数据结构？根据上述JSON数据可以发现，用户编辑画布时，前端只需要维护节点和边两个数组即可；而生成EL表达式的操作在后端，生成方法是利用递归实现的深度优先遍历算法（DFS），显然JSON是不满足递归需求的，所以JSON转换为AST。总之设计JSON和AST就是为了方便前后端去各自维护数据。3.2.6抽象语法树生成EL表达式整个流程的核心就在这里，AST生成EL表达式同样用上面的例子来模拟生成EL表达式过程，该流程只涉及THEN和WHEN，我们约定把THEN和WHEN当成数组来处理，例如THEN(node("a"),node("b"))对应数组[node("a"),node("b")]，同理WHEN。流程必须以一个数组开始。[    node("a")]遇见WHEN分支节点e，创建一个新数组，并加入上一层数组。[    node("a"),    [    ]]分支节点之后的每一个分支都要创建一个数组，并且加入到分支节点的数组中。[    node("a"),    [        [            node("b")        ]    ]]正常的串行，节点直接加入最内层数组。[    node("a"),    [        [            node("b"),            node("d")        ]    ]]遇见汇总节点，什么也不处理。[    node("a"),    [        [            node("b"),            node("d")        ]    ]]继续向下，将f节点加入WHEN节点所在的数组，到达递归的出口。[    node("a"),    [        [            node("b"),            node("d")        ]    ],    node("f")]这可能有疑问，程序是如何定位到WHEN所在的数组在哪呢？利用栈，遇到WHEN节点的时候会将WHEN节点所在的数组压栈，等遇到汇总节点时将数组出栈，那么可以确定f节点应该加入出栈时的数组了。因为是从e节点开始有分支流程的，以b节点开头的分支已经执行完，回溯到另一条分支；同样c节点属于e的一条分支，分支节点之后的每一个分支都要创建一个数组，并且加入到分支节点的数组中。[    node("a"),    [        [            node("b"),            node("d")        ],        [            node("c")        ]    ],    node("f")]到了汇总节点，因为遍历以b节点开头的分支时已经访问了该汇总节点，这次不处理，到达递归的出口。[    node("a"),    [        [            node("b"),            node("d")        ],        [            node("c")        ]    ],    node("f")]如何判断汇总节点是否访问过？用Set，访问过的汇总节点加入Set中，下次再访问先判断Set中有没有该汇总节点，有就不往下执行，到达递归出口。结束！根据上面简单示例，下面是用递归实现DFS的伪代码；文末有全量源码，感兴趣的可以下载参考一下。    public static String ast2El(Node head) {        if (head == null) {            return null;        }        // 用于存放when节点List        Deque stack = new ArrayDeque();        // 用于标记是否处理过summary节点了        Set doneSummary = Sets.newHashSet();        List list = tree2El(head, new ArrayList(), stack, doneSummary);        // 将list生成EL，你可以认为框架有对应的方法        return toEL(list);    }    private static List tree2El(Node currentNode,                                List currentThenList,                                Deque stack,                                Set doneSummary) {        switch (currentNode.getNodeEnum()) {            case COMMON:                currentThenList.add(currentNode.getId());                for (Node nextNode : currentNode.getNext()) {                    tree2El(nextNode, currentThenList, stack, doneSummary);                }            case WHEN:                stack.push(currentThenList);                List whenELList = new ArrayList();                currentThenList.add(whenELList);                for (Node nextNode : currentNode.getNext()) {                    List thenELList = new ArrayList();                    whenELList.add(thenELList);                    tree2El(nextNode, thenELList, stack, doneSummary);                }            case SUMMARY:                if (!doneSummary.contains(currentNode.getId())) {                    doneSummary.add(currentNode.getId());                    // 这种节点只有0个或者1个nextNode                    for (Node nextNode : currentNode.getNext()) {                        tree2El(nextNode, stack.pop(), stack, doneSummary);                    }                }            default:                throw new RuntimeException("未知的节点类型！");        }        return currentThenList;    }3.2.7校验EL表达式的合法性这是生成EL表达式的最后一步；框架有本身有支持校验EL合法性的方法，在生成EL之后进行校验。// 校验是否符合EL语法Boolean isValid = LiteFlowChainELBuilder.validate(el);进行完最后一步，EL表达式就可以入库了。3.3推拉结合刷新流程流程入库之后并不是立即生效，进行以下操作后生效。3.3.1拉框架会定期从数据库（或通过配置指定的任何数据源）中同步最新流程，并将这些流程缓存在内存中；新流程同步和缓存的过程是平滑进行的，不会干扰或打断现有流程的执行；该框架还允许用户根据实际需求配置数据刷新的时间间隔（默认1分钟），具体配置方法可参照官方文档进行详细了解。3.3.2推如果我们希望改动的EL表达式立即生效而不是等待框架被动刷新，我们可以通过官方提供的api进行主动刷新：flowExecutor.reloadRule();需要注意的的是，官方提供的方法只是刷新单个实例节点的流程；如果是集群环境，我们需要借助消息队列以达到通知整个集群的效果。3.4源码目前这套设计方案已在实际业务场景落地并使用；自己进行过很多复杂流程的验证，基于这种规则能百分百保证生成EL表达式的正确性。自己的写的demo，可以借鉴一下思路；里面有一个构造好的复杂流程案例，通过调接口的方式自己感受。https://dl.zhuanstatic.com/fecommon/liteFlow-el.zip4效果收益&未来规划通过引入流程的可视化编排，结合LiteFlow框架的支持，显著提升了流程设计的直观性和开发效率，为项目带来了更为顺畅和高效的开发体验。4.1效果收益：开发人员只需要专注于核心的业务流程设计，而无需在语法规则上耗费过多精力。通过直观的可视化流程界面，产品和研发团队之间的沟通变得更为高效，复杂的业务逻辑能够清晰展现，避免了不必要的沟通。运营能够实时编辑流程节点，并快速了解节点的属性配置；例如“黑名单校验”节点中配置了哪些用户，从而更加灵活地管理业务流程。4.2未来规划痛点：流程编排只是针对现有节点，对于新的业务节点，依然需要开发。对外提供服务可能需要调用方提供较为详尽的参数信息。规划：希望未来借助动态脚本，实现全新业务流程的快速搭建，无需进行任何开发工作。引入数据字典的概念，将常用的参数整合为数据字典，例如只需要一个订单号，便能根据数据字典获取该流程想要的参数，从而降低调用方的开发成本。关于作者蒋韬，转转回收技术部的后端工程师想了解更多转转公司的业务实践，欢迎点击关注下方公众号：