diff -r 000000000000 -r 4d5b3eda7be1 exec/protocol.csv
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/exec/protocol.csv	Sun Jan 05 16:28:53 2020 +0100
@@ -0,0 +1,29 @@
+/,to,label
+start,VERSION_SUPPORTED,
+VERSION_SUPPORTED,WAITING_FOR_VERSION,
+VERSION_SUPPORTED,VERSION_SUPPORTED,+
+WAITING_FOR_VERSION,VERSION_ACCEPTED,
+VERSION_ACCEPTED,RELATION_START,
+RELATION_START,INPUT_ATTRIBUTE_METADATA,
+INPUT_ATTRIBUTE_METADATA,INPUT_ATTRIBUTE_METADATA,*
+INPUT_ATTRIBUTE_METADATA,OUTPUT_ATTRIBUTE_ALIAS,
+OUTPUT_ATTRIBUTE_ALIAS,OUTPUT_ATTRIBUTE_ALIAS,*
+OUTPUT_ATTRIBUTE_ALIAS,OPTION,
+OPTION,OPTION,*
+OPTION,WAITING_FOR_OUTPUT_ATTRIBUTES,
+OPTION,COMPLETION_REQUEST,
+COMPLETION_REQUEST,COMPLETION,
+COMPLETION,COMPLETION,*
+COMPLETION,COMPLETION_END,
+COMPLETION_END,end,
+WAITING_FOR_OUTPUT_ATTRIBUTES,OUTPUT_ATTRIBUTE_METADATA,
+OUTPUT_ATTRIBUTE_METADATA,OUTPUT_ATTRIBUTE_METADATA,*
+OUTPUT_ATTRIBUTE_METADATA,WAITING_FOR_RECORDS,
+WAITING_FOR_RECORDS,RELATION_END,
+WAITING_FOR_RECORDS,INPUT_ATTRIBUTE,
+INPUT_ATTRIBUTE,INPUT_ATTRIBUTE,*
+INPUT_ATTRIBUTE,WAITING_FOR_OUTPUT_ATTRIBUTE,
+WAITING_FOR_OUTPUT_ATTRIBUTE,OUTPUT_ATTRIBUTE,
+OUTPUT_ATTRIBUTE,OUTPUT_ATTRIBUTE,*
+OUTPUT_ATTRIBUTE,WAITING_FOR_RECORDS,
+RELATION_END,end,