数据感知业务流程中的理论与实践的婚姻：基于低代码方法
软件工程
2025-11-03 v1 形式语言与自动机理论
摘要
近年来，人们对业务流程模型的验证越来越感兴趣。尽管这些模型缺乏形式化描述，但在产业和学术界都得到广泛应用。为此，必须形式化地定义业务流程建模语言的执行语义。鉴于数据和流程是同一硬币的两面，且数据是业务流程模型执行中的关键元素，本 work 引入了一种注入数据可执行BPMN模型，即BPMN-ProX。BPMN-ProX是一种低代码测试框架，显著提升了数据感知BPMN的验证工作。该低代码平台帮助非技术专家与专业人士之间的鸿沟，提出一种集成先进数据处理并通过领先模型检查器实现稳健验证机制的工具。这种创新方法结合了理论验证与实际建模，促进了更敏捷、更可靠、更以用户为中心的业务流程管理。
引用
@article{arxiv.2510.27229,
title = {On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code},
author = {Ali Nour Eldin and Benjamin Dalmas and Walid Gaaloul},
journal= {arXiv preprint arXiv:2510.27229},
year = {2025}
}