Detecting Conflicting Object Views in Object-Centric Process Choreographies
摘要
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.