RuoYi-Vue-Pro 2.4.1版本发布:工作流引擎全面升级
RuoYi-Vue-Pro是基于Spring Boot和Vue3的企业级快速开发平台,它整合了工作流引擎、多租户、数据权限等企业级特性。本次2.4.1版本带来了工作流引擎的重大升级,新增了多项实用功能,同时优化了系统性能和用户体验。
工作流引擎全面增强
本次版本对BPM工作流引擎进行了全方位的功能增强,使流程设计和管理能力达到了新的高度。
流程设计器功能扩展
在SIMPLE设计器中新增了多项关键功能组件:
-
延迟器:允许在流程中设置延迟执行节点,为需要定时触发的业务流程提供了原生支持。开发人员可以轻松配置延迟时间,实现如"3天后自动审批"等场景。
-
触发器:新增的触发器功能使流程能够响应外部事件,实现了事件驱动的流程设计模式。这大大扩展了工作流与外部系统的集成能力。
-
任务审批监听器:通过监听器机制,开发人员可以在任务审批前后插入自定义逻辑,实现如审批前数据校验、审批后通知等扩展功能。
-
路由分支:增强了流程的决策能力,支持基于条件的多路径分支,使复杂业务逻辑的流程建模更加直观和灵活。
流程审批功能优化
针对审批环节,本次更新带来了多项实用改进:
-
电子签名支持:在SIMPLE和BPMN设计器中都新增了电子签名功能,满足需要签批的业务场景合规性要求。
-
审批意见配置:新增了"是否需要填写审批意见"的配置选项,管理员可以根据业务需求灵活控制审批环节的信息填写要求。
-
跳过表达式:在BPMN设计器中增加了跳过表达式功能,允许基于条件自动跳过某些审批节点,提升流程效率。
流程管理增强
-
流程模型管理:优化了流程模型的编辑体验,新增了"复制"功能,方便快速创建相似流程。同时解决了列表卡顿问题,提升了操作流畅度。
-
流程实例清理:新增了基于模型的流程实例清理功能,帮助管理员维护系统数据健康。
-
流程数据查看:新增了流程实例数据查看功能,便于问题排查和业务审计。
系统功能优化与修复
除了工作流引擎的升级,本次版本还对系统整体进行了多项优化和问题修复。
管理后台改进
-
菜单管理优化:采用虚拟化树形控件重构了菜单管理界面,显著提升了大型菜单结构的渲染性能。
-
密码重置:新增了通过短信重置后台密码的功能,增强了账户安全性。
-
文件管理:文件列表新增了复制链接功能,提升了操作便捷性。
商城模块修复
- 修复了退款回收优惠券的错误逻辑
- 解决了分销提现金额计算不准确的问题
- 修正了积分兑换商品的校验逻辑
技术架构优化
在底层技术架构方面,本次版本也进行了多项改进:
- 优化了InEnum注解的使用,不再强制指定int类型,通过泛型提高了类型安全性。
- 简化了滑动脱敏处理器的实现,提升了数据处理效率。
- 解决了Vite构建工具的CJS Node API废弃警告。
总结
RuoYi-Vue-Pro 2.4.1版本通过全面增强工作流引擎功能,进一步巩固了其作为企业级开发平台的地位。新增的延迟器、触发器、电子签名等功能,使平台能够满足更复杂的业务流程需求。同时,系统性能和用户体验的持续优化,也体现了开发团队对产品质量的不懈追求。这些改进将使开发人员能够更高效地构建复杂的企业应用系统。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C046
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0124
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00