@oimlsmart/primmel-packages 0.1.0

package/oiml-r129/execution/subforms/dimension-measurement.prl

@@ -0,0 +1,93 @@
+subform dimension-measurement {
+  type object
+  description "One dimension-measurement row: a test object of known dimensions measured under one condition (reference, severity stage or disturbance application). The indicated length, width and height are recorded with their errors against the known dimensions, the maximum permissible error (±1.0 d, R 129-1, 4.1.2), and the per-row verdict |error| ≤ MPE on every axis."
+  field condition : string {
+    label "Condition / stage"
+    description "The stage or application this row belongs to (e.g. Reference 20 °C, High temperature, Nominal +10 %, Contact discharge, After exposure, 5 min)"
+    required true
+    measurement_method direct
+  }
+  field test_object_id : string {
+    label "Test object"
+    description "Identification of the test object of known dimensions"
+    required true
+    measurement_method direct
+  }
+  field indication_l : number {
+    label "Indication L"
+    unit "cm"
+    required true
+    measurement_method direct
+  }
+  field error_l : number {
+    label "Error ΔL"
+    unit "cm"
+    required true
+    measurement_method computed
+    calculation measurementError
+    calculation_bindings { indication: indication_l reference_dimension: reference_l }
+  }
+  field indication_w : number {
+    label "Indication W"
+    unit "cm"
+    required true
+    measurement_method direct
+  }
+  field error_w : number {
+    label "Error ΔW"
+    unit "cm"
+    required true
+    measurement_method computed
+    calculation measurementError
+    calculation_bindings { indication: indication_w reference_dimension: reference_w }
+  }
+  field indication_h : number {
+    label "Indication H"
+    unit "cm"
+    required true
+    measurement_method direct
+  }
+  field error_h : number {
+    label "Error ΔH"
+    unit "cm"
+    required true
+    measurement_method computed
+    calculation measurementError
+    calculation_bindings { indication: indication_h reference_dimension: reference_h }
+  }
+  field reference_l : number {
+    label "Known L"
+    description "Known (reference) length of the test object"
+    unit "cm"
+    measurement_method direct
+  }
+  field reference_w : number {
+    label "Known W"
+    description "Known (reference) width of the test object"
+    unit "cm"
+    measurement_method direct
+  }
+  field reference_h : number {
+    label "Known H"
+    description "Known (reference) height of the test object"
+    unit "cm"
+    measurement_method direct
+  }
+  field mpe : number {
+    label "MPE"
+    unit "cm"
+    required true
+    measurement_method lookup
+    calculation lookupMPE
+    calculation_bindings { d: scale_interval }
+    ref requirement "urn:oiml:pub:r:129-1:2020#clause-4.1.2"
+  }
+  field pass_fail : boolean {
+    label "Within MPE"
+    measurement_method evaluated
+    true_label "Pass"
+    false_label "Fail"
+    evaluation { rule "ocl{abs(error_l) <= mpe and abs(error_w) <= mpe and abs(error_h) <= mpe}" condition "|error| <= MPE on every axis (R 129-1, 4.1.2)" }
+  }
+}
+

package/oiml-r129/layers.prl

