Updated for 2023-07.

install/jupyter/install.bat

@@ -20,7 +20,7 @@
 
 @echo off
 
-set /A SYSML_VERSION="0.33.0"
+set /A SYSML_VERSION="0.34.0"
 
 echo --- Step 1: Testing Conda installation ---
 where conda

install/jupyter/install.sh

@@ -21,7 +21,7 @@
 
 set -e
 
-SYSML_VERSION="0.33.0"
+SYSML_VERSION="0.34.0"
 
 echo "--- Step 1: Testing Conda installation ---"
 command -v conda || (echo "Conda is not installed. Please install Conda and re-run." && return 1)

kerml/src/examples/Simple Tests/Circular.kerml

@@ -5,4 +5,8 @@ package Circular {
 	package P {
 		import Circular::*;
 	}
+
+	feature x :> z;
+	feature y :> x;
+	feature z :> y;
 }

kerml/src/examples/Simple Tests/Connectors.kerml

@@ -4,8 +4,9 @@ package Connectors {
 		feature a : A;
 		feature b : A;
 
-		connector from a to b;
-		connector {
+		connector c1 from a to b;
+		abstract connector c2 = c;
+		connector = c2 {
 			end feature references a;
 			end feature references b;
 		}
@@ -24,4 +25,9 @@ package Connectors {
 			end feature references b;
 		}
 	}
+
+	class B {
+	    feature a : A;	    
+	    connector :> a.c1 from a.a to a.b;
+	}
 }

sysml.library/Domain Libraries/Cause and Effect/CausationConnections.sysml

@@ -61,11 +61,11 @@ standard library package CausationConnections {
 		 * connections with multiple causes.)
 		 */
 
