@memoarchitect/ontology 0.8.24 → 0.11.0

package/examples/gpca-pump/model/catalog/gpca_interfaces.sysml

@@ -9,6 +9,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
     private import memo_examples_gpca_pump_gpca_behavior_subsystems::*;
     private import memo_core_enumerations::*;
     private import memo_core_dimensions::*;
+    private import memo_core_common::MemoIdentity;
     abstract interface def SensorDataInterface :> DataInterface {
         attribute :>> interfaceKind = InterfaceKind::data;
         attribute :>> protocolSemantics = "flow, air, occlusion, door, battery, cpu, memory, pump state";
@@ -19,7 +20,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> sensorDomain = "physiological and device state";
     }
     interface sensorInputInterface : Interface {
-        attribute :>> id = "LI-005";
+        @MemoIdentity { :>> providedId = "LI-005"; }
         attribute :>> name = "SensorInputInterface";
         attribute :>> interfaceKind = InterfaceKind::data;
         attribute :>> direction = DirectionKind::input;
@@ -27,7 +28,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> protocolSemantics = "flow, air, occlusion, door, battery, cpu, memory, pump state";
     }
     interface actuatorCommandInterface : Interface {
-        attribute :>> id = "LI-006";
+        @MemoIdentity { :>> providedId = "LI-006"; }
         attribute :>> name = "ActuatorCommandInterface";
         attribute :>> interfaceKind = InterfaceKind::control;
         attribute :>> direction = DirectionKind::output;
@@ -35,7 +36,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> protocolSemantics = "pump flow command, buzzer tone select, display content";
     }
     interface operatorEntryInterface : Interface {
-        attribute :>> id = "LI-007";
+        @MemoIdentity { :>> providedId = "LI-007"; }
         attribute :>> name = "OperatorEntryInterface";
         attribute :>> interfaceKind = InterfaceKind::userInteraction;
         attribute :>> direction = DirectionKind::input;
@@ -43,7 +44,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> protocolSemantics = "prescription fields, alarm silence, start/stop commands";
     }
     interface eventLogInterface : Interface {
-        attribute :>> id = "LI-008";
+        @MemoIdentity { :>> providedId = "LI-008"; }
         attribute :>> name = "EventLogInterface";
         attribute :>> interfaceKind = InterfaceKind::logging;
         attribute :>> direction = DirectionKind::output;
@@ -51,7 +52,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> protocolSemantics = "timestamped therapy, alarm, and configuration events";
     }
     interface hwSoftwareBus : Interface {
-        attribute :>> id = "PI-001";
+        @MemoIdentity { :>> providedId = "PI-001"; }
         attribute :>> name = "HW_SW_DataBus";
         attribute :>> interfaceKind = InterfaceKind::digitalSignal;
         attribute :>> protocol = "immediate data port mapping";
@@ -63,7 +64,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> nominalCurrentA = 0.02;
     }
     interface pumpMotorDrive : Interface {
-        attribute :>> id = "PI-002";
+        @MemoIdentity { :>> providedId = "PI-002"; }
         attribute :>> name = "PumpMotorStepDrive";
         attribute :>> interfaceKind = InterfaceKind::digitalSignal;
         attribute :>> protocol = "step/direction pulse train";
@@ -75,7 +76,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> signaling = "step/dir with enable interlock";
     }
     interface bolusButtonLine : Interface {
-        attribute :>> id = "PI-003";
+        @MemoIdentity { :>> providedId = "PI-003"; }
         attribute :>> name = "BolusButtonInputLine";
         attribute :>> interfaceKind = InterfaceKind::digitalSignal;
         attribute :>> protocol = "debounced discrete input";
@@ -86,7 +87,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> nominalCurrentA = 0.001;
     }
     interface occlusionAnalogLine : Interface {
-        attribute :>> id = "PI-004";
+        @MemoIdentity { :>> providedId = "PI-004"; }
         attribute :>> name = "OcclusionPressureAnalogLine";
         attribute :>> interfaceKind = InterfaceKind::analogSignal;
         attribute :>> directionality = DirectionKind::input;
@@ -96,7 +97,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> signalRange = "0 to 30 psi line pressure";
     }
     interface batteryMonitorLine : Interface {
-        attribute :>> id = "PI-005";
+        @MemoIdentity { :>> providedId = "PI-005"; }
         attribute :>> name = "BatteryVoltageMonitorLine";
         attribute :>> interfaceKind = InterfaceKind::power;
         attribute :>> directionality = DirectionKind::input;
@@ -108,80 +109,80 @@ package memo_examples_gpca_pump_gpca_interfaces {
 
     // ── System-level interfaces (CriSys Ch.3, I 1-I 11) ─────────
     interface siDataEntry : Interface {
-        attribute :>> id = "SI-001";
+        @MemoIdentity { :>> providedId = "SI-001"; }
         attribute :>> name = "DataEntryInterface";
         attribute :>> interfaceKind = InterfaceKind::userInteraction;
         attribute :>> direction = DirectionKind::input;
         attribute :>> protocol = "CriSys I 1, I 2, I 3";
         attribute :>> protocolSemantics = "Prescription data entry (13 fields, PatientID_prog..NumberMax_pbolus_prog), control commands (9 mode-gated Boolean events), and drug reservoir data (ReservoirInitialVolume_prog)";
         attribute :>> interactionPattern = "clinician enter/edit/save with mode-gated commands";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1 Data Entry Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1 Data Entry Interface"; }
     }
     interface siBolusRequest : Interface {
-        attribute :>> id = "SI-002";
+        @MemoIdentity { :>> providedId = "SI-002"; }
         attribute :>> name = "BolusRequestInterface";
         attribute :>> interfaceKind = InterfaceKind::userInteraction;
         attribute :>> direction = DirectionKind::input;
         attribute :>> protocol = "CriSys I 4";
         attribute :>> protocolSemantics = "BolusRequest_prog: patient request for a patient bolus; accepted only in ACTIVE mode";
         attribute :>> interactionPattern = "patient pendant button press";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.2 Bolus Request Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.2 Bolus Request Interface"; }
     }
     interface siDrugFlow : Interface {
-        attribute :>> id = "SI-003";
+        @MemoIdentity { :>> providedId = "SI-003"; }
         attribute :>> name = "DrugFlowInterface";
         attribute :>> interfaceKind = InterfaceKind::fluidic;
         attribute :>> direction = DirectionKind::output;
         attribute :>> protocol = "CriSys I 5, I 6";
         attribute :>> protocolSemantics = "Physical drug delivery to the patient through the needle connected at the standard CCC connection point; represented by FlowRate_output (ml/hr)";
         attribute :>> interactionPattern = "continuous fluid path while infusing";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.3 Drug Flow Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.3 Drug Flow Interface"; }
     }
     interface siNotification : Interface {
-        attribute :>> id = "SI-004";
+        @MemoIdentity { :>> providedId = "SI-004"; }
         attribute :>> name = "NotificationInterface";
         attribute :>> interfaceKind = InterfaceKind::notification;
         attribute :>> direction = DirectionKind::output;
         attribute :>> protocol = "CriSys I 7, I 8";
         attribute :>> protocolSemantics = "Visual display of all active notification messages plus audio output (50 dB for 2 seconds per notification), ON mode only";
         attribute :>> interactionPattern = "visual list with per-notification audio annunciation";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.4 Notification Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.4 Notification Interface"; }
     }
     interface siPharmacyDb : Interface {
-        attribute :>> id = "SI-005";
+        @MemoIdentity { :>> providedId = "SI-005"; }
         attribute :>> name = "HospitalPharmacyDatabaseInterface";
         attribute :>> interfaceKind = InterfaceKind::data;
         attribute :>> direction = DirectionKind::inputOutput;
         attribute :>> protocol = "CriSys I 9, I 10, I 11";
         attribute :>> protocolSemantics = "Retrieves the safe-value set (concentration, VTBI, flow rate, bolus interval/count, KVO rate) where DrugName_hd = DrugName_prog; resets to defaults when no record matches";
         attribute :>> interactionPattern = "query/response safe-value lookup";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
 
     // ── CriSys Ch.3 data dictionary (prog / hd / output families) ─
     item ddPatientIDProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-005";
+        @MemoIdentity { :>> providedId = "DD-005"; }
         attribute :>> name = "PatientID_prog";
         attribute :>> description = "Identifier of the patient in the hospital; provided in the prescription and programmed by the clinician.";
         attribute :>> semantics = "Cannot be empty; alphanumeric without space.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "String";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddDrugNameProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-006";
+        @MemoIdentity { :>> providedId = "DD-006"; }
         attribute :>> name = "DrugName_prog";
         attribute :>> description = "Name of the drug prescribed for infusion.";
         attribute :>> semantics = "Cannot be empty; entered value must match DrugName_hd in the hospital pharmacy database.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "String";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddDrugConcentrationProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-007";
+        @MemoIdentity { :>> providedId = "DD-007"; }
         attribute :>> name = "DrugConcentration_prog";
         attribute :>> description = "Concentration of the drug in the solution prescribed for infusion.";
         attribute :>> semantics = "Must be between DrugConcentration_lo_hd and DrugConcentration_hi_hd for DrugName_prog in the hospital database.";
@@ -189,11 +190,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddVTBITotalProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-008";
+        @MemoIdentity { :>> providedId = "DD-008"; }
         attribute :>> name = "VTBI_total_prog";
         attribute :>> description = "Maximum total volume of the drug solution that can be infused for the prescription.";
         attribute :>> semantics = "Must be between VTBI_lo_hd and VTBI_hi_hd for DrugName_prog in the hospital database.";
@@ -201,11 +202,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddDurationTotalProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-009";
+        @MemoIdentity { :>> providedId = "DD-009"; }
         attribute :>> name = "Duration_total_prog";
         attribute :>> description = "Prescribed total duration of drug infusion across all delivery modes (BASAL, SQUARE BOLUS, PATIENT BOLUS).";
         attribute :>> semantics = "Cannot be empty; should be >= 0.";
@@ -213,11 +214,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Time";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddFlowRateBasalProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-010";
+        @MemoIdentity { :>> providedId = "DD-010"; }
         attribute :>> name = "FlowRate_basal_prog";
         attribute :>> description = "Prescribed rate of flow of drug during BASAL delivery mode; default FlowRate_lo_hd.";
         attribute :>> semantics = "Between FlowRate_lo_hd and FlowRate_hi_hd for DrugName_prog; should be < VTBI_total_prog / Duration_total_prog.";
@@ -225,11 +226,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddFlowRateSbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-011";
+        @MemoIdentity { :>> providedId = "DD-011"; }
         attribute :>> name = "FlowRate_sbolus_prog";
         attribute :>> description = "Prescribed flow rate of drug during SQUARE bolus delivery.";
         attribute :>> semantics = ">= 0; if Duration_sbolus_prog or Interval_sbolus_prog > 0, must be between FlowRate_lo_hd and FlowRate_hi_hd.";
@@ -237,11 +238,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddDurationSbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-012";
+        @MemoIdentity { :>> providedId = "DD-012"; }
         attribute :>> name = "Duration_sbolus_prog";
         attribute :>> description = "Maximum duration of a single uninterrupted square bolus delivery.";
         attribute :>> semantics = ">= 0; if FlowRate_sbolus_prog or Interval_sbolus_prog > 0, must be < Interval_sbolus_prog and Duration_total_prog.";
@@ -249,11 +250,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Time";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddIntervalSbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-013";
+        @MemoIdentity { :>> providedId = "DD-013"; }
         attribute :>> name = "Interval_sbolus_prog";
         attribute :>> description = "Minimum interval between two consecutive square bolus initiations; the first square bolus starts Interval_sbolus_prog minutes after infusion initiation.";
         attribute :>> semantics = ">= 0; if FlowRate_sbolus_prog or Duration_sbolus_prog > 0, must be > Duration_sbolus_prog.";
@@ -261,11 +262,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddFlowRatePbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-014";
+        @MemoIdentity { :>> providedId = "DD-014"; }
         attribute :>> name = "FlowRate_pbolus_prog";
         attribute :>> description = "Prescribed flow rate of drug during patient bolus delivery.";
         attribute :>> semantics = ">= 0; if Duration_pbolus_prog or LockOutPeriod_pbolus_prog > 0, must be between FlowRate_lo_hd and FlowRate_hi_hd.";
@@ -273,11 +274,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddDurationPbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-015";
+        @MemoIdentity { :>> providedId = "DD-015"; }
         attribute :>> name = "Duration_pbolus_prog";
         attribute :>> description = "Maximum duration of a single uninterrupted patient bolus delivery.";
         attribute :>> semantics = ">= 0; if FlowRate_pbolus_prog or LockOutPeriod_pbolus_prog > 0, must be < LockOutPeriod_pbolus_prog and Duration_total_prog.";
@@ -285,11 +286,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Time";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddLockOutPeriodPbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-016";
+        @MemoIdentity { :>> providedId = "DD-016"; }
         attribute :>> name = "LockOutPeriod_pbolus_prog";
         attribute :>> description = "Minimum interval between two consecutive patient bolus initiations (the lockout period), irrespective of interruption or completion.";
         attribute :>> semantics = ">= 0; if FlowRate_pbolus_prog or Duration_pbolus_prog > 0, must be > Duration_pbolus_prog.";
@@ -297,11 +298,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddNumberMaxPbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-017";
+        @MemoIdentity { :>> providedId = "DD-017"; }
         attribute :>> name = "NumberMax_pbolus_prog";
         attribute :>> description = "Maximum total number of patient boluses that may be initiated during Duration_total_prog.";
         attribute :>> semantics = ">= 0; must be <= NumberMax_pbolus_hd for DrugName_prog in the hospital database.";
@@ -309,101 +310,101 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.1 Prescription Data"; }
     }
     item ddSystemStartProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-018";
+        @MemoIdentity { :>> providedId = "DD-018"; }
         attribute :>> name = "System_start_prog";
         attribute :>> description = "Command to start the system.";
         attribute :>> semantics = "Can be commanded only if the system is in OFF mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddSystemStopProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-019";
+        @MemoIdentity { :>> providedId = "DD-019"; }
         attribute :>> name = "System_stop_prog";
         attribute :>> description = "Command to stop the system.";
         attribute :>> semantics = "Can be commanded only if the system is in ON mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddInfusionInitiateProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-020";
+        @MemoIdentity { :>> providedId = "DD-020"; }
         attribute :>> name = "Infusion_initiate_prog";
         attribute :>> description = "Command to initiate infusion of drug.";
         attribute :>> semantics = "Can be commanded only if the system is in ON mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddInfusionInhibitProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-021";
+        @MemoIdentity { :>> providedId = "DD-021"; }
         attribute :>> name = "Infusion_inhibit_prog";
         attribute :>> description = "Command to inhibit infusion of drug.";
         attribute :>> semantics = "Can be commanded only if the system is in ON mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddSystemSaveProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-022";
+        @MemoIdentity { :>> providedId = "DD-022"; }
         attribute :>> name = "System_save_prog";
         attribute :>> description = "Command to save the prescription and reservoir initial volume data.";
         attribute :>> semantics = "Can be commanded only if the system is in ON mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddNotificationCancelProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-023";
+        @MemoIdentity { :>> providedId = "DD-023"; }
         attribute :>> name = "Notification_cancel_prog";
         attribute :>> description = "Command to cancel a selected notification.";
         attribute :>> semantics = "Can be commanded only in ON mode and if a notification is selected.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddDisableAudioProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-024";
+        @MemoIdentity { :>> providedId = "DD-024"; }
         attribute :>> name = "Disable_audio_prog";
         attribute :>> description = "Command to disable audio notifications, permanently or temporarily.";
         attribute :>> semantics = "Default FALSE.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "PERM | TEMP | FALSE";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddEnableAudioProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-025";
+        @MemoIdentity { :>> providedId = "DD-025"; }
         attribute :>> name = "Enable_audio_prog";
         attribute :>> description = "Command to enable audio notifications.";
         attribute :>> semantics = "Can be commanded only if audio is disabled.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddDataConfigProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-026";
+        @MemoIdentity { :>> providedId = "DD-026"; }
         attribute :>> name = "DataConfig_prog";
         attribute :>> description = "Command to configure prescription data (printed as 'DataCofig_prog' in the source).";
         attribute :>> semantics = "Can be commanded only if the system is in ON mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.2 Commands"; }
     }
     item ddReservoirInitialVolumeProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-027";
