@memoarchitect/ontology 0.6.5 → 0.8.22

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

@@ -1,5 +1,6 @@
-package memo_examples_gpca_pump_model_catalog_gpca_operational {
+package memo_examples_gpca_pump_gpca_operational {
     private import ScalarValues::*;
+    private import ModelingMetadata::*;
 
     private import memo_architecture_operational_structure::*;
     private import memo_architecture_operational_activities::*;
@@ -7,7 +8,9 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
     private import memo_architecture_operational_use_cases::*;
     private import memo_architecture_operational_workflows::*;
     private import memo_core_enumerations::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_context::*;
+    private import memo_examples_gpca_pump_gpca_context::*;
+    private import memo_examples_gpca_pump_gpca_system::*;
+    private import memo_core_relationships::*;
 
     // ── Operational entities beyond the human actors ────────────
     part entityPharmacy : OperationalEntity {
@@ -153,6 +156,11 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
         ref :>> primaryUser = actorNurse;
         ref :>> supportingActors = (actorPatient, actorPrescriber, actorPharmacist);
         ref :>> useContext = hospitalWardContext;
+        subject supportingSystem;
+        actor nurseInitiator = actorNurse;
+        actor patientActor = actorPatient;
+        actor prescriberActor = actorPrescriber;
+        actor pharmacistActor = actorPharmacist;
     }
 
     action wfPrepareAndStartTherapy : OperationalWorkflow {
@@ -160,62 +168,43 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
         attribute :>> workflowState = WorkflowStateKind::toBe;
         attribute :>> entryCondition = "A valid prescription and prepared reservoir are available.";
         attribute :>> completionCondition = "Therapy is started with confirmed prescription limits.";
+
+        action wsProgram : WorkflowStep { ref :>> performedActivity = oaProgram; }
+        action wsStart : WorkflowStep { ref :>> performedActivity = oaStartTherapy; }
     }
     action wfManageActiveTherapy : OperationalWorkflow {
         attribute :>> name = "ManageActiveTherapy";
         attribute :>> workflowState = WorkflowStateKind::toBe;
         attribute :>> entryCondition = "Basal therapy is active.";
         attribute :>> completionCondition = "A bolus is handled or active therapy continues safely.";
+
+        action wsRequestBolus : WorkflowStep { ref :>> performedActivity = oaRequestBolus; }
+        // Refinement targets a nested step by its local name — the shorthand's
+        // `to` end does not accept a qualified path — so this is written
+        // inside wsRequestBolus's own owning scope rather than at package
+        // level.
+        #refinement dependency fcsBolusSense to wsRequestBolus;
+        #refinement dependency fcsBolusValidate to wsRequestBolus;
+        #refinement dependency fcsBolusCommand to wsRequestBolus;
+        #refinement dependency fcsBolusActuate to wsRequestBolus;
+        #refinement dependency fcsBolusLog to wsRequestBolus;
     }
     action wfRespondToTherapyAlarm : OperationalWorkflow {
         attribute :>> name = "RespondToTherapyAlarm";
         attribute :>> workflowState = WorkflowStateKind::toBe;
         attribute :>> entryCondition = "A therapy alarm or degraded condition is detected.";
         attribute :>> completionCondition = "The pump is safe and the clinician has resolved or escalated the condition.";
+
+        action wsRespondAlarm : WorkflowStep { ref :>> performedActivity = oaRespondAlarm; }
+        #refinement dependency fcsAlarmSense to wsRespondAlarm;
+        #refinement dependency fcsAlarmEvaluate to wsRespondAlarm;
+        #refinement dependency fcsAlarmStopInfusion to wsRespondAlarm;
+        #refinement dependency fcsAlarmAnnunciate to wsRespondAlarm;
     }
-    action wsProgram : WorkflowStep { ref :>> performedActivity = oaProgram; }
-    action wsStart : WorkflowStep { ref :>> performedActivity = oaStartTherapy; }
-    action wsRequestBolus : WorkflowStep { ref :>> performedActivity = oaRequestBolus; }
-    action wsRespondAlarm : WorkflowStep { ref :>> performedActivity = oaRespondAlarm; }
     connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfPrepareAndStartTherapy to supported ::> ucDeliverPcaTherapy; }
     connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfManageActiveTherapy to supported ::> ucDeliverPcaTherapy; }
     connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfRespondToTherapyAlarm to supported ::> ucDeliverPcaTherapy; }
