@memoarchitect/ontology 0.6.5 → 0.8.22

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

@@ -1,11 +1,12 @@
-package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
+package memo_examples_gpca_pump_gpca_interfaces {
     private import ScalarValues::*;
 
     private import memo_architecture_logical_interfaces::*;
     private import memo_architecture_realization_physical::*;
     private import memo_architecture_functional_functions::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_architecture::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_behavior_subsystems::*;
+    private import memo_core_common::*;
+    private import memo_examples_gpca_pump_gpca_architecture::*;
+    private import memo_examples_gpca_pump_gpca_behavior_subsystems::*;
     private import memo_core_enumerations::*;
     private import memo_core_dimensions::*;
     abstract interface def SensorDataInterface :> DataInterface {
@@ -13,7 +14,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
         attribute :>> protocolSemantics = "flow, air, occlusion, door, battery, cpu, memory, pump state";
     }
     port def SensorInputPort :> SensorPort {
-        attribute :>> direction = DirectionKind::input;
+        in item sensorData : MemoItem;
         attribute :>> interfaceType = "SensorDataInterface";
         attribute :>> sensorDomain = "physiological and device state";
     }
@@ -54,7 +55,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
         attribute :>> name = "HW_SW_DataBus";
         attribute :>> interfaceKind = InterfaceKind::digitalSignal;
         attribute :>> protocol = "immediate data port mapping";
-        attribute :>> directionality = DirectionKind::bidirectional;
+        attribute :>> directionality = DirectionKind::inputOutput;
         attribute :>> bandwidth = "implementation-defined";
         attribute :>> timingConstraint = "same execution step where required";
         attribute :>> electricalStandard = "logical/AADL";
@@ -150,7 +151,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
         attribute :>> id = "SI-005";
         attribute :>> name = "HospitalPharmacyDatabaseInterface";
         attribute :>> interfaceKind = InterfaceKind::data;
-        attribute :>> direction = DirectionKind::bidirectional;
+        attribute :>> direction = DirectionKind::inputOutput;
         attribute :>> protocol = "CriSys I 9, I 10, I 11";
         attribute :>> protocolSemantics = "Retrieves the safe-value set (concentration, VTBI, flow rate, bolus interval/count, KVO rate) where DrugName_hd = DrugName_prog; resets to defaults when no record matches";
         attribute :>> interactionPattern = "query/response safe-value lookup";
@@ -581,10 +582,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
         attribute :>> id = "CE-001";
         attribute :>> name = "SensorStatusVectorExchange";
         attribute :>> exchangeKind = FlowKind::measurement;
-        ref :>> sourceEndpoint = gpcaDeviceSensors;
-        attribute :>> sourcePortPath = "HW-001: GPCA_HW_Sensors";
-        ref :>> targetEndpoint = portSensorIn;
-        attribute :>> targetPortPath = "GPCA_SW.SENSOR_IN (PORT-04)";
+        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)";
@@ -594,10 +593,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
         attribute :>> id = "CE-002";
         attribute :>> name = "FlowCommandExchange";
         attribute :>> exchangeKind = FlowKind::command;
-        ref :>> sourceEndpoint = portGpcaSwOut;
-        attribute :>> sourcePortPath = "GPCA_SW.GPCA_SW_OUT (Commanded_Flow_Rate)";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portGpcaSwOut;
         ref :>> targetEndpoint = pumpMotorAssembly;
-        attribute :>> targetPortPath = "HW-003: PumpMotorAssembly";
         ref :>> allocatedExchanges = lfFlowCommand;
         attribute :>> direction = DirectionKind::output;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
@@ -607,10 +604,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
         attribute :>> id = "CE-003";
         attribute :>> name = "AlarmAnnunciationExchange";
         attribute :>> exchangeKind = FlowKind::alarm;
-        ref :>> sourceEndpoint = portGpcaSwOut;
-        attribute :>> sourcePortPath = "GPCA_SW.GPCA_SW_OUT (Notification_Message, Is_Audio_Disabled)";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portGpcaSwOut;
         ref :>> targetEndpoint = audibleAlarm;
-        attribute :>> targetPortPath = "HW-004: AudibleAlarmAnnunciator / HW-005: OperatorDisplay";
         ref :>> allocatedExchanges = lfAlarmSignal;
         attribute :>> direction = DirectionKind::output;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
