[论文解读] C-BPMN: A Context Aware BPMN for Modeling Complex Business Process

Debarpita Santra, Sankhayan Choudhury|arXiv (Cornell University)|Jun 4, 2018

Business Process Modeling and Analysis参考文献 26被引用 4

一句话总结

本文提出了C-BPMN，一种扩展的业务流程模型与符号（BPMN），通过基于图的上下文模型和新的BPMN构件，将上下文感知能力集成到业务流程建模中。通过增强BPMN的上下文敏感逻辑，并利用着色Petri网对模型进行验证，该方法提高了复杂、依赖上下文的流程在适应性、可理解性和可维护性方面的表现。

ABSTRACT

A complex business process demands adaptability as it has been highly influenced by the contextual information. The contextual information declares the underlying semantics on which the process logic depends. Thus one of the challenges of a business process modeling is to include the context sensitivity within the modeling itself. BPMN is the widely accepted tool in this field. All the process modeling languages like EPC, UML, BPMN are not able to express the context awareness as required. In this paper an attempt has been made to offer a means for modeling a complex business process with necessary contextual information. We have proposed a context model in terms of a graph, extended the existing BPMN by adding new construct and integrated the said components to achieve our goal. The methodology as stated certainly offers necessary understandability, maintainability and the adaptability as a whole. Moreover the model is validated using Colored Petri Net and is expected to behave properly in a real life environment.

研究动机与目标

• 解决传统业务流程建模语言（如BPMN、EPC和UML）缺乏上下文感知能力的问题。
• 支持对基于上下文信息动态适应的复杂业务流程进行建模。
• 通过新增构件扩展BPMN，以显式表示依赖上下文的行为。
• 通过集成上下文建模，确保模型具备可维护性、可理解性和适应性。
• 通过着色Petri网的正式验证方法，验证所提出的模型。

提出的方法

• 提出一种基于图的上下文模型，将上下文信息表示为影响流程逻辑的语义关系。
• 通过新增元素扩展标准BPMN，以表达上下文敏感的决策点和行为变化。
• 通过正式映射将上下文模型与BPMN集成，确保语义一致性。
• 使用着色Petri网（CPN）作为正式验证技术，验证C-BPMN模型的行为正确性。
• 定义从C-BPMN模型到CPN的转换管道，用于正式分析和验证。
• 通过编码上下文触发器和条件转换，确保模型支持运行时自适应能力。

实验结果

研究问题

• RQ1 如何正式建模并集成上下文信息到业务流程模型中，以实现动态适应？
• RQ2 为表达上下文感知行为，BPMN需要哪些扩展，同时又不损害清晰性或标准化？
• RQ3 所提出的C-BPMN模型如何确保在复杂、依赖上下文的流程中行为的正确性和一致性？
• RQ4 上下文建模的集成在多大程度上提升了业务流程模型的可维护性和可理解性？
• RQ5 使用着色Petri网进行正式验证，能否有效验证上下文感知BPMN模型的行为？

主要发现

• C-BPMN模型通过正式的基于图的上下文模型，成功将上下文信息集成到BPMN中，实现了上下文感知的流程执行。
• 通过新增构件扩展BPMN，能够显式建模依赖上下文的决策和转换，显著提升了模型的表达能力。
• 通过着色Petri网进行正式验证，确认了C-BPMN模型的行为正确性和一致性。
• 由于结构化的上下文表示和清晰的关注点分离，该模型在可维护性和可理解性方面表现更优。
• 通过在流程模型中编码上下文触发器和条件逻辑，该方法支持运行时自适应能力。
• 验证过程表明，C-BPMN模型在真实场景中行为正确，经正式分析得到证实。