User Tools

Site Tools


pe-bpmn-editor_otsend

OTSend

This is the sending task for oblivious transfer. It takes as an input a set of data (among which the receiver chooses which to receive) and has no output.

Required input objects

1 data object (input data)

Required input parameters

group (with OTReceive task)

Required output objects

0 data objects

Restrictions

Restriction: task must have exactly one input and zero output data objects
Error: exactly 1 input and 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

Group specific restrictions

Restriction: there must be exactly one OTReceive and one OTSend task in a stereotype group
Error: element with OTReceive 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: tasks of stereotype group must be parallel or OTReceive task of the stereotype group must be directly connected (through message flow) to the OTSend task of the same group
Error: element with OTReceive stereotype in this group must be directly connected (through message flow) to the element with OTSend stereotype and there must be no other connections between them

Restriction: OTSend task from the stereotype group must be in incoming path, but not in outgoing path of OTReceive task from the same stereotype group
Error: element with OTSend stereotype in this group must be before element with OTReceive stereotype

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 Exclusive Gateway elements in their paths (all tasks have the same exclusive gateway in their paths) must exist in all paths that start from these common exclusive gateways
Warning: group task is possibly not accessible to the rest of the group

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

pe-bpmn-editor_otsend.txt · Last modified: 2020/03/02 14:59 by pullonen