sysml-validate 0.11.0 → 0.14.3

package/resources/sysml.library/Domain Libraries/Quantities and Units/VectorCalculations.sysml

@@ -1,62 +1,62 @@
-standard library package VectorCalculations {
-	doc
-	/*
-	 * This package package defines calculations for the construction of and computations on VectorQuantityValues.
-	 */
-	 
-	private import ScalarValues::Boolean;
-	private import ScalarValues::Number;
-    private import Quantities::ScalarQuantityValue;
-    private import Quantities::VectorQuantityValue;
-    private import MeasurementReferences::VectorMeasurementReference;
-    private import MeasurementReferences::CoordinateTransformation;
-    
-    calc def '[' :> BaseFunctions::'[' { 
-    	in elements: Number[1..n] ordered nonunique; 
-    	in mRef: VectorMeasurementReference[1]; 
-    	return quantity : VectorQuantityValue[1];
-    	private attribute n = mRef.flattenedSize;
-    }
-
-    calc def isZeroVectorQuantity :> VectorFunctions::isZeroVector { 
-    	in : VectorQuantityValue[1]; 
-    	return : Boolean[1];
-    }
-    calc def isUnitVectorQuantity { 
-    	in : VectorQuantityValue[1]; 
-    	return : Boolean[1];
-    }
-
-    /* Addition and subtraction */
-	calc def '+' :> VectorFunctions::'+' { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
-	calc def '-' :> VectorFunctions::'-' { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
-
-    /* Multiplication and division */
-	calc def scalarVectorMult :> VectorFunctions::scalarVectorMult { in : Number[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
-	calc def vectorScalarMult :> VectorFunctions::vectorScalarMult { in : VectorQuantityValue[1]; in : Number[1]; return : VectorQuantityValue[1]; }
-    calc def scalarQuantityVectorMult { in : ScalarQuantityValue[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
-    calc def vectorScalarQuantityMult { in : VectorQuantityValue[1]; in : ScalarQuantityValue[1]; return : VectorQuantityValue[1]; }
-	calc def vectorScalarDiv :> VectorFunctions::vectorScalarDiv { in : VectorQuantityValue[1]; in : Number[1]; return : VectorQuantityValue[1]; }
-    calc def vectorScalarQuantityDiv { in : VectorQuantityValue[1]; in : ScalarQuantityValue[1]; return : VectorQuantityValue[1]; }
-	calc def inner :> VectorFunctions::inner { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : Number[1]; }
-    calc def outer { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
-	
-    alias '*' for scalarVectorMult;
-    
-    /* Norm and angle */
-	calc def norm :> VectorFunctions::norm { in : VectorQuantityValue[1]; return : Number[1]; }
-	calc def angle :> VectorFunctions::angle { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : Number[1]; }
-	
-	/* Coordinate transformation */
-	calc def transform {
-	    in transformation : CoordinateTransformation;
-	    in sourceVector : VectorQuantityValue {
-	        :>> mRef = transformation.source;
-	    }
-	    return targetVector : VectorQuantityValue {
-	        :>> mRef = transformation.target {
-	            :>> dimensions = sourceVector.mRef.dimensions;
-	        }
-    	}
-	}
-}
+standard library package VectorCalculations {
+	doc
+	/*
+	 * This package package defines calculations for the construction of and computations on VectorQuantityValues.
+	 */
+	 
+	private import ScalarValues::Boolean;
+	private import ScalarValues::Number;
+    private import Quantities::ScalarQuantityValue;
+    private import Quantities::VectorQuantityValue;
+    private import MeasurementReferences::VectorMeasurementReference;
+    private import MeasurementReferences::CoordinateTransformation;
+    
+    calc def '[' :> BaseFunctions::'[' { 
+    	in elements: Number[1..n] ordered nonunique; 
+    	in mRef: VectorMeasurementReference[1]; 
+    	return quantity : VectorQuantityValue[1];
+    	private attribute n = mRef.flattenedSize;
+    }
+
+    calc def isZeroVectorQuantity :> VectorFunctions::isZeroVector { 
+    	in : VectorQuantityValue[1]; 
+    	return : Boolean[1];
+    }
+    calc def isUnitVectorQuantity { 
+    	in : VectorQuantityValue[1]; 
+    	return : Boolean[1];
+    }
+
+    /* Addition and subtraction */
+	calc def '+' :> VectorFunctions::'+' { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
+	calc def '-' :> VectorFunctions::'-' { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
+
+    /* Multiplication and division */
+	calc def scalarVectorMult :> VectorFunctions::scalarVectorMult { in : Number[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
+	calc def vectorScalarMult :> VectorFunctions::vectorScalarMult { in : VectorQuantityValue[1]; in : Number[1]; return : VectorQuantityValue[1]; }
+    calc def scalarQuantityVectorMult { in : ScalarQuantityValue[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
+    calc def vectorScalarQuantityMult { in : VectorQuantityValue[1]; in : ScalarQuantityValue[1]; return : VectorQuantityValue[1]; }
+	calc def vectorScalarDiv :> VectorFunctions::vectorScalarDiv { in : VectorQuantityValue[1]; in : Number[1]; return : VectorQuantityValue[1]; }
+    calc def vectorScalarQuantityDiv { in : VectorQuantityValue[1]; in : ScalarQuantityValue[1]; return : VectorQuantityValue[1]; }
+	calc def inner :> VectorFunctions::inner { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : Number[1]; }
+    calc def outer { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : VectorQuantityValue[1]; }
+	
+    alias '*' for scalarVectorMult;
+    
+    /* Norm and angle */
+	calc def norm :> VectorFunctions::norm { in : VectorQuantityValue[1]; return : Number[1]; }
+	calc def angle :> VectorFunctions::angle { in : VectorQuantityValue[1]; in : VectorQuantityValue[1]; return : Number[1]; }
+	
+	/* Coordinate transformation */
+	calc def transform {
+	    in transformation : CoordinateTransformation;
+	    in sourceVector : VectorQuantityValue {
+	        :>> mRef = transformation.source;
+	    }
+	    return targetVector : VectorQuantityValue {
+	        :>> mRef = transformation.target {
+	            :>> dimensions = sourceVector.mRef.dimensions;
+	        }
+    	}
+	}
+}

package/resources/sysml.library/Domain Libraries/Requirement Derivation/.meta.json

@@ -1,8 +1,8 @@
-{
-  "index": {
-    "DerivationConnections": "DerivationConnections.sysml",
-    "RequirementDerivation": "RequirementDerivation.sysml"
-  },
-  "created": "2025-03-13T00:00:00Z",
-  "metamodel": "https://www.omg.org/spec/SysML/20250201"
+{
+  "index": {
+    "DerivationConnections": "DerivationConnections.sysml",
+    "RequirementDerivation": "RequirementDerivation.sysml"
+  },
+  "created": "2025-03-13T00:00:00Z",
+  "metamodel": "https://www.omg.org/spec/SysML/20250201"
 }

package/resources/sysml.library/Domain Libraries/Requirement Derivation/.project.json

@@ -1,19 +1,19 @@
-{
-  "name": "SysML Requirement Derivation Library",
-  "version": "2.0.0",
-  "description": "Standard requirements derivation 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/Function-Library.kpar",
-      "versionConstraint": "1.0.0"
-    },
-    {
-      "resource": "https://www.omg.org/spec/SysML/20250201/Systems-Library.kpar",
-      "versionConstraint": "2.0.0"
-    }
-  ]
+{
+  "name": "SysML Requirement Derivation Library",
+  "version": "2.0.0",
+  "description": "Standard requirements derivation 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/Function-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/Requirement Derivation/DerivationConnections.sysml

@@ -1,63 +1,63 @@
-standard library package DerivationConnections {
-	doc
-	/*
-	 * This package provides a library model for derivation connections between requirements.
-	 */
-	 
-	private import SequenceFunctions::excludes;
-	private import ControlFunctions::allTrue;
-	
-	requirement originalRequirements[*] {
-		doc /* originalRequirements are the original requirements in Derivation connections. */
-	}
-	requirement derivedRequirements[*] {
-		doc /* derivedRequirements are the derived requirments in Derivation connections. */
-	}
-	
-	abstract connection def Derivation {
-		doc
-		/*
-		 * A Derivation connection asserts that one or more derivedRequirements are derived from
-		 * a single originalRequirement. This means that any subject that satisfies the
-		 * originalRequirement should, in itself or though other things related to it, satisfy
-		 * each of the derivedRequirements.
-		 * 
-		 * A connection usage typed by Derivation must have requirement usages for all its ends.
-		 * The single end for the originalRequirement should subset originalRequirement, while
-		 * the rest of the ends should subset derivedRequirements.
-		 */
-		
-		// Note: This redefinition causes a distinguishibility problem for binary connections, becuse
-		// participant is already redefined for them to limit the multiplicity to 2.
-		// ref requirement :>> participant {
-		//	doc /* All the participants in a Derivation must be requirements. */
-		// }
-		
-		ref requirement originalRequirement[1] :>> originalRequirements :> participant {
-			doc /* The single original requirement. */
-		}
-		ref requirement :>> derivedRequirements[1..*] :> participant {
-			doc /* The one or more requirements that are derived from the original requirement. */
-		}
-		
-		private assert constraint originalNotDerived {
-			doc /* The original requirement must not be a derived requirement. */
-			
-			derivedRequirements->excludes(originalRequirement)
-		}
-		
-		private assert constraint originalImpliesDerived {
-			doc 
-			/* 
-			 * Whenever the originalRequirement is satisfied, all of the derivedRequirements must also
-			 * be satisfied.
-			 */
-			 
-			originalRequirement.result implies allTrue(derivedRequirements.result)
-		}	
-	}
-	
-	abstract connection derivations : Derivation[*] {
-		doc /* derivations is the base feature for Derivation connection usages. */
-	}
+standard library package DerivationConnections {
+	doc
+	/*
+	 * This package provides a library model for derivation connections between requirements.
+	 */
+	 
+	private import SequenceFunctions::excludes;
+	private import ControlFunctions::allTrue;
+	
+	requirement originalRequirements[*] {
+		doc /* originalRequirements are the original requirements in Derivation connections. */
+	}
+	requirement derivedRequirements[*] {
+		doc /* derivedRequirements are the derived requirments in Derivation connections. */
+	}
+	
+	abstract connection def Derivation {
+		doc
+		/*
+		 * A Derivation connection asserts that one or more derivedRequirements are derived from
+		 * a single originalRequirement. This means that any subject that satisfies the
+		 * originalRequirement should, in itself or though other things related to it, satisfy
+		 * each of the derivedRequirements.
+		 * 
+		 * A connection usage typed by Derivation must have requirement usages for all its ends.
+		 * The single end for the originalRequirement should subset originalRequirement, while
+		 * the rest of the ends should subset derivedRequirements.
+		 */
+		
+		// Note: This redefinition causes a distinguishibility problem for binary connections, becuse
+		// participant is already redefined for them to limit the multiplicity to 2.
+		// ref requirement :>> participant {
+		//	doc /* All the participants in a Derivation must be requirements. */
+		// }
+		
+		ref requirement originalRequirement[1] :>> originalRequirements :> participant {
+			doc /* The single original requirement. */
+		}
+		ref requirement :>> derivedRequirements[1..*] :> participant {
+			doc /* The one or more requirements that are derived from the original requirement. */
+		}
+		
+		private assert constraint originalNotDerived {
+			doc /* The original requirement must not be a derived requirement. */
+			
+			derivedRequirements->excludes(originalRequirement)
+		}
+		
+		private assert constraint originalImpliesDerived {
+			doc 
+			/* 
+			 * Whenever the originalRequirement is satisfied, all of the derivedRequirements must also
+			 * be satisfied.
+			 */
+			 
+			originalRequirement.result implies allTrue(derivedRequirements.result)
+		}	
+	}
+	
+	abstract connection derivations : Derivation[*] {
+		doc /* derivations is the base feature for Derivation connection usages. */
+	}
 }

package/resources/sysml.library/Domain Libraries/Requirement Derivation/RequirementDerivation.sysml

@@ -1,39 +1,39 @@
-standard library package RequirementDerivation {
-	doc /* This package provides language-extension metadata for modeling requirement derivation. */
-	
-	public import DerivationConnections::*;
-	private import Metaobjects::SemanticMetadata;
-	
-	metadata def <original> OriginalRequirementMetadata :> SemanticMetadata {
-		doc
-		/*
-		 * OriginalRequirementMetadata identifies a usage as an original requirement.
-		 * It is intended to be used to tag the original requirement end of a Derivation.
-		 */
-		 
-		:> annotatedElement : SysML::Usage;
-		:>> baseType = originalRequirements meta SysML::Usage;
-	}
-	
-	metadata def <derive> DerivedRequirementMetadata :> SemanticMetadata {
-		doc
-		/*
-		 * DerivedRequirementMetadata identifies a usage as a derived requirement.
-		 * It is intended to be used to tag the derived requirement ends of a Derivation.
-		 */
-		 
-		:> annotatedElement : SysML::Usage;	
-		:>> baseType = derivedRequirements meta SysML::Usage;
-	}
-	
-	metadata def <derivation> DerivationMetadata :> SemanticMetadata {
-		doc
-		/*
-		 * DerivationMetadata is SemanticMetadata for a Derivation connection.
-		 */
-		 
-		:> annotatedElement : SysML::ConnectionDefinition;
-		:> annotatedElement : SysML::ConnectionUsage;
-		:>> baseType = derivations meta SysML::Usage;
-	}	
+standard library package RequirementDerivation {
+	doc /* This package provides language-extension metadata for modeling requirement derivation. */
+	
+	public import DerivationConnections::*;
+	private import Metaobjects::SemanticMetadata;
+	
+	metadata def <original> OriginalRequirementMetadata :> SemanticMetadata {
+		doc
+		/*
+		 * OriginalRequirementMetadata identifies a usage as an original requirement.
+		 * It is intended to be used to tag the original requirement end of a Derivation.
+		 */
+		 
+		:> annotatedElement : SysML::Usage;
+		:>> baseType = originalRequirements meta SysML::Usage;
+	}
+	
+	metadata def <derive> DerivedRequirementMetadata :> SemanticMetadata {
+		doc
+		/*
+		 * DerivedRequirementMetadata identifies a usage as a derived requirement.
+		 * It is intended to be used to tag the derived requirement ends of a Derivation.
+		 */
+		 
+		:> annotatedElement : SysML::Usage;	
+		:>> baseType = derivedRequirements meta SysML::Usage;
+	}
+	
+	metadata def <derivation> DerivationMetadata :> SemanticMetadata {
+		doc
+		/*
+		 * DerivationMetadata is SemanticMetadata for a Derivation connection.
+		 */
+		 
+		:> annotatedElement : SysML::ConnectionDefinition;
+		:> annotatedElement : SysML::ConnectionUsage;
+		:>> baseType = derivations meta SysML::Usage;
+	}	
 }

package/resources/sysml.library/Kernel Libraries/Kernel Data Type Library/.meta.json

@@ -1,9 +1,9 @@
-{
-  "index": {
-    "Collections": "Collections.kerml",
-    "ScalarValues": "ScalarValues.kerml",
-    "VectorValues": "VectorValues.kerml"
-  },
-  "created": "2025-03-13T00:00:00Z",
-  "metamodel": "https://www.omg.org/spec/KerML/20250201"
+{
+  "index": {
+    "Collections": "Collections.kerml",
+    "ScalarValues": "ScalarValues.kerml",
+    "VectorValues": "VectorValues.kerml"
+  },
+  "created": "2025-03-13T00:00:00Z",
+  "metamodel": "https://www.omg.org/spec/KerML/20250201"
 }

package/resources/sysml.library/Kernel Libraries/Kernel Data Type Library/.project.json

@@ -1,11 +1,11 @@
-{
-  "name": "Kernel Data Type Library",
-  "version": "1.0.0",
-  "description": "Standard data type library for the Kernel Modeling Language (KerML)",
-  "usage": [
-    {
-      "resource": "https://www.omg.org/spec/KerML/20250201/Semantic-Library.kpar",
-      "versionConstraint": "1.0.0"
-    }
-  ]
+{
+  "name": "Kernel Data Type Library",
+  "version": "1.0.0",
+  "description": "Standard data type library for the Kernel Modeling Language (KerML)",
+  "usage": [
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Semantic-Library.kpar",
+      "versionConstraint": "1.0.0"
+    }
+  ]
 }