@memoarchitect/ontology 0.7.0 → 0.8.24

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

@@ -1,6 +1,10 @@
 // Verification and validation: cases and the evidence they produce.
 package memo_examples_ui_screen_regions_assurance_verification_validation {
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
     private import ScalarValues::*;
+    private import memo_core_dimensions::*;   // ElementStatusKind
 
     private import memo_core_relationships::*;
     private import memo_core_annotations::*;
@@ -13,16 +17,20 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
     private import memo_artifacts_core::*;
 
     private import memo_core_enumerations::*;
+    private import memo_core_common::*;
     private import memo_assurance_verification_validation::*;
 
     verification vcRateChange : VerificationCase {
         attribute :>> id = "UIR-VER-001"; attribute :>> name = "VerifyRateChangeConfirmation";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "A rate change cannot reach the controller until the displayed value is explicitly confirmed.";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (rcRateConfirm, fnManageInfusionDisplay.fnSetInfusionRate, fnManageInfusionDisplay);
     }
 
-    part evRateChange : Evidence {
+    part evRateChange : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "UIR-EV-001"; attribute :>> name = "RateChangeConfirmationTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
@@ -33,10 +41,13 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
         attribute :>> id = "VER-002"; attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Only enabled care-area drug and concentration records are selectable, and every selection supplies the matching dosing limits.";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (rcDrugLibraryGuard, fnManageInfusionDisplay.fnValidateDrugSelection);
     }
 
-    part evDrugLibrarySelection : Evidence {
+    part evDrugLibrarySelection : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-002"; attribute :>> name = "DrugLibrarySelectionTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
@@ -47,10 +58,14 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
         attribute :>> id = "VER-003"; attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Time, battery, active rate, drug identity, and total delivered volume satisfy their content, accuracy, and latency criteria under normal and threshold-transition conditions.";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqActiveRateDisplay; verify reqDrugIdentityDisplay; verify reqVolumeDisplay; verify reqTimeDisplay; verify reqTimeAccuracy; verify reqBatteryStatusDisplay; verify reqBatteryWarningPerformance; }
+        subject verified : Base::Anything[*] = (rcLowBatteryProminence, rcDisplayFreshnessMonitor, rcClockFreshnessCheck, fnManageInfusionDisplay.fnPresentDeliveryStatus, fnManageInfusionDisplay.fnPresentLocalTime, fnManageInfusionDisplay.fnPresentBatteryStatus);
     }
 
-    part evInfusionStatusContent : Evidence {
+    part evInfusionStatusContent : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-003"; attribute :>> name = "InfusionStatusDisplayTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";

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

@@ -0,0 +1,8 @@
+package memo_examples_ui_screen_regions_relationships {
+    private import memo_artifacts_configuration_management::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
+    connection rel_tracesRisk_uiElement12_reqDrugIdentityDisplay : TracesRisk connect sourceRiskElement ::> uiElement12 to targetRiskElement ::> reqDrugIdentityDisplay;
+    connection rel_changes_uiElement12_reqDrugIdentityDisplay : Changes connect changeRequest ::> uiElement12 to changedElement ::> reqDrugIdentityDisplay;
+}

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

@@ -29,73 +29,20 @@ package memo_examples_ui_screen_regions_traces {
     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_assurance_safety_risk_analysis::*;
 
-    // One tree. Spatial containment only.
-    connection : Composes connect parent ::> elMainScreen to child ::> elDrugSelectorRegion;
+    // The UI-element and function trees are native nesting now (see
+    // architecture/implementation/ui.sysml and architecture/functional/
+    // functions.sysml); no Composes edge is written for either. The two that
+    // remain below are the ones nesting cannot express: a tool-drawn region
+    // (uiElement12, appended by memo-architect's canvas editor as a flat
+    // element plus a Composes edge, not by hand) and a comment-reply thread
+    // (a review feature with the same runtime-append shape).
+    connection : ElementTriggersAction connect element ::> elMainScreen.elDrugSelectorRegion to triggeredAction ::> uiaSelectDrug;
 
-    connection : Composes connect parent ::> elDrugSelectorRegion to child ::> elDrugSelectorClosed;
+    connection : ElementTriggersAction connect element ::> elMainScreen.elDrugSelectorRegion.elDrugSelectorClosed to triggeredAction ::> uiaSelectDrug;
 
-    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 : ElementTriggersAction connect element ::> elMainScreen.elDrugSelectorRegion.elDrugMenuExpanded to triggeredAction ::> uiaSelectDrug;
 
     connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqRateLegibility;
 
@@ -123,7 +70,7 @@ package memo_examples_ui_screen_regions_traces {
 
     connection : ErrorAtElement connect useError ::> ueMisreadRate to element ::> elMainScreen;
 
-    connection : ControlImplementedBy connect riskControl ::> rcRateConfirm to implementingElement ::> elRateConfirmDialog;
+    connection : ControlImplementedBy connect riskControl ::> rcRateConfirm to implementingElement ::> elSettingsScreen.elRateConfirmDialog;
 
     connection : Causes connect cause ::> ueMisreadRate to effect ::> hzWrongRate {
         attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
@@ -135,7 +82,7 @@ package memo_examples_ui_screen_regions_traces {
 
     connection : DerivesFrom connect sourceDriver ::> hzWrongRate to targetRequirement ::> reqRateEntry;
 
-    connection : ErrorAtElement connect useError ::> ueSelectWrongDrug to element ::> elDrugSelectorRegion;
+    connection : ErrorAtElement connect useError ::> ueSelectWrongDrug to element ::> elMainScreen.elDrugSelectorRegion;
 
     connection : Causes connect cause ::> ueSelectWrongDrug to effect ::> hzWrongDrug {
         attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
@@ -145,9 +92,9 @@ package memo_examples_ui_screen_regions_traces {
         attribute :>> mitigationKind = MitigationKind::hazard;
     }
 
-    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> elDrugSelectorRegion;
+    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> elMainScreen.elDrugSelectorRegion;
 
-    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> fnValidateDrugSelection;
+    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> fnManageInfusionDisplay.fnValidateDrugSelection;
 
     connection : DerivesFrom connect sourceDriver ::> hzWrongDrug to targetRequirement ::> reqDrugLibrarySelection;
 
@@ -161,7 +108,7 @@ package memo_examples_ui_screen_regions_traces {
         attribute :>> mitigationKind = MitigationKind::hazard;
     }
 
-    connection : ControlImplementedBy connect riskControl ::> rcLowBatteryProminence to implementingElement ::> fnPresentBatteryStatus;
+    connection : ControlImplementedBy connect riskControl ::> rcLowBatteryProminence to implementingElement ::> fnManageInfusionDisplay.fnPresentBatteryStatus;
 
     connection : DerivesFrom connect sourceDriver ::> hzUnexpectedPowerLoss to targetRequirement ::> reqBatteryWarningPerformance;
 
@@ -175,7 +122,7 @@ package memo_examples_ui_screen_regions_traces {
         attribute :>> mitigationKind = MitigationKind::hazard;
     }
 
-    connection : ControlImplementedBy connect riskControl ::> rcDisplayFreshnessMonitor to implementingElement ::> fnPresentDeliveryStatus;
+    connection : ControlImplementedBy connect riskControl ::> rcDisplayFreshnessMonitor to implementingElement ::> fnManageInfusionDisplay.fnPresentDeliveryStatus;
 
     connection : DerivesFrom connect sourceDriver ::> hzIncorrectDeliveredVolumeAssessment to targetRequirement ::> reqDisplayFreshness;
 
@@ -189,81 +136,37 @@ package memo_examples_ui_screen_regions_traces {
         attribute :>> mitigationKind = MitigationKind::hazard;
     }
 
-    connection : ControlImplementedBy connect riskControl ::> rcClockFreshnessCheck to implementingElement ::> fnPresentLocalTime;
+    connection : ControlImplementedBy connect riskControl ::> rcClockFreshnessCheck to implementingElement ::> fnManageInfusionDisplay.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;
-
+    allocate fnManageInfusionDisplay.fnSetInfusionRate to uiPumpPanel;
+    allocate fnManageInfusionDisplay to uiPumpPanel;
+    allocate fnManageInfusionDisplay.fnValidateDrugSelection to uiPumpPanel;
+    allocate fnManageInfusionDisplay.fnPresentDeliveryStatus to uiPumpPanel;
+    allocate fnManageInfusionDisplay.fnPresentLocalTime to uiPumpPanel;
+    allocate fnManageInfusionDisplay.fnPresentBatteryStatus to 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;
-
+    allocate fnManageInfusionDisplay.fnValidateDrugSelection to elMainScreen.elDrugSelectorRegion;
+    allocate fnManageInfusionDisplay.fnSetInfusionRate to elSettingsScreen.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 : CapturesScreen connect capture ::> capDrugSelector to screen ::> elMainScreen.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 : RationaleFor connect rationaleRecord ::> ratOverlayGeometry to justifiedElement ::> elMainScreen.elDrugSelectorRegion.elDrugMenuExpanded;
 
     connection : NotesOn connect noteRecord ::> noteCaptureReview to notedElement ::> capMain;
 

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

@@ -44,7 +44,6 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
         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";
@@ -53,10 +52,10 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
             attribute :>> id = "QRY-102";
             attribute :>> name = "UIFunctionalTreeQuery";
             attribute :>> includeElementKinds = ("SystemFunction", "UIAction", "UIElement", "UserInterface");
-            attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "ActionInvokesFunction", "AllocatedTo");
+            attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "Performs", "AllocatedTo");
             attribute :>> includeLayers = ("functions", "implementation");
             attribute :>> rationaleText = "Show function decomposition from interaction to allocated user interface.";
         }
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
     }
 }

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

@@ -44,7 +44,6 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
         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";
@@ -57,6 +56,6 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
             attribute :>> includeLayers = ("requirements", "implementation", "functions", "assurance");
             attribute :>> rationaleText = "Show the example's requirement derivation and satisfaction chain.";
         }
-        part :>> viewpointDefinition = requirementsViewpoint;
+        ref :>> viewpointDefinition = requirementsViewpoint;
     }
 }

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