+        @MemoIdentity { :>> providedId = "DD-027"; }
         attribute :>> name = "ReservoirInitialVolume_prog";
         attribute :>> description = "Initial volume of drug in the reservoir at the time of entering the prescription; read from the reservoir label.";
         attribute :>> semantics = "Mandatory; shall be >= X ml (threshold left unspecified in the source draft).";
@@ -411,21 +412,21 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.3 Drug Reservoir Data";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1.3 Drug Reservoir Data"; }
     }
     item ddBolusRequestProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-028";
+        @MemoIdentity { :>> providedId = "DD-028"; }
         attribute :>> name = "BolusRequest_prog";
         attribute :>> description = "Request by the patient to deliver a patient bolus.";
         attribute :>> semantics = "Can be commanded only if the system is in ACTIVE mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.2 Bolus Request Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.2 Bolus Request Interface"; }
     }
     item ddFlowRateOutput : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-029";
+        @MemoIdentity { :>> providedId = "DD-029"; }
         attribute :>> name = "FlowRate_output";
         attribute :>> description = "Flow rate of the drug through the hose delivering the drug, measured every X seconds when the system is in ON mode.";
         attribute :>> semantics = "None stated.";
@@ -433,41 +434,41 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.3 Drug Flow Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.3 Drug Flow Interface"; }
     }
     item ddNotificationVisualOutput : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-030";
