sysml-validate 0.11.0 → 0.14.2

package/resources/sysml.library/Domain Libraries/Geometry/SpatialItems.sysml

@@ -1,168 +1,168 @@
-standard library package SpatialItems {
-	doc
-	/*
-	 * This package models physical items that have a spatial extent and act as a spatial frame of reference
-	 * for obtaining position and displacement vectors of points within them.
-	 */
-
-	private import Objects::Point;
-	private import SpatialFrames::SpatialFrame;
-	private import Quantities::VectorQuantityValue;
-	private import MeasurementReferences::ThreeDCoordinateFrame;
-	private import MeasurementReferences::nullTransformation;
-	private import Time::Clock;
-	private import Time::TimeInstantValue;
-	private import ScalarValues::Natural;
-	private import ISQ::universalCartesianSpatial3dCoordinateFrame;
-	private import ISQ::Position3dVector;
-	private import ISQ::Displacement3dVector;
-	private import VectorFunctions::isZeroVector;
-	private import SequenceFunctions::isEmpty;
-	private import ControlFunctions::forAll;
-	
-	item def SpatialItem :> SpatialFrame {
-		doc
-		/*
-		 * A SpatialItem is an Item with a three-dimensional spatial extent that also acts as a SpatialFrame of reference.
-		 */
-	
-		ref item :>> localClock : Clock[1] default Time::universalClock {
-			doc
-			/*
-			 * A local Clock to be used as the corresponding time reference within this SpatialItem. 
-			 * By default this is the singleton universalClock.
-			 */
-		}
-		
-		attribute coordinateFrame : ThreeDCoordinateFrame[1] default universalCartesianSpatial3dCoordinateFrame {
-            doc
-            /*
-             * The three-dimensional CoordinateFrame to be used as the measurement reference for position 
-             * and displacement vector values relative to this SpatialItem.
-             * By default this is the singleton universalCartesianSpatial3dCoordinateFrame.
-             */
-        }
-        		
-		item originPoint : Point[1] :> spaceShots {
-			doc
-			/*
-			 * The Point at the origin of the coordinateFrame of this SpatialItem.
-			 */
-		}
-		
-		assert constraint originPointConstraint {
-			doc
-			/*
-			 * The CurrentPositionOf the originPoint must always be a zero vector.
-			 */
-		
-			isZeroVector(CurrentPositionOf(originPoint, that))
-		}
-
-        item subSpatialItems : SpatialItem[1..*] :> subitems {
-            ref item :>> SpatialItem::localClock, subitems::localClock;
-        }
-        
-        part subSpatialParts : SpatialItem[1..*] :> subSpatialItems, subparts {
-            ref item :>> SpatialItem::localClock, subSpatialItems::localClock, subparts::localClock;
-        }
-
-		item componentItems : SpatialItem[1..*] :> subSpatialItems {
-			doc
-			/*
-			 * A SpatialItem with componentItems is entirely made up of those items (the SpatialItem occurs only
-			 * as a collection of its componentItems).  By default they have the same localClock and equivalent
-			 * coordinate frame as the SpatialItem they make up.  A SpatialItem without componentItems occurs
-			 * on its own, separately from its subitems.
-			 */		
-			ref item :>> SpatialItem::localClock, subSpatialItems::localClock default (that as SpatialItem).localClock;
-			attribute :>> coordinateFrame {
-				attribute :>> mRefs default (that.that as SpatialItem).coordinateFrame.mRefs;
-				attribute :>> transformation[1] default nullTransformation {
-					attribute :>> source default (that.that.that as SpatialItem).coordinateFrame;
-				}
-			}
-		}
-
-		private attribute cunionNum: Natural [1] = if isEmpty(componentItems) ? 0 else 1;
-		private attribute componentUnion[cunionNum] :> unionsOf {
-			doc
-			/*
-			 * A SpatialItem with componentItems is is a spatial union of them.
-			 */
-		
-			item :>> elements : SpatialItem [1..*] = componentItems;
-		}
-		
-		part componentParts : SpatialItem[1..*] :> componentItems, subSpatialParts {
-		    ref item :>> SpatialItem::localClock, componentItems::localClock, subSpatialParts::localClock, subparts::localClock;
-		}
-	}
-
-	calc def PositionOf :> SpatialFrames::PositionOf {
-		doc
-		/*
-		 * The PositionOf a Point relative to a SpatialItem, at a specific TimeInstantValue relative to a given Clock,
-		 * is a positionVector that is a VectorQuantityValue in the coordinateFrame of the SpatialItem.
-		 * The default Clock is the localClock of the SpatialItem.
-		 */
-	
-		in point : Point[1];
-		in timeInstant : TimeInstantValue[1];
-		in enclosingItem :>> 'frame' : SpatialItem[1];
-		in clock : Clock[1] default enclosingItem.localClock;
-		return positionVector : Position3dVector[1] {
-			attribute :>> mRef = enclosingItem.coordinateFrame;
-		}
-	}
-
-	calc def CurrentPositionOf :> SpatialFrames::CurrentPositionOf {
-		doc
-		/*
-		 * The CurrentPositionOf a Point relative to a SpatialItem and a Clock is the PositionOf
-		 * the Point relative to the SpatialItem at the currentTime of the Clock.
-		 */
-	
-		in point : Point[1];
-		in enclosingItem :>> 'frame' : SpatialItem[1];
-		in clock : Clock[1] default enclosingItem.localClock;
-		return positionVector : Position3dVector[1] {
-			attribute :>> mRef = enclosingItem.coordinateFrame;
-		}
-	}
-
-	calc def DisplacementOf :> SpatialFrames::DisplacementOf {
-		doc
-		/*
-		 * The DisplacementOf two Points relative to a SpatialItem, at a specific TimeInstantValue relative to a
-		 * given Clock, is the displacementVector computed as the difference between the PositionOf the 
-		 * first Point and PositionOf the second Point, relative to that SpatialItem, at that timeInstant.
-		 */
-	
-		in point1 : Point[1];
-		in point2 : Point[1];
-		in timeInstant : TimeInstantValue[1];
-		in spatialItem :>> 'frame' : SpatialItem[1];
-		in clock : Clock[1] default spatialItem.localClock;
-		return displacementVector : Displacement3dVector[1] {
-			attribute :>> mRef = spatialItem.coordinateFrame;
-		}
-	}
-
-	calc def CurrentDisplacementOf :> SpatialFrames::CurrentDisplacementOf {
-		doc
-		/*
-		 * The CurrentDisplacementOf two Points relative to a SpatialItem and a Clock is the DisplacementOf
-		 * the Points relative to the SpatialItem, at the currentTime of the Clock.
-		 */
-	
-		in point1 : Point[1];
-		in point2 : Point[1];
-		in spatialItem :>> 'frame' : SpatialItem[1];
-		in clock : Clock[1] default spatialItem.localClock;
-		return displacementVector : Displacement3dVector[1] {
-			attribute :>> mRef = spatialItem.coordinateFrame;
-		}
-	}
-
+standard library package SpatialItems {
+	doc
+	/*
+	 * This package models physical items that have a spatial extent and act as a spatial frame of reference
+	 * for obtaining position and displacement vectors of points within them.
+	 */
+
+	private import Objects::Point;
+	private import SpatialFrames::SpatialFrame;
+	private import Quantities::VectorQuantityValue;
+	private import MeasurementReferences::ThreeDCoordinateFrame;
+	private import MeasurementReferences::nullTransformation;
+	private import Time::Clock;
+	private import Time::TimeInstantValue;
+	private import ScalarValues::Natural;
+	private import ISQ::universalCartesianSpatial3dCoordinateFrame;
+	private import ISQ::Position3dVector;
+	private import ISQ::Displacement3dVector;
+	private import VectorFunctions::isZeroVector;
+	private import SequenceFunctions::isEmpty;
+	private import ControlFunctions::forAll;
+	
+	item def SpatialItem :> SpatialFrame {
+		doc
+		/*
+		 * A SpatialItem is an Item with a three-dimensional spatial extent that also acts as a SpatialFrame of reference.
+		 */
+	
+		ref item :>> localClock : Clock[1] default Time::universalClock {
+			doc
+			/*
+			 * A local Clock to be used as the corresponding time reference within this SpatialItem. 
+			 * By default this is the singleton universalClock.
+			 */
+		}
+		
+		attribute coordinateFrame : ThreeDCoordinateFrame[1] default universalCartesianSpatial3dCoordinateFrame {
+            doc
+            /*
+             * The three-dimensional CoordinateFrame to be used as the measurement reference for position 
+             * and displacement vector values relative to this SpatialItem.
+             * By default this is the singleton universalCartesianSpatial3dCoordinateFrame.
+             */
+        }
+        		
+		item originPoint : Point[1] :> spaceShots {
+			doc
+			/*
+			 * The Point at the origin of the coordinateFrame of this SpatialItem.
+			 */
+		}
+		
+		assert constraint originPointConstraint {
+			doc
+			/*
+			 * The CurrentPositionOf the originPoint must always be a zero vector.
+			 */
+		
+			isZeroVector(CurrentPositionOf(originPoint, that))
+		}
+
+        item subSpatialItems : SpatialItem[1..*] :> subitems {
+            ref item :>> SpatialItem::localClock, subitems::localClock;
+        }
+        
+        part subSpatialParts : SpatialItem[1..*] :> subSpatialItems, subparts {
+            ref item :>> SpatialItem::localClock, subSpatialItems::localClock, subparts::localClock;
+        }
+
+		item componentItems : SpatialItem[1..*] :> subSpatialItems {
+			doc
+			/*
+			 * A SpatialItem with componentItems is entirely made up of those items (the SpatialItem occurs only
+			 * as a collection of its componentItems).  By default they have the same localClock and equivalent
+			 * coordinate frame as the SpatialItem they make up.  A SpatialItem without componentItems occurs
+			 * on its own, separately from its subitems.
+			 */		
+			ref item :>> SpatialItem::localClock, subSpatialItems::localClock default (that as SpatialItem).localClock;
+			attribute :>> coordinateFrame {
+				attribute :>> mRefs default (that.that as SpatialItem).coordinateFrame.mRefs;
+				attribute :>> transformation[1] default nullTransformation {
+					attribute :>> source default (that.that.that as SpatialItem).coordinateFrame;
+				}
+			}
+		}
+
+		private attribute cunionNum: Natural [1] = if isEmpty(componentItems) ? 0 else 1;
+		private attribute componentUnion[cunionNum] :> unionsOf {
+			doc
+			/*
+			 * A SpatialItem with componentItems is is a spatial union of them.
+			 */
+		
+			item :>> elements : SpatialItem [1..*] = componentItems;
+		}
+		
+		part componentParts : SpatialItem[1..*] :> componentItems, subSpatialParts {
+		    ref item :>> SpatialItem::localClock, componentItems::localClock, subSpatialParts::localClock, subparts::localClock;
+		}
+	}
+
+	calc def PositionOf :> SpatialFrames::PositionOf {
+		doc
+		/*
+		 * The PositionOf a Point relative to a SpatialItem, at a specific TimeInstantValue relative to a given Clock,
+		 * is a positionVector that is a VectorQuantityValue in the coordinateFrame of the SpatialItem.
+		 * The default Clock is the localClock of the SpatialItem.
+		 */
+	
+		in point : Point[1];
+		in timeInstant : TimeInstantValue[1];
+		in enclosingItem :>> 'frame' : SpatialItem[1];
+		in clock : Clock[1] default enclosingItem.localClock;
+		return positionVector : Position3dVector[1] {
+			attribute :>> mRef = enclosingItem.coordinateFrame;
+		}
+	}
+
+	calc def CurrentPositionOf :> SpatialFrames::CurrentPositionOf {
+		doc
+		/*
+		 * The CurrentPositionOf a Point relative to a SpatialItem and a Clock is the PositionOf
+		 * the Point relative to the SpatialItem at the currentTime of the Clock.
+		 */
+	
+		in point : Point[1];
+		in enclosingItem :>> 'frame' : SpatialItem[1];
+		in clock : Clock[1] default enclosingItem.localClock;
+		return positionVector : Position3dVector[1] {
+			attribute :>> mRef = enclosingItem.coordinateFrame;
+		}
+	}
+
+	calc def DisplacementOf :> SpatialFrames::DisplacementOf {
+		doc
+		/*
+		 * The DisplacementOf two Points relative to a SpatialItem, at a specific TimeInstantValue relative to a
+		 * given Clock, is the displacementVector computed as the difference between the PositionOf the 
+		 * first Point and PositionOf the second Point, relative to that SpatialItem, at that timeInstant.
+		 */
+	
+		in point1 : Point[1];
+		in point2 : Point[1];
+		in timeInstant : TimeInstantValue[1];
+		in spatialItem :>> 'frame' : SpatialItem[1];
+		in clock : Clock[1] default spatialItem.localClock;
+		return displacementVector : Displacement3dVector[1] {
+			attribute :>> mRef = spatialItem.coordinateFrame;
+		}
+	}
+
+	calc def CurrentDisplacementOf :> SpatialFrames::CurrentDisplacementOf {
+		doc
+		/*
+		 * The CurrentDisplacementOf two Points relative to a SpatialItem and a Clock is the DisplacementOf
+		 * the Points relative to the SpatialItem, at the currentTime of the Clock.
+		 */
+	
+		in point1 : Point[1];
+		in point2 : Point[1];
+		in spatialItem :>> 'frame' : SpatialItem[1];
+		in clock : Clock[1] default spatialItem.localClock;
+		return displacementVector : Displacement3dVector[1] {
+			attribute :>> mRef = spatialItem.coordinateFrame;
+		}
+	}
+
 }

package/resources/sysml.library/Domain Libraries/Metadata/.meta.json

@@ -1,10 +1,10 @@
-{
-  "index": {
-    "ImageMetadata": "ImageMetadata.sysml",
-    "ModelingMetadata": "ModelingMetadata.sysml",
-    "ParametersOfInterestMetadata": "ParametersOfInterestMetadata.sysml",
-    "RiskMetadata": "RiskMetadata.sysml"
-  },
-  "created": "2025-03-13T00:00:00Z",
-  "metamodel": "https://www.omg.org/spec/SysML/20250201"
+{
+  "index": {
+    "ImageMetadata": "ImageMetadata.sysml",
+    "ModelingMetadata": "ModelingMetadata.sysml",
+    "ParametersOfInterestMetadata": "ParametersOfInterestMetadata.sysml",
+    "RiskMetadata": "RiskMetadata.sysml"
+  },
+  "created": "2025-03-13T00:00:00Z",
+  "metamodel": "https://www.omg.org/spec/SysML/20250201"
 }

package/resources/sysml.library/Domain Libraries/Metadata/.project.json

@@ -1,19 +1,19 @@
-{
-  "name": "SysML Metadata Library",
-  "version": "2.0.0",
-  "description": "Standard metadata domain library for the Systems Modeling Language (SysML)",
-  "usage": [
-    {
-      "resource": "https://www.omg.org/spec/KerML/20250201/Semantic-Library.kpar",
-      "versionConstraint": "1.0.0"
-    },
-    {
-      "resource": "https://www.omg.org/spec/KerML/20250201/Data-Type-Library.kpar",
-      "versionConstraint": "1.0.0"
-    },
-    {
-      "resource": "https://www.omg.org/spec/SysML/20250201/Systems-Library.kpar",
-      "versionConstraint": "2.0.0"
-    }
-  ]
+{
+  "name": "SysML Metadata Library",
+  "version": "2.0.0",
+  "description": "Standard metadata domain library for the Systems Modeling Language (SysML)",
+  "usage": [
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Semantic-Library.kpar",
+      "versionConstraint": "1.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Data-Type-Library.kpar",
+      "versionConstraint": "1.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/SysML/20250201/Systems-Library.kpar",
+      "versionConstraint": "2.0.0"
+    }
+  ]
 }

package/resources/sysml.library/Domain Libraries/Metadata/ImageMetadata.sysml

@@ -1,78 +1,78 @@
-standard library package ImageMetadata {
-	doc
-	/*
-	 * This package provides attributive data and metadata to allow a model element to be
-	 * annotated with an image to be used in its graphical rendering or as a marker to
-	 * adorn graphical or textual renderings.
-	 */
-	 
-	private import ScalarValues::String;
-	
-	attribute def Image {
-		doc
-		/*
-		 * Image provides the data necessary for the physical definition of 
-		 * a graphical image.
-		 */
-		 
-		attribute content : String[0..1] {
-			doc
-			/*
-			 * Binary data for the image according to the given MIME type, 
-			 * encoded as given by the encoding.
-			 */
-		}
-		
-		attribute encoding : String[0..1] {
-			doc
-			/*
-			 * Describes how characters in the content are to be decoded into 
-			 * binary data. At least "base64", "hex", "identify", and "JSONescape"
-			 * shall be supported.
-			 */
-		}
-		
-		attribute type : String[0..1] {
-			doc
-			/*
-			 * The MIME type according to which the content should be interpreted.
-			 */
-		}
-		
-		attribute location : String[0..1] {
-			doc
-			/*
-			 * A URI for the location of a resource containing the image content,
-			 * as an alternative for embedding it in the content attribute.
-			 */
-		}
-	}
-	
-	metadata def Icon {
-		doc
-		/*
-		 * Icon metadata can be used to annotate a model element with an image to be used
-		 * to show render the element on a diagram and/or a small image to be used as an
-		 * adornment on a graphical or textual rendering. Alternatively, another metadata
-		 * definition can be annotated with an Icon to indicate that any model element 
-		 * annotated by the containing metadata can be rendered according to the Icon.
-		 */
-		 
-		attribute fullImage : Image[0..1] {
-			doc
-			/*
-			 * A full-sized image that can be used to render the annotated element on a
-			 * graphical view, potentially as an alternative to its standard rendering.
-			 */
-		}
-		
-		attribute smallImage : Image[0..1] {
-			doc
-			/*
-			 * A smaller image that can be used as an adornment on the graphical rendering
-			 * of the annotated element or as a marker in a textual rendering.
-			 */
-		}
-	}
-	
+standard library package ImageMetadata {
+	doc
+	/*
+	 * This package provides attributive data and metadata to allow a model element to be
+	 * annotated with an image to be used in its graphical rendering or as a marker to
+	 * adorn graphical or textual renderings.
+	 */
+	 
+	private import ScalarValues::String;
+	
+	attribute def Image {
+		doc
+		/*
+		 * Image provides the data necessary for the physical definition of 
+		 * a graphical image.
+		 */
+		 
+		attribute content : String[0..1] {
+			doc
+			/*
+			 * Binary data for the image according to the given MIME type, 
+			 * encoded as given by the encoding.
+			 */
+		}
+		
+		attribute encoding : String[0..1] {
+			doc
+			/*
+			 * Describes how characters in the content are to be decoded into 
+			 * binary data. At least "base64", "hex", "identify", and "JSONescape"
+			 * shall be supported.
+			 */
+		}
+		
+		attribute type : String[0..1] {
+			doc
+			/*
+			 * The MIME type according to which the content should be interpreted.
+			 */
+		}
+		
+		attribute location : String[0..1] {
+			doc
+			/*
+			 * A URI for the location of a resource containing the image content,
+			 * as an alternative for embedding it in the content attribute.
+			 */
+		}
+	}
+	
+	metadata def Icon {
+		doc
+		/*
+		 * Icon metadata can be used to annotate a model element with an image to be used
+		 * to show render the element on a diagram and/or a small image to be used as an
+		 * adornment on a graphical or textual rendering. Alternatively, another metadata
+		 * definition can be annotated with an Icon to indicate that any model element 
+		 * annotated by the containing metadata can be rendered according to the Icon.
+		 */
+		 
+		attribute fullImage : Image[0..1] {
+			doc
+			/*
+			 * A full-sized image that can be used to render the annotated element on a
+			 * graphical view, potentially as an alternative to its standard rendering.
+			 */
+		}
+		
+		attribute smallImage : Image[0..1] {
+			doc
+			/*
+			 * A smaller image that can be used as an adornment on the graphical rendering
+			 * of the annotated element or as a marker in a textual rendering.
+			 */
+		}
+	}
+	
 }