@memoarchitect/ontology 0.13.2 → 0.15.0

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

@@ -2,10 +2,12 @@ package memo_examples_gpca_pump_gpca_interfaces {
     private import ScalarValues::*;
 
     private import memo_architecture_logical_interfaces::*;
+    private import memo_architecture_logical_structure::*;
     private import memo_architecture_realization_physical::*;
     private import memo_architecture_functional_functions::*;
     private import memo_core_common::*;
     private import memo_examples_gpca_pump_gpca_architecture::*;
+    private import memo_examples_gpca_pump_gpca_physical::*;
     private import memo_examples_gpca_pump_gpca_behavior_subsystems::*;
     private import memo_core_enumerations::*;
     private import memo_core_dimensions::*;
@@ -19,88 +21,91 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> interfaceType = "SensorDataInterface";
         attribute :>> sensorDomain = "physiological and device state";
     }
-    interface sensorInputInterface : Interface {
+    abstract interface sensorInputInterface : LogicalInterface {
         @MemoIdentity { :>> providedId = "LI-005"; }
-        attribute :>> name = "SensorInputInterface";
         attribute :>> interfaceKind = InterfaceKind::data;
         attribute :>> direction = DirectionKind::input;
         attribute :>> interactionPattern = "sensor feed";
         attribute :>> protocolSemantics = "flow, air, occlusion, door, battery, cpu, memory, pump state";
     }
-    interface actuatorCommandInterface : Interface {
+    abstract interface actuatorCommandInterface : LogicalInterface {
         @MemoIdentity { :>> providedId = "LI-006"; }
-        attribute :>> name = "ActuatorCommandInterface";
         attribute :>> interfaceKind = InterfaceKind::control;
         attribute :>> direction = DirectionKind::output;
         attribute :>> interactionPattern = "commanded flow and annunciation outputs";
         attribute :>> protocolSemantics = "pump flow command, buzzer tone select, display content";
     }
-    interface operatorEntryInterface : Interface {
+    abstract interface operatorEntryInterface : LogicalInterface {
         @MemoIdentity { :>> providedId = "LI-007"; }
-        attribute :>> name = "OperatorEntryInterface";
         attribute :>> interfaceKind = InterfaceKind::userInteraction;
         attribute :>> direction = DirectionKind::input;
         attribute :>> interactionPattern = "keypad entry with confirmation readback";
         attribute :>> protocolSemantics = "prescription fields, alarm silence, start/stop commands";
     }
-    interface eventLogInterface : Interface {
+    abstract interface eventLogInterface : LogicalInterface {
         @MemoIdentity { :>> providedId = "LI-008"; }
-        attribute :>> name = "EventLogInterface";
         attribute :>> interfaceKind = InterfaceKind::logging;
         attribute :>> direction = DirectionKind::output;
         attribute :>> interactionPattern = "append-only audit records";
         attribute :>> protocolSemantics = "timestamped therapy, alarm, and configuration events";
     }
-    interface hwSoftwareBus : Interface {
-        @MemoIdentity { :>> providedId = "PI-001"; }
-        attribute :>> name = "HW_SW_DataBus";
+    abstract interface hwSoftwareBus : PhysicalInterface {
+        @MemoIdentity { :>> providedId = "PI-001"; :>> label = "HW_SW_DataBus"; }
         attribute :>> interfaceKind = InterfaceKind::digitalSignal;
+        attribute :>> signalingKind = SignalingKind::digital;
+        attribute :>> mediumKind = PhysicalMediumKind::electrical;
         attribute :>> protocol = "immediate data port mapping";
-        attribute :>> directionality = DirectionKind::inputOutput;
+        attribute :>> direction = DirectionKind::inputOutput;
         attribute :>> bandwidth = "implementation-defined";
         attribute :>> timingConstraint = "same execution step where required";
         attribute :>> electricalStandard = "logical/AADL";
         attribute :>> nominalVoltageV = 3.3;
         attribute :>> nominalCurrentA = 0.02;
     }
-    interface pumpMotorDrive : Interface {
-        @MemoIdentity { :>> providedId = "PI-002"; }
-        attribute :>> name = "PumpMotorStepDrive";
+    // Wired: the three physical interfaces whose controller-side connector is
+    // modelled (gpca_physical). The rest are abstract until their ends are.
+    interface pumpMotorDrive : PhysicalInterface connect portMotorDrive to pumpMotorAssembly.portFlowCommandIn {
+        @MemoIdentity { :>> providedId = "PI-002"; :>> label = "PumpMotorStepDrive"; }
         attribute :>> interfaceKind = InterfaceKind::digitalSignal;
+        attribute :>> signalingKind = SignalingKind::pulse;
+        attribute :>> mediumKind = PhysicalMediumKind::electrical;
         attribute :>> protocol = "step/direction pulse train";
-        attribute :>> directionality = DirectionKind::output;
+        attribute :>> direction = DirectionKind::output;
         attribute :>> timingConstraint = "step rate proportional to commanded flow";
         attribute :>> electricalStandard = "3.3V CMOS";
         attribute :>> nominalVoltageV = 3.3;
         attribute :>> nominalCurrentA = 0.5;
-        attribute :>> signaling = "step/dir with enable interlock";
+        attribute :>> protocolSemantics = "step/dir with enable interlock";
     }
-    interface bolusButtonLine : Interface {
-        @MemoIdentity { :>> providedId = "PI-003"; }
-        attribute :>> name = "BolusButtonInputLine";
+    interface bolusButtonLine : PhysicalInterface connect bolusButton.portPendantOut to portPatientPendant {
+        @MemoIdentity { :>> providedId = "PI-003"; :>> label = "BolusButtonInputLine"; }
         attribute :>> interfaceKind = InterfaceKind::digitalSignal;
+        attribute :>> signalingKind = SignalingKind::discrete;
+        attribute :>> mediumKind = PhysicalMediumKind::electrical;
         attribute :>> protocol = "debounced discrete input";
-        attribute :>> directionality = DirectionKind::input;
+        attribute :>> direction = DirectionKind::input;
         attribute :>> timingConstraint = "debounce 50 ms; stuck-high detection after 60 s";
         attribute :>> electricalStandard = "3.3V CMOS, normally open";
         attribute :>> nominalVoltageV = 3.3;
         attribute :>> nominalCurrentA = 0.001;
     }
-    interface occlusionAnalogLine : Interface {
-        @MemoIdentity { :>> providedId = "PI-004"; }
-        attribute :>> name = "OcclusionPressureAnalogLine";
+    interface occlusionAnalogLine : PhysicalInterface connect occlusionSensor.portOcclusionOut to portSensorHarness {
+        @MemoIdentity { :>> providedId = "PI-004"; :>> label = "OcclusionPressureAnalogLine"; }
         attribute :>> interfaceKind = InterfaceKind::analogSignal;
-        attribute :>> directionality = DirectionKind::input;
+        attribute :>> signalingKind = SignalingKind::analog;
+        attribute :>> mediumKind = PhysicalMediumKind::electrical;
+        attribute :>> direction = DirectionKind::input;
         attribute :>> electricalStandard = "ratiometric 0.5-4.5V";
         attribute :>> nominalVoltageV = 5.0;
         attribute :>> nominalCurrentA = 0.01;
         attribute :>> signalRange = "0 to 30 psi line pressure";
     }
-    interface batteryMonitorLine : Interface {
-        @MemoIdentity { :>> providedId = "PI-005"; }
-        attribute :>> name = "BatteryVoltageMonitorLine";
+    abstract interface batteryMonitorLine : PhysicalInterface {
+        @MemoIdentity { :>> providedId = "PI-005"; :>> label = "BatteryVoltageMonitorLine"; }
         attribute :>> interfaceKind = InterfaceKind::power;
-        attribute :>> directionality = DirectionKind::input;
+        attribute :>> signalingKind = SignalingKind::analog;
+        attribute :>> mediumKind = PhysicalMediumKind::electrical;
+        attribute :>> direction = DirectionKind::input;
         attribute :>> electricalStandard = "divided battery rail to ADC";
         attribute :>> nominalVoltageV = 12.0;
         attribute :>> nominalCurrentA = 0.001;
@@ -108,9 +113,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
 
     // ── System-level interfaces (CriSys Ch.3, I 1-I 11) ─────────
-    interface siDataEntry : Interface {
-        @MemoIdentity { :>> providedId = "SI-001"; }
-        attribute :>> name = "DataEntryInterface";
+    abstract interface siDataEntry : LogicalInterface {
+        @MemoIdentity { :>> providedId = "SI-001"; :>> label = "DataEntryInterface"; }
         attribute :>> interfaceKind = InterfaceKind::userInteraction;
         attribute :>> direction = DirectionKind::input;
         attribute :>> protocol = "CriSys I 1, I 2, I 3";
@@ -118,9 +122,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> interactionPattern = "clinician enter/edit/save with mode-gated commands";
         @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.1 Data Entry Interface"; }
     }
-    interface siBolusRequest : Interface {
-        @MemoIdentity { :>> providedId = "SI-002"; }
-        attribute :>> name = "BolusRequestInterface";
+    abstract interface siBolusRequest : LogicalInterface {
+        @MemoIdentity { :>> providedId = "SI-002"; :>> label = "BolusRequestInterface"; }
         attribute :>> interfaceKind = InterfaceKind::userInteraction;
         attribute :>> direction = DirectionKind::input;
         attribute :>> protocol = "CriSys I 4";
@@ -128,9 +131,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> interactionPattern = "patient pendant button press";
         @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.2 Bolus Request Interface"; }
     }
-    interface siDrugFlow : Interface {
-        @MemoIdentity { :>> providedId = "SI-003"; }
-        attribute :>> name = "DrugFlowInterface";
+    abstract interface siDrugFlow : LogicalInterface {
+        @MemoIdentity { :>> providedId = "SI-003"; :>> label = "DrugFlowInterface"; }
         attribute :>> interfaceKind = InterfaceKind::fluidic;
         attribute :>> direction = DirectionKind::output;
         attribute :>> protocol = "CriSys I 5, I 6";
@@ -138,9 +140,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> interactionPattern = "continuous fluid path while infusing";
         @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.3 Drug Flow Interface"; }
     }
-    interface siNotification : Interface {
-        @MemoIdentity { :>> providedId = "SI-004"; }
-        attribute :>> name = "NotificationInterface";
+    abstract interface siNotification : LogicalInterface {
+        @MemoIdentity { :>> providedId = "SI-004"; :>> label = "NotificationInterface"; }
         attribute :>> interfaceKind = InterfaceKind::notification;
         attribute :>> direction = DirectionKind::output;
         attribute :>> protocol = "CriSys I 7, I 8";
@@ -148,9 +149,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
         attribute :>> interactionPattern = "visual list with per-notification audio annunciation";
         @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §3.4 Notification Interface"; }
     }
-    interface siPharmacyDb : Interface {
-        @MemoIdentity { :>> providedId = "SI-005"; }
-        attribute :>> name = "HospitalPharmacyDatabaseInterface";
+    abstract interface siPharmacyDb : LogicalInterface {
+        @MemoIdentity { :>> providedId = "SI-005"; :>> label = "HospitalPharmacyDatabaseInterface"; }
         attribute :>> interfaceKind = InterfaceKind::data;
         attribute :>> direction = DirectionKind::inputOutput;
         attribute :>> protocol = "CriSys I 9, I 10, I 11";
@@ -162,9 +162,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     // ── CriSys Ch.3 data dictionary (prog / hd / output families) ─
     item ddPatientIDProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-005"; :>> label = "PatientID_prog"; }
+        doc /* 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";
@@ -172,9 +171,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDrugNameProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-006"; }
-        attribute :>> name = "DrugName_prog";
-        attribute :>> description = "Name of the drug prescribed for infusion.";
+        @MemoIdentity { :>> providedId = "DD-006"; :>> label = "DrugName_prog"; }
+        doc /* 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";
@@ -182,9 +180,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDrugConcentrationProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-007"; }
-        attribute :>> name = "DrugConcentration_prog";
-        attribute :>> description = "Concentration of the drug in the solution prescribed for infusion.";
+        @MemoIdentity { :>> providedId = "DD-007"; :>> label = "DrugConcentration_prog"; }
+        doc /* 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.";
         attribute :>> unit = "mg/ml";
         attribute :>> minValue = "0";
@@ -194,9 +191,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddVTBITotalProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-008"; :>> label = "VTBI_total_prog"; }
+        doc /* 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.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -206,9 +202,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDurationTotalProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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).";
+        @MemoIdentity { :>> providedId = "DD-009"; :>> label = "Duration_total_prog"; }
+        doc /* Prescribed total duration of drug infusion across all delivery modes (BASAL, SQUARE BOLUS, PATIENT BOLUS). */
         attribute :>> semantics = "Cannot be empty; should be >= 0.";
         attribute :>> unit = "minutes";
         attribute :>> minValue = "0";
@@ -218,9 +213,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddFlowRateBasalProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-010"; :>> label = "FlowRate_basal_prog"; }
+        doc /* 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.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -230,9 +224,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddFlowRateSbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-011"; }
-        attribute :>> name = "FlowRate_sbolus_prog";
-        attribute :>> description = "Prescribed flow rate of drug during SQUARE bolus delivery.";
+        @MemoIdentity { :>> providedId = "DD-011"; :>> label = "FlowRate_sbolus_prog"; }
+        doc /* 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.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -242,9 +235,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDurationSbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-012"; }
-        attribute :>> name = "Duration_sbolus_prog";
-        attribute :>> description = "Maximum duration of a single uninterrupted square bolus delivery.";
+        @MemoIdentity { :>> providedId = "DD-012"; :>> label = "Duration_sbolus_prog"; }
+        doc /* 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.";
         attribute :>> unit = "minutes";
         attribute :>> minValue = "0";
@@ -254,9 +246,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddIntervalSbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-013"; :>> label = "Interval_sbolus_prog"; }
+        doc /* 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.";
         attribute :>> unit = "minutes";
         attribute :>> minValue = "0";
@@ -266,9 +257,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddFlowRatePbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-014"; }
-        attribute :>> name = "FlowRate_pbolus_prog";
-        attribute :>> description = "Prescribed flow rate of drug during patient bolus delivery.";
+        @MemoIdentity { :>> providedId = "DD-014"; :>> label = "FlowRate_pbolus_prog"; }
+        doc /* 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.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -278,9 +268,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDurationPbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-015"; }
-        attribute :>> name = "Duration_pbolus_prog";
-        attribute :>> description = "Maximum duration of a single uninterrupted patient bolus delivery.";
+        @MemoIdentity { :>> providedId = "DD-015"; :>> label = "Duration_pbolus_prog"; }
+        doc /* 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.";
         attribute :>> unit = "minutes";
         attribute :>> minValue = "0";
@@ -290,9 +279,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddLockOutPeriodPbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-016"; :>> label = "LockOutPeriod_pbolus_prog"; }
+        doc /* 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.";
         attribute :>> unit = "minutes";
         attribute :>> minValue = "0";
@@ -302,9 +290,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddNumberMaxPbolusProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-017"; :>> label = "NumberMax_pbolus_prog"; }
+        doc /* 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.";
         attribute :>> unit = "per hour";
         attribute :>> minValue = "0";
@@ -314,9 +301,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddSystemStartProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-018"; }
-        attribute :>> name = "System_start_prog";
-        attribute :>> description = "Command to start the system.";
+        @MemoIdentity { :>> providedId = "DD-018"; :>> label = "System_start_prog"; }
+        doc /* 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";
@@ -324,9 +310,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddSystemStopProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-019"; }
-        attribute :>> name = "System_stop_prog";
-        attribute :>> description = "Command to stop the system.";
+        @MemoIdentity { :>> providedId = "DD-019"; :>> label = "System_stop_prog"; }
+        doc /* 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";
@@ -334,9 +319,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddInfusionInitiateProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-020"; }
-        attribute :>> name = "Infusion_initiate_prog";
-        attribute :>> description = "Command to initiate infusion of drug.";
+        @MemoIdentity { :>> providedId = "DD-020"; :>> label = "Infusion_initiate_prog"; }
+        doc /* 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";
@@ -344,9 +328,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddInfusionInhibitProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-021"; }
-        attribute :>> name = "Infusion_inhibit_prog";
-        attribute :>> description = "Command to inhibit infusion of drug.";
+        @MemoIdentity { :>> providedId = "DD-021"; :>> label = "Infusion_inhibit_prog"; }
+        doc /* 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";
@@ -354,9 +337,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddSystemSaveProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-022"; }
-        attribute :>> name = "System_save_prog";
-        attribute :>> description = "Command to save the prescription and reservoir initial volume data.";
+        @MemoIdentity { :>> providedId = "DD-022"; :>> label = "System_save_prog"; }
+        doc /* 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";
@@ -364,9 +346,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddNotificationCancelProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-023"; }
-        attribute :>> name = "Notification_cancel_prog";
-        attribute :>> description = "Command to cancel a selected notification.";
+        @MemoIdentity { :>> providedId = "DD-023"; :>> label = "Notification_cancel_prog"; }
+        doc /* 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";
@@ -374,9 +355,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDisableAudioProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-024"; }
-        attribute :>> name = "Disable_audio_prog";
-        attribute :>> description = "Command to disable audio notifications, permanently or temporarily.";
+        @MemoIdentity { :>> providedId = "DD-024"; :>> label = "Disable_audio_prog"; }
+        doc /* Command to disable audio notifications, permanently or temporarily. */
         attribute :>> semantics = "Default FALSE.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "PERM | TEMP | FALSE";
@@ -384,9 +364,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddEnableAudioProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-025"; }
-        attribute :>> name = "Enable_audio_prog";
-        attribute :>> description = "Command to enable audio notifications.";
+        @MemoIdentity { :>> providedId = "DD-025"; :>> label = "Enable_audio_prog"; }
+        doc /* Command to enable audio notifications. */
         attribute :>> semantics = "Can be commanded only if audio is disabled.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "Boolean event";
@@ -394,9 +373,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDataConfigProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-026"; }
-        attribute :>> name = "DataConfig_prog";
-        attribute :>> description = "Command to configure prescription data (printed as 'DataCofig_prog' in the source).";
+        @MemoIdentity { :>> providedId = "DD-026"; :>> label = "DataConfig_prog"; }
+        doc /* 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";
@@ -404,9 +382,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddReservoirInitialVolumeProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-027"; :>> label = "ReservoirInitialVolume_prog"; }
+        doc /* 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).";
         attribute :>> unit = "ml";
         attribute :>> minValue = "0";
@@ -416,9 +393,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddBolusRequestProg : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-028"; }
-        attribute :>> name = "BolusRequest_prog";
-        attribute :>> description = "Request by the patient to deliver a patient bolus.";
+        @MemoIdentity { :>> providedId = "DD-028"; :>> label = "BolusRequest_prog"; }
+        doc /* 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";
@@ -426,9 +402,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddFlowRateOutput : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-029"; :>> label = "FlowRate_output"; }
+        doc /* 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.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -438,9 +413,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddNotificationVisualOutput : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-030"; }
-        attribute :>> name = "Notification_Visual_output";
-        attribute :>> description = "Visual display of the messages of all active notifications in the system.";
+        @MemoIdentity { :>> providedId = "DD-030"; :>> label = "Notification_Visual_output"; }
+        doc /* 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";
@@ -448,9 +422,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddNotificationAudioOutput : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-031"; :>> label = "Notification_Audio_output"; }
+        doc /* 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";
@@ -458,9 +431,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDrugNameHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-032"; }
-        attribute :>> name = "DrugName_hd";
-        attribute :>> description = "Name of a drug usable for infusion in the hospital that matches DrugName_prog.";
+        @MemoIdentity { :>> providedId = "DD-032"; :>> label = "DrugName_hd"; }
+        doc /* Name of a drug usable for infusion in the hospital that matches DrugName_prog. */
         attribute :>> semantics = "None stated.";
         attribute :>> unit = "NA";
         attribute :>> encoding = "String";
@@ -468,9 +440,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDrugConcentrationHiHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-033"; :>> label = "DrugConcentration_hi_hd"; }
+        doc /* Maximum concentration of the drug in a solution that can safely be used for infusion for DrugName_hd. */
         attribute :>> semantics = "None stated.";
         attribute :>> unit = "mg/ml";
         attribute :>> minValue = "0";
@@ -480,9 +451,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddDrugConcentrationLoHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-034"; :>> label = "DrugConcentration_lo_hd"; }
+        doc /* Minimum concentration of the drug in a solution that can safely be used for infusion for DrugName_hd. */
         attribute :>> semantics = "None stated.";
         attribute :>> unit = "mg/ml";
         attribute :>> minValue = "0";
@@ -492,9 +462,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddVTBIHiHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-035"; }
-        attribute :>> name = "VTBI_hi_hd";
-        attribute :>> description = "Maximum volume of drug that is safe to be infused for DrugName_hd.";
+        @MemoIdentity { :>> providedId = "DD-035"; :>> label = "VTBI_hi_hd"; }
+        doc /* Maximum volume of drug that is safe to be infused for DrugName_hd. */
         attribute :>> semantics = "None stated.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -504,9 +473,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddVTBILoHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-036"; }
-        attribute :>> name = "VTBI_lo_hd";
-        attribute :>> description = "Minimum volume of drug that is safe to be infused for DrugName_hd.";
+        @MemoIdentity { :>> providedId = "DD-036"; :>> label = "VTBI_lo_hd"; }
+        doc /* Minimum volume of drug that is safe to be infused for DrugName_hd. */
         attribute :>> semantics = "Mandatory.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -516,9 +484,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddFlowRateHiHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-037"; }
-        attribute :>> name = "FlowRate_hi_hd";
-        attribute :>> description = "Maximum safe flow rate of the drug for DrugName_hd.";
+        @MemoIdentity { :>> providedId = "DD-037"; :>> label = "FlowRate_hi_hd"; }
+        doc /* Maximum safe flow rate of the drug for DrugName_hd. */
         attribute :>> semantics = "Mandatory.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -528,9 +495,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddFlowRateLoHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-038"; }
-        attribute :>> name = "FlowRate_lo_hd";
-        attribute :>> description = "Minimum safe flow rate of the drug for DrugName_hd.";
+        @MemoIdentity { :>> providedId = "DD-038"; :>> label = "FlowRate_lo_hd"; }
+        doc /* Minimum safe flow rate of the drug for DrugName_hd. */
         attribute :>> semantics = "Mandatory.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -540,9 +506,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddIntervalPbolusHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @MemoIdentity { :>> providedId = "DD-039"; }
-        attribute :>> name = "Interval_pbolus_hd";
-        attribute :>> description = "Minimum safe interval between two consecutive patient bolus initiations for DrugName_hd.";
+        @MemoIdentity { :>> providedId = "DD-039"; :>> label = "Interval_pbolus_hd"; }
+        doc /* Minimum safe interval between two consecutive patient bolus initiations for DrugName_hd. */
         attribute :>> semantics = "Mandatory.";
         attribute :>> unit = "minutes";
         attribute :>> minValue = "0";
@@ -552,9 +517,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddNumberMaxPbolusHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-040"; :>> label = "NumberMax_pbolus_hd"; }
+        doc /* Maximum number of patient bolus initiations safe to be self-administered for DrugName_hd. */
         attribute :>> semantics = "Mandatory.";
         attribute :>> unit = "per hr";
         attribute :>> minValue = "0";
@@ -564,9 +528,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddFlowRateKvoHd : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-041"; :>> label = "FlowRate_kvo_hd"; }
+        doc /* Minimum flow rate of DrugName_hd that should be maintained to keep the vein open (KVO); default 0.1. */
         attribute :>> semantics = "Mandatory.";
         attribute :>> unit = "ml/hr";
         attribute :>> minValue = "0";
@@ -579,46 +542,43 @@ package memo_examples_gpca_pump_gpca_interfaces {
     // These four exchanges summarize requirements-derived physical design
     // 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 {
-        @MemoIdentity { :>> providedId = "CE-001"; }
-        attribute :>> name = "SensorStatusVectorExchange";
+    //
+    // Which functional exchange each one realizes is NOT written here. It is
+    // the `allocate lf... to ex...` line in gpca_trace, which is the one
+    // authority for the mapping.
+    //
+    // Their component ends are ports: SENSOR_OUT on the sensor subsystem,
+    // which the AADL declares, and one boundary port each on the keypad,
+    // pump motor and buzzer, which the AADL does not model and this design
+    // extension declares for the exchange that needs it.
+    interface exSensorVector : ComponentExchange
+        connect gpcaDevice.gpcaDeviceSensors.snsSensorOut to gpcaSoftware.portSensorIn {
+        @MemoIdentity { :>> providedId = "CE-001"; :>> label = "SensorStatusVectorExchange"; }
         attribute :>> exchangeKind = FlowKind::measurement;
-        ref :>> sourceEndpoint = gpcaDevice.gpcaDeviceSensors;
-        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.portSensorIn;
-        ref :>> allocatedExchanges = lfSensorAcquisition;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "MEMO design extension allocated from LF-001; not a GPCA_Device.aadl connection"; }
     }
-    part exFlowCommand : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-002"; }
-        attribute :>> name = "FlowCommandExchange";
+    interface exFlowCommand : ComponentExchange
+        connect gpcaSoftware.portGpcaSwOut to pumpMotorAssembly.portFlowCommandIn {
+        @MemoIdentity { :>> providedId = "CE-002"; :>> label = "FlowCommandExchange"; }
         attribute :>> exchangeKind = FlowKind::command;
-        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portGpcaSwOut;
-        ref :>> targetEndpoint = pumpMotorAssembly;
-        ref :>> allocatedExchanges = lfFlowCommand;
         attribute :>> direction = DirectionKind::output;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "MEMO design extension allocated from LF-002; not a GPCA_Device.aadl connection"; }
     }
-    part exAlarmAnnunciation : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-003"; }
-        attribute :>> name = "AlarmAnnunciationExchange";
+    interface exAlarmAnnunciation : ComponentExchange
+        connect gpcaSoftware.portGpcaSwOut to audibleAlarm.portAlarmIn {
+        @MemoIdentity { :>> providedId = "CE-003"; :>> label = "AlarmAnnunciationExchange"; }
         attribute :>> exchangeKind = FlowKind::alarm;
-        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portGpcaSwOut;
-        ref :>> targetEndpoint = audibleAlarm;
-        ref :>> allocatedExchanges = lfAlarmSignal;
         attribute :>> direction = DirectionKind::output;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "MEMO design extension allocated from LF-003; not a GPCA_Device.aadl connection"; }
     }
-    part exPrescriptionEntry : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-004"; }
-        attribute :>> name = "PrescriptionEntryExchange";
+    interface exPrescriptionEntry : ComponentExchange
+        connect operatorKeypad.portPrescriptionOut to gpcaSoftware.portPresIn {
+        @MemoIdentity { :>> providedId = "CE-004"; :>> label = "PrescriptionEntryExchange"; }
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = operatorKeypad;
-        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.portPresIn;
-        ref :>> allocatedExchanges = lfPrescriptionEntry;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "MEMO design extension allocated from LF-004; not a GPCA_Device.aadl connection"; }
@@ -646,366 +606,311 @@ package memo_examples_gpca_pump_gpca_interfaces {
     // OUTPUT
     // SYS_MON
     // SYS_STAT
-    // ── GPCA_SW.Impl inter-component connections (AADL, 1:1) ────
-    // ALARM_to_IM immediate is the same-step alarm-response
-    // mechanism the formal properties rely on.
-    part ceOpCmdToTlm : ComponentExchange {
-        @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)";
-        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
-    }
-    part ceConstToTlm : ComponentExchange {
-        @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)";
-        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
-    }
-    part ceTlmOutToOutput : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-103"; } attribute :>> name = "TLM_OUT_toOUTPUT";
+    // ── GPCA_SW.Impl connections (AADL, 1:1) ────────────────────
+    // A connection between two subcomponents is an interface. One from a
+    // GPCA_SW boundary port into a subcomponent is a `binding`: immediate,
+    // with nothing between the two ports, so they are one feature seen from
+    // both sides (see memo_interfaces.sysml). ALARM_to_IM immediate is the
+    // same-step alarm-response mechanism the formal properties rely on.
+    binding ceOpCmdToTlm bind gpcaSoftware.portOpCmdIn = gpcaSoftware.tlm.portTlmOpCmdIn {
+        @MemoIdentity { :>> providedId = "CE-101"; :>> label = "OP_CMDtoTLM"; }
+        attribute exchangeKind : FlowKind = FlowKind::command;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
+    }
+    binding ceConstToTlm bind gpcaSoftware.portConstIn = gpcaSoftware.tlm.portTlmConstIn {
+        @MemoIdentity { :>> providedId = "CE-102"; :>> label = "CONSTtoTLM"; }
+        attribute exchangeKind : FlowKind = FlowKind::configuration;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
+        @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
+    }
+    interface ceTlmOutToOutput : ComponentExchange
+        connect gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.outputBus.portOutputTlmModeIn {
+        @MemoIdentity { :>> providedId = "CE-103"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceImToSysStat : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-104"; } attribute :>> name = "IM_to_SYS_STAT";
+    interface ceImToSysStat : ComponentExchange
+        connect gpcaSoftware.infusionMgr.portImImOut to gpcaSoftware.systemStatus.portSysStatImIn {
+        @MemoIdentity { :>> providedId = "CE-104"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceTlmToSysStat : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-105"; } attribute :>> name = "TLM_to_SYS_STAT";
+    interface ceTlmToSysStat : ComponentExchange
+        connect gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.systemStatus.portSysStatTlmModeIn {
+        @MemoIdentity { :>> providedId = "CE-105"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSensorToSysStat : ComponentExchange {
-        @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)";
+    binding ceSensorToSysStat bind gpcaSoftware.portSensorIn = gpcaSoftware.systemStatus.portSysStatSensorIn {
+        @MemoIdentity { :>> providedId = "CE-106"; :>> label = "SENSOR_to_SYS_STAT"; }
+        attribute exchangeKind : FlowKind = FlowKind::measurement;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceConstToSysStat : ComponentExchange {
-        @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)";
+    binding ceConstToSysStat bind gpcaSoftware.portConstIn = gpcaSoftware.systemStatus.portSysStatConstIn {
+        @MemoIdentity { :>> providedId = "CE-107"; :>> label = "CONST_to_SYS_STAT"; }
+        attribute exchangeKind : FlowKind = FlowKind::configuration;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceConfigToSysStat : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-108"; } attribute :>> name = "CONFIG_to_SYS_STAT";
+    interface ceConfigToSysStat : ComponentExchange
+        connect gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.systemStatus.portSysStatConfigIn {
+        @MemoIdentity { :>> providedId = "CE-108"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSysStatOutToOutput : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-109"; } attribute :>> name = "SYS_STAT_OUT_toOUTPUT";
+    interface ceSysStatOutToOutput : ComponentExchange
+        connect gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.outputBus.portOutputSysStatIn {
+        @MemoIdentity { :>> providedId = "CE-109"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceImToAlarm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-110"; } attribute :>> name = "IM_to_ALARM";
+    interface ceImToAlarm : ComponentExchange
+        connect gpcaSoftware.infusionMgr.portImImOut to gpcaSoftware.alarm.portAlarmImIn {
+        @MemoIdentity { :>> providedId = "CE-110"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceTlmToAlarm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-111"; } attribute :>> name = "TLM_to_ALARM";
+    interface ceTlmToAlarm : ComponentExchange
+        connect gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.alarm.portAlarmTlmModeIn {
+        @MemoIdentity { :>> providedId = "CE-111"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSysMonToAlarm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-112"; } attribute :>> name = "SYS_MON_to_ALARM";
+    interface ceSysMonToAlarm : ComponentExchange
+        connect gpcaSoftware.systemMonitor.portSysMonSysMonOut to gpcaSoftware.alarm.portAlarmSysMonIn {
+        @MemoIdentity { :>> providedId = "CE-112"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceOpCmdToAlarm : ComponentExchange {
-        @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)";
+    binding ceOpCmdToAlarm bind gpcaSoftware.portOpCmdIn = gpcaSoftware.alarm.portAlarmOpCmdIn {
+        @MemoIdentity { :>> providedId = "CE-113"; :>> label = "OP_CMD_to_ALARM"; }
+        attribute exchangeKind : FlowKind = FlowKind::command;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceDbToAlarm : ComponentExchange {
-        @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)";
+    binding ceDbToAlarm bind gpcaSoftware.portDbIn = gpcaSoftware.alarm.portAlarmDbIn {
+        @MemoIdentity { :>> providedId = "CE-114"; :>> label = "DB_to_ALARM"; }
+        attribute exchangeKind : FlowKind = FlowKind::configuration;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSensorToAlarm : ComponentExchange {
-        @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)";
+    binding ceSensorToAlarm bind gpcaSoftware.portSensorIn = gpcaSoftware.alarm.portAlarmSensorIn {
+        @MemoIdentity { :>> providedId = "CE-115"; :>> label = "SENSOR_to_ALARM"; }
+        attribute exchangeKind : FlowKind = FlowKind::measurement;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceConstToAlarm : ComponentExchange {
-        @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)";
+    binding ceConstToAlarm bind gpcaSoftware.portConstIn = gpcaSoftware.alarm.portAlarmConstIn {
+        @MemoIdentity { :>> providedId = "CE-116"; :>> label = "CONST_to_ALARM"; }
+        attribute exchangeKind : FlowKind = FlowKind::configuration;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSysStatToAlarm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-117"; } attribute :>> name = "SYS_STAT_to_ALARM";
+    interface ceSysStatToAlarm : ComponentExchange
+        connect gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.alarm.portAlarmSysStatIn {
+        @MemoIdentity { :>> providedId = "CE-117"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceConfigToAlarm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-118"; } attribute :>> name = "CONFIG_to_ALARM";
+    interface ceConfigToAlarm : ComponentExchange
+        connect gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.alarm.portAlarmConfigIn {
+        @MemoIdentity { :>> providedId = "CE-118"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceAlarmOutToOutput : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-119"; } attribute :>> name = "ALARM_OUT_toOUTPUT";
+    interface ceAlarmOutToOutput : ComponentExchange
+        connect gpcaSoftware.alarm.portAlarmAlarmOut to gpcaSoftware.outputBus.portOutputAlarmIn {
+        @MemoIdentity { :>> providedId = "CE-119"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceTlmToConfig : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-120"; } attribute :>> name = "TLM_to_CONFIG";
+    interface ceTlmToConfig : ComponentExchange
+        connect gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.config.portConfigTlmModeIn {
+        @MemoIdentity { :>> providedId = "CE-120"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part cePresToConfig : ComponentExchange {
-        @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)";
+    binding cePresToConfig bind gpcaSoftware.portPresIn = gpcaSoftware.config.portConfigPresIn {
+        @MemoIdentity { :>> providedId = "CE-121"; :>> label = "PRES_to_CONFIG"; }
+        attribute exchangeKind : FlowKind = FlowKind::configuration;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceOpCmdToConfig : ComponentExchange {
-        @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)";
+    binding ceOpCmdToConfig bind gpcaSoftware.portOpCmdIn = gpcaSoftware.config.portConfigOpCmdIn {
+        @MemoIdentity { :>> providedId = "CE-122"; :>> label = "OP_CMD_to_CONFIG"; }
+        attribute exchangeKind : FlowKind = FlowKind::command;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceDbToConfig : ComponentExchange {
-        @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)";
+    binding ceDbToConfig bind gpcaSoftware.portDbIn = gpcaSoftware.config.portConfigDbIn {
+        @MemoIdentity { :>> providedId = "CE-123"; :>> label = "DB_to_CONFIG"; }
+        attribute exchangeKind : FlowKind = FlowKind::configuration;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceConsToConfig : ComponentExchange {
-        @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)";
+    binding ceConsToConfig bind gpcaSoftware.portConstIn = gpcaSoftware.config.portConfigConstIn {
+        @MemoIdentity { :>> providedId = "CE-124"; :>> label = "CONS_to_CONFIG"; }
+        attribute exchangeKind : FlowKind = FlowKind::configuration;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSysStatToConfig : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-125"; } attribute :>> name = "SYS_STAT_to_CONFIG";
+    interface ceSysStatToConfig : ComponentExchange
+        connect gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.config.portConfigSysStatIn {
+        @MemoIdentity { :>> providedId = "CE-125"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceConfigToOutput : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-126"; } attribute :>> name = "CONFIG_toOUTPUT";
+    interface ceConfigToOutput : ComponentExchange
+        connect gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.outputBus.portOutputConfigIn {
+        @MemoIdentity { :>> providedId = "CE-126"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceTlmToIm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-127"; } attribute :>> name = "TLM_to_IM";
+    interface ceTlmToIm : ComponentExchange
+        connect gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.infusionMgr.portImTlmModeIn {
+        @MemoIdentity { :>> providedId = "CE-127"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceOpCmdToIm : ComponentExchange {
-        @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)";
+    binding ceOpCmdToIm bind gpcaSoftware.portOpCmdIn = gpcaSoftware.infusionMgr.portImOpCmdIn {
+        @MemoIdentity { :>> providedId = "CE-128"; :>> label = "OP_CMD_to_IM"; }
+        attribute exchangeKind : FlowKind = FlowKind::command;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part cePatientToIm : ComponentExchange {
-        @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)";
+    binding cePatientToIm bind gpcaSoftware.portPatientIn = gpcaSoftware.infusionMgr.portImPatientIn {
+        @MemoIdentity { :>> providedId = "CE-129"; :>> label = "PATIENT_to_IM"; }
+        attribute exchangeKind : FlowKind = FlowKind::command;
+        attribute direction : DirectionKind = DirectionKind::input;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceConfigToIm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-130"; } attribute :>> name = "CONFIG_to_IM";
+    interface ceConfigToIm : ComponentExchange
+        connect gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.infusionMgr.portImConfigIn {
+        @MemoIdentity { :>> providedId = "CE-130"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceAlarmToIm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-131"; } attribute :>> name = "ALARM_to_IM";
+    interface ceAlarmToIm : ComponentExchange
+        connect gpcaSoftware.alarm.portAlarmAlarmOut to gpcaSoftware.infusionMgr.portImAlarmIn {
+        @MemoIdentity { :>> providedId = "CE-131"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSysStatToIm : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-132"; } attribute :>> name = "SYS_STAT_to_IM";
+    interface ceSysStatToIm : ComponentExchange
+        connect gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.infusionMgr.portImSysStatIn {
+        @MemoIdentity { :>> providedId = "CE-132"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceImToOutput : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-133"; } attribute :>> name = "IM_toOUTPUT";
+    interface ceImToOutput : ComponentExchange
+        connect gpcaSoftware.infusionMgr.portImImOut to gpcaSoftware.outputBus.portOutputImIn {
+        @MemoIdentity { :>> providedId = "CE-133"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceTlmToSysMon : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-134"; } attribute :>> name = "TLM_to_SYS_MON";
+    interface ceTlmToSysMon : ComponentExchange
+        connect gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.systemMonitor.portSysMonTlmModeIn {
+        @MemoIdentity { :>> providedId = "CE-134"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSysMonToOutput : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-135"; } attribute :>> name = "SYS_MON_toOUTPUT";
+    interface ceSysMonToOutput : ComponentExchange
+        connect gpcaSoftware.systemMonitor.portSysMonSysMonOut to gpcaSoftware.outputBus.portOutputSysMonIn {
+        @MemoIdentity { :>> providedId = "CE-135"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceTlmToLog : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-136"; } attribute :>> name = "TLM_to_LOG";
+    interface ceTlmToLog : ComponentExchange
+        connect gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.logging.portLogTlmModeIn {
+        @MemoIdentity { :>> providedId = "CE-136"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceConfigToLog : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-137"; } attribute :>> name = "CONFIG_to_LOG";
+    interface ceConfigToLog : ComponentExchange
+        connect gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.logging.portLogConfigIn {
+        @MemoIdentity { :>> providedId = "CE-137"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceAlarmToLog : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-138"; } attribute :>> name = "ALARM_to_LOG";
+    interface ceAlarmToLog : ComponentExchange
+        connect gpcaSoftware.alarm.portAlarmAlarmOut to gpcaSoftware.logging.portLogAlarmIn {
+        @MemoIdentity { :>> providedId = "CE-138"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceSysStatToLog : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-139"; } attribute :>> name = "SYS_STAT_to_LOG";
+    interface ceSysStatToLog : ComponentExchange
+        connect gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.logging.portLogSysStatIn {
+        @MemoIdentity { :>> providedId = "CE-139"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceImToLog : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-140"; } attribute :>> name = "IM_to_LOG";
+    interface ceImToLog : ComponentExchange
+        connect gpcaSoftware.infusionMgr.portImImOut to gpcaSoftware.logging.portLogImIn {
+        @MemoIdentity { :>> providedId = "CE-140"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceLogToOutput : ComponentExchange {
-        @MemoIdentity { :>> providedId = "CE-141"; } attribute :>> name = "LOG_toOUTPUT";
+    interface ceLogToOutput : ComponentExchange
+        connect gpcaSoftware.logging.portLogLogOut to gpcaSoftware.outputBus.portOutputLogIn {
+        @MemoIdentity { :>> providedId = "CE-141"; :>> label = "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)";
         @MemoIdentity { :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)"; }
     }
-    part ceOutputToGpcaOut : ComponentExchange {
-        @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)";
+    binding ceOutputToGpcaOut bind gpcaSoftware.outputBus.portOutputGpcaSwOut = gpcaSoftware.portGpcaSwOut {
+        @MemoIdentity { :>> providedId = "CE-142"; :>> label = "OUTPUT_to_GPCA_OUT"; }
+        attribute exchangeKind : FlowKind = FlowKind::status;
+        attribute direction : DirectionKind = DirectionKind::output;
+        attribute timingSemantics : String = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         @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;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-042"; :>> label = "Actual_Infusion_Duration_macro"; }
+        doc /* 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";
@@ -1013,9 +918,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddActualVolumeInfusedMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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).";
+        @MemoIdentity { :>> providedId = "DD-043"; :>> label = "Actual_Volume_Infused_macro"; }
+        doc /* 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";
@@ -1023,9 +927,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddFlowRateModeMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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).";
+        @MemoIdentity { :>> providedId = "DD-044"; :>> label = "FlowRate_Mode_macro"; }
+        doc /* 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";
@@ -1033,9 +936,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddInhibitedInfusionMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-045"; :>> label = "Inhibited_Infusion_macro"; }
+        doc /* 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";
@@ -1043,9 +945,8 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddInhibitedBolusMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-046"; :>> label = "Inhibited_Bolus_macro"; }
+        doc /* 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";
@@ -1053,81 +954,59 @@ package memo_examples_gpca_pump_gpca_interfaces {
     }
     item ddInhibitedPatientBolusMacro : InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
-        @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.";
+        @MemoIdentity { :>> providedId = "DD-047"; :>> label = "Inhibited_PatientBolus_macro"; }
+        doc /* 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";
         @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), App. A.3 Text Macros"; }
     }
 
-    // ── The exchanges as FLOWS (Track A3) ────────────────────────────
-    // The flow is the edge; the ComponentExchange part above it carries the
-    // budget and assurance attributes. Each flow is NAMED with its exchange,
-    // and that shared identifier IS the binding between the two halves —
-    // `relationships["ceOpCmdToTlm"]` and `elements["ceOpCmdToTlm"]` are one
-    // statement, checked by CR-ONT-076. A named flow needs the grammar to
-    // accept a name at all, which is why this could not land before the
-    // productions did.
+    // ── What moves over each exchange ────────────────────────────────
+    // Each interface above is the connection between two ports; the flow
+    // here is what crosses it, between the same two ports, named for its
+    // exchange with a `Flow` suffix (`ceTlmOutToOutput` the interface,
+    // `ceTlmOutToOutputFlow` the transfer). CR-ONT-076 asks that every
+    // exchange carries one, and compares the ends, not the names.
     //
-    // The ends are the PORTS, not the components — the port-level topology the
-    // *PortPath strings used to approximate. gpca_trace.sysml keeps the
-    // component-level dependencies; AADL distinguishes the two granularities
-    // and so does this.
+    // The ends are the PORTS, not the components — the port-level topology
+    // AADL declares. gpca_trace.sysml keeps the component-level dependencies;
+    // AADL distinguishes the two granularities and so does this.
     //
-    // Two spellings, because AADL's two connection kinds are two different
-    // things. A `flow` transports an item between components and runs `out` to
-    // `in`. A `bind` is a DELEGATION between a boundary port and the interior
-    // it stands for: `in` to `in`, or `out` to `out`, because nothing travels —
-    // the two features are the same feature. SysML v2 keeps them apart the same
-    // way (training ch. 13 and ch. 12), and the 15 delegations recorded below
-    // are the ones gpca_trace.sysml therefore cannot restate at component
-    // granularity.
-    flow of InterfaceItem from gpcaDevice.gpcaDeviceSensors to gpcaDevice.gpcaSoftware.portSensorIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.portGpcaSwOut to pumpMotorAssembly;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.portGpcaSwOut to audibleAlarm;
-    flow of InterfaceItem from operatorKeypad to gpcaDevice.gpcaSoftware.portPresIn;
-    bind gpcaDevice.gpcaSoftware.portOpCmdIn = gpcaDevice.gpcaSoftware.tlm.portTlmOpCmdIn;
-    bind gpcaDevice.gpcaSoftware.portConstIn = gpcaDevice.gpcaSoftware.tlm.portTlmConstIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut to gpcaDevice.gpcaSoftware.outputBus.portOutputTlmModeIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.infusionMgr.portImImOut to gpcaDevice.gpcaSoftware.systemStatus.portSysStatImIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut to gpcaDevice.gpcaSoftware.systemStatus.portSysStatTlmModeIn;
-    bind gpcaDevice.gpcaSoftware.portSensorIn = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSensorIn;
-    bind gpcaDevice.gpcaSoftware.portConstIn = gpcaDevice.gpcaSoftware.systemStatus.portSysStatConstIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.config.portConfigConfigOut to gpcaDevice.gpcaSoftware.systemStatus.portSysStatConfigIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaDevice.gpcaSoftware.outputBus.portOutputSysStatIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.infusionMgr.portImImOut to gpcaDevice.gpcaSoftware.alarm.portAlarmImIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut to gpcaDevice.gpcaSoftware.alarm.portAlarmTlmModeIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.systemMonitor.portSysMonSysMonOut to gpcaDevice.gpcaSoftware.alarm.portAlarmSysMonIn;
-    bind gpcaDevice.gpcaSoftware.portOpCmdIn = gpcaDevice.gpcaSoftware.alarm.portAlarmOpCmdIn;
-    bind gpcaDevice.gpcaSoftware.portDbIn = gpcaDevice.gpcaSoftware.alarm.portAlarmDbIn;
-    bind gpcaDevice.gpcaSoftware.portSensorIn = gpcaDevice.gpcaSoftware.alarm.portAlarmSensorIn;
-    bind gpcaDevice.gpcaSoftware.portConstIn = gpcaDevice.gpcaSoftware.alarm.portAlarmConstIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaDevice.gpcaSoftware.alarm.portAlarmSysStatIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.config.portConfigConfigOut to gpcaDevice.gpcaSoftware.alarm.portAlarmConfigIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut to gpcaDevice.gpcaSoftware.outputBus.portOutputAlarmIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut to gpcaDevice.gpcaSoftware.config.portConfigTlmModeIn;
-    bind gpcaDevice.gpcaSoftware.portPresIn = gpcaDevice.gpcaSoftware.config.portConfigPresIn;
-    bind gpcaDevice.gpcaSoftware.portOpCmdIn = gpcaDevice.gpcaSoftware.config.portConfigOpCmdIn;
-    bind gpcaDevice.gpcaSoftware.portDbIn = gpcaDevice.gpcaSoftware.config.portConfigDbIn;
-    bind gpcaDevice.gpcaSoftware.portConstIn = gpcaDevice.gpcaSoftware.config.portConfigConstIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaDevice.gpcaSoftware.config.portConfigSysStatIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.config.portConfigConfigOut to gpcaDevice.gpcaSoftware.outputBus.portOutputConfigIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut to gpcaDevice.gpcaSoftware.infusionMgr.portImTlmModeIn;
-    bind gpcaDevice.gpcaSoftware.portOpCmdIn = gpcaDevice.gpcaSoftware.infusionMgr.portImOpCmdIn;
-    bind gpcaDevice.gpcaSoftware.portPatientIn = gpcaDevice.gpcaSoftware.infusionMgr.portImPatientIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.config.portConfigConfigOut to gpcaDevice.gpcaSoftware.infusionMgr.portImConfigIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut to gpcaDevice.gpcaSoftware.infusionMgr.portImAlarmIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaDevice.gpcaSoftware.infusionMgr.portImSysStatIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.infusionMgr.portImImOut to gpcaDevice.gpcaSoftware.outputBus.portOutputImIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut to gpcaDevice.gpcaSoftware.systemMonitor.portSysMonTlmModeIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.systemMonitor.portSysMonSysMonOut to gpcaDevice.gpcaSoftware.outputBus.portOutputSysMonIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut to gpcaDevice.gpcaSoftware.logging.portLogTlmModeIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.config.portConfigConfigOut to gpcaDevice.gpcaSoftware.logging.portLogConfigIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut to gpcaDevice.gpcaSoftware.logging.portLogAlarmIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaDevice.gpcaSoftware.logging.portLogSysStatIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.infusionMgr.portImImOut to gpcaDevice.gpcaSoftware.logging.portLogImIn;
-    flow of InterfaceItem from gpcaDevice.gpcaSoftware.logging.portLogLogOut to gpcaDevice.gpcaSoftware.outputBus.portOutputLogIn;
-    bind gpcaDevice.gpcaSoftware.outputBus.portOutputGpcaSwOut = gpcaDevice.gpcaSoftware.portGpcaSwOut;
+    // The 15 GPCA_SW.Impl connections from a GPCA_SW boundary port into a
+    // subcomponent's port are not here. They are `binding`s, declared with
+    // the exchanges above: each is `immediate (same-step delivery)` with no
+    // delay, queue or budget of its own, so the boundary port IS the inner
+    // port seen from outside and nothing travels between them.
+    flow exSensorVectorFlow of InterfaceItem from gpcaDevice.gpcaDeviceSensors.snsSensorOut to gpcaSoftware.portSensorIn;
+    flow exFlowCommandFlow of InterfaceItem from gpcaSoftware.portGpcaSwOut to pumpMotorAssembly.portFlowCommandIn;
+    flow exAlarmAnnunciationFlow of InterfaceItem from gpcaSoftware.portGpcaSwOut to audibleAlarm.portAlarmIn;
+    flow exPrescriptionEntryFlow of InterfaceItem from operatorKeypad.portPrescriptionOut to gpcaSoftware.portPresIn;
+    flow ceTlmOutToOutputFlow of InterfaceItem from gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.outputBus.portOutputTlmModeIn;
+    flow ceImToSysStatFlow of InterfaceItem from gpcaSoftware.infusionMgr.portImImOut to gpcaSoftware.systemStatus.portSysStatImIn;
+    flow ceTlmToSysStatFlow of InterfaceItem from gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.systemStatus.portSysStatTlmModeIn;
+    flow ceConfigToSysStatFlow of InterfaceItem from gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.systemStatus.portSysStatConfigIn;
+    flow ceSysStatOutToOutputFlow of InterfaceItem from gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.outputBus.portOutputSysStatIn;
+    flow ceImToAlarmFlow of InterfaceItem from gpcaSoftware.infusionMgr.portImImOut to gpcaSoftware.alarm.portAlarmImIn;
+    flow ceTlmToAlarmFlow of InterfaceItem from gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.alarm.portAlarmTlmModeIn;
+    flow ceSysMonToAlarmFlow of InterfaceItem from gpcaSoftware.systemMonitor.portSysMonSysMonOut to gpcaSoftware.alarm.portAlarmSysMonIn;
+    flow ceSysStatToAlarmFlow of InterfaceItem from gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.alarm.portAlarmSysStatIn;
+    flow ceConfigToAlarmFlow of InterfaceItem from gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.alarm.portAlarmConfigIn;
+    flow ceAlarmOutToOutputFlow of InterfaceItem from gpcaSoftware.alarm.portAlarmAlarmOut to gpcaSoftware.outputBus.portOutputAlarmIn;
+    flow ceTlmToConfigFlow of InterfaceItem from gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.config.portConfigTlmModeIn;
+    flow ceSysStatToConfigFlow of InterfaceItem from gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.config.portConfigSysStatIn;
+    flow ceConfigToOutputFlow of InterfaceItem from gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.outputBus.portOutputConfigIn;
+    flow ceTlmToImFlow of InterfaceItem from gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.infusionMgr.portImTlmModeIn;
+    flow ceConfigToImFlow of InterfaceItem from gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.infusionMgr.portImConfigIn;
+    flow ceAlarmToImFlow of InterfaceItem from gpcaSoftware.alarm.portAlarmAlarmOut to gpcaSoftware.infusionMgr.portImAlarmIn;
+    flow ceSysStatToImFlow of InterfaceItem from gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.infusionMgr.portImSysStatIn;
+    flow ceImToOutputFlow of InterfaceItem from gpcaSoftware.infusionMgr.portImImOut to gpcaSoftware.outputBus.portOutputImIn;
+    flow ceTlmToSysMonFlow of InterfaceItem from gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.systemMonitor.portSysMonTlmModeIn;
+    flow ceSysMonToOutputFlow of InterfaceItem from gpcaSoftware.systemMonitor.portSysMonSysMonOut to gpcaSoftware.outputBus.portOutputSysMonIn;
+    flow ceTlmToLogFlow of InterfaceItem from gpcaSoftware.tlm.portTlmTlmModeOut to gpcaSoftware.logging.portLogTlmModeIn;
+    flow ceConfigToLogFlow of InterfaceItem from gpcaSoftware.config.portConfigConfigOut to gpcaSoftware.logging.portLogConfigIn;
+    flow ceAlarmToLogFlow of InterfaceItem from gpcaSoftware.alarm.portAlarmAlarmOut to gpcaSoftware.logging.portLogAlarmIn;
+    flow ceSysStatToLogFlow of InterfaceItem from gpcaSoftware.systemStatus.portSysStatSysStatOut to gpcaSoftware.logging.portLogSysStatIn;
+    flow ceImToLogFlow of InterfaceItem from gpcaSoftware.infusionMgr.portImImOut to gpcaSoftware.logging.portLogImIn;
+    flow ceLogToOutputFlow of InterfaceItem from gpcaSoftware.logging.portLogLogOut to gpcaSoftware.outputBus.portOutputLogIn;
 }