0…n data objects (enclave measurement)

group (with SGXAttestationChallenge task)

0 data objects

Restriction: task must have no output data objects
Error: no outputs are required

Restriction: “groupId” property must exist under stereotype details object - group must have been selected and saved and “groupId” information must not have been deleted from model’s file
Error: groupId is undefined

Restriction: there must be exactly one SGXAttestationChallenge and one SGXAttestationEnclave task in a stereotype group
Error: element with SGXAttestationChallenge stereotype is missing from the group

Restriction: both group tasks from the same stereotype group must be on different lanes
Error: both group tasks must be on separate lane

Restriction: task from the stereotype group must not be in the flow (incoming or outgoing path) of another task from the same stereotype group
Error: both group tasks must be parallel

Restriction: all tasks from different stereotype groups must be in the same order on each lane - ordered lists of stereotype groups must match for each lane
Warning: all group tasks are possibly not parallel

Restriction: all tasks from the same stereotype group that have common ExclusiveGateway elements in their flows must exist in all paths that start from these common ExclusiveGateways
Warning: group task is possibly not accessible to the rest of the group

Restriction: there must be at least one StartEvent element on the model (to run parallelity checks)
Warning: StartEvent element is missing