-    connection : Composes connect parent ::> wfPrepareAndStartTherapy to child ::> wsProgram;
-    connection : Composes connect parent ::> wfPrepareAndStartTherapy to child ::> wsStart;
-    connection : Composes connect parent ::> wfManageActiveTherapy to child ::> wsRequestBolus;
-    connection : Composes connect parent ::> wfRespondToTherapyAlarm to child ::> wsRespondAlarm;
 
-    // ── Scenario-owned operational activities and action flows ──
-    action oaCompleteNominalTherapy : OperationalActivity {
-        attribute :>> name = "CompleteNominalTherapy";
-        action deliverWithinLimits; action recordTherapyEvent;
-        first start then deliverWithinLimits; first deliverWithinLimits then recordTherapyEvent; first recordTherapyEvent then done;
-    }
-    action oaRejectBolusDuringLockout : OperationalActivity {
-        attribute :>> name = "RejectBolusDuringLockout";
-        action checkLockout; action rejectAndLog;
-        first start then checkLockout; first checkLockout then rejectAndLog; first rejectAndLog then done;
-    }
-    action oaRespondToOcclusion : OperationalActivity {
-        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 oaRespondToAirInLine : OperationalActivity {
-        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 oaReplaceEmptyReservoir : OperationalActivity {
-        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 oaRecoverAfterPowerLoss : OperationalActivity {
-        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 {
@@ -234,9 +223,10 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
     }
 
     // ── Operational scenarios ───────────────────────────────────
-    part osNominalTherapy : OperativeScenario {
+    action osNominalTherapy : MemoScenario {
         attribute :>> id = "OS-001";
         attribute :>> name = "NominalTherapySession";
+        attribute :>> scenarioKind = ScenarioKind::operative;
         attribute :>> variantKind = ScenarioVariantKind::nominal;
         attribute :>> operationalCondition = OperationalConditionKind::normal;
         attribute :>> preCondition = "prescription issued, reservoir loaded";
@@ -246,11 +236,19 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
         ref :>> parentWorkflow = wfManageActiveTherapy;
         ref :>> parentUseCase = ucDeliverPcaTherapy;
         ref :>> activities = oaCompleteNominalTherapy;
+
+        action oaCompleteNominalTherapy : OperationalActivity {
+            attribute :>> name = "CompleteNominalTherapy";
+            action deliverWithinLimits; action recordTherapyEvent;
+            first start then deliverWithinLimits; first deliverWithinLimits then recordTherapyEvent; first recordTherapyEvent then done;
+        }
     }
-    part osLockoutBolus : OperativeScenario {
+    action osLockoutBolus : MemoScenario {
         attribute :>> id = "OS-002";
         attribute :>> name = "BolusRequestDuringLockout";
+        attribute :>> scenarioKind = ScenarioKind::operative;
         attribute :>> variantKind = ScenarioVariantKind::alternate;
+        attribute :>> variationPoint = "patient bolus request during the nominal therapy lockout interval";
         attribute :>> operationalCondition = OperationalConditionKind::foreseeableMisuse;
         attribute :>> preCondition = "basal infusion active; lockout interval running";
         attribute :>> postCondition = "request ignored, logged; basal continues unchanged";
@@ -258,12 +256,21 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.9 PATIENT BOLUS mode (lockout requirements)";
         ref :>> parentWorkflow = wfManageActiveTherapy;
         ref :>> parentUseCase = ucDeliverPcaTherapy;
+        ref :>> baseScenario = osNominalTherapy;
         ref :>> activities = oaRejectBolusDuringLockout;
+
+        action oaRejectBolusDuringLockout : OperationalActivity {
+            attribute :>> name = "RejectBolusDuringLockout";
+            action checkLockout; action rejectAndLog;
+            first start then checkLockout; first checkLockout then rejectAndLog; first rejectAndLog then done;
+        }
     }
-    part osOcclusionAlarm : OperativeScenario {
+    action osOcclusionAlarm : MemoScenario {
         attribute :>> id = "OS-003";
         attribute :>> name = "OcclusionDetectedDuringInfusion";
+        attribute :>> scenarioKind = ScenarioKind::operative;
         attribute :>> variantKind = ScenarioVariantKind::exception;
+        attribute :>> variationPoint = "occlusion detected while nominal infusion is active";
         attribute :>> operationalCondition = OperationalConditionKind::degraded;
         attribute :>> preCondition = "therapy active; downstream line becomes blocked";
         attribute :>> postCondition = "infusion paused, alarm annunciated, clinician clears occlusion and resumes";
@@ -271,12 +278,21 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
         attribute :>> sourceReference = "CITE-004: GIP Hazard Analysis v1.0 (2009), §2.2 Alarms and Alerts (occlusion)";
         ref :>> parentWorkflow = wfRespondToTherapyAlarm;
         ref :>> parentUseCase = ucDeliverPcaTherapy;
+        ref :>> baseScenario = osNominalTherapy;
         ref :>> activities = oaRespondToOcclusion;
+
+        action oaRespondToOcclusion : OperationalActivity {
+            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;
+        }
     }
-    part osAirInLine : OperativeScenario {
+    action osAirInLine : MemoScenario {
         attribute :>> id = "OS-004";
         attribute :>> name = "AirInLineDetected";
+        attribute :>> scenarioKind = ScenarioKind::operative;
         attribute :>> variantKind = ScenarioVariantKind::exception;
+        attribute :>> variationPoint = "air-in-line detected while nominal infusion is active";
         attribute :>> operationalCondition = OperationalConditionKind::degraded;
         attribute :>> preCondition = "therapy active; air bubble enters tubing";
         attribute :>> postCondition = "infusion stopped before air reaches patient; alarm annunciated";
@@ -284,12 +300,21 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 Notification Requirements (REQ 59: Air embolism)";
         ref :>> parentWorkflow = wfRespondToTherapyAlarm;
         ref :>> parentUseCase = ucDeliverPcaTherapy;
+        ref :>> baseScenario = osNominalTherapy;
         ref :>> activities = oaRespondToAirInLine;
+
+        action oaRespondToAirInLine : OperationalActivity {
+            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;
+        }
     }
-    part osEmptyReservoir : OperativeScenario {
+    action osEmptyReservoir : MemoScenario {
         attribute :>> id = "OS-005";
         attribute :>> name = "ReservoirEmptyDuringTherapy";
+        attribute :>> scenarioKind = ScenarioKind::operative;
         attribute :>> variantKind = ScenarioVariantKind::exception;
+        attribute :>> variationPoint = "reservoir-empty threshold reached during nominal therapy";
         attribute :>> operationalCondition = OperationalConditionKind::degraded;
         attribute :>> preCondition = "therapy active; reservoir volume reaches empty threshold";
         attribute :>> postCondition = "infusion stopped, alarm raised, reservoir replaced";
@@ -297,12 +322,21 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 Notification Requirements (REQ 59: Empty Reservoir)";
         ref :>> parentWorkflow = wfRespondToTherapyAlarm;
         ref :>> parentUseCase = ucDeliverPcaTherapy;
+        ref :>> baseScenario = osNominalTherapy;
         ref :>> activities = oaReplaceEmptyReservoir;
+
+        action oaReplaceEmptyReservoir : OperationalActivity {
+            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;
+        }
     }
-    part osPowerLoss : OperativeScenario {
+    action osPowerLoss : MemoScenario {
         attribute :>> id = "OS-006";
         attribute :>> name = "MainsPowerLossAndRecovery";
+        attribute :>> scenarioKind = ScenarioKind::operative;
         attribute :>> variantKind = ScenarioVariantKind::recovery;
+        attribute :>> variationPoint = "mains supply lost during nominal therapy";
         attribute :>> operationalCondition = OperationalConditionKind::degraded;
         attribute :>> preCondition = "therapy active on mains power";
         attribute :>> postCondition = "therapy continues on battery; prescription preserved across full power loss";
@@ -310,18 +344,19 @@ package memo_examples_gpca_pump_model_catalog_gpca_operational {
         attribute :>> sourceReference = "CITE-004: GIP Hazard Analysis v1.0 (2009), §2.4.3 Electrical Hazards (battery failure)";
         ref :>> parentWorkflow = wfRespondToTherapyAlarm;
         ref :>> parentUseCase = ucDeliverPcaTherapy;
+        ref :>> baseScenario = osNominalTherapy;
         ref :>> activities = oaRecoverAfterPowerLoss;
-    }
-    connection : Realizes connect realizing ::> osNominalTherapy to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osLockoutBolus to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osOcclusionAlarm to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osAirInLine to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osEmptyReservoir to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osPowerLoss to realized ::> ucDeliverPcaTherapy;
-    connection : Composes connect parent ::> osNominalTherapy to child ::> oaCompleteNominalTherapy;
-    connection : Composes connect parent ::> osLockoutBolus to child ::> oaRejectBolusDuringLockout;
-    connection : Composes connect parent ::> osOcclusionAlarm to child ::> oaRespondToOcclusion;
-    connection : Composes connect parent ::> osAirInLine to child ::> oaRespondToAirInLine;
-    connection : Composes connect parent ::> osEmptyReservoir to child ::> oaReplaceEmptyReservoir;
-    connection : Composes connect parent ::> osPowerLoss to child ::> oaRecoverAfterPowerLoss;
+
+        action oaRecoverAfterPowerLoss : OperationalActivity {
+            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;
 }

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_catalog_gpca_physical {
+package memo_examples_gpca_pump_gpca_physical {
     private import ScalarValues::*;
 
     private import memo_architecture_realization_physical::*;
@@ -15,39 +15,34 @@ package memo_examples_gpca_pump_model_catalog_gpca_physical {
         attribute :>> redundancyKind = "hardware watchdog plus independent flow cross-check";
     }
 
-    part portSensorHarness : PhysicalPort {
+    in port portSensorHarness : PhysicalPort {
         attribute :>> id = "PP-001";
         attribute :>> name = "SensorHarnessConnector";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "keyed 12-pin locking header";
-        attribute :>> direction = DirectionKind::input;
     }
-    part portMotorDrive : PhysicalPort {
+    out port portMotorDrive : PhysicalPort {
         attribute :>> id = "PP-002";
         attribute :>> name = "MotorDriveConnector";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "keyed 6-pin locking header with enable interlock";
-        attribute :>> direction = DirectionKind::output;
     }
-    part portPatientPendant : PhysicalPort {
+    in port portPatientPendant : PhysicalPort {
         attribute :>> id = "PP-003";
         attribute :>> name = "PatientPendantJack";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "latching 3.5 mm pendant jack";
-        attribute :>> direction = DirectionKind::input;
     }
-    part portServiceAccess : PhysicalPort {
+    inout port portServiceAccess : PhysicalPort {
         attribute :>> id = "PP-004";
         attribute :>> name = "ServiceMaintenancePort";
         attribute :>> portKind = InterfaceKind::api;
         attribute :>> connectorType = "covered UART/USB service connector";
-        attribute :>> direction = DirectionKind::bidirectional;
     }
-    part portMainsInlet : PhysicalPort {
+    in port portMainsInlet : PhysicalPort {
         attribute :>> id = "PP-005";
         attribute :>> name = "MainsPowerInlet";
         attribute :>> portKind = InterfaceKind::power;
         attribute :>> connectorType = "IEC 60320 C8 inlet";
-        attribute :>> direction = DirectionKind::input;
     }
 }