ST6RI-897 Fixed validation errors in sequence realization examples.

Author: seidewitz

sysml/src/examples/Interaction Sequencing Examples/ServerSequenceOutsideRealization-2.sysml

@@ -71,17 +71,17 @@ package ServerSequenceOutsideRealization_2 {
 		part :>> server :> server_2;
 		part :>> consumer :> consumer_2;
 
-		message :>> publish_message: Transfers::MessageTransfer {
- 			end :>> source = producer.publicationPort;
- 			end :>> target = server.publicationPort;
+		flow :>> publish_message: Transfers::MessageTransfer {
+ 			end :>> source ::> producer.publicationPort;
+ 			end :>> target ::> server.publicationPort;
  		}
-		message :>> subscribe_message: Transfers::MessageTransfer {
- 			end :>> source = consumer.subscriptionPort;
- 			end :>> target = server.subscriptionPort;
+		flow :>> subscribe_message: Transfers::MessageTransfer {
+ 			end :>> source ::> consumer.subscriptionPort;
+ 			end :>> target ::> server.subscriptionPort;
  		}
-		message :>> deliver_message: Transfers::MessageTransfer {
- 			end :>> source = server;
- 			end :>> target = consumer;
+		flow :>> deliver_message: Transfers::MessageTransfer {
+ 			end :>> source ::> server;
+ 			end :>> target ::> consumer;
  		}
 
  		/* Binding sent/accept messages to specification model messages. */

sysml/src/examples/Interaction Sequencing Examples/ServerSequenceRealization-2.sysml

@@ -76,17 +76,17 @@ package ServerSequenceRealization_2 {
 			event consumerBehavior.delivery[1] :>> deliver_target_event;
 		}
 
-		message :>> publish_message: Transfers::MessageTransfer {
- 			end :>> source = producer.publicationPort;
- 			end :>> target = server.publicationPort;
+		flow :>> publish_message: Transfers::MessageTransfer {
+ 			end :>> source ::> producer.publicationPort;
+ 			end :>> target ::> server.publicationPort;
  		}
-		message :>> subscribe_message: Transfers::MessageTransfer {
- 			end :>> source = consumer.subscriptionPort;
- 			end :>> target = server.subscriptionPort;
+		flow :>> subscribe_message: Transfers::MessageTransfer {
+ 			end :>> source ::> consumer.subscriptionPort;
+ 			end :>> target ::> server.subscriptionPort;
  		}
-		message :>> deliver_message: Transfers::MessageTransfer {
- 			end :>> source = server;
- 			end :>> target = consumer;
+		flow :>> deliver_message: Transfers::MessageTransfer {
+ 			end :>> source ::> server;
+ 			end :>> target ::> consumer;
  		}
 
  		/* Binding sent/accept messages to specification model messages. */