@memoarchitect/ontology 0.7.0 → 0.8.22

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/state_transition_view.sysml

@@ -1,6 +1,6 @@
 // State transition sample (statetransition view kind, `stm` diagram type). A
-// behaviour machine owns its mode states; each Transition carries `sourceState`
-// / `targetState` naming the states it connects, and renders as a labelled edge.
+// behaviour machine owns its mode states by containing them, and each native
+// transition lives inside the state whose substates it connects.
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_transition_view {
     private import ScalarValues::*;
 
@@ -9,74 +9,57 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_tr
     private import memo_viewpoints_definitions::*;
     private import memo_viewpoints_functional_functional_viewpoint::*;
     private import memo_core_enumerations::*;
+    private import memo_core_common::*;
 
-    state pumpModes : StateMachine { attribute :>> name = "Pump Operating Modes"; }
+    state pumpModes : StateMachine {
+        attribute :>> name = "Pump Operating Modes";
 
-    state idle : ModeState { attribute :>> name = "Idle"; }
-    state infusing : ModeState { attribute :>> name = "Infusing"; }
-    state paused : ModeState { attribute :>> name = "Paused"; }
-    state alarm : ModeState { attribute :>> name = "Alarm"; }
+        state idle : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Idle"; }
 
-    // Infusing is a composite state: its substates show what the pump is doing
-    // while it is infusing, and the machine renders them nested inside it.
-    state priming : ModeState { attribute :>> name = "Priming"; }
-    state delivering : ModeState { attribute :>> name = "Delivering"; }
-    state holding : ModeState { attribute :>> name = "Holding (KVO)"; }
+        // Infusing is a composite state: its substates show what the pump is
+        // doing while it is infusing, and containment is the nesting itself —
+        // not a parallel set of Composes edges.
+        state infusing : MemoState {
+            attribute :>> stateKind = StateKind::mode;
+            attribute :>> name = "Infusing";
 
-    part tStart : Transition {
-        attribute :>> name = "start";
-        attribute :>> trigger = "startInfusion";
-        attribute :>> sourceState = "Idle"; attribute :>> targetState = "Infusing";
-    }
-    part tPause : Transition {
-        attribute :>> name = "pause";
-        attribute :>> trigger = "pauseRequested";
-        attribute :>> sourceState = "Infusing"; attribute :>> targetState = "Paused";
-    }
-    part tResume : Transition {
-        attribute :>> name = "resume";
-        attribute :>> trigger = "resumeRequested";
-        attribute :>> sourceState = "Paused"; attribute :>> targetState = "Infusing";
-    }
-    part tFault : Transition {
-        attribute :>> name = "fault";
-        attribute :>> trigger = "occlusionDetected";
-        attribute :>> sourceState = "Infusing"; attribute :>> targetState = "Alarm";
-    }
-    part tRecover : Transition {
-        attribute :>> name = "acknowledge";
-        attribute :>> trigger = "alarmCleared";
-        attribute :>> sourceState = "Alarm"; attribute :>> targetState = "Idle";
-    }
-    part tStop : Transition {
-        attribute :>> name = "stop";
-        attribute :>> trigger = "stopInfusion";
-        attribute :>> sourceState = "Infusing"; attribute :>> targetState = "Idle";
-    }
+            state priming : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Priming"; }
+            state delivering : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Delivering"; }
+            state holding : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Holding (KVO)"; }
 
-    part tPrimed : Transition {
-        attribute :>> name = "primed";
-        attribute :>> trigger = "primeComplete";
-        attribute :>> sourceState = "Priming"; attribute :>> targetState = "Delivering";
-    }
-    part tKvo : Transition {
-        attribute :>> name = "keepVeinOpen";
-        attribute :>> trigger = "doseComplete";
-        attribute :>> sourceState = "Delivering"; attribute :>> targetState = "Holding (KVO)";
-    }
-    part tResumeDose : Transition {
-        attribute :>> name = "resumeDose";
-        attribute :>> trigger = "doseScheduled";
-        attribute :>> sourceState = "Holding (KVO)"; attribute :>> targetState = "Delivering";
-    }
+            transition tPrimed first priming then delivering {
+                @TransitionRecord { :>> name = "primed"; :>> trigger = "primeComplete"; }
+            }
+            transition tKvo first delivering then holding {
+                @TransitionRecord { :>> name = "keepVeinOpen"; :>> trigger = "doseComplete"; }
+            }
+            transition tResumeDose first holding then delivering {
+                @TransitionRecord { :>> name = "resumeDose"; :>> trigger = "doseScheduled"; }
+            }
+        }
+
+        state paused : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Paused"; }
+        state alarm : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Alarm"; }
 
-    connection : Composes connect parent ::> pumpModes to child ::> idle;
-    connection : Composes connect parent ::> pumpModes to child ::> infusing;
-    connection : Composes connect parent ::> pumpModes to child ::> paused;
-    connection : Composes connect parent ::> pumpModes to child ::> alarm;
-    connection : Composes connect parent ::> infusing to child ::> priming;
-    connection : Composes connect parent ::> infusing to child ::> delivering;
-    connection : Composes connect parent ::> infusing to child ::> holding;
+        transition tStart first idle then infusing {
+            @TransitionRecord { :>> name = "start"; :>> trigger = "startInfusion"; }
+        }
+        transition tPause first infusing then paused {
+            @TransitionRecord { :>> name = "pause"; :>> trigger = "pauseRequested"; }
+        }
+        transition tResume first paused then infusing {
+            @TransitionRecord { :>> name = "resume"; :>> trigger = "resumeRequested"; }
+        }
+        transition tFault first infusing then alarm {
+            @TransitionRecord { :>> name = "fault"; :>> trigger = "occlusionDetected"; }
+        }
+        transition tRecover first alarm then idle {
+            @TransitionRecord { :>> name = "acknowledge"; :>> trigger = "alarmCleared"; }
+        }
+        transition tStop first infusing then idle {
+            @TransitionRecord { :>> name = "stop"; :>> trigger = "stopInfusion"; }
+        }
+    }
 
     view sampleStateTransitionView : MemoDiagramView {
         expose pumpModes::**;
@@ -87,25 +70,11 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_tr
         attribute :>> diagramType = "stm";
         part :>> viewpointDefinition = functionalViewpoint;
         part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("StateMachine", "ModeState", "Transition");
+            attribute :>> includeElementKinds = ("StateMachine", "MemoState");
         }
     }
 
