Message_2
Message_1
Message_1
SequenceFlow_1
SequenceFlow_1
SequenceFlow_3
DataInput_2
DataOutput_1
username
DataInput_2
DataOutput_1
traveller
SequenceFlow_3
SequenceFlow_4
SequenceFlow_8
return traveller != null;
SequenceFlow_4
SequenceFlow_7
DataInput_4
traveller
DataInput_4
SequenceFlow_7
return traveller == null;
SequenceFlow_8