Process choreography models facilitate the coordination of interactions among collaborating organizations. Recent advances integrate data into choreography modeling yet typically confine the scope of shared data to a single instance of a choreography. In practice, however, multiple choreography instances may access the same shared data object concurrently. This can lead to inconsistent views of the object among participants, resulting in conflicts that remain hidden during design. To address this limitation, we propose an object-centric extension of process choreography execution semantics based on typed Petri Nets with Identifiers, enabling the formal detection of conflicting object views during design time. In addition, this paper introduces two coordination patterns—optimistic conflict handling and pessimistic locking—that can be embedded into BPMN choreography diagrams to proactively prevent these conflicts. These extensions enhance the expressiveness and reliability of choreography models by enabling more robust coordination across concurrent instances with shared data.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Detecting Conflicting Object Views in Object-Centric Process Choreographies

  • Tom Lichtenstein,
  • Anjo Seidel,
  • Mathias Weske

摘要

Process choreography models facilitate the coordination of interactions among collaborating organizations. Recent advances integrate data into choreography modeling yet typically confine the scope of shared data to a single instance of a choreography. In practice, however, multiple choreography instances may access the same shared data object concurrently. This can lead to inconsistent views of the object among participants, resulting in conflicts that remain hidden during design. To address this limitation, we propose an object-centric extension of process choreography execution semantics based on typed Petri Nets with Identifiers, enabling the formal detection of conflicting object views during design time. In addition, this paper introduces two coordination patterns—optimistic conflict handling and pessimistic locking—that can be embedded into BPMN choreography diagrams to proactively prevent these conflicts. These extensions enhance the expressiveness and reliability of choreography models by enabling more robust coordination across concurrent instances with shared data.