Made a few additional updates to training models.

Author: seidewitz

sysml/src/training/09. Connections/Connections Example.sysml

@@ -12,8 +12,8 @@ package 'Connections Example' {
 	part def LugBoltJoint;
 
 	connection def PressureSeat {
-		end bead : TireBead[1];
-		end mountingRim : TireMountingRim[1];
+		end [1] part bead : TireBead;
+		end [1] part mountingRim : TireMountingRim;
 	}
 
 	part wheelHubAssembly : WheelHubAssembly {

sysml/src/training/34. Verification/Verification Case Definition Example.sysml

@@ -6,10 +6,13 @@ package 'Verification Case Definition Example' {
 
 	requirement vehicleMassRequirement {
 		subject vehicle : Vehicle;
-		in massActual :> ISQ::mass = vehicle.mass;
+		in massActual :> ISQ::mass;
 		doc /* The vehicle mass shall be less than or equal to 2500 kg. */
 
-		require constraint { massActual <= 2500[SI::kg] }
+		require constraint { 
+		    massActual == vehicle.mass and 
+		    massActual <= 2500[SI::kg]
+		}
 	}
 
 	verification def VehicleMassTest {
@@ -35,7 +38,7 @@ package 'Verification Case Definition Example' {
 			in massProcessed :> ISQ::mass = processData.massProcessed;
 			out verdict : VerdictKind = 
 				// Check that 'testVehicle' statisfies 'vehicleMassRequirement' if its mass equals 'massProcessed'.
-				PassIf(vehicleMassRequirement(vehicle = testVehicle(mass = massProcessed)));
+				PassIf(vehicleMassRequirement(vehicle = testVehicle, massActual = massProcessed));
 		}
 
 		return verdict : VerdictKind = evaluateData.verdict;