+        @MemoIdentity { :>> providedId = "DD-030"; }
         attribute :>> name = "Notification_Visual_output";
         attribute :>> description = "Visual display of the messages of all active notifications in the system.";
         attribute :>> semantics = "Messages displayed only when the system is in ON mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "List of String";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.4 Notification Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.4 Notification Interface"; }
     }
     item ddNotificationAudioOutput : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-031";
+        @MemoIdentity { :>> providedId = "DD-031"; }
         attribute :>> name = "Notification_Audio_output";
         attribute :>> description = "Audio output for each active notification, in the same order as Notification_Visual_output.";
         attribute :>> semantics = "Audio output possible only when the system is in ON mode.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "List of Boolean";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.4 Notification Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.4 Notification Interface"; }
     }
     item ddDrugNameHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-032";
+        @MemoIdentity { :>> providedId = "DD-032"; }
         attribute :>> name = "DrugName_hd";
         attribute :>> description = "Name of a drug usable for infusion in the hospital that matches DrugName_prog.";
         attribute :>> semantics = "None stated.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "String";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddDrugConcentrationHiHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-033";
+        @MemoIdentity { :>> providedId = "DD-033"; }
         attribute :>> name = "DrugConcentration_hi_hd";
         attribute :>> description = "Maximum concentration of the drug in a solution that can safely be used for infusion for DrugName_hd.";
         attribute :>> semantics = "None stated.";
