@memoarchitect/ontology 0.6.5 → 0.7.0

package/examples/ui-screen-regions/model/catalog/traces.sysml

@@ -0,0 +1,276 @@
+// Cross-namespace relationships.
+//
+// A relationship whose ends sit in different project namespaces is owned here
+// rather than duplicated into both, which keeps the namespace files free of
+// mutual imports.
+package memo_examples_ui_screen_regions_traces {
+    private import ScalarValues::*;
+
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_core_enumerations::*;
+    private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+    private import memo_examples_ui_screen_regions_assurance_human_factors::*;
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_assurance_verification_validation::*;
+    private import memo_examples_ui_screen_regions_artifacts_assets::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+
+    // One tree. Spatial containment only.
+    connection : Composes connect parent ::> elMainScreen to child ::> elDrugSelectorRegion;
+
+    connection : Composes connect parent ::> elDrugSelectorRegion to child ::> elDrugSelectorClosed;
+
+    connection : Composes connect parent ::> elDrugSelectorRegion to child ::> elDrugMenuExpanded;
+
+    connection : Composes connect parent ::> elSettingsScreen to child ::> elRateConfirmDialog;
+
+    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnSetInfusionRate;
+
+    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnValidateDrugSelection;
+
+    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnPresentDeliveryStatus;
+
+    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnPresentLocalTime;
+
+    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnPresentBatteryStatus;
+
+    connection : ActionInvokesFunction connect uiAction ::> uiaEditRate to systemFunction ::> fnSetInfusionRate;
+
+    connection : ElementTriggersAction connect element ::> elDrugSelectorRegion to triggeredAction ::> uiaSelectDrug;
+
+    connection : ElementTriggersAction connect element ::> elDrugSelectorClosed to triggeredAction ::> uiaSelectDrug;
+
+    connection : ElementTriggersAction connect element ::> elDrugMenuExpanded to triggeredAction ::> uiaSelectDrug;
+
+    connection : ActionInvokesFunction connect uiAction ::> uiaSelectDrug to systemFunction ::> fnValidateDrugSelection;
+
+    connection : ActionInvokesFunction connect uiAction ::> uiaOpenSettings to systemFunction ::> fnManageInfusionDisplay;
+
+    connection : SatisfiedBy connect requiredElement ::> reqRateEntry to satisfyingElement ::> fnSetInfusionRate;
+
+    connection : SatisfiedBy connect requiredElement ::> reqRateLegibility to satisfyingElement ::> fnPresentDeliveryStatus;
+
+    connection : SatisfiedBy connect requiredElement ::> reqVolumeDisplay to satisfyingElement ::> fnPresentDeliveryStatus;
+
+    connection : SatisfiedBy connect requiredElement ::> reqRateLegibility to satisfyingElement ::> elMainScreen;
+
+    connection : SatisfiedBy connect requiredElement ::> reqRateEntry to satisfyingElement ::> elSettingsScreen;
+
+    connection : SatisfiedBy connect requiredElement ::> reqRateEntry to satisfyingElement ::> elRateConfirmDialog;
+
+    connection : SatisfiedBy connect requiredElement ::> reqDrugLibrarySelection to satisfyingElement ::> elDrugSelectorRegion;
+
+    connection : SatisfiedBy connect requiredElement ::> reqDrugLibrarySelection to satisfyingElement ::> fnValidateDrugSelection;
+
+    connection : SatisfiedBy connect requiredElement ::> reqDisplayFreshness to satisfyingElement ::> fnPresentDeliveryStatus;
+
+    connection : SatisfiedBy connect requiredElement ::> reqActiveRateDisplay to satisfyingElement ::> fnPresentDeliveryStatus;
+
+    connection : SatisfiedBy connect requiredElement ::> reqDrugIdentityDisplay to satisfyingElement ::> elDrugSelectorClosed;
+
+    connection : SatisfiedBy connect requiredElement ::> reqDrugIdentityDisplay to satisfyingElement ::> fnValidateDrugSelection;
+
+    connection : SatisfiedBy connect requiredElement ::> reqTimeDisplay to satisfyingElement ::> fnPresentLocalTime;
+
+    connection : SatisfiedBy connect requiredElement ::> reqTimeAccuracy to satisfyingElement ::> fnPresentLocalTime;
+
+    connection : SatisfiedBy connect requiredElement ::> reqBatteryStatusDisplay to satisfyingElement ::> fnPresentBatteryStatus;
+
+    connection : SatisfiedBy connect requiredElement ::> reqBatteryWarningPerformance to satisfyingElement ::> fnPresentBatteryStatus;
+
+    connection : SatisfiedBy connect requiredElement ::> reqDrugSelectionPerformance to satisfyingElement ::> elDrugSelectorRegion;
+
+    connection : SatisfiedBy connect requiredElement ::> reqDrugSelectionPerformance to satisfyingElement ::> fnValidateDrugSelection;
+
+    connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqRateLegibility;
+
+    connection : DerivesFrom connect sourceDriver ::> reqRateLegibility to targetRequirement ::> reqRateEntry;
+
+    connection : DerivesFrom connect sourceDriver ::> reqRateLegibility to targetRequirement ::> reqVolumeDisplay;
+
+    connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqDrugLibrarySelection;
+
+    connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqDisplayFreshness;
+
+    connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqActiveRateDisplay;
+
+    connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqDrugIdentityDisplay;
+
+    connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqTimeDisplay;
+
+    connection : DerivesFrom connect sourceDriver ::> reqTimeDisplay to targetRequirement ::> reqTimeAccuracy;
+
+    connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqBatteryStatusDisplay;
+
+    connection : DerivesFrom connect sourceDriver ::> reqBatteryStatusDisplay to targetRequirement ::> reqBatteryWarningPerformance;
+
+    connection : DerivesFrom connect sourceDriver ::> reqDrugLibrarySelection to targetRequirement ::> reqDrugSelectionPerformance;
+
+    connection : ErrorAtElement connect useError ::> ueMisreadRate to element ::> elMainScreen;
+
+    connection : ControlImplementedBy connect riskControl ::> rcRateConfirm to implementingElement ::> elRateConfirmDialog;
+
+    connection : Causes connect cause ::> ueMisreadRate to effect ::> hzWrongRate {
+        attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
+    }
+
+    connection : Mitigates connect control ::> rcRateConfirm to mitigatedElement ::> hzWrongRate {
+        attribute :>> mitigationKind = MitigationKind::hazard;
+    }
+
+    connection : DerivesFrom connect sourceDriver ::> hzWrongRate to targetRequirement ::> reqRateEntry;
+
+    connection : ErrorAtElement connect useError ::> ueSelectWrongDrug to element ::> elDrugSelectorRegion;
+
+    connection : Causes connect cause ::> ueSelectWrongDrug to effect ::> hzWrongDrug {
+        attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
+    }
+
+    connection : Mitigates connect control ::> rcDrugLibraryGuard to mitigatedElement ::> hzWrongDrug {
+        attribute :>> mitigationKind = MitigationKind::hazard;
+    }
+
+    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> elDrugSelectorRegion;
+
+    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> fnValidateDrugSelection;
+
+    connection : DerivesFrom connect sourceDriver ::> hzWrongDrug to targetRequirement ::> reqDrugLibrarySelection;
+
+    connection : ErrorAtElement connect useError ::> ueMissLowBattery to element ::> elMainScreen;
+
+    connection : Causes connect cause ::> ueMissLowBattery to effect ::> hzUnexpectedPowerLoss {
+        attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
+    }
+
+    connection : Mitigates connect control ::> rcLowBatteryProminence to mitigatedElement ::> hzUnexpectedPowerLoss {
+        attribute :>> mitigationKind = MitigationKind::hazard;
+    }
+
+    connection : ControlImplementedBy connect riskControl ::> rcLowBatteryProminence to implementingElement ::> fnPresentBatteryStatus;
+
+    connection : DerivesFrom connect sourceDriver ::> hzUnexpectedPowerLoss to targetRequirement ::> reqBatteryWarningPerformance;
+
+    connection : ErrorAtElement connect useError ::> ueRelyOnStaleVolume to element ::> elMainScreen;
+
+    connection : Causes connect cause ::> ueRelyOnStaleVolume to effect ::> hzIncorrectDeliveredVolumeAssessment {
+        attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
+    }
+
+    connection : Mitigates connect control ::> rcDisplayFreshnessMonitor to mitigatedElement ::> hzIncorrectDeliveredVolumeAssessment {
+        attribute :>> mitigationKind = MitigationKind::hazard;
+    }
+
+    connection : ControlImplementedBy connect riskControl ::> rcDisplayFreshnessMonitor to implementingElement ::> fnPresentDeliveryStatus;
+
+    connection : DerivesFrom connect sourceDriver ::> hzIncorrectDeliveredVolumeAssessment to targetRequirement ::> reqDisplayFreshness;
+
+    connection : ErrorAtElement connect useError ::> ueMisreadDisplayedTime to element ::> elMainScreen;
+
+    connection : Causes connect cause ::> ueMisreadDisplayedTime to effect ::> hzIncorrectEventChronology {
+        attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
+    }
+
+    connection : Mitigates connect control ::> rcClockFreshnessCheck to mitigatedElement ::> hzIncorrectEventChronology {
+        attribute :>> mitigationKind = MitigationKind::hazard;
+    }
+
+    connection : ControlImplementedBy connect riskControl ::> rcClockFreshnessCheck to implementingElement ::> fnPresentLocalTime;
+
+    connection : DerivesFrom connect sourceDriver ::> hzIncorrectEventChronology to targetRequirement ::> reqTimeAccuracy;
+
+    connection : VerifiedBy connect verificationTarget ::> rcRateConfirm to verificationCase ::> vcRateChange;
+
+    connection : VerifiedBy connect verificationTarget ::> fnSetInfusionRate to verificationCase ::> vcRateChange;
+
+    connection : VerifiedBy connect verificationTarget ::> fnManageInfusionDisplay to verificationCase ::> vcRateChange;
+
+    connection : VerifiedBy connect verificationTarget ::> rcDrugLibraryGuard to verificationCase ::> vcDrugLibrarySelection;
+
+    connection : VerifiedBy connect verificationTarget ::> fnValidateDrugSelection to verificationCase ::> vcDrugLibrarySelection;
+
+    connection : VerifiedBy connect verificationTarget ::> rcLowBatteryProminence to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> rcDisplayFreshnessMonitor to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> rcClockFreshnessCheck to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> reqActiveRateDisplay to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> reqDrugIdentityDisplay to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> reqVolumeDisplay to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> reqTimeDisplay to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> reqTimeAccuracy to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> reqBatteryStatusDisplay to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> reqBatteryWarningPerformance to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> fnPresentDeliveryStatus to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> fnPresentLocalTime to verificationCase ::> vcInfusionStatusContent;
+
+    connection : VerifiedBy connect verificationTarget ::> fnPresentBatteryStatus to verificationCase ::> vcInfusionStatusContent;
+
+    connection : ProducesEvidence connect producer ::> vcRateChange to producedEvidence ::> evRateChange;
+
+    connection : ProducesEvidence connect producer ::> vcDrugLibrarySelection to producedEvidence ::> evDrugLibrarySelection;
+
+    connection : ProducesEvidence connect producer ::> vcInfusionStatusContent to producedEvidence ::> evInfusionStatusContent;
+
+    connection : AllocatedTo connect function ::> fnSetInfusionRate to allocatedElement ::> uiPumpPanel;
+
+    connection : AllocatedTo connect function ::> fnManageInfusionDisplay to allocatedElement ::> uiPumpPanel;
+
+    connection : AllocatedTo connect function ::> fnValidateDrugSelection to allocatedElement ::> uiPumpPanel;
+
+    connection : AllocatedTo connect function ::> fnPresentDeliveryStatus to allocatedElement ::> uiPumpPanel;
+
+    connection : AllocatedTo connect function ::> fnPresentLocalTime to allocatedElement ::> uiPumpPanel;
+
+    connection : AllocatedTo connect function ::> fnPresentBatteryStatus to allocatedElement ::> uiPumpPanel;
+
+    // Two seeded function-to-region traces for exercising relationship editing
+    // in the UI. Newly drawn regions can be linked the same way.
+    connection : AllocatedTo connect function ::> fnValidateDrugSelection to allocatedElement ::> elDrugSelectorRegion;
+
+    connection : AllocatedTo connect function ::> fnSetInfusionRate to allocatedElement ::> elRateConfirmDialog;
+
+    connection : CapturesScreen connect capture ::> capMain to screen ::> elMainScreen;
+
+    connection : CapturesScreen connect capture ::> capSettings to screen ::> elSettingsScreen;
+
+    connection : CapturesScreen connect capture ::> capDrugSelector to screen ::> elDrugSelectorRegion;
+
+    connection : CommentsOn connect remark ::> cmtDecimalSalience to annotatedElement ::> elMainScreen;
+
+    connection : CommentsOn connect remark ::> cmtStatusBarScope to annotatedElement ::> elMainScreen;
+
+    connection : RationaleFor connect rationaleRecord ::> ratOverlayGeometry to justifiedElement ::> elDrugMenuExpanded;
+
+    connection : NotesOn connect noteRecord ::> noteCaptureReview to notedElement ::> capMain;
+
+    // A reply is a child of the comment it answers — ordinary Composes, so
+    // thread cycles are already forbidden by CR-ONT-001.
+    connection : Composes connect parent ::> cmtStatusBarScope to child ::> cmtStatusBarReply;
+
+    connection rel_composes_elMainScreen_uiElement12 : Composes connect parent ::> elMainScreen to child ::> uiElement12;
+
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/functional/viewpoint.sysml

@@ -0,0 +1,8 @@
+// The functional viewpoint frames the system function tree and its allocation.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that already frames these concerns. The views this project
+// governs with it sit beneath `views/`.
+package memo_examples_ui_screen_regions_viewpoints_functional {
+    public import memo_viewpoints_functional_functional_viewpoint::*;
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/functional/views/ui_functional_tree.sysml

@@ -0,0 +1,62 @@
+package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functional_tree {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+    private import memo_viewpoints_ui_layout_views_screen_layout_view::*;
+    private import memo_examples_ui_screen_regions_viewpoints_functional::*;
+    private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+    private import memo_examples_ui_screen_regions_assurance_human_factors::*;
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_assurance_verification_validation::*;
+    private import memo_examples_ui_screen_regions_artifacts_assets::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+    private import memo_examples_ui_screen_regions_traces::*;
+
+    view uiFunctionalTree : MemoDiagramView {
+        expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+        expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+        expose memo_examples_ui_screen_regions_assurance_human_factors::*;
+        expose memo_examples_ui_screen_regions_assurance_safety_risk::*;
+        expose memo_examples_ui_screen_regions_assurance_verification_validation::*;
+        expose memo_examples_ui_screen_regions_artifacts_assets::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+        expose memo_examples_ui_screen_regions_traces::*;
+        attribute depth = 3;
+        attribute :>> id = "FUN-101";
+        attribute :>> title = "Infusion UI Functional Tree";
+        attribute :>> shortDescription = "Display-management functions, invoked actions, and UI allocation.";
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "bdd";
+        attribute :>> autoPopulate = true;
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-102";
+            attribute :>> name = "UIFunctionalTreeQuery";
+            attribute :>> includeElementKinds = ("SystemFunction", "UIAction", "UIElement", "UserInterface");
+            attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "ActionInvokesFunction", "AllocatedTo");
+            attribute :>> includeLayers = ("functions", "implementation");
+            attribute :>> rationaleText = "Show function decomposition from interaction to allocated user interface.";
+        }
+        part :>> viewpointDefinition = functionalViewpoint;
+    }
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/requirements/viewpoint.sysml

@@ -0,0 +1,8 @@
+// The requirements viewpoint frames stakeholder needs and their derivation, satisfaction, and verification.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that already frames these concerns. The views this project
+// governs with it sit beneath `views/`.
+package memo_examples_ui_screen_regions_viewpoints_requirements {
+    public import memo_viewpoints_requirements_requirements_viewpoint::*;
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/requirements/views/ui_requirements_trace.sysml

@@ -0,0 +1,62 @@
+package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_requirements_trace {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+    private import memo_viewpoints_ui_layout_views_screen_layout_view::*;
+    private import memo_examples_ui_screen_regions_viewpoints_requirements::*;
+    private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+    private import memo_examples_ui_screen_regions_assurance_human_factors::*;
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_assurance_verification_validation::*;
+    private import memo_examples_ui_screen_regions_artifacts_assets::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+    private import memo_examples_ui_screen_regions_traces::*;
+
+    view uiRequirementsTrace : MemoDiagramView {
+        expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+        expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+        expose memo_examples_ui_screen_regions_assurance_human_factors::*;
+        expose memo_examples_ui_screen_regions_assurance_safety_risk::*;
+        expose memo_examples_ui_screen_regions_assurance_verification_validation::*;
+        expose memo_examples_ui_screen_regions_artifacts_assets::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+        expose memo_examples_ui_screen_regions_traces::*;
+        attribute depth = 3;
+        attribute :>> id = "REQ-101";
+        attribute :>> title = "UI Requirements Traceability";
+        attribute :>> shortDescription = "Clinical need through UI requirements to satisfying regions and functions.";
+        attribute :>> viewKind = DiagramViewKind::grid;
+        attribute :>> diagramType = "req";
+        attribute :>> autoPopulate = true;
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-101";
+            attribute :>> name = "UIRequirementsTraceQuery";
+            attribute :>> includeElementKinds = ("Need", "Requirement", "UIElement", "SystemFunction", "VerificationCase");
+            attribute :>> includeRelationshipKinds = ("DerivesFrom", "SatisfiedBy", "VerifiedBy");
+            attribute :>> includeLayers = ("requirements", "implementation", "functions", "assurance");
+            attribute :>> rationaleText = "Show the example's requirement derivation and satisfaction chain.";
+        }
+        part :>> viewpointDefinition = requirementsViewpoint;
+    }
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/risk/viewpoint.sysml

@@ -0,0 +1,8 @@
+// The risk viewpoint frames use errors, hazards, controls, and the evidence that they hold.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that already frames these concerns. The views this project
+// governs with it sit beneath `views/`.
+package memo_examples_ui_screen_regions_viewpoints_risk {
+    public import memo_viewpoints_risk_risk_viewpoint::*;
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/risk/views/ui_risk_chain.sysml

@@ -0,0 +1,62 @@
+package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+    private import memo_viewpoints_ui_layout_views_screen_layout_view::*;
+    private import memo_examples_ui_screen_regions_viewpoints_risk::*;
+    private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+    private import memo_examples_ui_screen_regions_assurance_human_factors::*;
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_assurance_verification_validation::*;
+    private import memo_examples_ui_screen_regions_artifacts_assets::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+    private import memo_examples_ui_screen_regions_traces::*;
+
+    view uiRiskChain : MemoDiagramView {
+        expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+        expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+        expose memo_examples_ui_screen_regions_assurance_human_factors::*;
+        expose memo_examples_ui_screen_regions_assurance_safety_risk::*;
+        expose memo_examples_ui_screen_regions_assurance_verification_validation::*;
+        expose memo_examples_ui_screen_regions_artifacts_assets::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+        expose memo_examples_ui_screen_regions_traces::*;
+        attribute depth = 3;
+        attribute :>> id = "RSK-101";
+        attribute :>> title = "UI Risk and Control Chains";
+        attribute :>> shortDescription = "Use errors through UI hazards to implemented controls and requirements.";
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "risk";
+        attribute :>> autoPopulate = true;
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-103";
+            attribute :>> name = "UIRiskChainQuery";
+            attribute :>> includeElementKinds = ("UseError", "Hazard", "RiskControlMeasure", "Requirement", "UIElement", "SystemFunction", "VerificationCase");
+            attribute :>> includeRelationshipKinds = ("ErrorAtElement", "Causes", "Mitigates", "ControlImplementedBy", "DerivesFrom", "VerifiedBy");
+            attribute :>> includeLayers = ("human_factors", "risk", "requirements", "implementation", "functions", "assurance");
+            attribute :>> rationaleText = "Show both misread-rate and wrong-drug UI risk-control chains.";
+        }
+        part :>> viewpointDefinition = riskViewpoint;
+    }
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/viewpoint.sysml

@@ -0,0 +1,8 @@
+// The UI layout viewpoint frames how a captured screen is marked up: element geometry, disclosure, and the design record attached to each region.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that already frames these concerns. The views this project
+// governs with it sit beneath `views/`.
+package memo_examples_ui_screen_regions_viewpoints_ui_layout {
+    public import memo_viewpoints_ui_layout_ui_layout_viewpoint::*;
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/main_screen_layout.sysml

@@ -0,0 +1,57 @@
+package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_main_screen_layout {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+    private import memo_viewpoints_ui_layout_views_screen_layout_view::*;
+    private import memo_examples_ui_screen_regions_viewpoints_ui_layout::*;
+    private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+    private import memo_examples_ui_screen_regions_assurance_human_factors::*;
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_assurance_verification_validation::*;
+    private import memo_examples_ui_screen_regions_artifacts_assets::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+    private import memo_examples_ui_screen_regions_traces::*;
+
+    // The geometry view: the capture as backdrop, elements drawn at their
+    // authored bounds. Images for a layout view live in
+    // `model/assets/<viewName>/`, so this view's backdrop is under
+    // `model/assets/mainScreenLayout/`.
+    //
+    // `viewKind` is bound by MemoScreenLayoutView and inherited here; SysIDE
+    // rejects redeclaring a bound feature value. No `diagramType` is set —
+    // geometry has no legacy intent to map from.
+    view mainScreenLayout : MemoScreenLayoutView {
+        expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+        expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+        expose memo_examples_ui_screen_regions_assurance_human_factors::*;
+        expose memo_examples_ui_screen_regions_assurance_safety_risk::*;
+        expose memo_examples_ui_screen_regions_assurance_verification_validation::*;
+        expose memo_examples_ui_screen_regions_artifacts_assets::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+        expose memo_examples_ui_screen_regions_traces::*;
+        attribute :>> id = "UIE-001";
+        attribute :>> title = "Main Infusion Screen — Region Layout";
+        part :>> viewpointDefinition = uiLayoutViewpoint;
+    }
+}

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/settings_screen_layout.sysml

@@ -0,0 +1,52 @@
+package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_settings_screen_layout {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+    private import memo_viewpoints_ui_layout_views_screen_layout_view::*;
+    private import memo_examples_ui_screen_regions_viewpoints_ui_layout::*;
+    private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+    private import memo_examples_ui_screen_regions_assurance_human_factors::*;
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_assurance_verification_validation::*;
+    private import memo_examples_ui_screen_regions_artifacts_assets::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+    private import memo_examples_ui_screen_regions_traces::*;
+
+    // The settings screen reached by NavigatesTo, rendered on its own capture.
+    // One layout view per captured screen, and the view's name is the folder
+    // its images live in — `model/assets/settingsScreenLayout/`.
+    view settingsScreenLayout : MemoScreenLayoutView {
+        expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+        expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements::*;
+        expose memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+        expose memo_examples_ui_screen_regions_assurance_human_factors::*;
+        expose memo_examples_ui_screen_regions_assurance_safety_risk::*;
+        expose memo_examples_ui_screen_regions_assurance_verification_validation::*;
+        expose memo_examples_ui_screen_regions_artifacts_assets::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+        expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+        expose memo_examples_ui_screen_regions_traces::*;
+        attribute :>> id = "UIE-008";
+        attribute :>> title = "Infusion Settings Screen — Region Layout";
+        part :>> viewpointDefinition = uiLayoutViewpoint;
+    }
+}