@@ -621,9 +616,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
         attribute :>> name = "PrescriptionEntryExchange";
         attribute :>> exchangeKind = FlowKind::configuration;
         ref :>> sourceEndpoint = operatorKeypad;
-        attribute :>> sourcePortPath = "HW-012: OperatorKeypad";
-        ref :>> targetEndpoint = portPresIn;
-        attribute :>> targetPortPath = "GPCA_SW.PRES_IN / GPCA_SW.OP_CMD_IN (PORT-02, PORT-01)";
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.portPresIn;
         ref :>> allocatedExchanges = lfPrescriptionEntry;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
@@ -635,94 +628,31 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     // not decompose into the individual physical parts modelled elsewhere in
     // this MEMO example. These features and their connections are therefore
     // kept exact and separate from that extended physical design content.
-    part devOpCmdIn : PhysicalPort { attribute :>> id = "PORT-DEV-01"; attribute :>> name = "OP_CMD_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_Device.aadl"; }
-    part devDbIn : PhysicalPort { attribute :>> id = "PORT-DEV-02"; attribute :>> name = "DB_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_Device.aadl"; }
-    part devPresIn : PhysicalPort { attribute :>> id = "PORT-DEV-03"; attribute :>> name = "PRES_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_Device.aadl"; }
-    part devPatientIn : PhysicalPort { attribute :>> id = "PORT-DEV-04"; attribute :>> name = "PATIENT_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_Device.aadl"; }
-    part devGpcaOut : PhysicalPort { attribute :>> id = "PORT-DEV-05"; attribute :>> name = "GPCA_OUT"; attribute :>> direction = DirectionKind::output; attribute :>> sourceReference = "CITE-002: GPCA_Device.aadl"; }
-
-    part snsOpCmdIn : PhysicalPort { attribute :>> id = "PORT-SNS-01"; attribute :>> name = "OP_CMD_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsDbIn : PhysicalPort { attribute :>> id = "PORT-SNS-02"; attribute :>> name = "DB_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsPresIn : PhysicalPort { attribute :>> id = "PORT-SNS-03"; attribute :>> name = "PRES_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsPatientIn : PhysicalPort { attribute :>> id = "PORT-SNS-04"; attribute :>> name = "PATIENT_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsOpCmdOut : PhysicalPort { attribute :>> id = "PORT-SNS-05"; attribute :>> name = "OP_CMD_OUT"; attribute :>> direction = DirectionKind::output; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsPresOut : PhysicalPort { attribute :>> id = "PORT-SNS-06"; attribute :>> name = "PRES_OUT"; attribute :>> direction = DirectionKind::output; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsPatientOut : PhysicalPort { attribute :>> id = "PORT-SNS-07"; attribute :>> name = "PATIENT_OUT"; attribute :>> direction = DirectionKind::output; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsSensorOut : PhysicalPort { attribute :>> id = "PORT-SNS-08"; attribute :>> name = "SENSOR_OUT"; attribute :>> direction = DirectionKind::output; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsConstOut : PhysicalPort { attribute :>> id = "PORT-SNS-09"; attribute :>> name = "CONST_OUT"; attribute :>> direction = DirectionKind::output; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-    part snsDbOut : PhysicalPort { attribute :>> id = "PORT-SNS-10"; attribute :>> name = "DB_OUT"; attribute :>> direction = DirectionKind::output; attribute :>> sourceReference = "CITE-002: GPCA_HW_Sensors.aadl"; }
-
-    part actGpcaSwIn : PhysicalPort { attribute :>> id = "PORT-ACT-01"; attribute :>> name = "GPCA_SW_IN"; attribute :>> direction = DirectionKind::input; attribute :>> sourceReference = "CITE-002: GPCA_HW_Actuators.aadl"; }
-    part actGpcaOut : PhysicalPort { attribute :>> id = "PORT-ACT-02"; attribute :>> name = "GPCA_OUT"; attribute :>> direction = DirectionKind::output; attribute :>> sourceReference = "CITE-002: GPCA_HW_Actuators.aadl"; }
-
     // ── GPCA_SW top-level ports (AADL GPCA_SW.aadl features) ────
-    part portOpCmdIn : SoftwarePort {
-        attribute :>> id = "PORT-01"; attribute :>> name = "OP_CMD_IN";
-        attribute :>> description = "Operator commands (System_Start/Stop, Infusion_Initiate/Inhibit, Notification_Cancel, Disable/Enable_Audio, DataConfig) from the data entry interface (I 2).";
-        attribute :>> portKind = InterfaceKind::control;
-        attribute :>> direction = DirectionKind::input;
-        attribute :>> dataTypeName = "DATATYPES::Operator_Commands.Impl";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
-    }
-    part portPresIn : SoftwarePort {
-        attribute :>> id = "PORT-02"; attribute :>> name = "PRES_IN";
-        attribute :>> description = "Prescription data entry fields (I 1, 13 fields PatientID_prog..NumberMax_pbolus_prog).";
-        attribute :>> portKind = InterfaceKind::data;
-        attribute :>> direction = DirectionKind::input;
-        attribute :>> dataTypeName = "DATATYPES::Prescription_Inputs.Impl";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
-    }
-    part portPatientIn : SoftwarePort {
-        attribute :>> id = "PORT-03"; attribute :>> name = "PATIENT_IN";
-        attribute :>> description = "Patient bolus request (I 4, BolusRequest_prog).";
-        attribute :>> portKind = InterfaceKind::userInteraction;
-        attribute :>> direction = DirectionKind::input;
-        attribute :>> dataTypeName = "DATATYPES::Patient_Inputs.Impl";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
-    }
-    part portSensorIn : SoftwarePort {
-        attribute :>> id = "PORT-04"; attribute :>> name = "SENSOR_IN";
-        attribute :>> description = "Device sensor inputs (air-in-line, occlusion, door, reservoir, flow).";
-        attribute :>> portKind = InterfaceKind::digitalSignal;
-        attribute :>> direction = DirectionKind::input;
-        attribute :>> dataTypeName = "DATATYPES::Device_Sensor_Inputs.Impl";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
-    }
-    part portConstIn : SoftwarePort {
-        attribute :>> id = "PORT-05"; attribute :>> name = "CONST_IN";
-        attribute :>> description = "Device configuration constants (App. A.4 values such as Empty_Reservoir, tolerances).";
-        attribute :>> portKind = InterfaceKind::data;
-        attribute :>> direction = DirectionKind::input;
-        attribute :>> dataTypeName = "DATATYPES::Device_Configuration_Inputs.Impl";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
-    }
-    part portDbIn : SoftwarePort {
-        attribute :>> id = "PORT-06"; attribute :>> name = "DB_IN";
-        attribute :>> description = "Hospital pharmacy database safe values (I 9-I 11); realizes SI-005 HospitalPharmacyDatabaseInterface.";
-        attribute :>> portKind = InterfaceKind::data;
-        attribute :>> direction = DirectionKind::input;
-        attribute :>> dataTypeName = "DATATYPES::Drug_Database_Inputs.Impl";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
-    }
-    part portGpcaSwOut : SoftwarePort {
-        attribute :>> id = "PORT-07"; attribute :>> name = "GPCA_SW_OUT";
-        attribute :>> description = "Aggregated software output vector (Current_System_Mode, Commanded_Flow_Rate, notifications, prescription echo, status).";
-        attribute :>> portKind = InterfaceKind::data;
-        attribute :>> direction = DirectionKind::output;
-        attribute :>> dataTypeName = "DATATYPES::GPCA_SW_Outputs.Impl";
-        attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
-    }
-
+    // ── Software-module ports (AADL GPCA_SW.Impl subcomponent features) ──
+    // These 49 were `sourcePortPath` / `targetPortPath` STRINGS until now
+    // (§13.3): "TLM.OP_CMD_IN" and the like, which nothing could follow to an
+    // element. The AADL packages declare them as real features, so they are
+    // declared as real ports here and the exchanges below reference them
+    // directly. `portKind` follows the seven top-level GPCA_SW ports wherever
+    // the feature name matches one of them, and otherwise the single FlowKind
+    // every exchange across that feature carries — no path carried two.
+    // TLM
+    // CONFIG
+    // ALARM
+    // LOG
+    // IM
+    // 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 {
         attribute :>> id = "CE-101"; attribute :>> name = "OP_CMDtoTLM";
         attribute :>> exchangeKind = FlowKind::command;
-        ref :>> sourceEndpoint = portOpCmdIn;
-        attribute :>> sourcePortPath = "OP_CMD_IN";
-        ref :>> targetEndpoint = tlm;
-        attribute :>> targetPortPath = "TLM.OP_CMD_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portOpCmdIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmOpCmdIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -730,10 +660,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceConstToTlm : ComponentExchange {
         attribute :>> id = "CE-102"; attribute :>> name = "CONSTtoTLM";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = portConstIn;
-        attribute :>> sourcePortPath = "CONST_IN";
-        ref :>> targetEndpoint = tlm;
-        attribute :>> targetPortPath = "TLM.CONST_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portConstIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmConstIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -741,40 +669,32 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceTlmOutToOutput : ComponentExchange {
         attribute :>> id = "CE-103"; attribute :>> name = "TLM_OUT_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = tlm;
-        attribute :>> sourcePortPath = "TLM.TLM_MODE_OUT";
-        ref :>> targetEndpoint = outputBus;
-        attribute :>> targetPortPath = "OUTPUT.TLM_MODE_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceImToSysStat : ComponentExchange {
         attribute :>> id = "CE-104"; attribute :>> name = "IM_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = infusionMgr;
-        attribute :>> sourcePortPath = "IM.IM_OUT";
-        ref :>> targetEndpoint = systemStatus;
-        attribute :>> targetPortPath = "SYS_STAT.IM_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImImOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatImIn;
         attribute :>> timingSemantics = "sampled (no timing property in source; AADL default breaks the feedback cycle)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceTlmToSysStat : ComponentExchange {
         attribute :>> id = "CE-105"; attribute :>> name = "TLM_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = tlm;
-        attribute :>> sourcePortPath = "TLM.TLM_MODE_OUT";
-        ref :>> targetEndpoint = systemStatus;
-        attribute :>> targetPortPath = "SYS_STAT.TLM_MODE_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceSensorToSysStat : ComponentExchange {
         attribute :>> id = "CE-106"; attribute :>> name = "SENSOR_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::measurement;
-        ref :>> sourceEndpoint = portSensorIn;
-        attribute :>> sourcePortPath = "SENSOR_IN";
-        ref :>> targetEndpoint = systemStatus;
-        attribute :>> targetPortPath = "SYS_STAT.SENSOR_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portSensorIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSensorIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -782,10 +702,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceConstToSysStat : ComponentExchange {
         attribute :>> id = "CE-107"; attribute :>> name = "CONST_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = portConstIn;
-        attribute :>> sourcePortPath = "CONST_IN";
-        ref :>> targetEndpoint = systemStatus;
-        attribute :>> targetPortPath = "SYS_STAT.CONST_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portConstIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatConstIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -793,60 +711,48 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceConfigToSysStat : ComponentExchange {
         attribute :>> id = "CE-108"; attribute :>> name = "CONFIG_to_SYS_STAT";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = config;
-        attribute :>> sourcePortPath = "CONFIG.CONFIG_OUT";
-        ref :>> targetEndpoint = systemStatus;
-        attribute :>> targetPortPath = "SYS_STAT.CONFIG_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatConfigIn;
         attribute :>> timingSemantics = "sampled (no timing property in source; AADL default breaks the feedback cycle)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceSysStatOutToOutput : ComponentExchange {
         attribute :>> id = "CE-109"; attribute :>> name = "SYS_STAT_OUT_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = systemStatus;
-        attribute :>> sourcePortPath = "SYS_STAT.SYS_STAT_OUT";
-        ref :>> targetEndpoint = outputBus;
-        attribute :>> targetPortPath = "OUTPUT.SYS_STAT_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceImToAlarm : ComponentExchange {
         attribute :>> id = "CE-110"; attribute :>> name = "IM_to_ALARM";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = infusionMgr;
-        attribute :>> sourcePortPath = "IM.IM_OUT";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.IM_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImImOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmImIn;
         attribute :>> timingSemantics = "sampled (no timing property in source; AADL default breaks the feedback cycle)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceTlmToAlarm : ComponentExchange {
         attribute :>> id = "CE-111"; attribute :>> name = "TLM_to_ALARM";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = tlm;
-        attribute :>> sourcePortPath = "TLM.TLM_MODE_OUT";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.TLM_MODE_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceSysMonToAlarm : ComponentExchange {
         attribute :>> id = "CE-112"; attribute :>> name = "SYS_MON_to_ALARM";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = systemMonitor;
-        attribute :>> sourcePortPath = "SYS_MON.SYS_MON_OUT";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.SYS_MON_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemMonitor.portSysMonSysMonOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmSysMonIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceOpCmdToAlarm : ComponentExchange {
         attribute :>> id = "CE-113"; attribute :>> name = "OP_CMD_to_ALARM";
         attribute :>> exchangeKind = FlowKind::command;
-        ref :>> sourceEndpoint = portOpCmdIn;
-        attribute :>> sourcePortPath = "OP_CMD_IN";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.OP_CMD_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portOpCmdIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmOpCmdIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -854,10 +760,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceDbToAlarm : ComponentExchange {
         attribute :>> id = "CE-114"; attribute :>> name = "DB_to_ALARM";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = portDbIn;
-        attribute :>> sourcePortPath = "DB_IN";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.DB_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portDbIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmDbIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -865,10 +769,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceSensorToAlarm : ComponentExchange {
         attribute :>> id = "CE-115"; attribute :>> name = "SENSOR_to_ALARM";
         attribute :>> exchangeKind = FlowKind::measurement;
-        ref :>> sourceEndpoint = portSensorIn;
-        attribute :>> sourcePortPath = "SENSOR_IN";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.SENSOR_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portSensorIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmSensorIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -876,10 +778,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceConstToAlarm : ComponentExchange {
         attribute :>> id = "CE-116"; attribute :>> name = "CONST_to_ALARM";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = portConstIn;
-        attribute :>> sourcePortPath = "CONST_IN";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.CONST_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portConstIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmConstIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -887,50 +787,40 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceSysStatToAlarm : ComponentExchange {
         attribute :>> id = "CE-117"; attribute :>> name = "SYS_STAT_to_ALARM";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = systemStatus;
-        attribute :>> sourcePortPath = "SYS_STAT.SYS_STAT_OUT";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.SYS_STAT_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceConfigToAlarm : ComponentExchange {
         attribute :>> id = "CE-118"; attribute :>> name = "CONFIG_to_ALARM";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = config;
-        attribute :>> sourcePortPath = "CONFIG.CONFIG_OUT";
-        ref :>> targetEndpoint = alarm;
-        attribute :>> targetPortPath = "ALARM.CONFIG_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmConfigIn;
         attribute :>> timingSemantics = "sampled (no timing property in source; AADL default breaks the feedback cycle)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceAlarmOutToOutput : ComponentExchange {
         attribute :>> id = "CE-119"; attribute :>> name = "ALARM_OUT_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::alarm;
-        ref :>> sourceEndpoint = alarm;
-        attribute :>> sourcePortPath = "ALARM.ALARM_OUT";
-        ref :>> targetEndpoint = outputBus;
-        attribute :>> targetPortPath = "OUTPUT.ALARM_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputAlarmIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceTlmToConfig : ComponentExchange {
         attribute :>> id = "CE-120"; attribute :>> name = "TLM_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = tlm;
-        attribute :>> sourcePortPath = "TLM.TLM_MODE_OUT";
-        ref :>> targetEndpoint = config;
-        attribute :>> targetPortPath = "CONFIG.TLM_MODE_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part cePresToConfig : ComponentExchange {
         attribute :>> id = "CE-121"; attribute :>> name = "PRES_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = portPresIn;
-        attribute :>> sourcePortPath = "PRES_IN";
-        ref :>> targetEndpoint = config;
-        attribute :>> targetPortPath = "CONFIG.PRES_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portPresIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigPresIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -938,10 +828,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceOpCmdToConfig : ComponentExchange {
         attribute :>> id = "CE-122"; attribute :>> name = "OP_CMD_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::command;
-        ref :>> sourceEndpoint = portOpCmdIn;
-        attribute :>> sourcePortPath = "OP_CMD_IN";
-        ref :>> targetEndpoint = config;
-        attribute :>> targetPortPath = "CONFIG.OP_CMD_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portOpCmdIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigOpCmdIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -949,10 +837,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceDbToConfig : ComponentExchange {
         attribute :>> id = "CE-123"; attribute :>> name = "DB_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = portDbIn;
-        attribute :>> sourcePortPath = "DB_IN";
-        ref :>> targetEndpoint = config;
-        attribute :>> targetPortPath = "CONFIG.DB_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portDbIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigDbIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -960,10 +846,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceConsToConfig : ComponentExchange {
         attribute :>> id = "CE-124"; attribute :>> name = "CONS_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = portConstIn;
-        attribute :>> sourcePortPath = "CONST_IN";
-        ref :>> targetEndpoint = config;
-        attribute :>> targetPortPath = "CONFIG.CONST_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portConstIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConstIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -971,40 +855,32 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceSysStatToConfig : ComponentExchange {
         attribute :>> id = "CE-125"; attribute :>> name = "SYS_STAT_to_CONFIG";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = systemStatus;
-        attribute :>> sourcePortPath = "SYS_STAT.SYS_STAT_OUT";
-        ref :>> targetEndpoint = config;
-        attribute :>> targetPortPath = "CONFIG.SYS_STAT_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.config.portConfigSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceConfigToOutput : ComponentExchange {
         attribute :>> id = "CE-126"; attribute :>> name = "CONFIG_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = config;
-        attribute :>> sourcePortPath = "CONFIG.CONFIG_OUT";
-        ref :>> targetEndpoint = outputBus;
-        attribute :>> targetPortPath = "OUTPUT.CONFIG_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputConfigIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceTlmToIm : ComponentExchange {
         attribute :>> id = "CE-127"; attribute :>> name = "TLM_to_IM";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = tlm;
-        attribute :>> sourcePortPath = "TLM.TLM_MODE_OUT";
-        ref :>> targetEndpoint = infusionMgr;
-        attribute :>> targetPortPath = "IM.TLM_MODE_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceOpCmdToIm : ComponentExchange {
         attribute :>> id = "CE-128"; attribute :>> name = "OP_CMD_to_IM";
         attribute :>> exchangeKind = FlowKind::command;
-        ref :>> sourceEndpoint = portOpCmdIn;
-        attribute :>> sourcePortPath = "OP_CMD_IN";
-        ref :>> targetEndpoint = infusionMgr;
-        attribute :>> targetPortPath = "IM.OP_CMD_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portOpCmdIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImOpCmdIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -1012,10 +888,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part cePatientToIm : ComponentExchange {
         attribute :>> id = "CE-129"; attribute :>> name = "PATIENT_to_IM";
         attribute :>> exchangeKind = FlowKind::command;
-        ref :>> sourceEndpoint = portPatientIn;
-        attribute :>> sourcePortPath = "PATIENT_IN";
-        ref :>> targetEndpoint = infusionMgr;
-        attribute :>> targetPortPath = "IM.PATIENT_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.portPatientIn;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImPatientIn;
         attribute :>> direction = DirectionKind::input;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -1023,130 +897,104 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
     part ceConfigToIm : ComponentExchange {
         attribute :>> id = "CE-130"; attribute :>> name = "CONFIG_to_IM";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = config;
-        attribute :>> sourcePortPath = "CONFIG.CONFIG_OUT";
-        ref :>> targetEndpoint = infusionMgr;
-        attribute :>> targetPortPath = "IM.CONFIG_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImConfigIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceAlarmToIm : ComponentExchange {
         attribute :>> id = "CE-131"; attribute :>> name = "ALARM_to_IM";
         attribute :>> exchangeKind = FlowKind::alarm;
-        ref :>> sourceEndpoint = alarm;
-        attribute :>> sourcePortPath = "ALARM.ALARM_OUT";
-        ref :>> targetEndpoint = infusionMgr;
-        attribute :>> targetPortPath = "IM.ALARM_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImAlarmIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceSysStatToIm : ComponentExchange {
         attribute :>> id = "CE-132"; attribute :>> name = "SYS_STAT_to_IM";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = systemStatus;
-        attribute :>> sourcePortPath = "SYS_STAT.SYS_STAT_OUT";
-        ref :>> targetEndpoint = infusionMgr;
-        attribute :>> targetPortPath = "IM.SYS_STAT_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceImToOutput : ComponentExchange {
         attribute :>> id = "CE-133"; attribute :>> name = "IM_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = infusionMgr;
-        attribute :>> sourcePortPath = "IM.IM_OUT";
-        ref :>> targetEndpoint = outputBus;
-        attribute :>> targetPortPath = "OUTPUT.IM_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImImOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputImIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceTlmToSysMon : ComponentExchange {
         attribute :>> id = "CE-134"; attribute :>> name = "TLM_to_SYS_MON";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = tlm;
-        attribute :>> sourcePortPath = "TLM.TLM_MODE_OUT";
-        ref :>> targetEndpoint = systemMonitor;
-        attribute :>> targetPortPath = "SYS_MON.TLM_MODE_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.systemMonitor.portSysMonTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceSysMonToOutput : ComponentExchange {
         attribute :>> id = "CE-135"; attribute :>> name = "SYS_MON_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = systemMonitor;
-        attribute :>> sourcePortPath = "SYS_MON.SYS_MON_OUT";
-        ref :>> targetEndpoint = outputBus;
-        attribute :>> targetPortPath = "OUTPUT.SYS_MON_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemMonitor.portSysMonSysMonOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputSysMonIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceTlmToLog : ComponentExchange {
         attribute :>> id = "CE-136"; attribute :>> name = "TLM_to_LOG";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = tlm;
-        attribute :>> sourcePortPath = "TLM.TLM_MODE_OUT";
-        ref :>> targetEndpoint = logging;
-        attribute :>> targetPortPath = "LOG.TLM_MODE_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.tlm.portTlmTlmModeOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogTlmModeIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceConfigToLog : ComponentExchange {
         attribute :>> id = "CE-137"; attribute :>> name = "CONFIG_to_LOG";
         attribute :>> exchangeKind = FlowKind::configuration;
-        ref :>> sourceEndpoint = config;
-        attribute :>> sourcePortPath = "CONFIG.CONFIG_OUT";
-        ref :>> targetEndpoint = logging;
-        attribute :>> targetPortPath = "LOG.CONFIG_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.config.portConfigConfigOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogConfigIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceAlarmToLog : ComponentExchange {
         attribute :>> id = "CE-138"; attribute :>> name = "ALARM_to_LOG";
         attribute :>> exchangeKind = FlowKind::alarm;
-        ref :>> sourceEndpoint = alarm;
-        attribute :>> sourcePortPath = "ALARM.ALARM_OUT";
-        ref :>> targetEndpoint = logging;
-        attribute :>> targetPortPath = "LOG.ALARM_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.alarm.portAlarmAlarmOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogAlarmIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceSysStatToLog : ComponentExchange {
         attribute :>> id = "CE-139"; attribute :>> name = "SYS_STAT_to_LOG";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = systemStatus;
-        attribute :>> sourcePortPath = "SYS_STAT.SYS_STAT_OUT";
-        ref :>> targetEndpoint = logging;
-        attribute :>> targetPortPath = "LOG.SYS_STAT_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.systemStatus.portSysStatSysStatOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogSysStatIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceImToLog : ComponentExchange {
         attribute :>> id = "CE-140"; attribute :>> name = "IM_to_LOG";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = infusionMgr;
-        attribute :>> sourcePortPath = "IM.IM_OUT";
-        ref :>> targetEndpoint = logging;
-        attribute :>> targetPortPath = "LOG.IM_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.infusionMgr.portImImOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.logging.portLogImIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceLogToOutput : ComponentExchange {
         attribute :>> id = "CE-141"; attribute :>> name = "LOG_toOUTPUT";
         attribute :>> exchangeKind = FlowKind::audit;
-        ref :>> sourceEndpoint = logging;
-        attribute :>> sourcePortPath = "LOG.LOG_OUT";
-        ref :>> targetEndpoint = outputBus;
-        attribute :>> targetPortPath = "OUTPUT.LOG_IN";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.logging.portLogLogOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputLogIn;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
     }
     part ceOutputToGpcaOut : ComponentExchange {
         attribute :>> id = "CE-142"; attribute :>> name = "OUTPUT_to_GPCA_OUT";
         attribute :>> exchangeKind = FlowKind::status;
-        ref :>> sourceEndpoint = outputBus;
-        attribute :>> sourcePortPath = "OUTPUT.GPCA_SW_OUT";
-        ref :>> targetEndpoint = portGpcaSwOut;
-        attribute :>> targetPortPath = "GPCA_SW_OUT";
+        ref :>> sourceEndpoint = gpcaDevice.gpcaSoftware.outputBus.portOutputGpcaSwOut;
+        ref :>> targetEndpoint = gpcaDevice.gpcaSoftware.portGpcaSwOut;
         attribute :>> direction = DirectionKind::output;
         attribute :>> timingSemantics = "immediate (same-step delivery, Communication_Properties::Timing => immediate)";
         attribute :>> sourceReference = "CITE-002: CriSys GPCA AADL v2.0, packages/GPCA_SW.aadl (GPCA_SW.Impl)";
@@ -1212,4 +1060,73 @@ package memo_examples_gpca_pump_model_catalog_gpca_interfaces {
         attribute :>> encoding = "Boolean";
         attribute :>> 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.
+    //
+    // 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.
+    //
+    // 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;
 }