-    connection : IncludedIn connect sourceElement ::> pumpModes to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> idle to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> infusing to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> paused to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> alarm to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tStart to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tPause to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tResume to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tFault to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tRecover to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tStop to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> priming to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> delivering to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> holding to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tPrimed to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tKvo to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tResumeDose to targetView ::> sampleStateTransitionView;
+    // The machine is one containment tree, so exposing its root reaches every
+    // state and transition; the former per-element IncludedIn list restated
+    // that tree a second time and is gone with it.
 }

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/tree_view.sysml

@@ -8,31 +8,31 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
     private import memo_viewpoints_physical_physical_viewpoint::*;
     private import memo_core_enumerations::*;
 
-    part rootA : HardwareAssembly { attribute :>> name = "Root A"; }
-    part rootB : HardwareAssembly { attribute :>> name = "Root B"; }
-    part branchA1 : HardwareAssembly { attribute :>> name = "Branch A.1"; }
-    part branchA2 : HardwareAssembly { attribute :>> name = "Branch A.2 With A Deliberately Long Label"; }
-    part branchB1 : HardwareAssembly { attribute :>> name = "Branch B.1"; }
-    part leafA11 : HardwareAssembly {
-        attribute :>> name = "Leaf A.1.1";
-        attribute :>> partNumber = "PN-001";
+    part rootA : HardwareAssembly {
+        attribute :>> name = "Root A";
+        part branchA1 : HardwareAssembly {
+            attribute :>> name = "Branch A.1";
+            part leafA11 : HardwareAssembly {
+                attribute :>> name = "Leaf A.1.1";
+                attribute :>> partNumber = "PN-001";
+            }
+            part leafA12 : HardwareAssembly { attribute :>> name = "Leaf A.1.2"; }
+        }
+        part branchA2 : HardwareAssembly {
+            attribute :>> name = "Branch A.2 With A Deliberately Long Label";
+            part leafA21 : HardwareAssembly { attribute :>> name = "Leaf A.2.1"; }
+        }
+        part rootB : HardwareAssembly {
+            attribute :>> name = "Root B";
+            part branchB1 : HardwareAssembly {
+                attribute :>> name = "Branch B.1";
+                part leafB11 : HardwareAssembly { attribute :>> name = "Leaf B.1.1"; }
+            }
+        }
     }
-    part leafA12 : HardwareAssembly { attribute :>> name = "Leaf A.1.2"; }
-    part leafA21 : HardwareAssembly { attribute :>> name = "Leaf A.2.1"; }
-    part leafB11 : HardwareAssembly { attribute :>> name = "Leaf B.1.1"; }
-
-    connection : Composes connect parent ::> rootA to child ::> branchA1;
-    connection : Composes connect parent ::> rootA to child ::> branchA2;
-    connection : Composes connect parent ::> rootA to child ::> rootB;
-    connection : Composes connect parent ::> branchA1 to child ::> leafA11;
-    connection : Composes connect parent ::> branchA1 to child ::> leafA12;
-    connection : Composes connect parent ::> branchA2 to child ::> leafA21;
-    connection : Composes connect parent ::> rootB to child ::> branchB1;
-    connection : Composes connect parent ::> branchB1 to child ::> leafB11;
 
     view sampleTreeView : MemoDiagramView {
         expose rootA::**;
-        expose rootB::**;
         attribute depth = 2;
         attribute :>> title = "Sample · Tree";
         attribute :>> shortDescription = "One connected dummy hierarchy with varied branch depths for tree layout development.";
@@ -45,14 +45,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
             attribute :>> includeRelationshipKinds = ("Composes");
         }
     }
