@memoarchitect/ontology 0.7.0 → 0.8.24

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 {
@@ -68,14 +72,13 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         expose maintainDevice;
         expose documentTreatment;
         expose validateTherapySettings;
-        attribute :>> title = "Sample · Device Use Cases";
         attribute :>> shortDescription = "Actors outside a device boundary with include, extend, hierarchy-level, and orthogonal-routing presentation.";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "ucd";
-        part :>> viewpointDefinition = operationalViewpoint;
+        ref :>> 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/memo.package.yaml

@@ -0,0 +1,3 @@
+name: temperature-alarm
+entrypoint: model/catalog/project.sysml
+include: [model]

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 {
+    action actAcknowledgeAlarm : OperativeAction {
         attribute :>> id = "TA-ACT-001"; attribute :>> name = "ReviewAndAcknowledgeAlarm";
         attribute :>> criticality = CriticalityKind::high;
+
+        action taskAckAlarm : OperativeAction {
+            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 { connect supporter ::> uiBedside to supported ::> actAcknowledgeAlarm.taskAckAlarm; }
 
     // ── Risk chain with use error ───────────────────────────────
     part ueSilenceAndForget : UseError {
@@ -101,41 +103,42 @@ 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 : OperativeScenario {
         attribute :>> id = "TA-VS-001"; attribute :>> name = "AlarmLatencyScenario";
-        attribute :>> variantKind = ScenarioVariantKind::nominal;
-        attribute :>> operationalCondition = OperationalConditionKind::normal;
-        attribute :>> scenarioPurpose = ScenarioPurposeKind::memoVerification;
         attribute :>> pathSummary = "Induce out-of-range temperature; measure detection-to-annunciation latency.";
     }
     verification vcAlarmLatency : VerificationCase {
         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/temperature-alarm/model/catalog/viewpoints/unassigned/views/temperature_alarm_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_temperature_alarm_viewpoints_unassigned_views_temperature_
     view temperatureAlarmOverview : MemoDiagramView {
         expose memo_examples_temperature_alarm::*;
         attribute depth = 2;
-        attribute :>> title = "Temperature Alarm Overview";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
     }

package/examples/ui-screen-regions/memo.package.yaml

@@ -0,0 +1,3 @@
+name: ui-screen-regions
+entrypoint: model/catalog/project.sysml
+include: [model]

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;
+    }
 }

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

@@ -2,7 +2,9 @@
 // panel they run on. One part tree carries geometry and design record — there
 // is no separate region type.
 package memo_examples_ui_screen_regions_architecture_implementation_ui {
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
     private import ScalarValues::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
 
     private import memo_core_relationships::*;
     private import memo_core_annotations::*;
@@ -46,69 +48,74 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         }
         attribute :>> boundaryColor = "#1B3A4B";
         attribute :>> detectionMethod = BoundsDetectionKind::manual;
-    }
 
-    // ── A recursively inspectable dynamic region ─────────────────
-    // The reusable region is the parent. Closed and expanded presentations are
-    // siblings beneath it, so a renderer (including a 3-D renderer) can reuse
-    // the region and select the state appropriate to its scene. The region has
-    // its own capture; geometry views stop at that boundary on the main screen
-    // and let the reviewer double-click to recurse into its children.
-    part elDrugSelectorRegion : UIElement {
-    attribute redefines name = "DrugSelectorRegion";
-    attribute redefines id = "UIE-005";
-    attribute redefines shortDescription = "Reusable region containing drug-selector states.";
-    attribute redefines description = "Parent geometry region for the drug selector. Its state presentations are sibling UI elements, permitting the same region definition to be reused in flat, spatial, or 3-D renderings.";
-    attribute redefines formKind = UIElementFormKind::panel;
-    attribute redefines safetyClass = SafetyClassKind::C;
-    attribute redefines labelText = "DRUG";
-    attribute redefines disclosureKind = UIDisclosureKind::inline;
-    attribute redefines boundaryColor = "#F59E0B";
-    attribute redefines detectionMethod = BoundsDetectionKind::manual;
-    attribute redefines confirmedBy = "j.okafor";
-    attribute redefines confirmedAt = "2026-07-15";
-    attribute redefines bounds {
-        attribute redefines x = 0.03;
-        attribute redefines y = 0.43;
-        attribute redefines width = 0.47;
-        attribute redefines height = 0.18;
-    }
-}
+        // ── A recursively inspectable dynamic region ─────────────
+        // The reusable region is the parent. Closed and expanded presentations
+        // are siblings beneath it, so a renderer (including a 3-D renderer)
+        // can reuse the region and select the state appropriate to its scene.
+        // The region has its own capture; geometry views stop at that
+        // boundary on the main screen and let the reviewer double-click to
+        // recurse into its children.
+        part elDrugSelectorRegion : UIElement {
+            attribute redefines name = "DrugSelectorRegion";
+            attribute redefines id = "UIE-005";
+            attribute redefines shortDescription = "Reusable region containing drug-selector states.";
+            attribute redefines description = "Parent geometry region for the drug selector. Its state presentations are sibling UI elements, permitting the same region definition to be reused in flat, spatial, or 3-D renderings.";
+            attribute redefines formKind = UIElementFormKind::panel;
+            attribute redefines safetyClass = SafetyClassKind::C;
+            attribute redefines labelText = "DRUG";
+            attribute redefines disclosureKind = UIDisclosureKind::inline;
+            attribute redefines boundaryColor = "#F59E0B";
+            attribute redefines detectionMethod = BoundsDetectionKind::manual;
+            attribute redefines confirmedBy = "j.okafor";
+            attribute redefines confirmedAt = "2026-07-15";
+            attribute redefines bounds {
+                attribute redefines x = 0.03;
+                attribute redefines y = 0.43;
+                attribute redefines width = 0.47;
+                attribute redefines height = 0.18;
+            }
 
-    part elDrugSelectorClosed : UIElement {
-        attribute :>> id = "UIE-010"; attribute :>> name = "ClosedDrugSelector";
-        attribute :>> shortDescription = "Closed drug selector shown on the main screen.";
-        attribute :>> description = "The compact, normal-state selector. It is a sibling of the expanded menu rather than a different identity for the parent region.";
-        attribute :>> formKind = UIElementFormKind::selector;
-        attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> labelText = "Norepinephrine 8 mg / 250 mL";
-        attribute :>> disclosureKind = UIDisclosureKind::conditional;
-        attribute :>> visibilityCondition = "drug selector inactive";
-        attribute :>> bounds {
-            attribute :>> x = 0.0; attribute :>> y = 0.0;
-            attribute :>> width = 1.0; attribute :>> height = 0.25;
-        }
-        attribute :>> boundaryColor = "#F59E0B";
-        attribute :>> detectionMethod = BoundsDetectionKind::manual;
-    }
+            part elDrugSelectorClosed : UIElement {
+                attribute :>> id = "UIE-010"; attribute :>> name = "ClosedDrugSelector";
+                attribute :>> shortDescription = "Closed drug selector shown on the main screen.";
+                attribute :>> description = "The compact, normal-state selector. It is a sibling of the expanded menu rather than a different identity for the parent region.";
+                attribute :>> formKind = UIElementFormKind::selector;
+                attribute :>> safetyClass = SafetyClassKind::C;
+                attribute :>> labelText = "Norepinephrine 8 mg / 250 mL";
+                attribute :>> disclosureKind = UIDisclosureKind::conditional;
+                attribute :>> visibilityCondition = "drug selector inactive";
+                attribute :>> bounds {
+                    attribute :>> x = 0.0; attribute :>> y = 0.0;
+                    attribute :>> width = 1.0; attribute :>> height = 0.25;
+                }
+                attribute :>> boundaryColor = "#F59E0B";
+                attribute :>> detectionMethod = BoundsDetectionKind::manual;
+            }
 
-    // Open, this sibling overlays the same parent region. `overlay` states that
-    // covering adjacent content is intended dropdown behaviour, not a defect.
-    part elDrugMenuExpanded : UIElement {
-        attribute :>> id = "UIE-011"; attribute :>> name = "ExpandedDrugMenu";
-        attribute :>> shortDescription = "Expanded drug library choices.";
-        attribute :>> description = "Expanded state listing Norepinephrine, Dopamine, and Heparin. It shares the DrugSelectorRegion parent with the closed state and can extend beyond that parent's normal inline allocation.";
-        attribute :>> formKind = UIElementFormKind::selector;
-        attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> labelText = "Norepinephrine; Dopamine; Heparin";
-        attribute :>> disclosureKind = UIDisclosureKind::overlay;
-        attribute :>> visibilityCondition = "drug selector activated";
-        attribute :>> bounds {
-            attribute :>> x = 0.0; attribute :>> y = 0.20;
-            attribute :>> width = 1.0; attribute :>> height = 0.80;
+            // Open, this sibling overlays the same parent region. `overlay`
+            // states that covering adjacent content is intended dropdown
+            // behaviour, not a defect.
+            part elDrugMenuExpanded : UIElement {
+                attribute redefines name = "ExpandedDrugMenu";
+                attribute redefines id = "UIE-011";
+                attribute redefines shortDescription = "Expanded drug library choices.";
+                attribute redefines description = "Expanded state listing Norepinephrine, Dopamine, and Heparin. It shares the DrugSelectorRegion parent with the closed state and can extend beyond that parent's normal inline allocation.";
+                attribute redefines formKind = UIElementFormKind::selector;
+                attribute redefines safetyClass = SafetyClassKind::C;
+                attribute redefines labelText = "Norepinephrine; Dopamine; Heparin";
+                attribute redefines disclosureKind = UIDisclosureKind::overlay;
+                attribute redefines visibilityCondition = "drug selector activated";
+                attribute redefines boundaryColor = "#d97706";
+                attribute redefines detectionMethod = BoundsDetectionKind::manual;
+                attribute redefines bounds {
+                    attribute redefines x = 0.0;
+                    attribute redefines y = 0.20;
+                    attribute redefines width = 1.0;
+                    attribute redefines height = 0.80;
+                }
+            }
         }
-        attribute :>> boundaryColor = "#D97706";
-        attribute :>> detectionMethod = BoundsDetectionKind::manual;
     }
 
     // ── The settings screen: a sibling root, not a child ────────
@@ -126,28 +133,28 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         }
         attribute :>> boundaryColor = "#1B3A4B";
         attribute :>> detectionMethod = BoundsDetectionKind::manual;
-    }
 
-    // A modal child of the settings screen. It is visible only while a pending
-    // rate change awaits explicit confirmation and intentionally covers the
-    // settings form beneath it.
-    part elRateConfirmDialog : UIElement {
-        attribute :>> id = "UIE-009"; attribute :>> name = "RateChangeConfirmationDialog";
-        attribute :>> shortDescription = "Modal confirmation popup for a new infusion rate.";
-        attribute :>> description = "Restates the pending infusion rate above the settings screen and requires an explicit confirm or cancel disposition before the value can reach the controller.";
-        attribute :>> formKind = UIElementFormKind::dialog;
-        attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> labelText = "Confirm rate change?";
-        attribute :>> disclosureKind = UIDisclosureKind::overlay;
-        attribute :>> visibilityCondition = "pending rate change";
-        attribute :>> bounds {
-            attribute :>> x = 0.28; attribute :>> y = 0.22;
-            attribute :>> width = 0.44; attribute :>> height = 0.56;
+        // A modal child of the settings screen. It is visible only while a
+        // pending rate change awaits explicit confirmation and intentionally
+        // covers the settings form beneath it.
+        part elRateConfirmDialog : UIElement {
+            attribute :>> id = "UIE-009"; attribute :>> name = "RateChangeConfirmationDialog";
+            attribute :>> shortDescription = "Modal confirmation popup for a new infusion rate.";
+            attribute :>> description = "Restates the pending infusion rate above the settings screen and requires an explicit confirm or cancel disposition before the value can reach the controller.";
+            attribute :>> formKind = UIElementFormKind::dialog;
+            attribute :>> safetyClass = SafetyClassKind::C;
+            attribute :>> labelText = "Confirm rate change?";
+            attribute :>> disclosureKind = UIDisclosureKind::overlay;
+            attribute :>> visibilityCondition = "pending rate change";
+            attribute :>> bounds {
+                attribute :>> x = 0.28; attribute :>> y = 0.22;
+                attribute :>> width = 0.44; attribute :>> height = 0.56;
+            }
+            attribute :>> boundaryColor = "#D59000";
+            attribute :>> detectionMethod = BoundsDetectionKind::manual;
+            attribute :>> confirmedBy = "j.okafor";
+            attribute :>> confirmedAt = "2026-07-16";
         }
-        attribute :>> boundaryColor = "#D59000";
-        attribute :>> detectionMethod = BoundsDetectionKind::manual;
-        attribute :>> confirmedBy = "j.okafor";
-        attribute :>> confirmedAt = "2026-07-16";
     }
 
     // ── UI actions and the functions they invoke ────────────────
@@ -156,18 +163,21 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         attribute :>> feedbackProvided = "new rate echoed on a confirmation dialog before it is applied";
+        perform fnManageInfusionDisplay.fnSetInfusionRate;
     }
 
     action uiaOpenSettings : UIAction {
         attribute :>> id = "UIR-UIA-002"; attribute :>> name = "OpenInfusionSettings";
         attribute :>> intent = InteractionIntentKind::navigation;
         attribute :>> confirmationRequired = false;
+        perform fnManageInfusionDisplay;
     }
 
     action uiaSelectDrug : UIAction {
         attribute :>> id = "UIR-UIA-003"; attribute :>> name = "SelectDrug";
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
+        perform fnManageInfusionDisplay.fnValidateDrugSelection;
     }
 
     part uiElement12 : UIElement {
@@ -178,6 +188,7 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         attribute redefines detectionMethod = BoundsDetectionKind::manual;
         attribute redefines boundaryColor = "#14B8A6";
         attribute redefines boundaryOpacity = 0.12;
+        attribute redefines boundaryWidth = 5;
         attribute redefines bounds {
             attribute redefines x = 0.52234;
             attribute redefines y = 0.11311;
@@ -186,4 +197,16 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         }
     }
 
+
+    satisfy reqRateLegibility by elMainScreen;
+
+    satisfy reqRateEntry by elSettingsScreen;
+
+    satisfy reqRateEntry by elSettingsScreen.elRateConfirmDialog;
+
+    satisfy reqDrugLibrarySelection by elMainScreen.elDrugSelectorRegion;
+
+    satisfy reqDrugIdentityDisplay by elMainScreen.elDrugSelectorRegion.elDrugSelectorClosed;
+
+    satisfy reqDrugSelectionPerformance by elMainScreen.elDrugSelectorRegion;
 }

package/examples/ui-screen-regions/model/catalog/assurance/safety_risk/risk.sysml

@@ -22,7 +22,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcRateConfirm : RiskControlMeasure {
+    part rcRateConfirm : RiskControlMeasure {
         attribute :>> id = "UIR-RC-001"; attribute :>> name = "RateChangeConfirmationDialog";
         attribute :>> shortDescription = "Explicit confirmation step before a rate change applies.";
         attribute :>> description = "A confirmation dialog restates the requested rate in words and numerals before the change is committed, so a mis-set decimal point has a second chance to be caught.";
@@ -37,7 +37,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcDrugLibraryGuard : RiskControlMeasure {
+    part rcDrugLibraryGuard : RiskControlMeasure {
         attribute :>> id = "UIR-RC-002"; attribute :>> name = "CareAreaDrugLibraryGuard";
         attribute :>> shortDescription = "Restrict selection to enabled care-area drug-library entries.";
         attribute :>> description = "Filters the dynamic selector to the active care-area formulary and validates the selected drug and concentration before its dosing limits are used.";
@@ -52,7 +52,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcLowBatteryProminence : RiskControlMeasure {
+    part rcLowBatteryProminence : RiskControlMeasure {
         attribute :>> id = "UIR-RC-003"; attribute :>> name = "ProminentLowBatteryStatus";
         attribute :>> shortDescription = "Update and emphasize low remaining battery status within one second.";
         attribute :>> description = "Monitors battery telemetry and changes the status indicator's color and icon state at the low-runtime threshold so the clinician can restore power before therapy interruption.";
@@ -67,7 +67,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcDisplayFreshnessMonitor : RiskControlMeasure {
+    part rcDisplayFreshnessMonitor : RiskControlMeasure {
         attribute :>> id = "UIR-RC-004"; attribute :>> name = "InfusionDisplayFreshnessMonitor";
         attribute :>> shortDescription = "Refresh displayed rate and volume at 1 Hz and detect stale telemetry.";
         attribute :>> description = "Maintains a one-second display age budget for infusion status and detects a missed telemetry refresh before stale values can persist.";
@@ -82,7 +82,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcClockFreshnessCheck : RiskControlMeasure {
+    part rcClockFreshnessCheck : RiskControlMeasure {
         attribute :>> id = "UIR-RC-005"; attribute :>> name = "SynchronizedClockFreshnessCheck";
         attribute :>> shortDescription = "Synchronize the display clock and bound visible time error.";
         attribute :>> description = "Checks the displayed clock against the synchronized device clock and refreshes the visible minute at rollover.";