@@ -0,0 +1,50 @@
+# Layer composition (TODO.refactor/17) — GENERATED, do not edit.
+# This package consumes the following layer files verbatim (include lines
+# below); primmel-ts expands include directives before parsing. Rec files
+# that OVERLAY a layer file ship the composed result and are not included.
+#   include "../oiml-smart-core/entities/comments.prl"
+#   include "../oiml-smart-core/entities/cs-operations.prl"
+#   include "../oiml-smart-core/entities/cs-participants.prl"
+#   include "../oiml-smart-core/entities/engagement.prl"
+#   include "../oiml-smart-core/entities/instrument.prl"
+#   include "../oiml-smart-core/entities/module-b.prl"
+#   include "../oiml-smart-core/entities/operated-schemes.prl"
+#   include "../oiml-smart-core/entities/parties.prl"
+#   include "../oiml-smart-core/entities/payment-records.prl"
+#   include "../oiml-smart-module-specimen-governance/entities/test-execution.prl"
+#   include "../oiml-smart-core/entities/verification.prl"
+#   include "../oiml-smart-core/entities/workflow.prl"
+#   include "../iso-iec-17065/specification/requirements/body.prl"
+#   include "../oiml-cs/specification/requirements/cs.prl"
+#   include "../iso-iec-17025/specification/requirements/lab.prl"
+#   include "../iso-iec-17067/specification/requirements/scheme-content.prl"
+#   include "../oiml-smart-core/specification/competence-kinds.prl"
+#   include "../oiml-smart-core/specification/predicates.prl"
+#   include "../oiml-smart-core/specification/constraints.prl"
+#   include "../oiml-cs/specification/discrepancies.prl"
+#   include "../oiml-smart-core/specification/invariants.prl"
+#   include "../oiml-smart-core/evaluation/state-machines.prl"
+#   include "../oiml-smart-core/evaluation/roles.prl"
+include "../oiml-smart-core/entities/comments.prl"
+include "../oiml-smart-core/entities/cs-operations.prl"
+include "../oiml-smart-core/entities/cs-participants.prl"
+include "../oiml-smart-core/entities/engagement.prl"
+include "../oiml-smart-core/entities/instrument.prl"
+include "../oiml-smart-core/entities/module-b.prl"
+include "../oiml-smart-core/entities/operated-schemes.prl"
+include "../oiml-smart-core/entities/parties.prl"
+include "../oiml-smart-core/entities/payment-records.prl"
+include "../oiml-smart-module-specimen-governance/entities/test-execution.prl"
+include "../oiml-smart-core/entities/verification.prl"
+include "../oiml-smart-core/entities/workflow.prl"
+include "../iso-iec-17065/specification/requirements/body.prl"
+include "../oiml-cs/specification/requirements/cs.prl"
+include "../iso-iec-17025/specification/requirements/lab.prl"
+include "../iso-iec-17067/specification/requirements/scheme-content.prl"
+include "../oiml-smart-core/specification/competence-kinds.prl"
+include "../oiml-smart-core/specification/predicates.prl"
+include "../oiml-smart-core/specification/constraints.prl"
+include "../oiml-cs/specification/discrepancies.prl"
+include "../oiml-smart-core/specification/invariants.prl"
+include "../oiml-smart-core/evaluation/state-machines.prl"
+include "../oiml-smart-core/evaluation/roles.prl"

package/oiml-r129/model/attributes.prl

