The widely adopted Business Process Model and Notation (BPMN) is a cornerstone of industry standards for business process modeling. However, its ambiguous execution semantics often result in inconsistent interpretations, depending on the software used for implementation. In response, the Process Specification Language (PASS) provides formally defined semantics to overcome these interpretational challenges. Despite its clear advantages, PASS has not reached the same level of industry penetration as BPMN. This feasibility study proposes using PASS as an intermediary framework to translate and execute BPMN models. It describes the development of a prototype translator that converts specific BPMN elements into a format compatible with PASS. These models are then transformed into source code and executed in a bespoke workflow environment, marking a departure from traditional BPMN implementations. Our findings suggest that integrating PASS enhances compatibility across different modeling and execution tools and offers a more robust methodology for implementing business processes across organizations. This study lays the groundwork for more accurate and unified business process model executions, potentially transforming industry standards for process modeling and execution.

翻译：广泛采用的业务流程模型与标注（BPMN）是业务流程建模行业标准的基石。然而，其模糊的执行语义常导致不一致的解释，具体取决于实现所用的软件。为此，流程规范语言（PASS）提供了形式化定义的语义以克服这些解释性挑战。尽管具有明显优势，PASS尚未达到BPMN同等的行业普及度。本可行性研究提出使用PASS作为中间框架来翻译和执行BPMN模型。研究描述了一个原型翻译器的开发过程，该翻译器可将特定BPMN元素转换为与PASS兼容的格式。这些模型随后被转化为源代码，并在定制的工作流环境中执行，这标志着对传统BPMN实现方式的突破。我们的研究结果表明，集成PASS可增强不同建模与执行工具间的兼容性，并为跨组织的业务流程实现提供了更稳健的方法论。本研究为更精确、统一的业务流程模型执行奠定了基础，有望变革流程建模与执行的行业标准。