@@ -475,11 +476,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddDrugConcentrationLoHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-034";
+        @MemoIdentity { :>> providedId = "DD-034"; }
         attribute :>> name = "DrugConcentration_lo_hd";
         attribute :>> description = "Minimum concentration of the drug in a solution that can safely be used for infusion for DrugName_hd.";
         attribute :>> semantics = "None stated.";
@@ -487,11 +488,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddVTBIHiHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-035";
+        @MemoIdentity { :>> providedId = "DD-035"; }
         attribute :>> name = "VTBI_hi_hd";
         attribute :>> description = "Maximum volume of drug that is safe to be infused for DrugName_hd.";
         attribute :>> semantics = "None stated.";
@@ -499,11 +500,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddVTBILoHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-036";
+        @MemoIdentity { :>> providedId = "DD-036"; }
         attribute :>> name = "VTBI_lo_hd";
         attribute :>> description = "Minimum volume of drug that is safe to be infused for DrugName_hd.";
         attribute :>> semantics = "Mandatory.";
@@ -511,11 +512,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddFlowRateHiHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-037";
+        @MemoIdentity { :>> providedId = "DD-037"; }
         attribute :>> name = "FlowRate_hi_hd";
         attribute :>> description = "Maximum safe flow rate of the drug for DrugName_hd.";
         attribute :>> semantics = "Mandatory.";
