Regeln für die Blockstruktur

Wie bereits erwähnt entspricht die Verwendungsweise von Klammern in mathematischen Ausdrücken in etwa der Art und Weise, wie "Blöcke" in einem Workflow verwendet werden. Zur Erinnerung: Es gibt die Blocktypn 'Auswahl', 'Parallel' und 'Schleife'. In Cúram Workflow bedeutet dies Folgendes:

• Alle einen Block startende Konstrukte (Split des Typs 'Auswahl', Split des Typs 'Parallel' oder Schleifenbeginnaktivität) müssen mit einem entsprechenden, einen Block beendenden Konstrukt (Join des Typs 'Auswahl', Join des Typs 'Parallel' und Schleifenendaktivität) beendet werden.

  Im Fall von Splits und Joins müssen alle von einem Split abgehenden Wege wieder am entsprechenden Join zusammentreffen.

  Begründung: Durch die erforderliche Übereinstimmung von Splits und Joins (als Beispiel) wird die Lesbarkeit eines Workflows verbessert. In einem Abschnitt mit mehreren Pfaden wird dadurch verdeutlicht, ob ein einzelner Weg (oder mehrere Wege) verfolgt werden können. Dies wiederum verdeutlicht, ob an dem Punkt, wo die Wege wieder zusammenlaufen, eine Synchronisation erforderlich ist oder nicht.

  Wäre es nicht erforderlich, dass die Splits und Joins übereinstimmen müssen, wäre es sehr leicht, Prozesse zu modellieren, die unterbrochen werden können oder deren Ende erreicht werden könnte, bevor einige Aktivitäten erfolgreich abgeschlossen wurden.

• Blöcke können ineinander verschachtelt sein (beispielsweise ein Split des Typs 'Auswahl' in einer Schleife), sie können jedoch nicht ineinandergreifen (beispielsweise kann kein Übergang von einem Split des Typs 'Auswahl' zu einer Aktivität außerhalb der Schleife führen).

  Dadurch können Situationen vermieden werden, die für die Engine schwierig zu verarbeiten und für Workflowentwickler nicht intuitiv genug sind.

  Angenommen, eine Schleife enthält einen Join, wobei der Join über zwei eingehende Übergänge verfügt: einen von einer Aktivität innerhalb der Schleife und einen von einer Aktivität außerhalb der Schleife.

  In dieser Situation ist es sehr schwierig, ein optimales Vorgehen für die Join-Synchronisation festzulegen. Ein eingehender Übergang kann nur einmal ausgelöst werden, der andere mehrmals. Alle Regeln für die Handhabung dieser Situation wären willkürlich und demnach nicht intuitiv.

  Workflows, für die Blöcke des Typs 'Auswahl', 'Parallel' und 'Schleife' definiert wurden, haben eine einfache klare Struktur, deren Bedeutung sofort erkennbar ist.