基于高阶变换的BPMN形式化与图变换系统分析方法
软件工程
2024-10-09 v7
摘要
业务流程建模符号（BPMN）是一种广泛用于定义组织内和组织间工作流的标准符号。然而，BPMN执行语义的非形式化描述导致对BPMN元素的不同解释以及行为属性检查的困难。在本文中，我们提出了一种BPMN执行语义的形式化方法，与现有方法相比，其覆盖了更多BPMN元素，同时也便于属性检查。我们的方法基于从BPMN模型到图变换系统的高阶变换。为展示我们方法的能力，我们将其实现为一个开源的基于Web的工具。
引用
@article{arxiv.2311.05243,
title = {A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems},
author = {Tim Kräuter and Adrian Rutle and Harald König and Yngve Lamo},
journal= {arXiv preprint arXiv:2311.05243},
year = {2024}
}