Updated sequence realization examples to fix validation errors.

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. */

sysml/src/training/35. Use Cases/Use Case Usage Example.sysml

@@ -11,8 +11,8 @@ package 'Use Case Usage Example' {
 
 		then include use case 'enter vehicle' : 'Enter Vehicle' {
 		    subject vehicle;
-			actor :>> driver = 'provide transportation'::driver;
-			actor :>> passengers = 'provide transportation'::passengers;
+			actor driver = 'provide transportation'::driver;
+			actor passengers = 'provide transportation'::passengers;
 		}
 
 		then use case 'drive vehicle' {
@@ -22,14 +22,14 @@ package 'Use Case Usage Example' {
 
 			include 'add fuel'[0..*] { 
                 subject vehicle;
-				actor :>> fueler = driver;
+				actor fueler = driver;
 			}
 		}
 
 		then include use case 'exit vehicle' : 'Exit Vehicle' {
             subject vehicle;
-			actor :>> driver = 'provide transportation'::driver;
-			actor :>> passengers = 'provide transportation'::passengers;
+			actor driver = 'provide transportation'::driver;
+			actor passengers = 'provide transportation'::passengers;
 		}
 
 		then done;