@@ -523,11 +524,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddFlowRateLoHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-038";
+        @MemoIdentity { :>> providedId = "DD-038"; }
         attribute :>> name = "FlowRate_lo_hd";
         attribute :>> description = "Minimum safe flow rate of the drug for DrugName_hd.";
         attribute :>> semantics = "Mandatory.";
@@ -535,11 +536,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddIntervalPbolusHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-039";
+        @MemoIdentity { :>> providedId = "DD-039"; }
         attribute :>> name = "Interval_pbolus_hd";
         attribute :>> description = "Minimum safe interval between two consecutive patient bolus initiations for DrugName_hd.";
         attribute :>> semantics = "Mandatory.";
@@ -547,11 +548,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddNumberMaxPbolusHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-040";
+        @MemoIdentity { :>> providedId = "DD-040"; }
         attribute :>> name = "NumberMax_pbolus_hd";
         attribute :>> description = "Maximum number of patient bolus initiations safe to be self-administered for DrugName_hd.";
         attribute :>> semantics = "Mandatory.";
@@ -559,11 +560,11 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "999";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
     item ddFlowRateKvoHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-041";
+        @MemoIdentity { :>> providedId = "DD-041"; }
         attribute :>> name = "FlowRate_kvo_hd";
         attribute :>> description = "Minimum flow rate of DrugName_hd that should be maintained to keep the vein open (KVO); default 0.1.";
         attribute :>> semantics = "Mandatory.";
@@ -571,7 +572,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> minValue = "0";
         attribute :>> maxValue = "5";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.5 Hospital Pharmacy Database Interface"; }
     }
 
     // ── MEMO functional-to-physical allocation abstractions ────
