Updated training examples.

Author: seidewitz

sysml.library/Domain Libraries/Geometry/ShapeItems.sysml

@@ -102,12 +102,12 @@ package ShapeItems {
 	 * baseRadius, apexRadius and height.
 	 */
 	item def Cone :> Shell {
-		attribute baseRadius [1] = radius;
-		attribute apexRadius [1] default 0 [m];
+		attribute baseRadius [1] :> length = radius;
+		attribute apexRadius [1] :> length default 0 [m];
 		attribute :>> height [1];
 
 		attribute :>> radius [1];
-		attribute isTruncated : Boolean [1] = (apexRadius > 0);
+		attribute isTruncated : Boolean [1] = apexRadius > 0;
 
 		item :>> faces [2..3];
 		item bf : Disc [1] :> faces;

sysml/src/training/01. Packages/Documentation Example.sysml

@@ -4,7 +4,7 @@ package 'Documentation Example' {
 	     */
 
 	part def Automobile {
-		doc /* This documentation of Automobile. */
+		doc Document1 /* This documentation of Automobile. */
 	}
 
 	alias Car for Automobile;

sysml/src/training/38. Metadata/Metadata Example-1.sysml

@@ -1,7 +1,10 @@
 package 'Metadata Example-1' {
 
 	metadata def SafetyFeature;
-	metadata def SecurityFeature;
+	metadata def SecurityFeature {
+		:> annotatedElement : SysML::PartDefinition;
+		:> annotatedElement : SysML::PartUsage;
+	}
 
 	metadata SafetyFeature about 
 		vehicle::interior::seatBelt,

sysml/src/training/40. Language Extension/Model Library Example.sysml

@@ -0,0 +1,35 @@
+package 'Model Library Example' {
+	import ScalarValues::Real;
+	import RiskMetadata::Level;
+	
+	abstract occurrence def Situation;
+	
+	abstract occurrence situations : Situation[*] nonunique;
+	
+	abstract occurrence def Cause {
+		attribute probability : Real;
+	}
+	
+	abstract occurrence causes : Cause[*] nonunique :> situations;
+	
+	abstract occurrence def Failure {
+		attribute severity : Level;
+	}
+	
+	abstract occurrence failures : Failure[*] nonunique :> situations;
+	
+	abstract connection def Causation :> Occurrences::HappensBefore {
+		end cause : Situation[*];
+		end effect : Situation[*];
+	}
+	
+	abstract connection causations : Causation[*] nonunique;
+	
+	item def Scenario {
+		occurrence :>> situations;
+		occurrence :>> causes :> situations;
+		occurrence :>> failures :> situations;
+	}
+	
+	item scenarios : Scenario[*] nonunique;
+}

sysml/src/training/40. Language Extension/Semantic Metadata Example.sysml

@@ -0,0 +1,25 @@
+package 'Semantic Metadata Example' {
+	import 'Model Library Example'::*;
+	import Metaobjects::SemanticMetadata;
+
+	metadata def situation :> SemanticMetadata {
+		:>> baseType = situations as SysML::Usage;
+	}
+	
+	metadata def cause :> SemanticMetadata {
+		:>> baseType = causes as SysML::Usage;
+	}
+	
+	metadata def failure :> SemanticMetadata {
+		:>> baseType = failures as SysML::Usage;
+	}
+	
+	metadata def causation :> SemanticMetadata {
+		:>> baseType = causations as SysML::Usage;
+	}
+	
+	metadata def scenario :> SemanticMetadata {
+		:>> baseType = scenarios as SysML::Usage;
+	}
+	
+}

sysml/src/training/40. Language Extension/User Keyword Example.sysml

@@ -0,0 +1,31 @@
+package 'User Keyword Example' {
+	import 'Semantic Metadata Example'::*;
+	import RiskMetadata::LevelEnum;
+	
+	part def Device {
+		part battery {
+			attribute power : Real;
+		}
+	}
+	
+	#scenario def DeviceFailure {
+		ref device : Device;
+		attribute minPower : Real;
+		
+		#cause 'battery old' {
+			:>> probability = 0.01;			
+		}
+		
+		#causation first 'battery old' then 'power low';
+		
+		#situation 'power low' {
+			constraint { device.battery.power < minPower }			
+		}
+		
+		#causation first 'power low' then 'device shutoff';
+		
+		#failure 'device shutoff' {
+			:>> severity = LevelEnum::high;
+		}
+	}
+}