-
-    connection : IncludedIn connect sourceElement ::> rootA to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> rootB to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> branchA1 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> branchA2 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> branchB1 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> leafA11 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> leafA12 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> leafA21 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> leafB11 to targetView ::> sampleTreeView;
 }

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/use_case_view.sysml

@@ -25,16 +25,25 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         attribute :>> id = "UC-SAMPLE-001";
         attribute :>> name = "Review Device Status";
         attribute :>> useCaseKind = UseCaseKind::clinical;
+        include validateTherapySettings;
+        subject supportingSystem;
+        actor patientActor = patient;
     }
     use case configureTherapy : UseCase {
         attribute :>> id = "UC-SAMPLE-002";
         attribute :>> name = "Configure Therapy";
         attribute :>> useCaseKind = UseCaseKind::clinical;
+        include reviewStatus;
+        subject supportingSystem;
+        actor clinicianInitiator = clinician;
+        actor patientActor = patient;
     }
     use case maintainDevice : UseCase {
         attribute :>> id = "UC-SAMPLE-003";
         attribute :>> name = "Maintain Device";
         attribute :>> useCaseKind = UseCaseKind::service;
+        subject supportingSystem;
+        actor serviceTechnicianActor = serviceTechnician;
     }
 
     use case documentTreatment : UseCase {
@@ -48,15 +57,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         attribute :>> id = "UC-SAMPLE-005";
         attribute :>> name = "Validate Therapy Settings";
         attribute :>> useCaseKind = UseCaseKind::clinical;
+        subject supportingSystem;
+        actor clinicianActor = clinician;
     }
 
