ST6RI-155 Implemented structural modification validation case (prelim)

Author: seidewitz

sysml/src/validation/03-Function-based Behavior/3c-Function-based Behavior-structure mod-1.sysml

@@ -0,0 +1,46 @@
+package '3c-Function-based Behavior-structure mod-1' {
+	
+	part def Vehicle;
+	part def VehicleFrame;
+	
+	part def HitchBall;
+	part def TrailerCoupler;
+	
+	part def Trailer;
+	part def TrailerFrame;
+	
+	connection def TrailerHitch {
+		end hitch : HitchBall;
+		end coupler : TrailerCoupler;
+	}
+	
+	part 'vehicle-trailer system' {
+		
+		part vehicle : Vehicle {
+			part vehicleFrame : VehicleFrame {
+				part hitch : HitchBall;
+			}
+		}
+		
+		connection trailerHitch : TrailerHitch[0..1]
+			connect vehicle.vehicleFrame.hitch to trailer.trailerFrame.coupler;
+		
+		part trailer : Trailer {
+			part trailerFrame : TrailerFrame {
+				part coupler : TrailerCoupler;
+			}
+		}
+		
+		perform action {
+			// Create a link and assign it as the TrailerHitch connection.
+			// Link participants are determined from inherited ends.
+			action 'connect trailer to vehicle'
+				assign 'vehicle-trailer system'.trailerHitch := TrailerHitch();
+				
+			// Remove the link from the TrailerHitch connection.
+			// TODO: Destroy the link object.
+			then action 'disconnect trailer from vehicle'
+				assign 'vehicle-trailer system'.trailerHitch := null;
+		}	
+	}	
+}

sysml/src/validation/03-Function-based Behavior/3c-Function-based Behavior-structure mod-2.sysml

@@ -0,0 +1,49 @@
+package '3c-Function-based Behavior-structure mod-2' {
+	
+	part def Vehicle;
+	part def VehicleFrame;
+	
+	part def HitchBall;
+	part def TrailerCoupler;
+	
+	part def Trailer;
+	part def TrailerFrame;
+	
+	connection def TrailerHitch {
+		end hitch : HitchBall;
+		end coupler : TrailerCoupler;
+	}
+	
+	part 'vehicle-trailer system' {
+		
+		part vehicle : Vehicle {
+			part vehicleFrame : VehicleFrame {
+				part hitch : HitchBall;
+			}
+		}
+		
+		connection trailerHitch : TrailerHitch[0..1]
+			connect vehicle.vehicleFrame.hitch to trailer.trailerFrame.coupler;
+		
+		part trailer : Trailer {
+			part trailerFrame : TrailerFrame {
+				part coupler : TrailerCoupler;
+			}
+		}
+		
+		perform action {
+			action 'connect trailer to vehicle' {
+				// Assert that exactly one connection exists during the
+				// performance of this action.
+				abstract ref connection :>> trailerHitch[1];
+			}
+			then action 'disconnect trailer from vehicle' {
+				// Assert that exactly no connection exists during the
+				// performance of this action.
+				abstract ref connection :>> trailerHitch[0];				
+			}
+		}
+		
+	}
+	
+}

sysml/src/validation/03-Function-based Behavior/3c-Function-based Behavior-structure mod-3.sysml

@@ -0,0 +1,33 @@
+package '3c-Function-based Behavior-structure mod-3' {
+	
+	part def Vehicle;
+	part def VehicleFrame;
+	part def HitchBall;
+	part def Trailer;
+	part def TrailerFrame;
+	part def TrailerCoupler;
+	
+	part vehicle : Vehicle {
+		part vehicleFrame : VehicleFrame {
+			part hitch : HitchBall;
+		}
+	}
+	
+	part trailer : Trailer {
+		part trailerFrame : TrailerFrame {
+			part coupler : TrailerCoupler {
+				ref part hitch : HitchBall;
+			}
+		}		
+	}
+			
+	action {
+		// Insert the vehicle HitchBall into the TrailerCoupler.
+		action 'connect trailer to vehicle'
+			assign trailer.trailerFrame.coupler.hitch := vehicle.vehicleFrame.hitch;
+		
+		// Remove the HitchBall from the TrailerCoupler.
+		then action 'disconnect trailer from vehicle'
+			assign trailer.trailerFrame.coupler.hitch := null;
+	}
+}