sysmledgraph 0.7.0

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Quantities and Units/Time.sysml

@@ -0,0 +1,274 @@
+standard library package Time {
+	doc
+	/*
+	 * This package specifies concepts to support time-related quantities and metrology, beyond 
+	 * the quantities duration and time as defined in [ISO 80000-3]. Representations of the 
+	 * Gregorian calendar date and time of day as specified by the [ISO 8601-1] standard are used.
+	 */
+
+	private import Occurrences::Occurrence;
+	private import ScalarValues::Real;
+	private import ScalarValues::Integer;
+	private import ScalarValues::Natural;
+	private import ScalarValues::String;
+	private import Quantities::ScalarQuantityValue;
+	private import Quantities::scalarQuantities;
+    private import MeasurementReferences::*;
+    public import ISQBase::DurationValue;
+    public import ISQBase::DurationUnit;
+    public import ISQBase::duration;
+    public import ISQSpaceTime::TimeValue;
+    public import ISQSpaceTime::TimeUnit;
+    public import ISQSpaceTime::time;
+    
+    part universalClock : Clock[1] :> Clocks::universalClock {
+   	    doc
+	    /*
+	     * universalClock is a single Clock that can be used as a default universal time reference.
+	     */
+    }
+
+	part def Clock :> Clocks::Clock {
+		doc
+		/*
+		 * A Clock provides a currentTime as a TimeInstantValue that advances montonically over its lifetime.
+		 */
+	
+		attribute :>> currentTime : TimeInstantValue;
+	}
+	
+	calc def TimeOf :> Clocks::TimeOf {
+		doc
+		/*
+		 * TimeOf returns a TimeInstantValue for a given Occurrence relative to a given Clock. This TimeInstantValue is the 
+		 * time of the start of the Occurrence, which is considered to be synchronized with the snapshot of the Clock with a 
+		 * currentTime equal to the returned timeInstant.
+		 */
+	
+		in o : Occurrence[1]; 
+		in clock : Clock[1] default localClock;
+		return timeInstant : TimeInstantValue[1];
+	}
+
+	calc def DurationOf :> Clocks::DurationOf {
+		doc
+		/*
+		 * DurationOf returns the duration of a given Occurrence relative to a given Clock, which is equal to the TimeOf 
+		 * the end snapshot of the Occurrence minus the TimeOf its start snapshot.
+		 */
+	
+		in o : Occurrence[1]; 
+		in clock : Clock[1] default localClock;
+		return duration : DurationValue;
+	}
+	
+    attribute def TimeScale :> IntervalScale {
+		doc
+		/*
+		 * Generic time scale to express a time instant, including a textual definition of the meaning of zero time instant value
+		 * 
+		 * Attribute definitionalEpoch captures the specification of the time instant with value zero, also known as the (reference) epoch.
+		 */
+	
+		attribute :>> unit: DurationUnit[1];
+		attribute definitionalEpoch: DefinitionalQuantityValue[1];
+		attribute :>> definitionalQuantityValues = definitionalEpoch;
+    }
+
+    attribute def TimeInstantValue :> ScalarQuantityValue {
+		doc
+		/*
+		 * Representation of a time instant quantity
+		 *
+		 * Also known as instant (of time), or, point in time.
+		 */
+	
+        attribute :>> num: Real[1];
+        attribute :>> mRef: TimeScale[1];
+    }
+    attribute timeInstant: TimeInstantValue :> scalarQuantities;
+
+	abstract attribute def DateTime :> TimeInstantValue {
+		doc
+		/*
+		 * Generic representation of a time instant as a calendar date and time of day
+		 */
+	}
+
+	abstract attribute def Date :> TimeInstantValue {
+		doc
+		/*
+		 * Generic representation of a time instant as a calendar date
+		 */
+	}
+
+	abstract attribute def TimeOfDay :> TimeInstantValue {
+		doc
+		/*
+		 * Generic representation of a time instant as a time of day
+		 */
+	}
+
+	attribute <UTC> 'Coordinated Universal Time' : TimeScale {
+		doc
+		/*
+		 * Representation of the Coordinated Universal Time (UTC) time scale
+		 *
+		 * UTC is the primary time standard by which the world regulates clocks and time. It is within about 1 second of mean solar time
+		 * at 0° longitude and is not adjusted for daylight saving time.
+		 * UTC is obtained from International Atomic Time (TAI) by the insertion of leap seconds according to the advice of
+		 * the International Earth Rotation and Reference Systems Service (IERS) to ensure approximate agreement
+		 * with the time derived from the rotation of the Earth.
+		 *
+		 * References:
+		 * ITU-R TF.460-6 (see https://www.itu.int/rec/R-REC-TF.460/en)
+		 * BIPM technical services: Time Metrology (see https://www.bipm.org/en/time-metrology)
+		 *
+		 * Introductions:
+		 * For UTC see https://en.wikipedia.org/wiki/Coordinated_Universal_Time
+		 * For TAI see https://en.wikipedia.org/wiki/International_Atomic_Time
+		 */
+	
+		attribute :>> unit = SI::s;
+		attribute :>> definitionalEpoch: DefinitionalQuantityValue { :>> num = 0; :>> definition = "UTC epoch at 1 January 1958 at 0 hour 0 minute 0 second"; }
+	}
+
+	attribute def UtcTimeInstantValue :> DateTime { 
+		:>> mRef = UTC {
+			doc
+			/*
+			 * Representation of a time instant expressed on the Coordinated Universal Time (UTC) time scale
+			 */
+		} 
+	}
+	attribute utcTimeInstant: UtcTimeInstantValue :> timeInstant;
+
+	/*
+	 * Representations of a Gregorian calendar date and time of day as specified by the ISO 8601-1 standard.
+	 *
+	 * As explained in ISO 8601-1 clause 4.2.1:
+	 * ISO 8601-1 uses the Gregorian calendar for the identification of calendar days.
+	 *
+	 * The Gregorian calendar provides a time scale consisting of a series of contiguous calendar years,
+	 * each identified by a year number represented by an integer, greater than that of the
+	 * immediately preceding calendar year by 1. ISO 8601-1 allows the identification of calendar years
+	 * by their year number for years both before and after the introduction of the Gregorian calendar.
+	 *
+	 * The Gregorian calendar distinguishes common years of 365 consecutive calendar days and leap years
+	 * of 366 consecutive calendar days.
+	 *
+	 * In the Gregorian calendar each calendar year is divided into 12 sequential calendar months,
+	 * each consisting of a specific number of calendar days in the range 28 to 31. Usage of the Gregorian calendar
+	 * for identifying dates preceding its introduction (15 October 1582) should only be by mutual agreement
+	 * of the communicating partners.
+	 *
+	 * Reference: ISO 8601-1:2019 (First edition)
+	 * "Date and time — Representations for information interchange — Part 1: Basic rules"
+	 * (see https://www.iso.org/standard/70907.html)
+	 */
+
+	attribute def Iso8601DateTimeEncoding :> String {
+	    doc
+	    /*
+	     * Extended string encoding of an ISO 8601-1 date and time
+	     *
+	     * The format of the string must comply with the following EBNF production:
+	     * ['+' | '-'] YYYY '-' MM '-' DD 'T' hh ':' mm ':' ss ['.' fff [fff]] ('Z' | timezoneOffset )
+	     * where:
+	     *   YYYY is 4-or-more-digit year number, which can be negative for years before 0000;
+	     *   MM is 2-digit month in year number, in which 01 is January, 02 is February, ..., 12 is December;
+	     *   DD is 2-digit day in month number in range 01 to 28, 29, 30, 31 depending on month and leap year;
+	     *   hh is 2-digit hour in day number in range 00 to 23;
+	     *   mm is 2-digit minute in hour in range 00 to 59;
+	     *   ss is 2-digit second in minute in range 00 to 60, in  in case of leap second;
+	     *   ['.' fff [fff]] is an optional 3-digit millisecond or 6-digit microsecond fraction;
+	     *   timezoneOffset is ('+' | '-') hhOffset ':' mmOffset, denoting the local timezone hour and minute offset w.r.t. UTC,
+	     *   in which '+' specifies an offset ahead of UTC and '-' specifies an offset behind UTC;
+	     *
+	     * Note 1: All components are expressed with leading zeros.
+	     * Note 2: 'Z' instead of timezoneOffset denotes a UTC time, i.e. zero time offset.
+	     * Note 3: The ss value may only be 60 when a leap second is inserted.
+	     *
+	     * Examples of such a date and time value are:
+	     * 2021-08-30T12:30:24Z (UTC date and time with second precision)
+	     * 2018-01-23T23:14:44.304827Z (UTC date and time with microsecond precision)
+	     * 1969-07-20T20:17:00Z (UTC date and time with second precision)
+	     * 1969-07-20T15:17:00-05:00 (local date and time with second precision for a timezone 5 hour behind UTC)
+	     * 1969-07-20T22:17:00+02:00 (local date and time with second precision for a timezone 2 hour ahead of UTC)
+	     */
+    }
+
+    attribute def Iso8601DateTime :> UtcTimeInstantValue {
+		doc
+		/*
+	     * Representation of an ISO 8601-1 date and time in extended string format
+		 */
+	
+    	attribute val: Iso8601DateTimeEncoding;
+    	attribute :>> num = getElapsedUtcTime(val);
+    	private calc getElapsedUtcTime {
+    		in iso8601DateTime: Iso8601DateTimeEncoding;
+    		/* Return the number of seconds elapsed since the UTC epoch. 
+    		 * Can be negative when the date and time is earlier than the epoch.
+    		 */
+    		return : Real;
+    	}
+    }
+
+    attribute def Iso8601DateTimeStructure :> UtcTimeInstantValue {
+		doc
+		/*
+	     * Representation of an ISO 8601 date and time with explicit date and time component attributes
+	     *
+	     * The total time offset is equal to the summation of hourOffset and minuteOffset.
+		 */
+	
+    	attribute year: Integer;
+    	attribute month: Natural;
+    	attribute day: Natural;
+    	attribute hour: Natural;
+    	attribute minute: Natural;
+    	attribute second: Natural;
+    	attribute microsecond: Natural;
+    	attribute hourOffset: Integer;
+    	attribute minuteOffset: Integer;
+    	attribute :>> num = getElapsedUtcTime(year, month, day, hour, minute, second, microsecond, hourOffset, minuteOffset);
+    	private calc getElapsedUtcTime {
+    		in year: Integer; 
+    		in month: Natural; 
+    		in day: Natural;
+    		in hour: Natural;
+    		in minute: Natural;
+    		in second: Natural;
+    		in microsecond: Natural;
+    		in hourOffset: Integer;
+    		in minuteOffest: Integer;
+    		return : Real;
+    	}
+    }
+
+	calc convertIso8601DateTimeToStructure {
+	    doc
+	    /*
+		 * Calculation to convert an ISO 8601 date and time instant from string to component structure representation
+	     */
+    
+		in iso8601DateTime: Iso8601DateTime;
+		/* Parse ISO 8601 string encoding to date and time components */
+		return : Iso8601DateTimeStructure;
+	}
+
+	calc convertIso8601StructureToDateTime {
+		doc
+		/*
+		 * Calculation to convert an ISO 8601 date and time instant from component structure to string representation
+		 */
+	
+		in iso8601DateTimeStructure: Iso8601DateTimeStructure;
+		attribute x: Iso8601DateTime;
+		/* Concatenate ISO 8601 date and time components to string 
+		 *     year-month-dayThour:minute:second±hourOffset:minuteOffset
+		 */
+		return : Iso8601DateTime;
+	}
+}

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Quantities and Units/USCustomaryUnits.sysml

