@memoarchitect/ontology 0.8.24 → 0.10.9

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

@@ -12,23 +12,25 @@ package memo_examples_gpca_pump_gpca_operational {
     private import memo_examples_gpca_pump_gpca_system::*;
     private import memo_core_relationships::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Operational entities beyond the human actors ────────────
     part entityPharmacy : OperationalEntity {
-        attribute :>> id = "OE-001";
+        @MemoIdentity { :>> providedId = "OE-001"; }
         attribute :>> name = "HospitalPharmacy";
         attribute :>> entityKind = OperationalEntityKind::externalSystem;
         attribute :>> operationalDomain = "medication management";
         attribute :>> responsibility = "Prepares labeled drug reservoirs and maintains the hospital pharmacy database of drug safe values.";
     }
     part entityPowerInfrastructure : OperationalEntity {
-        attribute :>> id = "OE-002";
+        @MemoIdentity { :>> providedId = "OE-002"; }
         attribute :>> name = "WardPowerInfrastructure";
         attribute :>> entityKind = OperationalEntityKind::environmentalEntity;
         attribute :>> operationalDomain = "facility power";
         attribute :>> responsibility = "Provides mains power; outages are a foreseeable operational condition.";
     }
     part entityGpcaPump : OperationalEntity {
-        attribute :>> id = "OE-003";
+        @MemoIdentity { :>> providedId = "OE-003"; }
         attribute :>> name = "GPCA_Pump";
         attribute :>> entityKind = OperationalEntityKind::device;
         attribute :>> operationalDomain = "patient-controlled analgesia therapy";
@@ -37,49 +39,49 @@ package memo_examples_gpca_pump_gpca_operational {
 
     // ── External entities per CriSys Fig 2.1 ────────────────────
     part entityPharmacyDb : OperationalEntity {
-        attribute :>> id = "OE-004";
+        @MemoIdentity { :>> providedId = "OE-004"; }
         attribute :>> name = "HospitalPharmacyDatabase";
         attribute :>> entityKind = OperationalEntityKind::externalSystem;
         attribute :>> operationalDomain = "medication safety data";
         attribute :>> responsibility = "Repository of drug information from manufacturers; stores the safe value ranges for all drugs usable for infusion, retrieved by the GPCA for the programmed drug.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.1 and §3.5";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.1 and §3.5"; }
     }
     part entityDrugReservoir : OperationalEntity {
-        attribute :>> id = "OE-005";
+        @MemoIdentity { :>> providedId = "OE-005"; }
         attribute :>> name = "DrugReservoir";
         attribute :>> entityKind = OperationalEntityKind::device;
         attribute :>> operationalDomain = "drug storage";
         attribute :>> responsibility = "Apparatus storing the liquid analgesic drug to be infused; filled according to the prescription and connected to the GPCA by the clinician.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.1";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.1"; }
     }
     part entityNeedle : OperationalEntity {
-        attribute :>> id = "OE-006";
+        @MemoIdentity { :>> providedId = "OE-006"; }
         attribute :>> name = "InfusionNeedle";
         attribute :>> entityKind = OperationalEntityKind::device;
         attribute :>> operationalDomain = "drug delivery path";
         attribute :>> responsibility = "Intravenous needle inserted into the patient by the clinician and connected to the GPCA standard CCC connection point (I 5) to infuse the drug.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.1 and §3.3 (I 5)";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.1 and §3.3 (I 5)"; }
     }
     part entityPrescription : OperationalEntity {
-        attribute :>> id = "OE-007";
+        @MemoIdentity { :>> providedId = "OE-007"; }
         attribute :>> name = "Prescription";
         attribute :>> entityKind = OperationalEntityKind::informationArtifact;
         attribute :>> operationalDomain = "plan of care";
         attribute :>> responsibility = "Instructions governing the plan of care for an individual patient: the drug to be infused and all administration details; provided by a certified medical practitioner.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.1";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.1"; }
     }
     part entityHospital : OperationalEntity {
-        attribute :>> id = "OE-008";
+        @MemoIdentity { :>> providedId = "OE-008"; }
         attribute :>> name = "Hospital";
         attribute :>> entityKind = OperationalEntityKind::environmentalEntity;
         attribute :>> operationalDomain = "care environment boundary";
         attribute :>> responsibility = "Environment boundary: fixed (non-ambulatory) usage location with authorized clinicians and the pharmacy database holding drug safe values.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.4";
+        @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.4"; }
     }
 
     // ── Operational activities (therapy lifecycle) ──────────────
     action oaPrescribe : OperativeAction {
-        attribute :>> id = "OA-001";
+        @MemoIdentity { :>> providedId = "OA-001"; }
         attribute :>> name = "PrescribeTherapy";
         attribute :>> trigger = "patient requires titrated analgesia";
         attribute :>> preCondition = "patient assessed; drug has safe-value records in the hospital pharmacy database";
@@ -87,7 +89,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> criticality = CriticalityKind::high;
     }
     action oaLoadReservoir : OperativeAction {
-        attribute :>> id = "OA-002";
+        @MemoIdentity { :>> providedId = "OA-002"; }
         attribute :>> name = "LoadDrugReservoir";
         attribute :>> trigger = "prescription issued or reservoir empty";
         attribute :>> preCondition = "labeled reservoir prepared by pharmacy";
@@ -95,7 +97,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> criticality = CriticalityKind::high;
     }
     action oaProgram : OperativeAction {
-        attribute :>> id = "OA-003";
+        @MemoIdentity { :>> providedId = "OA-003"; }
         attribute :>> name = "ProgramPrescription";
         attribute :>> trigger = "reservoir loaded";
         attribute :>> preCondition = "pump in IDLE; clinician authenticated by key or code";
@@ -103,7 +105,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
     action oaStartTherapy : OperativeAction {
-        attribute :>> id = "OA-004";
+        @MemoIdentity { :>> providedId = "OA-004"; }
         attribute :>> name = "StartInfusion";
         attribute :>> trigger = "prescription confirmed";
         attribute :>> preCondition = "confirmed prescription saved; no active alarm";
@@ -111,7 +113,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
     action oaRequestBolus : OperativeAction {
-        attribute :>> id = "OA-005";
+        @MemoIdentity { :>> providedId = "OA-005"; }
         attribute :>> name = "RequestPatientBolus";
         attribute :>> trigger = "patient presses bolus request button";
         attribute :>> preCondition = "therapy active";
@@ -119,7 +121,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
     action oaRespondAlarm : OperativeAction {
-        attribute :>> id = "OA-006";
+        @MemoIdentity { :>> providedId = "OA-006"; }
         attribute :>> name = "RespondToAlarm";
         attribute :>> trigger = "audible or visual alarm annunciated";
         attribute :>> preCondition = "alarm condition raised by the pump";
@@ -127,7 +129,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
     action oaReviewLog : OperativeAction {
-        attribute :>> id = "OA-007";
+        @MemoIdentity { :>> providedId = "OA-007"; }
         attribute :>> name = "ReviewEventLog";
         attribute :>> trigger = "shift change, incident review, or dose audit";
         attribute :>> preCondition = "event log populated during therapy";
@@ -135,7 +137,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> criticality = CriticalityKind::medium;
     }
     action oaMaintain : OperativeAction {
-        attribute :>> id = "OA-008";
+        @MemoIdentity { :>> providedId = "OA-008"; }
         attribute :>> name = "MaintainDevice";
         attribute :>> trigger = "scheduled maintenance or fault";
         attribute :>> preCondition = "pump out of clinical use; technician authenticated";
@@ -148,7 +150,7 @@ package memo_examples_gpca_pump_gpca_operational {
     // several workflows, each of which owns multiple selected scenarios.
     use case ucDeliverPcaTherapy : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        attribute :>> id = "UC-001";
+        @MemoIdentity { :>> providedId = "UC-001"; }
         attribute :>> name = "DeliverPatientControlledAnalgesia";
         attribute :>> goalStatement = "Deliver prescribed analgesia safely while allowing patient-controlled bolus requests within configured limits.";
         attribute :>> trigger = "A clinician starts prescribed patient-controlled analgesia therapy.";
@@ -185,6 +187,35 @@ package memo_examples_gpca_pump_gpca_operational {
         #refinement dependency fcsBolusCommand to oaRequestBolus;
         #refinement dependency fcsBolusActuate to oaRequestBolus;
         #refinement dependency fcsBolusLog to oaRequestBolus;
+        action osNominalTherapy : OperativeScenario {
+            @MemoIdentity { :>> providedId = "OS-001"; }
+            attribute :>> name = "NominalTherapySession";
+            attribute :>> preCondition = "prescription issued, reservoir loaded";
+            attribute :>> postCondition = "therapy completed and stopped by clinician";
+            attribute :>> pathSummary = "Prescribe > load reservoir > program and confirm > start basal > patient boluses within limits > stop therapy > review log.";
+            @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.2 Main GPCA System Functions"; }
+
+            action oaCompleteNominalTherapy : OperativeAction {
+                attribute :>> name = "CompleteNominalTherapy";
+                action deliverWithinLimits; action recordTherapyEvent;
+                first start then deliverWithinLimits; first deliverWithinLimits then recordTherapyEvent; first recordTherapyEvent then done;
+            }
+        }
+        action osLockoutBolus : OperativeScenario {
+            attribute :>> scenarioKind = ScenarioKind::alternate;
+            @MemoIdentity { :>> providedId = "OS-002"; }
+            attribute :>> name = "BolusRequestDuringLockout";
+            attribute :>> preCondition = "basal infusion active; lockout interval running";
+            attribute :>> postCondition = "request ignored, logged; basal continues unchanged";
+            attribute :>> pathSummary = "Patient presses bolus button during lockout > infusion manager rejects request > event logged > no additional drug delivered.";
+            @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.9 PATIENT BOLUS mode (lockout requirements)"; }
+
+            action oaRejectBolusDuringLockout : OperativeAction {
+                attribute :>> name = "RejectBolusDuringLockout";
+                action checkLockout; action rejectAndLog;
+                first start then checkLockout; first checkLockout then rejectAndLog; first rejectAndLog then done;
+            }
+        }
     }
     action wfRespondToTherapyAlarm : OperationalWorkflow {
         attribute :>> name = "RespondToTherapyAlarm";
@@ -196,19 +227,79 @@ package memo_examples_gpca_pump_gpca_operational {
         #refinement dependency fcsAlarmEvaluate to oaRespondAlarm;
         #refinement dependency fcsAlarmStopInfusion to oaRespondAlarm;
         #refinement dependency fcsAlarmAnnunciate to oaRespondAlarm;
+        action osOcclusionAlarm : OperativeScenario {
+            attribute :>> scenarioKind = ScenarioKind::alternate;
+            @MemoIdentity { :>> providedId = "OS-003"; }
+            attribute :>> name = "OcclusionDetectedDuringInfusion";
+            attribute :>> preCondition = "therapy active; downstream line becomes blocked";
+            attribute :>> postCondition = "infusion paused, alarm annunciated, clinician clears occlusion and resumes";
+            attribute :>> pathSummary = "Occlusion sensor exceeds pressure threshold > alarm raised same step > infusion paused > audible and visual annunciation > clinician resolves and resumes.";
+            @MemoIdentity { :>> sourceReference = "CITE-004: GIP Hazard Analysis v1.0 (2009), §2.2 Alarms and Alerts (occlusion)"; }
+
+            action oaRespondToOcclusion : OperativeAction {
+                attribute :>> name = "RespondToOcclusion";
+                action pauseInfusion; action annunciateOcclusion; action resolveAndResume;
+                first start then pauseInfusion; first pauseInfusion then annunciateOcclusion; first annunciateOcclusion then resolveAndResume; first resolveAndResume then done;
+            }
+        }
+        action osAirInLine : OperativeScenario {
+            attribute :>> scenarioKind = ScenarioKind::alternate;
+            @MemoIdentity { :>> providedId = "OS-004"; }
+            attribute :>> name = "AirInLineDetected";
+            attribute :>> preCondition = "therapy active; air bubble enters tubing";
+            attribute :>> postCondition = "infusion stopped before air reaches patient; alarm annunciated";
+            attribute :>> pathSummary = "Air-in-line sensor detects bubble above threshold > transition to PAUSED (KVO flow) > High-priority Air embolism notification > clinician re-primes line and restarts.";
+            @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 Notification Requirements (REQ 59: Air embolism)"; }
+
+            action oaRespondToAirInLine : OperativeAction {
+                attribute :>> name = "RespondToAirInLine";
+                action stopOrKvo; action annunciateAir; action reprimeAndRestart;
+                first start then stopOrKvo; first stopOrKvo then annunciateAir; first annunciateAir then reprimeAndRestart; first reprimeAndRestart then done;
+            }
+        }
+        action osEmptyReservoir : OperativeScenario {
+            attribute :>> scenarioKind = ScenarioKind::alternate;
+            @MemoIdentity { :>> providedId = "OS-005"; }
+            attribute :>> name = "ReservoirEmptyDuringTherapy";
+            attribute :>> preCondition = "therapy active; reservoir volume reaches empty threshold";
+            attribute :>> postCondition = "infusion stopped, alarm raised, reservoir replaced";
+            attribute :>> pathSummary = "Reservoir-empty condition detected > transition to PAUSED (KVO flow) > High-priority Empty Reservoir notification > clinician loads new reservoir > therapy resumed with saved prescription.";
+            @MemoIdentity { :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 Notification Requirements (REQ 59: Empty Reservoir)"; }
+
+            action oaReplaceEmptyReservoir : OperativeAction {
+                attribute :>> name = "ReplaceEmptyReservoir";
+                action stopAndAnnunciate; action replaceReservoir; action resumeTherapy;
+                first start then stopAndAnnunciate; first stopAndAnnunciate then replaceReservoir; first replaceReservoir then resumeTherapy; first resumeTherapy then done;
+            }
+        }
+        action osPowerLoss : OperativeScenario {
+            attribute :>> scenarioKind = ScenarioKind::alternate;
+            @MemoIdentity { :>> providedId = "OS-006"; }
+            attribute :>> name = "MainsPowerLossAndRecovery";
+            attribute :>> preCondition = "therapy active on mains power";
+            attribute :>> postCondition = "therapy continues on battery; prescription preserved across full power loss";
+            attribute :>> pathSummary = "Mains lost > battery takes over with notification > if battery depletes, pump stops safely > on power restore, saved prescription recovered and therapy resumed only after clinician confirmation.";
+            @MemoIdentity { :>> sourceReference = "CITE-004: GIP Hazard Analysis v1.0 (2009), §2.4.3 Electrical Hazards (battery failure)"; }
+
+            action oaRecoverAfterPowerLoss : OperativeAction {
+                attribute :>> name = "RecoverAfterPowerLoss";
+                action switchToBattery; action restorePrescription; action confirmRestart;
+                first start then switchToBattery; first switchToBattery then restorePrescription; first restorePrescription then confirmRestart; first confirmRestart then done;
+            }
+        }
     }
 
 
     // ── Operational capabilities ────────────────────────────────
     part ocTitratedAnalgesia : OperationalCapability {
-        attribute :>> id = "OC-001";
+        @MemoIdentity { :>> providedId = "OC-001"; }
         attribute :>> name = "DeliverTitratedAnalgesia";
         attribute :>> capabilityLevel = "primary";
         attribute :>> preCondition = "confirmed prescription and loaded reservoir";
         attribute :>> postCondition = "drug delivered within prescribed limits at all times";
     }
     part ocFailSafeTherapy : OperationalCapability {
-        attribute :>> id = "OC-002";
+        @MemoIdentity { :>> providedId = "OC-002"; }
         attribute :>> name = "FailSafeTherapyManagement";
         attribute :>> capabilityLevel = "safety";
         attribute :>> preCondition = "any single failure or foreseeable misuse";
@@ -216,101 +307,12 @@ package memo_examples_gpca_pump_gpca_operational {
     }
 
     // ── Operational scenarios ───────────────────────────────────
-    action osNominalTherapy : OperativeScenario {
-        attribute :>> id = "OS-001";
-        attribute :>> name = "NominalTherapySession";
-        attribute :>> preCondition = "prescription issued, reservoir loaded";
-        attribute :>> postCondition = "therapy completed and stopped by clinician";
-        attribute :>> pathSummary = "Prescribe > load reservoir > program and confirm > start basal > patient boluses within limits > stop therapy > review log.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.2 Main GPCA System Functions";
-
-        action oaCompleteNominalTherapy : OperativeAction {
-            attribute :>> name = "CompleteNominalTherapy";
-            action deliverWithinLimits; action recordTherapyEvent;
-            first start then deliverWithinLimits; first deliverWithinLimits then recordTherapyEvent; first recordTherapyEvent then done;
-        }
-    }
-    action osLockoutBolus : OperativeScenario {
-        attribute :>> scenarioKind = ScenarioKind::alternate;
-        attribute :>> id = "OS-002";
-        attribute :>> name = "BolusRequestDuringLockout";
-        attribute :>> preCondition = "basal infusion active; lockout interval running";
-        attribute :>> postCondition = "request ignored, logged; basal continues unchanged";
-        attribute :>> pathSummary = "Patient presses bolus button during lockout > infusion manager rejects request > event logged > no additional drug delivered.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.9 PATIENT BOLUS mode (lockout requirements)";
-
-        action oaRejectBolusDuringLockout : OperativeAction {
-            attribute :>> name = "RejectBolusDuringLockout";
-            action checkLockout; action rejectAndLog;
-            first start then checkLockout; first checkLockout then rejectAndLog; first rejectAndLog then done;
-        }
-    }
-    action osOcclusionAlarm : OperativeScenario {
-        attribute :>> scenarioKind = ScenarioKind::alternate;
-        attribute :>> id = "OS-003";
-        attribute :>> name = "OcclusionDetectedDuringInfusion";
-        attribute :>> preCondition = "therapy active; downstream line becomes blocked";
-        attribute :>> postCondition = "infusion paused, alarm annunciated, clinician clears occlusion and resumes";
-        attribute :>> pathSummary = "Occlusion sensor exceeds pressure threshold > alarm raised same step > infusion paused > audible and visual annunciation > clinician resolves and resumes.";
-        attribute :>> sourceReference = "CITE-004: GIP Hazard Analysis v1.0 (2009), §2.2 Alarms and Alerts (occlusion)";
-
-        action oaRespondToOcclusion : OperativeAction {
-            attribute :>> name = "RespondToOcclusion";
-            action pauseInfusion; action annunciateOcclusion; action resolveAndResume;
-            first start then pauseInfusion; first pauseInfusion then annunciateOcclusion; first annunciateOcclusion then resolveAndResume; first resolveAndResume then done;
-        }
-    }
-    action osAirInLine : OperativeScenario {
-        attribute :>> scenarioKind = ScenarioKind::alternate;
-        attribute :>> id = "OS-004";
-        attribute :>> name = "AirInLineDetected";
-        attribute :>> preCondition = "therapy active; air bubble enters tubing";
-        attribute :>> postCondition = "infusion stopped before air reaches patient; alarm annunciated";
-        attribute :>> pathSummary = "Air-in-line sensor detects bubble above threshold > transition to PAUSED (KVO flow) > High-priority Air embolism notification > clinician re-primes line and restarts.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 Notification Requirements (REQ 59: Air embolism)";
-
-        action oaRespondToAirInLine : OperativeAction {
-            attribute :>> name = "RespondToAirInLine";
-            action stopOrKvo; action annunciateAir; action reprimeAndRestart;
-            first start then stopOrKvo; first stopOrKvo then annunciateAir; first annunciateAir then reprimeAndRestart; first reprimeAndRestart then done;
-        }
-    }
-    action osEmptyReservoir : OperativeScenario {
-        attribute :>> scenarioKind = ScenarioKind::alternate;
-        attribute :>> id = "OS-005";
-        attribute :>> name = "ReservoirEmptyDuringTherapy";
-        attribute :>> preCondition = "therapy active; reservoir volume reaches empty threshold";
-        attribute :>> postCondition = "infusion stopped, alarm raised, reservoir replaced";
-        attribute :>> pathSummary = "Reservoir-empty condition detected > transition to PAUSED (KVO flow) > High-priority Empty Reservoir notification > clinician loads new reservoir > therapy resumed with saved prescription.";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 Notification Requirements (REQ 59: Empty Reservoir)";
-
-        action oaReplaceEmptyReservoir : OperativeAction {
-            attribute :>> name = "ReplaceEmptyReservoir";
-            action stopAndAnnunciate; action replaceReservoir; action resumeTherapy;
-            first start then stopAndAnnunciate; first stopAndAnnunciate then replaceReservoir; first replaceReservoir then resumeTherapy; first resumeTherapy then done;
-        }
-    }
-    action osPowerLoss : OperativeScenario {
-        attribute :>> scenarioKind = ScenarioKind::alternate;
-        attribute :>> id = "OS-006";
-        attribute :>> name = "MainsPowerLossAndRecovery";
-        attribute :>> preCondition = "therapy active on mains power";
-        attribute :>> postCondition = "therapy continues on battery; prescription preserved across full power loss";
-        attribute :>> pathSummary = "Mains lost > battery takes over with notification > if battery depletes, pump stops safely > on power restore, saved prescription recovered and therapy resumed only after clinician confirmation.";
-        attribute :>> sourceReference = "CITE-004: GIP Hazard Analysis v1.0 (2009), §2.4.3 Electrical Hazards (battery failure)";
-
-        action oaRecoverAfterPowerLoss : OperativeAction {
-            attribute :>> name = "RecoverAfterPowerLoss";
-            action switchToBattery; action restorePrescription; action confirmRestart;
-            first start then switchToBattery; first switchToBattery then restorePrescription; first restorePrescription then confirmRestart; first confirmRestart then done;
-        }
-    }
-    #refinement dependency osNominalTherapy to ucDeliverPcaTherapy;
-    #refinement dependency osLockoutBolus to ucDeliverPcaTherapy;
-    #refinement dependency osOcclusionAlarm to ucDeliverPcaTherapy;
-    #refinement dependency osAirInLine to ucDeliverPcaTherapy;
-    #refinement dependency osEmptyReservoir to ucDeliverPcaTherapy;
-    #refinement dependency osPowerLoss to ucDeliverPcaTherapy;
+    #refinement dependency wfManageActiveTherapy::osNominalTherapy to ucDeliverPcaTherapy;
+    #refinement dependency wfManageActiveTherapy::osLockoutBolus to ucDeliverPcaTherapy;
+    #refinement dependency wfRespondToTherapyAlarm::osOcclusionAlarm to ucDeliverPcaTherapy;
+    #refinement dependency wfRespondToTherapyAlarm::osAirInLine to ucDeliverPcaTherapy;
+    #refinement dependency wfRespondToTherapyAlarm::osEmptyReservoir to ucDeliverPcaTherapy;
+    #refinement dependency wfRespondToTherapyAlarm::osPowerLoss to ucDeliverPcaTherapy;
 
     // ── Operational trace relations ─────────────────────────────
     connection : RealizesUseCase connect realizingWorkflow ::> wfPrepareAndStartTherapy to realizedUseCase ::> ucDeliverPcaTherapy;
@@ -322,11 +324,5 @@ package memo_examples_gpca_pump_gpca_operational {
     connection : RequiresCapability connect requiringIntendedUse ::> gpcaIntendedUse to requiredCapability ::> ocFailSafeTherapy;
 
 
-    connection : HasScenario connect owningWorkflow ::> wfManageActiveTherapy to pathScenario ::> osNominalTherapy;
-    connection : HasScenario connect owningWorkflow ::> wfManageActiveTherapy to pathScenario ::> osLockoutBolus;
-    connection : HasScenario connect owningWorkflow ::> wfRespondToTherapyAlarm to pathScenario ::> osOcclusionAlarm;
-    connection : HasScenario connect owningWorkflow ::> wfRespondToTherapyAlarm to pathScenario ::> osAirInLine;
-    connection : HasScenario connect owningWorkflow ::> wfRespondToTherapyAlarm to pathScenario ::> osEmptyReservoir;
-    connection : HasScenario connect owningWorkflow ::> wfRespondToTherapyAlarm to pathScenario ::> osPowerLoss;
 
 }

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

@@ -4,8 +4,10 @@ package memo_examples_gpca_pump_gpca_physical {
     private import memo_architecture_realization_physical::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part mainController : ProcessingNode {
-        attribute :>> id = "PN-001";
+        @MemoIdentity { :>> providedId = "PN-001"; }
         attribute :>> name = "MainControllerMCU";
         attribute :>> nodeKind = ProcessingNodeKind::microcontroller;
         attribute :>> processorArchitecture = "ARM Cortex-M4, lockstep-capable";
@@ -16,31 +18,31 @@ package memo_examples_gpca_pump_gpca_physical {
     }
 
     in port portSensorHarness : PhysicalPort {
-        attribute :>> id = "PP-001";
+        @MemoIdentity { :>> providedId = "PP-001"; }
         attribute :>> name = "SensorHarnessConnector";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "keyed 12-pin locking header";
     }
     out port portMotorDrive : PhysicalPort {
-        attribute :>> id = "PP-002";
+        @MemoIdentity { :>> providedId = "PP-002"; }
         attribute :>> name = "MotorDriveConnector";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "keyed 6-pin locking header with enable interlock";
     }
     in port portPatientPendant : PhysicalPort {
-        attribute :>> id = "PP-003";
+        @MemoIdentity { :>> providedId = "PP-003"; }
         attribute :>> name = "PatientPendantJack";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "latching 3.5 mm pendant jack";
     }
     inout port portServiceAccess : PhysicalPort {
-        attribute :>> id = "PP-004";
+        @MemoIdentity { :>> providedId = "PP-004"; }
         attribute :>> name = "ServiceMaintenancePort";
         attribute :>> portKind = InterfaceKind::api;
         attribute :>> connectorType = "covered UART/USB service connector";
     }
     in port portMainsInlet : PhysicalPort {
-        attribute :>> id = "PP-005";
+        @MemoIdentity { :>> providedId = "PP-005"; }
         attribute :>> name = "MainsPowerInlet";
         attribute :>> portKind = InterfaceKind::power;
         attribute :>> connectorType = "IEC 60320 C8 inlet";