@@ -579,7 +580,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
     // intent. They are not the named port connections in GPCA_Device.aadl;
     // the exact AADL feature topology is authored below and in gpca_trace.
     part exSensorVector : ComponentExchange {
-        attribute :>> id = "CE-001";
+        @MemoIdentity { :>> providedId = "CE-001"; }
         attribute :>> name = "SensorStatusVectorExchange";
         attribute :>> exchangeKind = FlowKind::measurement;
         ref :>> sourceEndpoint = gpcaDevice.gpcaDeviceSensors;
@@ -587,10 +588,10 @@ package memo_examples_gpca_pump_gpca_interfaces {
         ref :>> allocatedExchanges = lfSensorAcquisition;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "MEMO design extension allocated from LF-001; not a GPCA_Device.aadl connection";
+        @MemoIdentity { :>> sourceReference = "MEMO design extension allocated from LF-001; not a GPCA_Device.aadl connection"; }
     }
     part exFlowCommand : ComponentExchange {
-        attribute :>> id = "CE-002";
+        @MemoIdentity { :>> providedId = "CE-002"; }
         attribute :>> name = "FlowCommandExchange";
         attribute :>> exchangeKind = FlowKind::command;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portGpcaSwOut;
@@ -598,10 +599,10 @@ package memo_examples_gpca_pump_gpca_interfaces {
         ref :>> allocatedExchanges = lfFlowCommand;
         attribute :>> direction = DirectionKind::output;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "MEMO design extension allocated from LF-002; not a GPCA_Device.aadl connection";
+        @MemoIdentity { :>> sourceReference = "MEMO design extension allocated from LF-002; not a GPCA_Device.aadl connection"; }
     }
     part exAlarmAnnunciation : ComponentExchange {
-        attribute :>> id = "CE-003";
+        @MemoIdentity { :>> providedId = "CE-003"; }
         attribute :>> name = "AlarmAnnunciationExchange";
         attribute :>> exchangeKind = FlowKind::alarm;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portGpcaSwOut;
@@ -609,10 +610,10 @@ package memo_examples_gpca_pump_gpca_interfaces {
         ref :>> allocatedExchanges = lfAlarmSignal;
         attribute :>> direction = DirectionKind::output;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "MEMO design extension allocated from LF-003; not a GPCA_Device.aadl connection";
+        @MemoIdentity { :>> sourceReference = "MEMO design extension allocated from LF-003; not a GPCA_Device.aadl connection"; }
     }
     part exPrescriptionEntry : ComponentExchange {
-        attribute :>> id = "CE-004";
+        @MemoIdentity { :>> providedId = "CE-004"; }
         attribute :>> name = "PrescriptionEntryExchange";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = operatorKeypad;
@@ -620,7 +621,7 @@ package memo_examples_gpca_pump_gpca_interfaces {
         ref :>> allocatedExchanges = lfPrescriptionEntry;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "MEMO design extension allocated from LF-004; not a GPCA_Device.aadl connection";
+        @MemoIdentity { :>> sourceReference = "MEMO design extension allocated from LF-004; not a GPCA_Device.aadl connection"; }
     }
 
     // ── GPCA_Device and hardware-subsystem ports (AADL, 1:1) ───
@@ -649,416 +650,416 @@ package memo_examples_gpca_pump_gpca_interfaces {
     // ALARM_to_IM immediate is the same-step alarm-response
     // mechanism the formal properties rely on.
     part ceOpCmdToTlm : ComponentExchange {
-        attribute :>> id = "CE-101"; attribute :>> name = "OP_CMDtoTLM";
+        @MemoIdentity { :>> providedId = "CE-101"; } attribute :>> name = "OP_CMDtoTLM";
         attribute :>> exchangeKind = FlowKind::command;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portOpCmdIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmOpCmdIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConstToTlm : ComponentExchange {
-        attribute :>> id = "CE-102"; attribute :>> name = "CONSTtoTLM";
+        @MemoIdentity { :>> providedId = "CE-102"; } attribute :>> name = "CONSTtoTLM";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portConstIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmConstIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceTlmOutToOutput : ComponentExchange {
-        attribute :>> id = "CE-103"; attribute :>> name = "TLM_OUT_toOUTPUT";
+        @MemoIdentity { :>> providedId = "CE-103"; } attribute :>> name = "TLM_OUT_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceImToSysStat : ComponentExchange {
-        attribute :>> id = "CE-104"; attribute :>> name = "IM_to_SYS_STAT";
+        @MemoIdentity { :>> providedId = "CE-104"; } attribute :>> name = "IM_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImImOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatImIn;
         attribute :>> timingSemantics = "sampled (no timing property in source; AADL default breaks the feedback cycle)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceTlmToSysStat : ComponentExchange {
-        attribute :>> id = "CE-105"; attribute :>> name = "TLM_to_SYS_STAT";
+        @MemoIdentity { :>> providedId = "CE-105"; } attribute :>> name = "TLM_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSensorToSysStat : ComponentExchange {
-        attribute :>> id = "CE-106"; attribute :>> name = "SENSOR_to_SYS_STAT";
+        @MemoIdentity { :>> providedId = "CE-106"; } attribute :>> name = "SENSOR_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::measurement;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portSensorIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSensorIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConstToSysStat : ComponentExchange {
-        attribute :>> id = "CE-107"; attribute :>> name = "CONST_to_SYS_STAT";
+        @MemoIdentity { :>> providedId = "CE-107"; } attribute :>> name = "CONST_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portConstIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatConstIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConfigToSysStat : ComponentExchange {
-        attribute :>> id = "CE-108"; attribute :>> name = "CONFIG_to_SYS_STAT";
+        @MemoIdentity { :>> providedId = "CE-108"; } attribute :>> name = "CONFIG_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatConfigIn;
         attribute :>> timingSemantics = "sampled (no timing property in source; AADL default breaks the feedback cycle)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSysStatOutToOutput : ComponentExchange {
-        attribute :>> id = "CE-109"; attribute :>> name = "SYS_STAT_OUT_toOUTPUT";
+        @MemoIdentity { :>> providedId = "CE-109"; } attribute :>> name = "SYS_STAT_OUT_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceImToAlarm : ComponentExchange {
-        attribute :>> id = "CE-110"; attribute :>> name = "IM_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-110"; } attribute :>> name = "IM_to_ALARM";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImImOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmImIn;
         attribute :>> timingSemantics = "sampled (no timing property in source; AADL default breaks the feedback cycle)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceTlmToAlarm : ComponentExchange {
-        attribute :>> id = "CE-111"; attribute :>> name = "TLM_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-111"; } attribute :>> name = "TLM_to_ALARM";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSysMonToAlarm : ComponentExchange {
-        attribute :>> id = "CE-112"; attribute :>> name = "SYS_MON_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-112"; } attribute :>> name = "SYS_MON_to_ALARM";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemMonitor.portSysMonSysMonOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmSysMonIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceOpCmdToAlarm : ComponentExchange {
-        attribute :>> id = "CE-113"; attribute :>> name = "OP_CMD_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-113"; } attribute :>> name = "OP_CMD_to_ALARM";
         attribute :>> exchangeKind = FlowKind::command;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portOpCmdIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmOpCmdIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceDbToAlarm : ComponentExchange {
-        attribute :>> id = "CE-114"; attribute :>> name = "DB_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-114"; } attribute :>> name = "DB_to_ALARM";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portDbIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmDbIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSensorToAlarm : ComponentExchange {
-        attribute :>> id = "CE-115"; attribute :>> name = "SENSOR_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-115"; } attribute :>> name = "SENSOR_to_ALARM";
         attribute :>> exchangeKind = FlowKind::measurement;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portSensorIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmSensorIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConstToAlarm : ComponentExchange {
-        attribute :>> id = "CE-116"; attribute :>> name = "CONST_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-116"; } attribute :>> name = "CONST_to_ALARM";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portConstIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmConstIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSysStatToAlarm : ComponentExchange {
-        attribute :>> id = "CE-117"; attribute :>> name = "SYS_STAT_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-117"; } attribute :>> name = "SYS_STAT_to_ALARM";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConfigToAlarm : ComponentExchange {
-        attribute :>> id = "CE-118"; attribute :>> name = "CONFIG_to_ALARM";
+        @MemoIdentity { :>> providedId = "CE-118"; } attribute :>> name = "CONFIG_to_ALARM";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmConfigIn;
         attribute :>> timingSemantics = "sampled (no timing property in source; AADL default breaks the feedback cycle)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceAlarmOutToOutput : ComponentExchange {
-        attribute :>> id = "CE-119"; attribute :>> name = "ALARM_OUT_toOUTPUT";
+        @MemoIdentity { :>> providedId = "CE-119"; } attribute :>> name = "ALARM_OUT_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::alarm;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputAlarmIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceTlmToConfig : ComponentExchange {
-        attribute :>> id = "CE-120"; attribute :>> name = "TLM_to_CONFIG";
+        @MemoIdentity { :>> providedId = "CE-120"; } attribute :>> name = "TLM_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part cePresToConfig : ComponentExchange {
-        attribute :>> id = "CE-121"; attribute :>> name = "PRES_to_CONFIG";
+        @MemoIdentity { :>> providedId = "CE-121"; } attribute :>> name = "PRES_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portPresIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigPresIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceOpCmdToConfig : ComponentExchange {
-        attribute :>> id = "CE-122"; attribute :>> name = "OP_CMD_to_CONFIG";
+        @MemoIdentity { :>> providedId = "CE-122"; } attribute :>> name = "OP_CMD_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::command;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portOpCmdIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigOpCmdIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceDbToConfig : ComponentExchange {
-        attribute :>> id = "CE-123"; attribute :>> name = "DB_to_CONFIG";
+        @MemoIdentity { :>> providedId = "CE-123"; } attribute :>> name = "DB_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portDbIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigDbIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConsToConfig : ComponentExchange {
-        attribute :>> id = "CE-124"; attribute :>> name = "CONS_to_CONFIG";
+        @MemoIdentity { :>> providedId = "CE-124"; } attribute :>> name = "CONS_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portConstIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConstIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSysStatToConfig : ComponentExchange {
-        attribute :>> id = "CE-125"; attribute :>> name = "SYS_STAT_to_CONFIG";
+        @MemoIdentity { :>> providedId = "CE-125"; } attribute :>> name = "SYS_STAT_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConfigToOutput : ComponentExchange {
-        attribute :>> id = "CE-126"; attribute :>> name = "CONFIG_toOUTPUT";
+        @MemoIdentity { :>> providedId = "CE-126"; } attribute :>> name = "CONFIG_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputConfigIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceTlmToIm : ComponentExchange {
-        attribute :>> id = "CE-127"; attribute :>> name = "TLM_to_IM";
+        @MemoIdentity { :>> providedId = "CE-127"; } attribute :>> name = "TLM_to_IM";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceOpCmdToIm : ComponentExchange {
-        attribute :>> id = "CE-128"; attribute :>> name = "OP_CMD_to_IM";
+        @MemoIdentity { :>> providedId = "CE-128"; } attribute :>> name = "OP_CMD_to_IM";
         attribute :>> exchangeKind = FlowKind::command;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portOpCmdIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImOpCmdIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part cePatientToIm : ComponentExchange {
-        attribute :>> id = "CE-129"; attribute :>> name = "PATIENT_to_IM";
+        @MemoIdentity { :>> providedId = "CE-129"; } attribute :>> name = "PATIENT_to_IM";
         attribute :>> exchangeKind = FlowKind::command;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portPatientIn;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImPatientIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConfigToIm : ComponentExchange {
-        attribute :>> id = "CE-130"; attribute :>> name = "CONFIG_to_IM";
+        @MemoIdentity { :>> providedId = "CE-130"; } attribute :>> name = "CONFIG_to_IM";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImConfigIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceAlarmToIm : ComponentExchange {
-        attribute :>> id = "CE-131"; attribute :>> name = "ALARM_to_IM";
+        @MemoIdentity { :>> providedId = "CE-131"; } attribute :>> name = "ALARM_to_IM";
         attribute :>> exchangeKind = FlowKind::alarm;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImAlarmIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSysStatToIm : ComponentExchange {
-        attribute :>> id = "CE-132"; attribute :>> name = "SYS_STAT_to_IM";
+        @MemoIdentity { :>> providedId = "CE-132"; } attribute :>> name = "SYS_STAT_to_IM";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceImToOutput : ComponentExchange {
-        attribute :>> id = "CE-133"; attribute :>> name = "IM_toOUTPUT";
+        @MemoIdentity { :>> providedId = "CE-133"; } attribute :>> name = "IM_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImImOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputImIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceTlmToSysMon : ComponentExchange {
-        attribute :>> id = "CE-134"; attribute :>> name = "TLM_to_SYS_MON";
+        @MemoIdentity { :>> providedId = "CE-134"; } attribute :>> name = "TLM_to_SYS_MON";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemMonitor.portSysMonTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSysMonToOutput : ComponentExchange {
-        attribute :>> id = "CE-135"; attribute :>> name = "SYS_MON_toOUTPUT";
+        @MemoIdentity { :>> providedId = "CE-135"; } attribute :>> name = "SYS_MON_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemMonitor.portSysMonSysMonOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputSysMonIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceTlmToLog : ComponentExchange {
-        attribute :>> id = "CE-136"; attribute :>> name = "TLM_to_LOG";
+        @MemoIdentity { :>> providedId = "CE-136"; } attribute :>> name = "TLM_to_LOG";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceConfigToLog : ComponentExchange {
-        attribute :>> id = "CE-137"; attribute :>> name = "CONFIG_to_LOG";
+        @MemoIdentity { :>> providedId = "CE-137"; } attribute :>> name = "CONFIG_to_LOG";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogConfigIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceAlarmToLog : ComponentExchange {
-        attribute :>> id = "CE-138"; attribute :>> name = "ALARM_to_LOG";
+        @MemoIdentity { :>> providedId = "CE-138"; } attribute :>> name = "ALARM_to_LOG";
         attribute :>> exchangeKind = FlowKind::alarm;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogAlarmIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceSysStatToLog : ComponentExchange {
-        attribute :>> id = "CE-139"; attribute :>> name = "SYS_STAT_to_LOG";
+        @MemoIdentity { :>> providedId = "CE-139"; } attribute :>> name = "SYS_STAT_to_LOG";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceImToLog : ComponentExchange {
-        attribute :>> id = "CE-140"; attribute :>> name = "IM_to_LOG";
+        @MemoIdentity { :>> providedId = "CE-140"; } attribute :>> name = "IM_to_LOG";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImImOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogImIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceLogToOutput : ComponentExchange {
-        attribute :>> id = "CE-141"; attribute :>> name = "LOG_toOUTPUT";
+        @MemoIdentity { :>> providedId = "CE-141"; } attribute :>> name = "LOG_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::audit;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.logging.portLogLogOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputLogIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     part ceOutputToGpcaOut : ComponentExchange {
-        attribute :>> id = "CE-142"; attribute :>> name = "OUTPUT_to_GPCA_OUT";
+        @MemoIdentity { :>> providedId = "CE-142"; } attribute :>> name = "OUTPUT_to_GPCA_OUT";
         attribute :>> exchangeKind = FlowKind::status;
         ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputGpcaSwOut;
         ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.portGpcaSwOut;
         attribute :>> direction = DirectionKind::output;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
     // ── Text macros (App. A.3 internal state variables) ─────────
     item ddActualInfusionDurationMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-042";
+        @MemoIdentity { :>> providedId = "DD-042"; }
         attribute :>> name = "Actual_Infusion_Duration_macro";
         attribute :>> description = "Total duration the system has been in ACTIVE mode since infusion was initiated with the current prescription.";
         attribute :>> semantics = "Internal variable; reset to 0 every time infusion is initiated with a new prescription (REQ 12/13).";
         attribute :>> unit = "minutes";
         attribute :>> encoding = "Time";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros"; }
     }
     item ddActualVolumeInfusedMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-043";
+        @MemoIdentity { :>> providedId = "DD-043"; }
         attribute :>> name = "Actual_Volume_Infused_macro";
         attribute :>> description = "Total volume of drug infused during Actual_Infusion_Duration_macro; drives the infusion-complete condition (REQ 28) and over-infusion VTBI (REQ 20).";
         attribute :>> semantics = "Internal variable; default 0; reset to 0 on infusion initiation.";
         attribute :>> unit = "ml/hr";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros"; }
     }
     item ddFlowRateModeMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-044";
+        @MemoIdentity { :>> providedId = "DD-044"; }
         attribute :>> name = "FlowRate_Mode_macro";
         attribute :>> description = "Programmed flow rate of the current mode: FlowRate_kvo_hd in PAUSED, FlowRate_basal_prog in BASAL, FlowRate_sbolus_prog in SQUARE BOLUS, FlowRate_pbolus_prog in PATIENT BOLUS (§4.1.5).";
         attribute :>> semantics = "Internal variable; set by the system when entering the respective mode.";
         attribute :>> unit = "ml/hr";
         attribute :>> encoding = "Positive Integer";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros"; }
     }
     item ddInhibitedInfusionMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-045";
+        @MemoIdentity { :>> providedId = "DD-045"; }
         attribute :>> name = "Inhibited_Infusion_macro";
         attribute :>> description = "TRUE when the notification in effect requires all infusion to be inhibited ('Inhibit Infusion' column of REQ 59); FALSE when that notification is cancelled or the system transitions to OFF.";
         attribute :>> semantics = "Internal variable set per the REQ 59 action table; drives REQ 30/37 transitions.";
         attribute :>> unit = "-";
         attribute :>> encoding = "Boolean";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros"; }
     }
     item ddInhibitedBolusMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-046";
+        @MemoIdentity { :>> providedId = "DD-046"; }
         attribute :>> name = "Inhibited_Bolus_macro";
         attribute :>> description = "TRUE when the notification in effect requires square boluses to be inhibited ('Inhibit Square Bolus' column of REQ 59); cleared on cancel or OFF.";
         attribute :>> semantics = "Internal variable set per the REQ 59 action table; drives REQ 31/34/39 guards.";
         attribute :>> unit = "-";
         attribute :>> encoding = "Boolean";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros"; }
     }
     item ddInhibitedPatientBolusMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        attribute :>> id = "DD-047";
+        @MemoIdentity { :>> providedId = "DD-047"; }
         attribute :>> name = "Inhibited_PatientBolus_macro";
         attribute :>> description = "TRUE when the notification in effect requires PATIENT BOLUS inhibit ('Inhibit Patient Bolus' column of REQ 59); cleared on cancel or OFF.";
         attribute :>> semantics = "Internal variable set per the REQ 59 action table; drives REQ 25/35/36/38 guards.";
         attribute :>> unit = "-";
         attribute :>> encoding = "Boolean";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros"; }
     }
 
     // ── The exchanges as FLOWS (Track A3) ────────────────────────────