Process
Wenn das Attribut Ad hoc = True ist, dann muss das Attribut Completion Condition gepflegt sein.
Wenn ein Ad hoc-Prozess verfeinert ist, dürfen innerhalb des hinterlegten Modells keine Sequence flows modelliert sein.
Sub-Process
Wenn für das Attribut Subprocess Type der Wert Independend verwendet wird, muss auch das Attribut Process Reference gepflegt werden.
Wenn für einen Subprozess das Attribut Transaction aktiviert ist, muss auch das Attribut Transaction ID gepflegt sein.
Wenn das Attribut Loop Type gepflegt ist, muss auch das Attribut Loop Condition gepflegt sein.
Wenn die Modelle in BPEL4WS übertragen werden sollen, sollte auch geprüft werden, ob für Prozesse mit dem Wert Standard für das Attribut Loop Type das Attribut Maximum gepflegt ist.
Wenn für das Attribut Loop Type der Wert Standard gepflegt ist, muss auch das Attribut Test before gepflegt sein. Das Attribut Test before soll standardmäßig deaktiviert sein.
Wenn für das Attribut Loop Type der Wert Multi Instance gepflegt ist, soll auch das Attribut Parallel Instance Generation gepflegt sein. Das Attribut Parallel Instance Generation soll standardmäßig deaktiviert sein.
Wenn das Attribut Loop Type eines Subprozesses den Wert Multi Instance besitzt und zugleich das Attribut Parallel Instance Generation aktiviert ist, muss auch das Attribut Loop Flow Condition gepflegt sein.
Wenn in einem Prozess für das Attribut Loop Flow Condition der Wert Complex gesetzt ist, muss für das Attribut Complex ein Ausdruck gepflegt werden, der bestimmt, wann und wie viele Prozessmarken nach dem Subprozess weitergegeben werden.
Task
Wenn für das Attribut Task Type der Wert Receive gepflegt ist, soll die Funktion keine ausgehenden Message flow-Kanten besitzen.
Wenn für das Attribut Task Type der Wert Send gepflegt ist, soll die Funktion keine eingehenden Message flow-Kanten besitzen.
Wenn das Attribut Task Type nicht gepflegt ist oder die Werte Script oder Manual gesetzt sind, soll die Funktion keine ausgehenden und keine eingehenden Message flow-Kanten besitzen.
Für Funktionen, für deren Attribut Task Type der Wert Abstract gepflegt ist, muss auch das Attribut Abstract Type gepflegt werden. Darüber hinaus dürfen sie nur in Pools des Typs Abstract oder in Collaborations verwendet werden.