@@ -0,0 +1,260 @@
+standard library package <USCU> USCustomaryUnits {
+	doc
+	/*
+	 * Measurement unit declarations generated from NIST SP811 Appendix B
+	 *
+	 * See https://www.nist.gov/pml/special-publication-811/nist-guide-si-appendix-b-conversion-factors/nist-guide-si-appendix-b8
+	 */
+
+    private import MeasurementReferences::*;
+    public import ISQ::*;
+    private import SI::*;
+
+    attribute 'acre (based on US survey foot)' : AreaUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^2; :>> conversionFactor = 4.046873E+03; :>> isExact = false; } }
+    attribute 'acre foot (based on US survey foot)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 1.233489E+03; :>> isExact = false; } }
+    attribute <bbl> 'barrel (for petroleum, 42 gallons (US))' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 1.589873E-01; :>> isExact = false; } }
+    attribute <Btu_IT> 'British thermal unit (IT)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.055056E+03; :>> isExact = false; } }
+    alias Btu for Btu_IT;
+    attribute <Btu_th> 'British thermal unit (th)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.054350E+03; :>> isExact = false; } }
+    attribute <Btu_mean> 'British thermal unit (mean)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.05587E+03; :>> isExact = false; } }
+    attribute <'Btu_39°F'> 'British thermal unit (39 °F)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.05967E+03; :>> isExact = false; } }
+    attribute <'Btu_59°F'> 'British thermal unit (59 °F)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.05480E+03; :>> isExact = false; } }
+    attribute <'Btu_60°F'> 'British thermal unit (60 °F)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.05468E+03; :>> isExact = false; } }
+    attribute <'Btu_IT⋅ft/(h⋅ft²⋅°F)'> 'British thermal unit (IT) foot per hour square foot degree Fahrenheit' : ThermalConductivityUnit = Btu_IT*ft/(h*ft^2*'°F');
+    attribute <'Btu_th⋅ft/(h⋅ft²⋅°F)'> 'British thermal unit (th) foot per hour square foot degree Fahrenheit' : ThermalConductivityUnit = Btu_th*ft/(h*ft^2*'°F');
+    attribute <'Btu_IT⋅in/(h⋅ft²⋅°F)'> 'British thermal unit (IT) inch per hour square foot degree Fahrenheit' : ThermalConductivityUnit = Btu_IT*'in'/(h*ft^2*'°F');
+    attribute <'Btu_th⋅in/(h⋅ft²⋅°F)'> 'British thermal unit (th) inch per hour square foot degree Fahrenheit' : ThermalConductivityUnit = Btu_th*'in'/(h*ft^2*'°F');
+    attribute <'Btu_IT⋅in/(s⋅ft²⋅°F)'> 'British thermal unit (IT) inch per second square foot degree Fahrenheit' : ThermalConductivityUnit = Btu_IT*'in'/(s*ft^2*'°F');
+    attribute <'Btu_th⋅in/(s⋅ft²⋅°F)'> 'British thermal unit (th) inch per second square foot degree Fahrenheit' : ThermalConductivityUnit = Btu_th*'in'/(s*ft^2*'°F');
+    //attribute <'Btu_IT/ft³'> 'British thermal unit (IT) per cubic foot' : EnergyDensityUnit = Btu_IT/ft^3;
+    //attribute <'Btu_th/ft³'> 'British thermal unit (th) per cubic foot' : EnergyDensityUnit = Btu_th/ft^3;
+    attribute <'Btu_IT/°F'> 'British thermal unit (IT) per degree Fahrenheit' : HeatCapacityUnit = Btu_IT/'°F';
+    attribute <'Btu_th/°F'> 'British thermal unit (th) per degree Fahrenheit' : HeatCapacityUnit = Btu_th/'°F';
+    attribute <'Btu_IT/°R'> 'British thermal unit (IT) per degree Rankine' : HeatCapacityUnit = Btu_IT/'°R';
+    attribute <'Btu_th/°R'> 'British thermal unit (th) per degree Rankine' : HeatCapacityUnit = Btu_th/'°R';
+    attribute <'Btu_IT/h'> 'British thermal unit (IT) per hour' : PowerUnit = Btu_IT/h;
+    attribute <'Btu_th/h'> 'British thermal unit (th) per hour' : PowerUnit = Btu_th/h;
+    attribute <'Btu_IT/(h⋅ft²⋅°F)'> 'British thermal unit (IT) per hour square foot degree Fahrenheit' : CoefficientOfHeatTransferUnit = Btu_IT/(h*ft^2*'°F');
+    attribute <'Btu_th/(h⋅ft²⋅°F)'> 'British thermal unit (th) per hour square foot degree Fahrenheit' : CoefficientOfHeatTransferUnit = Btu_th/(h*ft^2*'°F');
+    attribute <'Btu_th/min'> 'British thermal unit (th) per minute' : PowerUnit = Btu_th/min;
+    attribute <'Btu_IT/lb'> 'British thermal unit (IT) per pound' : SpecificEnergyUnit = Btu_IT/lb;
+    attribute <'Btu_th/lb'> 'British thermal unit (th) per pound' : SpecificEnergyUnit = Btu_th/lb;
+    attribute <'Btu_IT/(lb⋅°F)'> 'British thermal unit (IT) per pound degree Fahrenheit' : SpecificHeatCapacityUnit = Btu_IT/(lb*'°F');
+    attribute <'Btu_th/(lb⋅°F)'> 'British thermal unit (th) per pound degree Fahrenheit' : SpecificHeatCapacityUnit = Btu_th/(lb*'°F');
+    attribute <'Btu_IT/(lb⋅°R)'> 'British thermal unit (IT) per pound degree Rankine' : SpecificHeatCapacityUnit = Btu_IT/(lb*'°R');
+    attribute <'Btu_th/(lb⋅°R)'> 'British thermal unit (th) per pound degree Rankine' : SpecificHeatCapacityUnit = Btu_th/(lb*'°R');
+    attribute <'Btu_IT/s'> 'British thermal unit (IT) per second' : PowerUnit = Btu_IT/s;
+    attribute <'Btu_th/s'> 'British thermal unit (th) per second' : PowerUnit = Btu_th/s;
+    attribute <'Btu_IT/(s⋅ft²⋅°F)'> 'British thermal unit (IT) per second square foot degree Fahrenheit' : CoefficientOfHeatTransferUnit = Btu_IT/(s*ft^2*'°F');
+    attribute <'Btu_th/(s⋅ft²⋅°F)'> 'British thermal unit (th) per second square foot degree Fahrenheit' : CoefficientOfHeatTransferUnit = Btu_th/(s*ft^2*'°F');
+    //attribute <'Btu_IT/ft²'> 'British thermal unit (IT) per square foot' : SurfaceHeatDensityUnit = Btu_IT/ft^2;
+    //attribute <'Btu_th/ft²'> 'British thermal unit (th) per square foot' : SurfaceHeatDensityUnit = Btu_th/ft^2;
+    attribute <'Btu_IT/(ft²⋅h)'> 'British thermal unit (IT) per square foot hour' : DensityOfHeatFlowRateUnit = Btu_IT/(ft^2*h);
+    attribute <'Btu_th/(ft²⋅h)'> 'British thermal unit (th) per square foot hour' : DensityOfHeatFlowRateUnit = Btu_th/(ft^2*h);
+    attribute <'Btu_th/(ft²⋅min)'> 'British thermal unit (th) per square foot minute' : DensityOfHeatFlowRateUnit = Btu_th/(ft^2*min);
+    attribute <'Btu_IT/(ft²⋅s)'> 'British thermal unit (IT) per square foot second' : DensityOfHeatFlowRateUnit = Btu_IT/(ft^2*s);
+    attribute <'Btu_th/(ft²⋅s)'> 'British thermal unit (th) per square foot second' : DensityOfHeatFlowRateUnit = Btu_th/(ft^2*s);
+    attribute <'Btu_th/(in²⋅s)'> 'British thermal unit (th) per square inch second' : DensityOfHeatFlowRateUnit = Btu_th/('in'^2*s);
+    attribute <bu> 'bushel (US)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 3.523907E-02; :>> isExact = false; } }
+    attribute <'cd/in²'> 'candela per square inch' : LuminanceUnit = cd/'in'^2;
+    attribute <ch> 'chain (based on US survey foot)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 2.011684E+01; :>> isExact = false; } }
+    attribute 'circular mil' : AreaUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^2; :>> conversionFactor = 5.067075E-10; :>> isExact = false; } }
+    attribute 'clo' : ThermalInsulanceUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^2*K/W; :>> conversionFactor = 1.55E-01; :>> isExact = false; } }
+    attribute 'cord (128 ft^3)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 3.624556E+00; :>> isExact = false; } }
+    attribute <'ft³'> 'cubic foot' : VolumeUnit = ft^3;
+    attribute <'ft³/min'> 'cubic foot per minute' : VolumeFlowRateUnit = ft^3/min;
+    attribute <'ft³/s'> 'cubic foot per second' : VolumeFlowRateUnit = ft^3/s;
+    attribute <'in³'> 'cubic inch' : VolumeUnit = 'in'^3;
+    attribute <'in³/min'> 'cubic inch per minute' : VolumeFlowRateUnit = 'in'^3/min;
+    attribute <'mi³'> 'cubic mile' : VolumeUnit = mi^3;
+    attribute <'yd³'> 'cubic yard' : VolumeUnit = yd^3;
+    attribute <'yd³/min'> 'cubic yard per minute' : VolumeFlowRateUnit = yd^3/min;
+    attribute 'cup (US)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 2.365882E-04; :>> isExact = false; } }
+    attribute <'°F'> 'degree Fahrenheit (temperature difference)' : TemperatureDifferenceUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = K; :>> conversionFactor = 5/9; :>> isExact = true; } }
+    attribute <'°F⋅h/Btu_IT'> 'degree Fahrenheit hour per British thermal unit (IT)' : ThermalResistanceUnit = '°F'*h/Btu_IT;
+    attribute <'°F⋅h/Btu_th'> 'degree Fahrenheit hour per British thermal unit (th)' : ThermalResistanceUnit = '°F'*h/Btu_th;
+    attribute <'°F⋅h⋅ft²/Btu_IT'> 'degree Fahrenheit hour square foot per British thermal unit (IT)' : ThermalInsulanceUnit = '°F'*h*ft^2/Btu_IT;
+    attribute <'°F⋅h⋅ft²/Btu_th'> 'degree Fahrenheit hour square foot per British thermal unit (th)' : ThermalInsulanceUnit = '°F'*h*ft^2/Btu_th;
+    //attribute <'°F⋅h⋅ft²/(Btu_IT⋅in)'> 'degree Fahrenheit hour square foot per British thermal unit (IT) inch' : ThermalResistivityUnit = '°F'*h*ft^2/(Btu_IT*'in');
+    //attribute <'°F⋅h⋅ft²/(Btu_th⋅in)'> 'degree Fahrenheit hour square foot per British thermal unit (th) inch' : ThermalResistivityUnit = '°F'*h*ft^2/(Btu_th*'in');
+    attribute <'°F⋅s/Btu_IT'> 'degree Fahrenheit second per British thermal unit (IT)' : ThermalResistanceUnit = '°F'*s/Btu_IT;
+    attribute <'°F⋅s/Btu_th'> 'degree Fahrenheit second per British thermal unit (th)' : ThermalResistanceUnit = '°F'*s/Btu_th;
+    attribute <'°R'> 'degree Rankine' : ThermodynamicTemperatureUnit, TemperatureDifferenceUnit { 
+        :>> unitConversion: ConversionByConvention { :>> referenceUnit = K; :>> conversionFactor = 5/9; :>> isExact = true; }
+        :>> ThermodynamicTemperatureUnit::quantityDimension, TemperatureDifferenceUnit::quantityDimension {
+            :>> ThermodynamicTemperatureUnit::quantityDimension::quantityPowerFactors, TemperatureDifferenceUnit::quantityDimension::quantityPowerFactors;
+        }
+    }
+    attribute 'fathom (based on US survey foot)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 1.828804E+00; :>> isExact = false; } }
+    attribute <floz> 'fluid ounce (US)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 2.957353E-05; :>> isExact = false; } }
+    attribute <ft> 'foot' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 3.048E-01; } }
+    attribute 'foot (US survey)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 3.048006E-01; :>> isExact = false; } }
+    attribute 'footcandle' : IlluminanceUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = lx; :>> conversionFactor = 1.076391E+01; :>> isExact = false; } }
+    attribute 'footlambert' : LuminanceUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = cd/m^2; :>> conversionFactor = 3.426259E+00; :>> isExact = false; } }
+    attribute <ftHg> 'foot of mercury, conventional' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 4.063666E+04; :>> isExact = false; } }
+    attribute 'foot of water (39.2 °F)' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 2.98898E+03; :>> isExact = false; } }
+    attribute <ftH2O> 'foot of water, conventional' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 2.989067E+03; :>> isExact = false; } }
+    attribute <'ft/h'> 'foot per hour' : SpeedUnit = ft/h;
+    attribute <'ft/min'> 'foot per minute' : SpeedUnit = ft/min;
+    attribute <'ft/s'> 'foot per second' : SpeedUnit = ft/s;
+    attribute <'ft/s²'> 'foot per second squared' : AccelerationUnit = ft/s^2;
+    attribute 'foot poundal' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 4.214011E-02; :>> isExact = false; } }
+    attribute <'ft⋅lbf'> 'foot pound-force' : EnergyUnit = ft*lbf;
+    attribute <'ft⋅lbf/h'> 'foot pound-force per hour' : PowerUnit = ft*lbf/h;
+    attribute <'ft⋅lbf/min'> 'foot pound-force per minute' : PowerUnit = ft*lbf/min;
+    attribute <'ft⋅lbf/s'> 'foot pound-force per second' : PowerUnit = ft*lbf/s;
+    attribute <'ft⁴'> 'foot to the fourth power' : SecondAxialMomentOfAreaUnit = ft^4;
+    attribute <gal> 'gallon (US)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 3.785412E-03; :>> isExact = false; } }
+    attribute <'gal/d'> 'gallon (US) per day' : VolumeFlowRateUnit = gal/d;
+    //attribute <'gal/(hp⋅h)'> 'gallon (US) per horsepower hour' : EnergySpecificVolumeUnit = gal/(hp*h);
+    attribute <'gal/min'> 'gallon (US) per minute (gpm)' : VolumeFlowRateUnit = gal/min;
+    attribute <gi> 'gill (US)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 1.182941E-04; :>> isExact = false; } }
+    attribute <gr> 'grain' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 6.479891E-05; } }
+    attribute <'gr/gal'> 'grain per gallon (US)' : MassDensityUnit = gr/gal;
+    attribute <hp> 'horsepower (550 ft*lbf/s)' : PowerUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = W; :>> conversionFactor = 7.456999E+02; :>> isExact = false; } }
+    attribute 'horsepower (boiler)' : PowerUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = W; :>> conversionFactor = 9.80950E+03; :>> isExact = false; } }
+    attribute 'horsepower (electric)' : PowerUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = W; :>> conversionFactor = 7.46E+02; } }
+    attribute 'horsepower (water)' : PowerUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = W; :>> conversionFactor = 7.46043E+02; :>> isExact = false; } }
+    attribute 'hundredweight (long, 112 lb)' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 5.080235E+01; :>> isExact = false; } }
+    attribute 'hundredweight (short, 100 lb)' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 4.535924E+01; :>> isExact = false; } }
+    attribute <'in'> 'inch' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 2.54E-02; } }
+    attribute 'inch of mercury (32 °F)' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 3.38638E+03; :>> isExact = false; } }
+    attribute 'inch of mercury (60 °F)' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 3.37685E+03; :>> isExact = false; } }
+    attribute <inHg> 'inch of mercury, conventional' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 3.386389E+03; :>> isExact = false; } }
+    attribute 'inch of water (39.2 °F)' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 2.49082E+02; :>> isExact = false; } }
+    attribute 'inch of water (60 °F)' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 2.4884E+02; :>> isExact = false; } }
+    attribute <inH2O> 'inch of water, conventional' : PressureUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Pa; :>> conversionFactor = 2.490889E+02; :>> isExact = false; } }
+    attribute <'in/s'> 'inch per second' : SpeedUnit = 'in'/s;
+    attribute <'in/s²'> 'inch per second squared' : AccelerationUnit = 'in'/s^2;
+    attribute <'in⁴'> 'inch to the fourth power' : SecondAxialMomentOfAreaUnit = 'in'^4;
+    attribute <kip> 'kip (1 kip = 1000 lbf)' : ForceUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = N; :>> conversionFactor = 4.448222E+03; :>> isExact = false; } }
+    attribute <'kip/in²'> 'kip per square inch (ksi)' : PressureUnit = kip/'in'^2;
+    attribute <knot> 'knot (nautical mile per hour)' : SpeedUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m/s; :>> conversionFactor = 5.144444E-01; :>> isExact = false; } }
+    //attribute <'cal_th/cm²'> 'langley' : SurfaceHeatDensityUnit = cal_th/cm^2;
+    attribute <'lm/ft²'> 'lumen per square foot' : IlluminanceUnit = lm/ft^2;
+    attribute 'microinch' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 2.54E-08; } }
+    attribute <mil> 'mil (0.001 in)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 2.54E-05; } }
+    attribute <mi> 'mile' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 1.609344E+03; } }
+    attribute 'mile (based on US survey foot)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 1.609347E+03; :>> isExact = false; } }
+    attribute <nmi> 'mile, nautical' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 1.852E+03; } }
+    alias NM for nmi;
+    //attribute <'mi/gal'> 'mile per gallon (US)' : FuelEconomyUnit = mi/gal;
+    //alias mpg for 'mi/gal';
+    attribute <'mi/h'> 'mile per hour' : SpeedUnit = mi/h;
+    alias mph for 'mi/h';
+    attribute <'mi/min'> 'mile per minute' : SpeedUnit = mi/min;
+    attribute <'mi/s'> 'mile per second' : SpeedUnit = mi/s;
+    attribute 'ohm circular-mil per foot' : ResistivityUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = 'Ω'*m; :>> conversionFactor = 1.662426E-09; :>> isExact = false; } }
+    attribute <oz> 'ounce (avoirdupois)' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 2.834952E-02; :>> isExact = false; } }
+    attribute 'ounce (US fluid)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 2.957353E-05; :>> isExact = false; } }
+    attribute <ozf> 'ounce (avoirdupois)-force' : ForceUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = N; :>> conversionFactor = 2.780139E-01; :>> isExact = false; } }
+    attribute <'ozf⋅in'> 'ounce (avoirdupois)-force inch' : MomentOfForceUnit = ozf*'in';
+    attribute <'oz/in³'> 'ounce (avoirdupois) per cubic inch' : MassDensityUnit = oz/'in'^3;
+    attribute <'oz/gal'> 'ounce (avoirdupois) per gallon (US)' : MassDensityUnit = oz/gal;
+    attribute <'oz/ft²'> 'ounce (avoirdupois) per square foot' : SurfaceMassDensityUnit = oz/ft^2;
+    attribute <'oz/in²'> 'ounce (avoirdupois) per square inch' : SurfaceMassDensityUnit = oz/'in'^2;
+    attribute <'oz/yd²'> 'ounce (avoirdupois) per square yard' : SurfaceMassDensityUnit = oz/yd^2;
+    attribute <pk> 'peck (US)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 8.809768E-03; :>> isExact = false; } }
+    //attribute 'perm (0 °C)' : VapourTransmissionUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg/(Pa*s*m^2); :>> conversionFactor = 5.72135E-11; :>> isExact = false; } }
+    //attribute 'perm (23 °C)' : VapourTransmissionUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg/(Pa*s*m^2); :>> conversionFactor = 5.74525E-11; :>> isExact = false; } }
+    //attribute 'perm inch (0 °C)' : VapourTransmissionUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg/('Pa·s·m'); :>> conversionFactor = 1.45322E-12; :>> isExact = false; } }
+    //attribute 'perm inch (23 °C)' : VapourTransmissionUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg/('Pa·s·m'); :>> conversionFactor = 1.45929E-12; :>> isExact = false; } }
+    attribute <pica> 'pica (computer) (1/6 in)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 4.233333E-03; :>> isExact = false; } }
+    attribute 'pica (printer′s)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 4.217518E-03; :>> isExact = false; } }
+    attribute <drypt> 'pint (US dry)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 5.506105E-04; :>> isExact = false; } }
+    attribute <liqpt> 'pint (US liquid)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 4.731765E-04; :>> isExact = false; } }
+    attribute <pt> 'point (computer) (1/72 in)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 3.527778E-04; :>> isExact = false; } }
+    attribute 'point (printer′s)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 3.514598E-04; :>> isExact = false; } }
+    attribute <lb> 'pound (avoirdupois)' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 4.535924E-01; :>> isExact = false; } }
+    attribute <'lb⋅ft²'> 'pound foot squared' : MomentOfInertiaUnit = lb*ft^2;
+    attribute <lbf> 'pound-force' : ForceUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = N; :>> conversionFactor = 4.448222E+00; :>> isExact = false; } }
+    attribute <'lbf⋅ft'> 'pound-force foot' : MomentOfForceUnit = lbf*ft;
+    attribute <'lbf⋅ft/in'> 'pound-force foot per inch' : ForceUnit = lbf*ft/'in';
+    attribute <'lbf⋅in'> 'pound-force inch' : MomentOfForceUnit = lbf*'in';
+    attribute <'lbf⋅in/in'> 'pound-force inch per inch' : ForceUnit = lbf*'in'/'in';
+    attribute <'lbf/ft'> 'pound-force per foot' : SurfaceTensionUnit = lbf/ft;
+    attribute <'lbf/in'> 'pound-force per inch' : SurfaceTensionUnit = lbf/'in';
+    //attribute 'pound-force per pound (lbf/lb) (thrust to mass ratio)' : ThrustToMassRatioUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = N/kg; :>> conversionFactor = 9.80665E+00; } }
+    attribute <'lbf/ft²'> 'pound-force per square foot' : PressureUnit = lbf/ft^2;
+    attribute <'lbf/in²'> 'pound-force per square inch' : PressureUnit = lbf/'in'^2;
+    alias psi for 'lbf/in²';
+    attribute <'lbf⋅s/ft²'> 'pound-force second per square foot' : DynamicViscosityUnit = lbf*s/ft^2;
+    attribute <'lbf⋅s/in²'> 'pound-force second per square inch' : DynamicViscosityUnit = lbf*s/'in'^2;
+    attribute <'lb⋅in²'> 'pound inch squared' : MomentOfInertiaUnit = lb*'in'^2;
+    attribute <'lb/ft³'> 'pound per cubic foot' : MassDensityUnit = lb/ft^3;
+    attribute <'lb/in³'> 'pound per cubic inch' : MassDensityUnit = lb/'in'^3;
+    attribute <'lb/yd³'> 'pound per cubic yard' : MassDensityUnit = lb/yd^3;
+    attribute <'lb/ft'> 'pound per foot' : LinearMassDensityUnit = lb/ft;
+    attribute <'lb/(ft⋅h)'> 'pound per foot hour' : DynamicViscosityUnit = lb/(ft*h);
+    attribute <'lb/(ft⋅s)'> 'pound per foot second' : DynamicViscosityUnit = lb/(ft*s);
+    attribute <'lb/gal'> 'pound per gallon (US)' : MassDensityUnit = lb/gal;
+    //attribute <'lb/(hp⋅h)'> 'pound per horsepower hour' : FuelConsumptionUnit = lb/(hp*h);
+    attribute <'lb/h'> 'pound per hour' : MassFlowRateUnit = lb/h;
+    attribute <'lb/in'> 'pound per inch' : LinearMassDensityUnit = lb/'in';
+    attribute <'lb/min'> 'pound per minute' : MassFlowRateUnit = lb/min;
+    attribute <'lb/s'> 'pound per second' : MassFlowRateUnit = lb/s;
+    attribute <'lb/ft²'> 'pound per square foot' : SurfaceMassDensityUnit = lb/ft^2;
+    attribute <'lb/in²'> 'pound per square inch (not pound-force)' : SurfaceMassDensityUnit = lb/'in'^2;
+    attribute <'lb/yd'> 'pound per yard' : LinearMassDensityUnit = lb/yd;
+    attribute 'pound-force per square inch (psi)' : PressureUnit = lbf/'in'^2;
+    attribute 'quad (10^15 Btu_IT)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.055056E+18; :>> isExact = false; } }
+    attribute <dryqt> 'quart (US dry)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 1.101221E-03; :>> isExact = false; } }
+    attribute <liqqt> 'quart (US liquid)' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 9.463529E-04; :>> isExact = false; } }
+    attribute <rd> 'rod (based on US survey foot)' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 5.029210E+00; :>> isExact = false; } }
+    attribute <slug> 'slug' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 1.459390E+01; :>> isExact = false; } }
+    attribute <'slug/ft³'> 'slug per cubic foot' : MassDensityUnit = slug/ft^3;
+    attribute <'slug/(ft⋅s)'> 'slug per foot second' : DynamicViscosityUnit = slug/(ft*s);
+    attribute <'ft²'> 'square foot' : AreaUnit = ft^2;
+    attribute <'ft²/h'> 'square foot per hour' : KinematicViscosityUnit = ft^2/h;
+    attribute <'ft²/s'> 'square foot per second' : KinematicViscosityUnit = ft^2/s;
+    attribute <'in²'> 'square inch' : AreaUnit = 'in'^2;
+    attribute <'mi²'> 'square mile' : AreaUnit = mi^2;
+    attribute 'square mile (based on US survey foot)' : AreaUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^2; :>> conversionFactor = 2.589998E+06; :>> isExact = false; } }
+    attribute <'yd²'> 'square yard' : AreaUnit = yd^2;
+    attribute 'tablespoon' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 1.478676E-05; :>> isExact = false; } }
+    attribute 'teaspoon' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 4.928922E-06; :>> isExact = false; } }
+    attribute 'therm (EC)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.05506E+08; } }
+    attribute 'therm (US)' : EnergyUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = J; :>> conversionFactor = 1.054804E+08; } }
+    attribute <AT> 'ton, assay' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 2.916667E-02; :>> isExact = false; } }
+    attribute 'ton-force (2000 lbf)' : ForceUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = N; :>> conversionFactor = 8.896443E+03; :>> isExact = false; } }
+    attribute 'ton, long (2240 lb)' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 1.016047E+03; :>> isExact = false; } }
+    attribute 'ton, long, per cubic yard' : MassDensityUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg/m^3; :>> conversionFactor = 1.328939E+03; :>> isExact = false; } }
+    attribute 'ton of refrigeration (12 000 Btu_IT/h)' : PowerUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = W; :>> conversionFactor = 3.516853E+03; :>> isExact = false; } }
+    attribute 'ton, register' : VolumeUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m^3; :>> conversionFactor = 2.831685E+00; :>> isExact = false; } }
+    attribute 'ton, short (2000 lb)' : MassUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg; :>> conversionFactor = 9.071847E+02; :>> isExact = false; } }
+    attribute 'ton, short, per cubic yard' : MassDensityUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg/m^3; :>> conversionFactor = 1.186553E+03; :>> isExact = false; } }
+    attribute 'ton, short, per hour' : MassFlowRateUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = kg/s; :>> conversionFactor = 2.519958E-01; :>> isExact = false; } }
+    attribute 'unit pole' : MagneticFluxUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = Wb; :>> conversionFactor = 1.256637E-07; :>> isExact = false; } }
+    attribute <'W/in²'> 'watt per square inch' : DensityOfHeatFlowRateUnit = W/'in'^2;
+    attribute <yd> 'yard' : LengthUnit { :>> unitConversion: ConversionByConvention { :>> referenceUnit = m; :>> conversionFactor = 9.144E-01; } }
+
+
+	attribute <'°F_abs'> 'degree fahrenheit (absolute temperature scale)' : IntervalScale {
+		doc
+		/*
+		 * degree Fahrenheit interval scale for absolute (thermodynamic) temperature quantities
+		 *
+	     * The interval scale is defined with an explicit transformation with respect to 
+	     * the kelvin thermodynamic temperature scale that specifies the zero shift.
+		 */
+		
+		:>> unit = '°F';
+		private attribute temperatureWaterAtFreezingPointInF: DefinitionalQuantityValue {
+			:>> num = 32.0;
+			:>> definition = "temperature in degree Fahrenheit of pure water at freezing point";
+		}
+		private attribute fahrenheitToCelsiusScaleMapping: QuantityValueMapping {
+			:>> mappedQuantityValue = temperatureWaterAtFreezingPointInF;
+			:>> referenceQuantityValue = '°C_abs'.temperatureWaterAtFreezingPointInC;
+
+		}
+		attribute :>> definitionalQuantityValues = temperatureWaterAtFreezingPointInF;
+		attribute :>> quantityValueMapping = fahrenheitToCelsiusScaleMapping;
+
+        /* CoordinateFramePlacement (zero shift) w.r.t. the kelvin thermodynamic temperature scale */
+        private attribute zeroDegreeFahrenheitInKelvin: ThermodynamicTemperatureValue = 229835/900 [K];
+        attribute zeroDegreeFahrenheitToKelvinShift : CoordinateFramePlacement :>> transformation { 
+        	:>> source = K; :>> origin = zeroDegreeFahrenheitInKelvin;
+        }
+	}
+}

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Quantities and Units/VectorCalculations.sysml

@@ -0,0 +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; 
+    	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/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Requirement Derivation/.meta.json

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