Added example and training models.

- Added example models for cause/effect and requirements derivation.
- Added training model for local clocks.
- Made minor corrections to CollectionFunctions, TrigFunctions and
VectorFunctions library models.

Author: seidewitz

sysml.library/Kernel Libraries/Kernel Function Library/CollectionFunctions.kerml

@@ -53,9 +53,7 @@ package CollectionFunctions {
 		return : Anything[0..1] = (col.elements as Anything)[index];		
 	}
 
-	function 'array[' specializes '[' { in arr: Array[1]; in indexes: Positive[n] ordered nonunique;
-		return : Anything[0..1];
-		
+	function 'array[' specializes BaseFunctions::'[' { in arr: Array[1]; in indexes: Positive[n] ordered nonunique;		
 		private feature n : Natural[1] = arr.rank;
 
 		// Assumes row-major ordering for elements.

sysml.library/Kernel Libraries/Kernel Function Library/TrigFunctions.kerml

@@ -17,8 +17,7 @@ package TrigFunctions {
 	}
 
 	datatype UnitBoundedReal :> Real {
-		private x :>> self;
-		inv unitBound { -1.0 <= x & x <= 1.0 }
+		inv unitBound { -1.0 <= that & that <= 1.0 }
 	}
 
 	function sin { in theta : Real[1]; return : UnitBoundedReal[1]; }

sysml.library/Kernel Libraries/Kernel Function Library/VectorFunctions.kerml

@@ -109,8 +109,7 @@ package VectorFunctions {
 
 		in v: NumericalVectorValue[1]; 
 		in x: NumericalValue[1];
-		return w: NumericalVectorValue[1];
-		scalarVectorMult(x, v)
+		return w: NumericalVectorValue[1] = scalarVectorMult(x, v);
 	}
 
 	abstract function vectorScalarDiv specializes DataFunctions::'/' {
@@ -171,13 +170,14 @@ package VectorFunctions {
 		 * The dimension of the NumericalVectorValue is equal to the number of components.
 		 */
 
-		in components: Real[*]; 
+		in components: Real[*] ordered nonunique; 
 		return : CartesianVectorValue[1] {
 			:>> dimension = size(components);
 			:>> elements = components;
 		}
 	}
-	function CartesianThreeVectorOf specializes CartesianVectorOf { in components: Real[3];
+	function CartesianThreeVectorOf specializes CartesianVectorOf { 
+		in components: Real[3] ordered nonunique;
 		return : CartesianThreeVectorValue[1];
 	}
 

sysml/src/examples/Cause and Effect Examples/MedicalDeviceFailure.sysml

@@ -0,0 +1,25 @@
+package MedicalDeviceFailure {
+	import CauseAndEffect::*;
+	
+	part medicalDevice {
+		part battery {
+			event occurrence depleted;
+			event occurrence cannotBeCharged;
+		}
+		
+		event occurrence deviceFails;
+		
+		ref patient {
+			event occurrence therapyDelayed;
+		}
+		
+		#multicausation connection {
+			end #cause :> battery.depleted;
+			end #cause :> battery.cannotBeCharged;
+			end #effect :> deviceFails;
+		}
+		
+		#causation connect deviceFails to patient.therapyDelayed;
+	}	
+	
+}

sysml/src/examples/Requirements Examples/VehicleRequirementDerivation.sysml

@@ -0,0 +1,40 @@
+package VehicleRequirementDerivation {
+	import RequirementDerivation::*;
+	
+	part vehicle {
+		attribute mass :> ISQ::mass;
+		
+		part chassis {
+			attribute mass :> ISQ::mass;
+		}
+		
+		part engine {
+			attribute mass :> ISQ::mass;
+		}
+	}
+	
+	requirement def MassRequirement {
+		subject mass :> ISQ::mass;
+		attribute massLimit :> ISQ::mass;
+		require constraint { mass <= massLimit }
+	}
+	
+	requirement vehicleMassRequirement : MassRequirement {
+		subject :>> mass = vehicle.mass;
+	}
+	
+	requirement chassisMassRequirement : MassRequirement {
+		subject :>> mass = vehicle.chassis.mass;
+	}
+	
+	requirement engineMassRequirement : MassRequirement {
+		subject :>> mass = vehicle.engine.mass;
+	}
+	
+	#derivation connection {
+		end #original :> vehicleMassRequirement;
+		end #derive :> chassisMassRequirement;
+		end #derive :> engineMassRequirement;
+	}
+	
+}

sysml/src/training/24. Transitions/Change and Time Triggers.sysml

@@ -21,7 +21,7 @@ package 'Change and Time Triggers' {
 		in controller : VehicleController;
 
 		entry; then normal;
-		do senseTemperature { out temp; }
+		do senseTemperature;
 
 		state normal;
 		accept at vehicle.maintenanceTime

sysml/src/training/24. Transitions/Local Clock Example.sysml

@@ -0,0 +1,32 @@
+package 'Local Clock Example' {
+	import ScalarValues::String;
+	
+	item def Start;
+	item def Request;
+	
+	part def Server {
+		part :>> localClock = Time::Clock();
+
+		attribute today : String;
+				
+		port requestPort;
+		
+		state ServerBehavior {
+			entry; then off;
+			
+			state off;
+			accept Start via requestPort
+				then waiting;
+			
+			state waiting;
+			accept request : Request via requestPort
+				then responding;
+			accept at Time::Iso8601DateTime(today + "11:59:00")
+				then off;
+			
+			state responding;
+			accept after 5 [SI::min]
+				then waiting;
+		}
+	}
+}

sysml/src/training/30. Constraints/Analytical Constraints.sysml

@@ -13,8 +13,8 @@ package 'Analytical Constraints' {
 
 		attribute v_avg : SpeedValue = (v_i + v_f)/2;
 
-		a == Acceleration(p, m, v_avg) &
-		v_f == Velocity(dt, v_i, a) &
+		a == Acceleration(p, m, v_avg) and
+		v_f == Velocity(dt, v_i, a) and
 		x_f == Position(dt, x_i, v_avg)
 	}
 

sysml/src/training/30. Constraints/Derivation Constraints.sysml

@@ -17,7 +17,7 @@ package 'Derivation Constraints' {
 		in deltaT : TimeValue;
 		in force : ForceValue;
 
-		force * deltaT == mass * (finalSpeed - initialSpeed) &
+		force * deltaT == mass * (finalSpeed - initialSpeed) and
 		mass > 0[kg]
 	}