@@ -0,0 +1,243 @@
+attribute_definition measurement_principle {
+  name "Measurement principle"
+  definition "Principle of operation used to measure the object dimensions (mechanical, optical or acoustic)."
+  ref derives-from "urn:oiml:pub:r:129-2:2020#clause-A"
+  value_type string
+  origin design-fixed
+  scope model
+  category metrological
+  is_dimension true
+  enum measurement_principle
+}
+
+attribute_definition instrument_category {
+  name "Instrument category"
+  definition "Whether the instrument measures without operator intervention (automatic) or requires operator intervention to carry out measurements (semi-automatic)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.1"
+  value_type string
+  origin design-fixed
+  scope model
+  category administrative
+  is_dimension true
+  enum instrument_category
+}
+
+attribute_definition power_supply {
+  name "Power supply"
+  definition "How the instrument is powered (AC mains, internal battery, or DC / AC-DC converter) — determines which electrical tests apply."
+  ref derives-from "urn:oiml:pub:r:129-2:2020#clause-A"
+  value_type string
+  origin design-fixed
+  scope model
+  category electrical
+  is_dimension true
+  enum power_supply
+}
+
+attribute_definition object_capability {
+  name "Object capability"
+  definition "Whether the instrument can measure irregular-shaped objects or only rectangular boxes (marked limitations, R 129-1, 5.3)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-5.3"
+  value_type string
+  origin design-fixed
+  scope model
+  category metrological
+  is_dimension true
+  enum object_capability
+}
+
+attribute_definition scale_interval {
+  symbol "d"
+  name "Scale interval"
+  definition "Value, expressed in units of length, of the difference between the values corresponding to two consecutive scale marks for analogue indication, or the difference between two consecutive indicated values for digital indication. Its form is 1, 2 or 5 × 10ⁿ, n an integer (R 129-1, 5.2.4)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.9"
+  quantity_kind length
+  unit "cm"
+  value_type QuantityValue
+  origin declared
+  scope model
+  category metrological
+}
+
+attribute_definition min_dimension {
+  symbol "Min"
+  name "Minimum dimension"
+  definition "Smallest value of a dimension that can be measured by the instrument; related to the scale interval per R 129-1, Table 2 (d ≤ 2 cm → Min ≥ 10 d; 2 cm < d ≤ 10 cm → Min ≥ 20 d; d > 10 cm → Min ≥ 50 d)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.6"
+  quantity_kind length
+  unit "cm"
+  value_type QuantityValue
+  origin declared
+  scope model
+  category metrological
+}
+
+attribute_definition max_dimension {
+  symbol "Max"
+  name "Maximum dimension"
+  definition "Largest value of a dimension that can be measured by the instrument."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.5"
+  quantity_kind length
+  unit "cm"
+  value_type QuantityValue
+  origin declared
+  scope model
+  category metrological
+}
+
+attribute_definition conversion_factor {
+  symbol "F"
+  name "Conversion factor"
+  definition "Coefficient that, applied to the dimensional volume of an object, gives its dimensional weight (DW = DV / F)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.8"
+  quantity_kind volume-per-mass
+  unit "cm3/kg"
+  value_type QuantityValue
+  origin declared
+  scope model
+  category metrological
+}
+
+attribute_definition speed_min {
+  symbol "V_min"
+  name "Minimum measuring speed"
+  definition "Minimum speed of relative movement between the object and the instrument during measurement for which the instrument maintains its metrological properties (automatic instruments)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.1.11"
+  quantity_kind speed
+  unit "m/s"
+  value_type QuantityValue
+  origin declared
+  scope model
+  category metrological
+}
+
+attribute_definition speed_max {
+  symbol "V_max"
+  name "Maximum measuring speed"
+  definition "Maximum speed of relative movement between the object and the instrument during measurement for which the instrument maintains its metrological properties (automatic instruments)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.1.10"
+  quantity_kind speed
+  unit "m/s"
+  value_type QuantityValue
+  origin declared
+  scope model
+  category metrological
+}
+
+attribute_definition temperature_min {
+  symbol "T_min"
+  name "Temperature lower limit"
+  definition "Lower limit of the temperature range within which the instrument meets its metrological requirements; −10 °C if not stated (R 129-1, 4.2.1(b))."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.2.1"
+  quantity_kind temperature
+  unit "degC"
+  value_type QuantityValue
+  origin declared
+  scope family
+  category environmental
+}
+
+attribute_definition temperature_max {
+  symbol "T_max"
+  name "Temperature upper limit"
+  definition "Upper limit of the temperature range within which the instrument meets its metrological requirements; +40 °C if not stated (R 129-1, 4.2.1(b))."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.2.1"
+  quantity_kind temperature
+  unit "degC"
+  value_type QuantityValue
+  origin declared
+  scope family
+  category environmental
+}
+
+attribute_definition nominal_voltage {
+  symbol "U_nom"
+  name "Nominal supply voltage"
+  definition "Nominal AC mains voltage for which the instrument is designed; the rated operating range is −15 % to +10 % of this value (R 129-1, 4.2.1(a))."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.2.1"
+  quantity_kind voltage
+  unit "V"
+  value_type QuantityValue
+  origin declared
+  scope model
+  category electrical
+}
+
+attribute_definition battery_voltage_min {
+  symbol "U_bat,min"
+  name "Minimum battery supply voltage"
+  definition "Minimum battery supply voltage stated by the manufacturer at which the instrument remains within its metrological limits; the low-voltage test exercises 90 % of this value (R 129-2, Annex A)."
+  ref derives-from "urn:oiml:pub:r:129-2:2020#clause-A"
+  quantity_kind voltage
+  unit "V"
+  value_type QuantityValue
+  origin declared
+  scope model
+  category electrical
+}
+
+attribute_definition indication_length {
+  symbol "L"
+  name "Indicated length (live)"
+  definition "The indicated length of the smallest rectangular box which fully encloses the object — the measured dimension L, rounded to the scale interval d (R 129-1, 2.2.3) — the live register the twin serves."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.3"
+  quantity_kind length
+  unit "cm"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition indication_width {
+  symbol "W"
+  name "Indicated width (live)"
+  definition "The indicated width of the smallest rectangular box which fully encloses the object — the measured dimension W, rounded to the scale interval d (R 129-1, 2.2.3) — the live register the twin serves."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.3"
+  quantity_kind length
+  unit "cm"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition indication_height {
+  symbol "H"
+  name "Indicated height (live)"
+  definition "The indicated height of the smallest rectangular box which fully encloses the object — the measured dimension H, rounded to the scale interval d (R 129-1, 2.2.3) — the live register the twin serves."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.3"
+  quantity_kind length
+  unit "cm"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition dim_volume {
+  symbol "DV"
+  name "Dimensional volume (live)"
+  definition "The volume of the smallest rectangular box which fully encloses the object — the product of the indicated values of the measured dimensions (R 129-1, 2.2.4), in mathematical agreement with L × W × H (R 129-1, 4.1.6) — the live register the twin serves."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.4"
+  quantity_kind volume
+  unit "cm3"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition dim_weight {
+  symbol "DW"
+  name "Dimensional weight (live)"
+  definition "The calculated value obtained by applying the marked conversion factor F to the object's dimensional volume, DW = DV / F (R 129-1, 2.2.7 with the factor of 2.2.8) — the live register the twin serves where the instrument determines dimensional weight."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.2.7"
+  quantity_kind mass
+  unit "kg"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+

package/oiml-r129/model/behaviors.prl

@@ -0,0 +1,79 @@
+behavior dimensional-measurement {
+  kind static
+  stimulus object-dimensions
+  response "Indication of the length, width and height of the smallest enclosing rectangular box of the object; the error of indication is the indication minus the known (reference) dimensions (R 129-1, 4.1.7)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.1.7"
+  verified_by { /conf/metrological-tests/repeatability }
+}
+
+behavior repeatability {
+  kind static
+  stimulus object-dimensions
+  response "Closeness of agreement between repeated measurements of the same dimensions under the same conditions — three measurements of each of five test objects per axis at reference conditions."
+  ref derives-from "urn:oiml:pub:r:129-2:2020#clause-A"
+  verified_by { /conf/metrological-tests/repeatability }
+}
+
+behavior warm-up {
+  kind temporal
+  stimulus time
+  response "The instrument operates within the maximum permissible errors as soon as the results are indicated, printed, stored or transmitted after switch-on — verified at 0, 5, 15 and 30 min."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-5.1.7"
+  verified_by { /conf/metrological-tests/warm-up-time }
+}
+
+behavior temperature-response {
+  kind influence-response
+  stimulus temperature
+  response "Indication stays within the maximum permissible errors over the rated temperature range — measured at the reference, high and low temperature stages with at least 2 h exposure per extreme."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.2.1"
+  verified_by { /conf/metrological-tests/static-temperatures }
+}
+
+behavior humidity-response {
+  kind influence-response
+  stimulus relative-humidity
+  response "Indication stays within the maximum permissible errors under damp-heat exposure (85 % RH steady for 48 h, or cyclic per IEC 60068-2-30 for instruments subject to condensate water)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.2.1"
+  verified_by { /conf/metrological-tests/damp-heat-steady /conf/disturbance-tests/damp-heat-cyclic }
+}
+
+behavior disturbance-response {
+  kind influence-response
+  stimulus disturbance
+  response "No significant fault (a fault exceeding 1 d) occurs under the disturbance, or the fault is detected and acted upon (checking facility); a fault not exceeding 1 d is allowed irrespective of the error before the disturbance."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.3.1"
+  verified_by { /conf/disturbance-tests/esd /conf/disturbance-tests/bursts /conf/disturbance-tests/surges /conf/disturbance-tests/rf-immunity-radiated /conf/disturbance-tests/rf-immunity-conducted /conf/disturbance-tests/voltage-dips }
+}
+
+behavior voltage-response {
+  kind influence-response
+  stimulus power-voltage
+  response "Indication stays within the maximum permissible errors over the rated supply-voltage range (nominal −15 % to +10 % for AC mains; down to 90 % of the stated minimum battery voltage)."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.2.1"
+  verified_by { /conf/metrological-tests/ac-voltage-variation /conf/metrological-tests/low-voltage-battery }
+}
+
+behavior light-acoustic-response {
+  kind influence-response
+  stimulus ambient-light-or-sound
+  response "Optical instruments stay within the maximum permissible errors under varying ambient light (100 lx to 1500 lx); acoustic instruments under sound levels up to 100 dB."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.4"
+  verified_by { /conf/effect-tests/ambient-light /conf/effect-tests/acoustics }
+}
+
+behavior speed-response {
+  kind dynamic
+  stimulus object-speed
+  response "Indication stays within the maximum permissible errors over the declared measuring-speed range V_min to V_max."
+  ref derives-from "urn:oiml:pub:r:129-2:2020#clause-A"
+  verified_by { /conf/examinations/object-characteristics }
+}
+
+behavior self_test {
+  kind procedural
+  stimulus invoke
+  response "The checking facilities run: when a significant fault has been detected the instrument is made inoperative automatically — the mandatory reaction for automatic instruments (R 129-1, 5.6.1) — the operational state machine drives to fault and measurement is refused."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-5.6.1"
+}
+

package/oiml-r129/model/capabilities.prl

@@ -0,0 +1,29 @@
+capability multi-dimensional-measuring-instrument {
+  label "Multi-dimensional measuring instrument"
+  description "Base capability — every R 129 instrument. Measures the length, width and height of the smallest enclosing rectangular box of an object and may determine dimensional volume and dimensional weight."
+  has_parameters { measurement_principle instrument_category power_supply object_capability scale_interval min_dimension max_dimension conversion_factor temperature_min temperature_max nominal_voltage }
+  satisfies_requirements { /req/metrological/scale-intervals-min-dimension /req/metrological/mpe /req/metrological/fault-limit /req/metrological/variation-between-indicators /req/metrological/calculated-quantities /req/metrological/error-determination-rules /req/electronic/rated-operating-conditions /req/electronic/disturbance-resistance /req/electronic/no-significant-faults /req/technical/fraudulent-use /req/technical/suitability-construction /req/technical/suitability-use /req/technical/suitability-verification /req/technical/zero-ready-adjustment /req/technical/warm-up /req/technical/presentation-indications /req/technical/units-of-measurement /req/technical/scale-interval-value /req/technical/limits-of-indication /req/technical/nameplate-markings /req/technical/technical-specifications /req/technical/verification-mark /req/technical/sealing /req/technical/checking-significant-faults /req/technical/indication-check /req/software/software-identification /req/software/algorithm-correctness /req/software/securing-software /req/software/authentication-results /req/software/audit-trail /req/software/significant-defect-detection /req/software/durability-protection }
+}
+
+capability automatic-operation {
+  label "Automatic operation"
+  description "The instrument measures objects in relative movement without operator intervention (R 129-1, 2.1.8) — adds the measuring-speed range and the speed-of-movement provisions."
+  extends { multi-dimensional-measuring-instrument }
+  has_parameters { speed_min speed_max }
+  satisfies_requirements { /req/object-limitations/speed-movement /req/technical/checking-significant-faults }
+}
+
+capability battery-powered {
+  label "Battery powered"
+  description "The instrument is powered by an internal battery (R 129-2, Annex A) — adds the minimum battery voltage parameter and the low-voltage test."
+  extends { multi-dimensional-measuring-instrument }
+  has_parameters { battery_voltage_min }
+}
+
+capability irregular-object-handling {
+  label "Irregular-object handling"
+  description "The instrument measures irregular-shaped objects, determining the smallest enclosing rectangular box (R 129-1, Annex A) — adds the object surface/shape/orientation provisions."
+  extends { multi-dimensional-measuring-instrument }
+  satisfies_requirements { /req/object-limitations/object-shape /req/object-limitations/surface-colour-uniform /req/object-limitations/surface-colour-non-uniform /req/object-limitations/surface-reflectivity /req/object-limitations/transparency /req/object-limitations/surface-roughness /req/object-limitations/surface-protrusions /req/object-limitations/orientation-position }
+}
+

package/oiml-r129/model/characteristics.prl

@@ -0,0 +1,8 @@
+verdict error_of_indication {
+  behavior dimensional-measurement
+  quantity { kind length unit "cm" }
+  derive "ocl{indication - reference_dimension}"
+  inputs { indication reference_dimension }
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.1.7"
+}
+

package/oiml-r129/model/conditions.prl

@@ -0,0 +1,23 @@
+condition_set multi-dimensional-instrument-reference-conditions {
+  role reference
+  subject MultiDimensionalMeasuringInstrument
+  entries {
+    temperature { value "20" unit "degC" tolerance "5" note "Reference temperature 20 °C ± 5 °C (R 129-1, 4.1.7)." }
+    relative_humidity { value "50" unit "%" tolerance "15" note "Reference relative humidity (50 ± 15) % (R 129-1, 4.1.7)." }
+    barometric_pressure { value "ambient atmospheric" unit "kPa" note "Ambient atmospheric pressure (R 129-1, 4.1.7)." }
+    power_voltage { value "nominal" unit "V" note "Nominal voltage (R 129-1, 4.1.7)." }
+  }
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.1.7"
+}
+
+condition_set multi-dimensional-instrument-rated-conditions {
+  role rated
+  subject MultiDimensionalMeasuringInstrument
+  entries {
+    power_voltage { value "nominal -15 % .. +10 %" unit "V" note "AC mains deviation from nominal value (R 129-1, 4.2.1(a))." }
+    temperature { value "-10..+40" unit "degC" note "Stated temperature limits, or −10 °C to +40 °C if not stated; special ranges span at least 30 °C (R 129-1, 4.2.1(b))." }
+    relative_humidity { value "up to 85" unit "%" note "85 % at the upper temperature limit or 40 °C, whichever is lower (R 129-1, 4.2.1(c))." }
+  }
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-4.2.1"
+}
+

package/oiml-r129/model/instrument.prl

@@ -0,0 +1,67 @@
+instrument MultiDimensionalMeasuringInstrument {
+  extends MeasuringInstrumentModel
+  measurand_kind length
+  definition "Measuring instrument that measures the length, width and height of an object — the dimensions of the smallest enclosing rectangular box — and may determine the dimensional volume and the dimensional weight of the object, used for postage, freight or storage charges."
+  note "A MultiDimensionalMeasuringInstrument MODEL is what gets type-evaluated and approved; physical units are MeasuringInstrumentSample instances of that Model (INV-10 delegation: Sample -> Model -> Family). The instrument comprises the measuring device(s) per axis, the indicator, ancillary devices and (for automatic instruments) the object transport means."
+  ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.1.1"
+  variant automatic-instrument { name "Automatic instrument" definition "Instrument that measures without the intervention of an operator and automatically determines the measurement result." note "Measures objects in relative motion (conveyor); carries the V_max / V_min measuring-speed range (R 129-1, 2.1.10/2.1.11) and the speed-of-movement test (R 129-2, Annex A)." source { doc "urn:oiml:pub:r:129-1:2020" clause "2.1.8" } }
+  variant semi-automatic-instrument { name "Semi-automatic instrument" definition "Instrument that requires the intervention of an operator to carry out measurements but automatically determines the measurement result." source { doc "urn:oiml:pub:r:129-1:2020" clause "2.1.7" } }
+  dimension measurement_principle {
+    label "Measurement principle"
+    scope model
+    description "Principle of operation used to measure the object dimensions (R 129-2, Annex A, Table A.1)"
+        reference { doc "urn:oiml:pub:r:129-2:2020" clause "A" }
+    values {
+          mechanical { label "Mechanical" description "Mechanical contact measurement (e.g. a wheel device that rolls along the surface)" term_ref device }
+          optical { label "Optical" description "Light-based measurement using reflection (laser/LED) or beam cutting" term_ref device }
+          acoustic { label "Acoustic" description "Sound-based measurement using ultrasonic reflection" term_ref device }
+        }
+  }
+  dimension instrument_category {
+    label "Instrument category"
+    scope model
+    description "Whether the instrument requires operator intervention (R 129-1, 2.1.7–2.1.8)"
+        reference { doc "urn:oiml:pub:r:129-1:2020" clause "2.1" }
+    values {
+          automatic { label "Automatic" description "Measures without operator intervention and automatically determines the result" term_ref automatic-instrument }
+          semi-automatic { label "Semi-automatic" description "Requires operator intervention to carry out measurements but automatically determines the result" term_ref semi-automatic-instrument }
+        }
+  }
+  dimension power_supply {
+    label "Power supply"
+    scope model
+    description "How the instrument is powered; determines which electrical tests apply (R 129-2, Annex A, Table A.1)"
+        reference { doc "urn:oiml:pub:r:129-2:2020" clause "A" }
+    values {
+          ac-mains { label "AC mains" description "Permanently or temporarily connected to AC mains power — subject to the voltage variation, voltage dips, bursts, surge, ESD and RF immunity tests" }
+          battery { label "Battery" description "Powered by internal battery — subject to the low voltage, ESD and RF immunity tests" }
+          dc { label "DC / AC-DC converter" description "Powered by DC supply or AC-DC converter — subject to the tests applicable to the configuration" }
+        }
+  }
+  dimension object_capability {
+    label "Object capability"
+    scope model
+    description "Whether the instrument can measure irregular-shaped objects or only rectangular boxes (R 129-1, 5.3, Annex A.2)"
+        reference { doc "urn:oiml:pub:r:129-1:2020" clause "5.3" }
+    values {
+          rectangular-only { label "Rectangular only" description "Instrument can only measure rectangular boxes and shall be marked accordingly" term_ref rectangular-box }
+          irregular-allowed { label "Irregular shapes allowed" description "Instrument can measure irregular shaped objects and determines the smallest enclosing rectangular box" term_ref irregular-shaped-object }
+        }
+  }
+  family {
+    metamodel_class MeasuringInstrumentModelFamily
+    definition "Group of multi-dimensional measuring instruments which for the purposes of type evaluation are considered as one family, sharing the measurement principle, the measuring-area design and the indicating/adjusting means, and comprising one or more models differing in measuring ranges, scale intervals and object-handling configuration."
+    note "R 129 contains no explicit \"family\" definition — these criteria are derived from R 129-1, 2.1 (instrument taxonomy), 4.1.5 (multi-interval instruments) and 5.1 (suitability of construction). A candidate model violating any criterion is a different family — a separate application and type evaluation."
+    ref derives-from "urn:oiml:pub:r:129-1:2020#clause-2.1.1"
+  }
+  family_criteria {
+    "same measurement principle (mechanical, optical, acoustic — R 129-2, Annex A, Table A.1)"
+    "same measuring-area design and object transport means (static placement or conveyor — R 129-1, 5.1.3)"
+    "same indicating and adjusting devices (R 129-1, 5.2, 5.1.5)"
+    "same set of rated operating specifications (temperature range, humidity, supply power — R 129-1, 4.2.1)"
+  }
+  family_defaults {
+    dimensions { measurement_principle }
+    parameters { temperature_min temperature_max }
+  }
+}

package/oiml-r129/model/state.prl

@@ -0,0 +1,22 @@
+state_machine DimensionerOperational {
+  kind operational
+  initial off
+  states {
+    off
+    warming
+    ready
+    measuring
+    fault
+  }
+  transition off -> warming action power_on
+  transition warming -> ready action warm_up_complete {
+    guard "the warm-up period has elapsed — the instrument indicates, prints, stores or transmits results within the mpe from the first indication after switch-on (R 129-1, 5.1.7) — declarative; not evaluated on fire"
+  }
+  transition ready -> measuring action start_measurement
+  transition measuring -> ready action stop_measurement
+  transition [off, warming, ready, measuring] -> fault action fault_detected {
+    guard "a significant fault is detected — an automatic instrument is made inoperative automatically (R 129-1, 5.6.1) — declarative; not evaluated on fire"
+  }
+  transition [warming, ready, measuring] -> off action power_off
+}
+

package/oiml-r129/model/twin.prl

@@ -0,0 +1,23 @@
+subject MultiDimensionalMeasuringInstrument {
+  is {
+    endpoint dimensioner_api {
+      operation get_dimensions { kind query serves { indication_length indication_width indication_height } payload { quantity_kind length unit cm timestamp true } }
+      operation get_volume { kind query serves { dim_volume } payload { quantity_kind volume unit cm3 timestamp true } }
+      operation get_dim_weight { kind query serves { dim_weight } payload { quantity_kind mass unit kg timestamp true } }
+      operation watch_state { kind subscribe serves { state environmental_context } payload { quantity_kind state unit dimensionless timestamp true } }
+      operation run_self_test { kind invoke does { self_test } payload { quantity_kind diagnostic_report unit dimensionless timestamp true } }
+      access { public { get_dimensions get_volume get_dim_weight } registered { watch_state } authority { run_self_test } }
+      profile rest_json
+    }
+  }
+  has {
+    serve sample.indication_length via get_dimensions { fresh_within 2s }
+    serve sample.indication_width via get_dimensions { fresh_within 2s }
+    serve sample.indication_height via get_dimensions { fresh_within 2s }
+    serve sample.dim_volume via get_volume { fresh_within 2s }
+    serve sample.dim_weight via get_dim_weight { fresh_within 2s }
+    serve sample.state via watch_state { fresh_within 1s }
+    serve sample.environmental_context via watch_state { fresh_within 1s }
+  }
+}
+