User Tools

Site Tools


pe-bpmn-editor_otreceive

OTReceive

This is the receiving task of the oblivious transfer protocol. It takes as input the choice of the receiver and as an output gets the input of the OTSend task in the group that was chosen by the receiver.

Required input objects

1 data object (query)

Required input parameters

group (with OTSend task)

Required output objects

1 data object (input)

Restrictions

Restriction: task must have exactly one input and one output data objects
Error: exactly 1 input and 1 output 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 OTSend 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_otreceive.txt · Last modified: 2020/03/02 14:59 by pullonen