@@ -44,7 +44,6 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
         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";
@@ -57,6 +56,6 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
             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;
+        ref :>> viewpointDefinition = riskViewpoint;
     }
 }

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

@@ -51,7 +51,6 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_main_screen_l
         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;
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }

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

@@ -46,7 +46,6 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_settings_scre
         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;
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }

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

@@ -46,9 +46,8 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_ui_region_tra
         expose memo_examples_ui_screen_regions_traces::*;
         attribute :>> id = "UIV-001";
         attribute depth = 3;
-        attribute :>> title = "UI Region Traceability";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
-        part :>> viewpointDefinition = uiLayoutViewpoint;
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }

package/extensions/LICENSES/MIT.txt

@@ -0,0 +1,19 @@
+MIT License
+
+Copyright (c) 2026 memoarchitect
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE.

package/extensions/README.md

@@ -0,0 +1,94 @@
+# Extensions
+
+An extension is a **way to model**, not a sample. It is a reusable ontology
+package that specializes the base and is selected by a methodology or a project
+binding — so extensions live here, beside `src/`, and not under `examples/`.
+Examples *use* extensions; `examples/ros-mobile-robot` demonstrates one.
+
+MEMO defines no extension metaclass. An extension is a plain SysML package:
+
+- outside `src/` and outside the `memo::` namespace;
+- with a `memo.package.yaml` carrying identity and `sysmlDir` only (the semantic
+  fields `type` / `extends` / `usage` / `ontologies` / `methodology` / `modules`
+  are rejected);
+- whose SysML **specializes** base types;
+- plus a `MethodologyDefinition` naming `baseMethodology`, `scopeMode`, and its
+  own `includedModule`.
+
+`template/` is the skeleton. The build round-trips every extension into its own
+KPAR and resolves it with `syside check`, exactly as it does the base.
+
+## Composition happens at the project binding
+
+`MethodologyDefinition.baseMethodology` is `[0..1]` — single inheritance, and
+deliberate. Extensions therefore **do not chain**. Both
+`MethodologyDefinition.includedModule` and `ProjectMethodBinding.includedModule`
+are `String[0..*]`, so a project combines any number of independent extensions
+by listing their modules in its own binding. That is *the* composition
+mechanism; nothing else is supported.
+
+## Rule 1 — use native mechanisms first; extension relations specialize base ones
+
+An extension **may** declare `connection def`s and `allocation def`s when the
+domain adds a relationship SysML does not already express. It must first use
+native ports, interfaces, flows, messages, allocations, and dependencies. ROS
+is the worked example: publisher/subscriber roles are directional ports, the
+message is an item definition, the named topic is an item usage, and native
+interfaces/flows connect them. No ROS publish/subscribe relation exists.
+The OMG's own `Domain Libraries/Requirement Derivation` ships a `connection def`
+next to a `metadata def :> SemanticMetadata` — domain relations are the
+sanctioned extension mechanism in SysML v2 too.
+
+The constraint is on where they root:
+
+> **A relation declared by an extension specializes a base MEMO relation. It
+> never roots independently.**
+
+For a genuinely new relation, `connection def DomainRelation :> MemoLink` is
+correct; `connection def DomainRelation { … }` is not. Rooting independently would give
+the relation no identification core, no place in the relationship registry, and
+no ends the base can reason about — a conforming tool would read it as opaque,
+which is the same defect §2 of the plan names in the base itself. Give each one
+a `metadata def <keyword> … :> SemanticMetadata` as well, for the same reason
+every base relation has one.
+
+The previous guard here was `assert.doesNotMatch(clinical, /connection def/)` —
+a regression check on one example that had grown into an apparent rule. The
+test now enforces the rule written above instead of the accident it was
+guarding.
+
+## Rule 2 — every definition carries the extension's prefix
+
+> **An extension's definition names all begin with the PascalCase form of its
+> directory name.**
+
+`clinical/` gives `ClinicalProcedureWorkflow`, `ros/` gives `RosNode`, `aadl/`
+gives `AadlThread`. Definition names share one flat namespace with the base and
+with every other extension, so without a prefix two independent extensions could
+both declare `Node` and a project could not include both. The uniqueness check
+compares each extension against the base *and* against every other extension;
+the prefix is what makes that check something an author can satisfy by
+construction rather than by luck.
+
+Enumeration literals are not definitions and are not prefixed —
+`RosReliabilityKind::reliable`, not `RosReliabilityKind::rosReliable`.
+
+## What an extension must not do
+
+- Redefine or restate what the base already expresses — specialize it.
+- Declare a definition name the base or another extension declares.
+- Carry semantic YAML. Identity and `sysmlDir` are the whole descriptor.
+
+## The extensions that ship
+
+| Directory | Prefix | What it adds |
+| --- | --- | --- |
+| `template/` | `Template` | The skeleton to copy. |
+| `clinical/` | `Clinical` | Clinical-procedure data on the base operational workflow. |
+| `aadl/` | `Aadl` | The AADL (SAE AS5506) correspondence profile: MEMO names mapped to AADL categories, plus the process / thread / virtual-processor component families. |
+| `cloud/` | `Cloud` | Networked services and managed data stores. |
+| `ros/` | `Ros` | ROS 2: nodes, messages, directional ports, topic/service/action interfaces, QoS, and containerized deployment. |
+
+`aadl`, `cloud`, and `ros` between them are where the twelve runtime-technology
+attributes that used to sit on `SoftwareComponent` now live — see
+`plans/reference/memo-r1-arcadia-residue.md`.

package/extensions/aadl/memo.package.yaml

@@ -0,0 +1,18 @@
+# Application/distribution descriptor for this MEMO package.
+#
+# Identity and location only. It records what this package is called, what
+# version it is, and where its SysML source sits so a resolver can find it.
+# It does not select model content: the project's native SysML imports and its
+# ProjectMethodBinding decide what is in the model. Semantic fields
+# (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
+# removed at the native semantic flip and are now rejected if present.
+name: '@memoarchitect/extension-aadl'
+version: 0.8.24
+description: AADL (SAE AS5506) correspondence profile and runtime component families
+license: MIT
+tags:
+- memo
+- methodology
+- extension
+- aadl
+sysmlDir: ./src

package/extensions/aadl/src/aadl_extension.sysml

@@ -0,0 +1,6 @@
+// The AADL extension's public facade. A project includes the module
+// `memo_extension_aadl` in its binding and imports this package.
+package memo_extension_aadl {
+    public import memo_extension_aadl_runtime::*;
+    public import memo_extension_aadl_correspondence::*;
+}