-    connection : Initiates connect initiatingUser ::> clinician to initiatedUseCase ::> configureTherapy;
-    connection : ParticipatesIn connect participatingActor ::> patient to useCase ::> reviewStatus;
-    connection : ParticipatesIn connect participatingActor ::> patient to useCase ::> configureTherapy;
-    connection : ParticipatesIn connect participatingActor ::> serviceTechnician to useCase ::> maintainDevice;
-    connection : ParticipatesIn connect participatingActor ::> clinician to useCase ::> validateTherapySettings;
-    connection : Includes connect includingUseCase ::> configureTherapy to includedUseCase ::> reviewStatus;
-    connection : Includes connect includingUseCase ::> reviewStatus to includedUseCase ::> validateTherapySettings;
     connection : Extends connect extendingUseCase ::> documentTreatment to extendedUseCase ::> reviewStatus;
 
     view sampleUseCaseView : MemoDiagramView {
@@ -75,7 +79,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         part :>> viewpointDefinition = operationalViewpoint;
         part :>> selectionQuery {
             attribute :>> includeElementKinds = ("User", "UseCase");
-            attribute :>> includeRelationshipKinds = ("Initiates", "ParticipatesIn", "Includes", "Extends");
+            attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Extends");
         }
         // Presentation is owned by the model view, rather than a canvas control.
         attribute :>> layoutHint = "usecase:level=all;edge=rounded";

package/examples/temperature-alarm/model/catalog/temperature_alarm.sysml

@@ -8,6 +8,7 @@ package memo_examples_temperature_alarm {
     private import ScalarValues::*;
 
     private import memo_core_enumerations::*;
+    private import memo_core_common::*;
     private import memo_core_dimensions::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_assurance_requirements_needs::*;
@@ -22,6 +23,7 @@ package memo_examples_temperature_alarm {
     private import memo_assurance_human_factors::*;
     private import memo_architecture_implementation_ui::*;
     private import memo_core_relationships::*;
+    private import memo_assurance_safety_risk_analysis::*;
 
     // ── Operational intent ──────────────────────────────────────
     part icuNurse : User {
@@ -33,23 +35,24 @@ package memo_examples_temperature_alarm {
         attribute :>> id = "TA-UC-001";
         attribute :>> name = "MonitorPatientTemperature";
         attribute :>> goalStatement = "Continuously monitor core temperature and be alerted when it leaves the safe range.";
+        subject supportingSystem;
+        actor icuNurseInitiator = icuNurse;
     }
     action actAcknowledgeAlarm : OperationalActivity {
         attribute :>> id = "TA-ACT-001"; attribute :>> name = "ReviewAndAcknowledgeAlarm";
         attribute :>> criticality = CriticalityKind::high;
+
+        action taskAckAlarm : UserTask {
+            attribute :>> criticality = CriticalityKind::high;
+            attribute :>> id = "TA-TASK-001"; attribute :>> name = "AcknowledgeTemperatureAlarm";
+            attribute :>> taskGoal = "recognize, assess, and acknowledge the alarm";
+            attribute :>> potentialHarm = "delayed intervention for hypo-/hyperthermia";
+            attribute :>> severityIfFailed = SeverityKind::serious;
+        }
     }
-    action taskAckAlarm : UserTask {
-        attribute :>> criticality = CriticalityKind::high;
-        attribute :>> id = "TA-TASK-001"; attribute :>> name = "AcknowledgeTemperatureAlarm";
-        attribute :>> taskGoal = "recognize, assess, and acknowledge the alarm";
-        attribute :>> potentialHarm = "delayed intervention for hypo-/hyperthermia";
-        attribute :>> severityIfFailed = SeverityKind::serious;
-    }
-    connection : Initiates connect initiatingUser ::> icuNurse to initiatedUseCase ::> ucMonitorTemp;
-    connection : Composes connect parent ::> actAcknowledgeAlarm to child ::> taskAckAlarm;
 
     // ── Functional and logical slices ───────────────────────────
-    part fnDetectDeviation : SystemFunction {
+    action fnDetectDeviation : SystemFunction {
         attribute :>> id = "TA-FN-001"; attribute :>> name = "DetectTemperatureDeviation";
         attribute :>> criticality = CriticalityKind::high;
         // This function is owned by the functional architecture layer (its
@@ -67,8 +70,7 @@ package memo_examples_temperature_alarm {
     connection : IndependentOf connect channel ::> chMonitor to otherChannel ::> chPrimary {
         attribute :>> independenceBasis = "separate sensing element and power rail";
     }
-    connection : AllocatedTo connect function ::> fnDetectDeviation to allocatedElement ::> chMonitor;
-
+    allocate fnDetectDeviation to chMonitor;
     // ── UI: alarm element and acknowledgement action ────────────
     part uiBedside : UserInterface {
         attribute :>> id = "TA-UI-001"; attribute :>> name = "BedsideDisplay";
@@ -84,10 +86,10 @@ package memo_examples_temperature_alarm {
         attribute :>> id = "TA-UIA-001"; attribute :>> name = "AcknowledgeAlarm";
         attribute :>> intent = InteractionIntentKind::acknowledgement;
         attribute :>> confirmationRequired = true;
+        perform fnDetectDeviation;
     }
     connection : ElementTriggersAction connect element ::> elAlarmBanner to triggeredAction ::> uiaAcknowledge;
-    connection : ActionInvokesFunction connect uiAction ::> uiaAcknowledge to systemFunction ::> fnDetectDeviation;
-    connection : Supports { attribute :>> supportKind = SupportKind::task; connect supporter ::> uiBedside to supported ::> taskAckAlarm; }
+    connection : Supports { attribute :>> supportKind = SupportKind::task; connect supporter ::> uiBedside to supported ::> actAcknowledgeAlarm.taskAckAlarm; }
 
     // ── Risk chain with use error ───────────────────────────────
     part ueSilenceAndForget : UseError {
@@ -101,19 +103,20 @@ package memo_examples_temperature_alarm {
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
-    item rcReAnnunciate : RiskControlMeasure {
+    part rcReAnnunciate : RiskControlMeasure {
         attribute :>> id = "TA-RC-001"; attribute :>> name = "AutoReAnnunciationAfterSilence";
         attribute :>> controlKind = RiskControlKind::alarm;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
-    connection : CommitsUseError connect task ::> taskAckAlarm to useError ::> ueSilenceAndForget;
+    connection : CommitsUseError connect task ::> actAcknowledgeAlarm.taskAckAlarm to useError ::> ueSilenceAndForget;
     connection : Causes { attribute :>> causeKind = CauseKind::useErrorLeadsToHazard; connect cause ::> ueSilenceAndForget to effect ::> hzUndetectedDeviation; }
     connection : Mitigates { attribute :>> mitigationKind = MitigationKind::hazard; connect control ::> rcReAnnunciate to mitigatedElement ::> hzUndetectedDeviation; }
     connection : ControlImplementedBy connect riskControl ::> rcReAnnunciate to implementingElement ::> elAlarmBanner;
 
     // ── Verification, validation, evidence ──────────────────────
-    action vsAlarmLatency : VerificationScenario {
+    action vsAlarmLatency : MemoScenario {
         attribute :>> id = "TA-VS-001"; attribute :>> name = "AlarmLatencyScenario";
+        attribute :>> scenarioKind = ScenarioKind::memoVerification;
         attribute :>> variantKind = ScenarioVariantKind::nominal;
         attribute :>> operationalCondition = OperationalConditionKind::normal;
         attribute :>> scenarioPurpose = ScenarioPurposeKind::memoVerification;
@@ -123,19 +126,23 @@ package memo_examples_temperature_alarm {
         attribute :>> id = "TA-VC-001"; attribute :>> name = "VerifyAlarmLatency";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "annunciation within 2 s of sustained deviation";
+
+        subject verified : Base::Anything[*] = (fnDetectDeviation);
     }
-    part uvAckTask : UsabilityValidation {
+    part uvAckTask : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::usabilityValidation;
         attribute :>> id = "TA-UV-001"; attribute :>> name = "SummativeAlarmAcknowledgement";
         attribute :>> participantProfile = "15 ICU nurses, representative shift conditions";
         attribute :>> participantCount = 15;
         attribute :>> acceptanceCriteria = "no critical-task failures; all alarms assessed before silencing";
     }
-    part evLatencyReport : Evidence {
+    part evLatencyReport : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "TA-EV-001"; attribute :>> name = "AlarmLatencyTestReport";
         attribute :>> evidenceType = "test report";
     }
     connection : ExecutesScenario connect verificationCase ::> vcAlarmLatency to scenario ::> vsAlarmLatency;
-    connection : VerifiedBy connect verificationCase ::> vcAlarmLatency to verificationTarget ::> fnDetectDeviation;
-    connection : Validates connect validationCase ::> uvAckTask to validationTarget ::> taskAckAlarm;
+
+    connection : Validates connect validationCase ::> uvAckTask to validationTarget ::> actAcknowledgeAlarm.taskAckAlarm;
     connection : ProducesEvidence connect producer ::> vcAlarmLatency to producedEvidence ::> evLatencyReport;
 }

package/examples/ui-screen-regions/model/catalog/architecture/functional/functions.sysml

@@ -1,5 +1,6 @@
 // Functional architecture: the display-management function tree.
 package memo_examples_ui_screen_regions_architecture_functional_functions {
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
     private import ScalarValues::*;
 
     private import memo_core_relationships::*;
@@ -15,46 +16,69 @@ package memo_examples_ui_screen_regions_architecture_functional_functions {
     private import memo_core_enumerations::*;
     private import memo_architecture_functional_functions::*;
 
-    part fnSetInfusionRate : SystemFunction {
-        attribute :>> id = "UIR-FN-001"; attribute :>> name = "SetInfusionRate";
-        attribute :>> shortDescription = "Apply a clinician-entered rate to the pump controller.";
-        attribute :>> description = "Validates a requested infusion rate against the drug library limits and the pump's mechanical range, then commits it to the controller as the active setpoint.";
-        attribute :>> criticality = CriticalityKind::high;
-    }
-
-    part fnManageInfusionDisplay : SystemFunction {
+    action fnManageInfusionDisplay : SystemFunction {
         attribute :>> id = "UIR-FN-002"; attribute :>> name = "ManageInfusionDisplay";
         attribute :>> shortDescription = "Coordinate the running-infusion display and its interactive regions.";
         attribute :>> description = "Maintains the clinician-facing infusion state and delegates rate programming, drug selection, and status presentation to focused child functions.";
         attribute :>> criticality = CriticalityKind::high;
-    }
 
-    part fnValidateDrugSelection : SystemFunction {
-        attribute :>> id = "UIR-FN-003"; attribute :>> name = "ValidateDrugSelection";
-        attribute :>> shortDescription = "Validate a selected drug and concentration against the active care-area library.";
-        attribute :>> description = "Accepts only a drug and concentration present in the active drug library, then supplies its dosing limits to rate validation.";
-        attribute :>> criticality = CriticalityKind::high;
-    }
+        action fnSetInfusionRate : SystemFunction {
+            attribute :>> id = "UIR-FN-001"; attribute :>> name = "SetInfusionRate";
+            attribute :>> shortDescription = "Apply a clinician-entered rate to the pump controller.";
+            attribute :>> description = "Validates a requested infusion rate against the drug library limits and the pump's mechanical range, then commits it to the controller as the active setpoint.";
+            attribute :>> criticality = CriticalityKind::high;
+        }
 
-    part fnPresentDeliveryStatus : SystemFunction {
-        attribute :>> id = "UIR-FN-004"; attribute :>> name = "PresentDeliveryStatus";
-        attribute :>> shortDescription = "Present current rate and cumulative delivered volume.";
-        attribute :>> description = "Refreshes the rate and volume-delivered indicators from controller state at the specified display update interval.";
-        attribute :>> criticality = CriticalityKind::medium;
-    }
+        action fnValidateDrugSelection : SystemFunction {
+            attribute :>> id = "UIR-FN-003"; attribute :>> name = "ValidateDrugSelection";
+            attribute :>> shortDescription = "Validate a selected drug and concentration against the active care-area library.";
+            attribute :>> description = "Accepts only a drug and concentration present in the active drug library, then supplies its dosing limits to rate validation.";
+            attribute :>> criticality = CriticalityKind::high;
+        }
 
-    part fnPresentLocalTime : SystemFunction {
-        attribute :>> id = "UIR-FN-005"; attribute :>> name = "PresentLocalTime";
-        attribute :>> shortDescription = "Read the synchronized clock and present local time.";
-        attribute :>> description = "Formats the device clock as local 24-hour time and refreshes the status-bar value once per second.";
-        attribute :>> criticality = CriticalityKind::medium;
-    }
+        action fnPresentDeliveryStatus : SystemFunction {
+            attribute :>> id = "UIR-FN-004"; attribute :>> name = "PresentDeliveryStatus";
+            attribute :>> shortDescription = "Present current rate and cumulative delivered volume.";
+            attribute :>> description = "Refreshes the rate and volume-delivered indicators from controller state at the specified display update interval.";
+            attribute :>> criticality = CriticalityKind::medium;
+        }
 
-    part fnPresentBatteryStatus : SystemFunction {
-        attribute :>> id = "UIR-FN-006"; attribute :>> name = "PresentBatteryStatus";
-        attribute :>> shortDescription = "Present battery state of charge and low-battery status.";
-        attribute :>> description = "Converts battery telemetry into percentage, icon state, and low-battery prominence for the running-infusion screen.";
-        attribute :>> criticality = CriticalityKind::medium;
-    }
+        action fnPresentLocalTime : SystemFunction {
+            attribute :>> id = "UIR-FN-005"; attribute :>> name = "PresentLocalTime";
+            attribute :>> shortDescription = "Read the synchronized clock and present local time.";
+            attribute :>> description = "Formats the device clock as local 24-hour time and refreshes the status-bar value once per second.";
+            attribute :>> criticality = CriticalityKind::medium;
+        }
+
+        action fnPresentBatteryStatus : SystemFunction {
+            attribute :>> id = "UIR-FN-006"; attribute :>> name = "PresentBatteryStatus";
+            attribute :>> shortDescription = "Present battery state of charge and low-battery status.";
+            attribute :>> description = "Converts battery telemetry into percentage, icon state, and low-battery prominence for the running-infusion screen.";
+            attribute :>> criticality = CriticalityKind::medium;
+        }
+
+        satisfy reqRateEntry by fnSetInfusionRate;
 
+        satisfy reqRateLegibility by fnPresentDeliveryStatus;
+
+        satisfy reqVolumeDisplay by fnPresentDeliveryStatus;
+
+        satisfy reqDrugLibrarySelection by fnValidateDrugSelection;
+
+        satisfy reqDisplayFreshness by fnPresentDeliveryStatus;
+
+        satisfy reqActiveRateDisplay by fnPresentDeliveryStatus;
+
+        satisfy reqDrugIdentityDisplay by fnValidateDrugSelection;
+
+        satisfy reqTimeDisplay by fnPresentLocalTime;
+
+        satisfy reqTimeAccuracy by fnPresentLocalTime;
+
+        satisfy reqBatteryStatusDisplay by fnPresentBatteryStatus;
+
+        satisfy reqBatteryWarningPerformance by fnPresentBatteryStatus;
+
+        satisfy reqDrugSelectionPerformance by fnValidateDrugSelection;
+    }
 }