-		end occurrence theCause[*] :>> causes :> source {
+		end occurrence theCause[*] :>> causes :>> source {
 			doc /* The single causing occurrence. */
 		}
 
-		end occurrence theEffect[*] :>> effects :> target {
+		end occurrence theEffect[*] :>> effects :>> target {
 			doc /* The single effect occurrence resulting from the cause. */
 		}
 	}

sysml.library/Kernel Libraries/Kernel Semantic Library/Transfers.kerml

@@ -169,8 +169,11 @@ standard library package Transfers {
 	interaction FlowTransferBefore specializes FlowTransfer, TransferBefore {
 		doc
 		/*
-		 * FlowTransferbefore is a FlowTransfer that is also a TransferBefore. 
+		 * FlowTransferBefore is a FlowTransfer that is also a TransferBefore. 
 		 */
+
+        end feature source: Occurrence[0..*] redefines Transfer::source, TransferBefore::source;
+        end feature target: Occurrence[0..*] redefines Transfer::target, TransferBefore::target;		 
 	}
 
 	step transfers: Transfer[0..*] nonunique subsets performances, binaryLinks {

sysml.library/Systems Library/Connections.sysml

@@ -123,8 +123,8 @@ standard library package Connections {
 		 * messageConnections is the base feature of all FlowConnectionUsages.
 		 */
 
-		end source: Occurrence[0..*] :>> MessageConnection::source, binaryConnections::source, transfers::source;
-		end target: Occurrence[0..*] :>> MessageConnection::target, binaryConnections::target, transfers::target;
+		end occurrence source: Occurrence[0..*] :>> MessageConnection::source, binaryConnections::source, transfers::source;
+		end occurrence target: Occurrence[0..*] :>> MessageConnection::target, binaryConnections::target, transfers::target;
 	}
 
 	abstract message flowConnections: FlowConnection[0..*] nonunique :> messageConnections, flowTransfers {
@@ -134,8 +134,8 @@ standard library package Connections {
 		 * and target input.
 		 */
 
-		end source: Occurrence[0..*] :>> FlowConnection::source, messageConnections::source, flowTransfers::source;
-		end target: Occurrence[0..*] :>> FlowConnection::target, messageConnections::target, flowTransfers::target;
+		end occurrence source: Occurrence[0..*] :>> FlowConnection::source, messageConnections::source, flowTransfers::source;
+		end occurrence target: Occurrence[0..*] :>> FlowConnection::target, messageConnections::target, flowTransfers::target;
 	}
 
 	abstract message successionFlowConnections: SuccessionFlowConnection[0..*] nonunique :> flowConnections, flowTransfersBefore {
@@ -144,7 +144,7 @@ standard library package Connections {
 		 * successionFlowConnections is the base feature of all SuccessionFlowConnectionUsages.
 		 */
 
-		end source: Occurrence[0..*] :>> SuccessionFlowConnection::source, flowConnections::source, flowTransfersBefore::source;
-		end target: Occurrence[0..*] :>> SuccessionFlowConnection::target, flowConnections::target, flowTransfersBefore::target;
+		end occurrence source: Occurrence[0..*] :>> SuccessionFlowConnection::source, flowConnections::source, flowTransfersBefore::source;
+		end occurrence target: Occurrence[0..*] :>> SuccessionFlowConnection::target, flowConnections::target, flowTransfersBefore::target;
 	}
 }

sysml/src/examples/Arrowhead Framework Example/AHFNorwayTopics.sysml

@@ -19,13 +19,13 @@ package AHFNorway {
 	#servicedd port def APIS_DD :> APISService {
 		doc /* Service design description with nested protocol-specific ports */	
 
-		#idd APIS_HTTP {
+		#idd port APIS_HTTP {
 			// the asynch implementation of synchronous remote calls
 			out cll:CallGiveItems;
 			in retrn:ResultGiveItems;
 		}
 
-		#idd APIS_MQTT  {
+		#idd port APIS_MQTT  {
 			// GetAllItems functionality
 			out pub:Publish;
 			out retall:Return_AllItems;
@@ -57,7 +57,7 @@ package AHFNorway {
 			// Call apisp::APIS_HTTP::giveItems(in allitems: String = "All the items", out ackback:Boolean);
 
 			state TellUbehavior{
-				entry send CallGiveItems("All the items") to apisp.APIS_HTTP;
+				entry send CallGiveItems("All the items") via apisp.APIS_HTTP;
 				then Wait;
 				state Wait;
 					accept rs:ResultGiveItems
@@ -81,21 +81,21 @@ package AHFNorway {
 			 {  in itms:String; out ack:Boolean;
 			 	/* Forward itms and return an ack */
 			 	first start;
-			 	then send Return_AllItems(itms) to apisc.APIS_MQTT;
+			 	then send Return_AllItems(itms) via apisc.APIS_MQTT;
 			 	success = true;
 			 	bind ack = success;
 			 }
 
 			state APISPbehavior{
-				entry send Publish("Return_AllItems") to apisc.APIS_MQTT;
+				entry send Publish("Return_AllItems") via apisc.APIS_MQTT;
 				then WaitOnData; 
 
 				state WaitOnData;
 					accept cl:CallGiveItems via tellu.APIS_HTTP
 					do action {
 						first start;
 						then action giveItems{ in itms=cl.itms; out ack=x; }
-						then send ResultGiveItems(x) to tellu.APIS_HTTP;
+						then send ResultGiveItems(x) via tellu.APIS_HTTP;
 					}
 				then WaitOnData;				
 			}
@@ -110,7 +110,7 @@ package AHFNorway {
 
 			// Now sending signal to the remote behavior through the port functionality
 			state MQTT_APISP {
-				entry send Subscribe("Return_AllItems") to apisp.APIS_MQTT; 
+				entry send Subscribe("Return_AllItems") via apisp.APIS_MQTT; 
 				then Idle;		
 				state Idle;
 					accept Return_AllItems via apisp.APIS_MQTT
@@ -138,7 +138,7 @@ package AHFNorway {
 
  				state Idle;
  					accept retrnall:Return_AllItems via getTopic.APIS_MQTT
- 					do send retrnall to giveTopic.APIS_MQTT
+ 					do send retrnall via giveTopic.APIS_MQTT
  				then Idle;
  			} 			
  		}

sysml/src/examples/Flashlight Example/Flashlight Example.sysml

@@ -20,8 +20,8 @@ package 'Flashlight Example' {
 		}
 
 		interface userToFlashlight connect user.onOffCmdPort to flashlight.onOffCmdPort {
-			ref flow :> illuminateRegion.onOffCmdFlow
-				from source.onOffCmd to target.onOffCmd;
+			ref flow references illuminateRegion.onOffCmdFlow
+				from source.onOffCmd to target.onOffCmd; 
 		}
 
 		part flashlight {

sysml/src/examples/Simple Tests/ConjugationTest.sysml

@@ -22,13 +22,13 @@ package ConjugationTest {
 			port p2: ~P;		
 		}
 
-		connection a: A connect p.p1 to p.p2 {
-			end port p3: P;
-			end port p4: ~P;
+		connection a: A {
+			end port p3: P ::> p.p1;
+			end port p4: ~P ::> p.p2;
 		}
-		interface i: I connect p.p1 to p.p2 {
-			end port p3: P;
-			end port p4: ~P;
+		interface i: I {
+			end port p3: P ::> p.p1;
+			end port p4: ~P ::> p.p2;
 		}
 	}
 

sysml/src/examples/Simple Tests/ConnectionTest.sysml

@@ -38,8 +38,8 @@ package ConnectionTest {
 	}
 
 	flow def F {
-		end p : P;
-		end q;
+		end f_p : P;
+		end f_q;
 	}
 
 	message : F from p to p;

sysml/src/examples/Simple Tests/PartTest.sysml

@@ -30,4 +30,10 @@ package PartTest {
 		alias z2 for y;
 	}
 
+    part p1 :> p2;
+    part p2 :> p3; 
+    part p3 :> p1;
+
+    part p4 :> p4;
+
 }

sysml/src/examples/Vehicle Example/SysML v2 Spec Annex A SimpleVehicleModel.sysml

@@ -1501,10 +1501,10 @@ package SimpleVehicleModel{
                         }
                     }
                 }
-                // varaition point based on variation of part definition
-                variation part transmissionChoices:TransmissionChoices;
+                // variation point based on variation of part definition
+                part transmissionChoices:TransmissionChoices;
                 // optional variation point
-                variation part sunroof:Sunroof;
+                part sunroof:Sunroof[0..1];
                 // selection constraint
                 assert constraint selectionConstraint{
                     (engine==engine::engine4Cyl and transmissionChoices==TransmissionChoices::transmissionManual) xor

sysml/src/validation/14-Language Extensions/14c-Language Extensions.sysml

@@ -162,23 +162,23 @@ package '14c-Language-Extensions' {
 
 			#prevention connect 'battery depleted' to req1;
 
-			#cause 'battery depleted' {
+			#cause occurrence 'battery depleted' {
 				:>> occurs = 0.005;
 			}
 
 			#causation first 'battery depleted' then 'battery cannot be charged';
 
-			#failure 'battery cannot be charged' {
+			#failure occurrence 'battery cannot be charged' {
 				:>> detected = 0.013;
 			}
 
 			#causation first 'battery cannot be charged' then 'glucose level undetected';
 
-			#effect 'glucose level undetected';
+			#effect occurrence 'glucose level undetected';
 
 			#causation first 'glucose level undetected' then 'therapy delay';
 
-			#effect 'therapy delay' {
+			#effect occurrence 'therapy delay' {
 				:>> severity = "High";
 			}