@memoarchitect/ontology 0.8.22 → 0.10.9

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

@@ -19,13 +19,15 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     private import memo_core_enumerations::*;
     private import memo_architecture_implementation_ui::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // Every UIElement carries safetyClass C. Per IEC 62304 §4.3 items inherit
     // the software system's class; an item is classified lower only where
     // segregation is documented, and nothing here is segregated — one UI
     // process draws the lot, so the chrome inherits C like the rate field.
     part uiPumpPanel : UserInterface {
-        attribute :>> id = "UIR-UI-001"; attribute :>> name = "PumpFrontPanel";
-        attribute :>> shortDescription = "Front-panel touchscreen.";
+        @MemoIdentity { :>> providedId = "UIR-UI-001"; } attribute :>> name = "PumpFrontPanel";
+        @MemoIdentity { :>> shortDescription = "Front-panel touchscreen."; }
         attribute :>> description = "The 7-inch capacitive touchscreen on the pump front panel, the sole interface for programming and monitoring an infusion at the bedside.";
         attribute :>> modality = "visual + touch";
         attribute :>> uiTechnology = "embedded Qt";
@@ -35,8 +37,8 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     // A screen is a UIElement whose formKind is `screen`. Its bounds are the
     // full frame; every descendant's bounds are relative to ITS parent.
     part elMainScreen : UIElement {
-        attribute :>> id = "UIE-001"; attribute :>> name = "MainInfusionScreen";
-        attribute :>> shortDescription = "Primary running-infusion screen.";
+        @MemoIdentity { :>> providedId = "UIE-001"; } attribute :>> name = "MainInfusionScreen";
+        @MemoIdentity { :>> shortDescription = "Primary running-infusion screen."; }
         attribute :>> description = "The screen shown while an infusion is running: current rate, volume delivered, and access to settings. The default view the clinician comes back to after any subordinate task.";
         attribute :>> formKind = UIElementFormKind::screen;
         attribute :>> safetyClass = SafetyClassKind::C;
@@ -58,8 +60,8 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         // 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.";
+            @MemoIdentity { :>> providedId = "UIE-005"; }
+            @MemoIdentity { :>> 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;
@@ -77,8 +79,8 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             }
 
             part elDrugSelectorClosed : UIElement {
-                attribute :>> id = "UIE-010"; attribute :>> name = "ClosedDrugSelector";
-                attribute :>> shortDescription = "Closed drug selector shown on the main screen.";
+                @MemoIdentity { :>> providedId = "UIE-010"; } attribute :>> name = "ClosedDrugSelector";
+                @MemoIdentity { :>> 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;
@@ -98,8 +100,8 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             // behaviour, not a defect.
             part elDrugMenuExpanded : UIElement {
                 attribute redefines name = "ExpandedDrugMenu";
-                attribute redefines id = "UIE-011";
-                attribute redefines shortDescription = "Expanded drug library choices.";
+                @MemoIdentity { :>> providedId = "UIE-011"; }
+                @MemoIdentity { :>> 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;
@@ -116,12 +118,28 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
                 }
             }
         }
+        part uiElement12 : UIElement {
+            attribute redefines name = "Region UIE-012";
+            @MemoIdentity { :>> providedId = "UIE-012"; }
+            attribute redefines formKind = UIElementFormKind::panel;
+            attribute redefines disclosureKind = UIDisclosureKind::inline;
+            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;
+                attribute redefines width = 0.45242;
+                attribute redefines height = 0.53172;
+            }
+        }
     }
 
     // ── The settings screen: a sibling root, not a child ────────
     part elSettingsScreen : UIElement {
-        attribute :>> id = "UIE-008"; attribute :>> name = "InfusionSettingsScreen";
-        attribute :>> shortDescription = "Settings screen reached from the main screen.";
+        @MemoIdentity { :>> providedId = "UIE-008"; } attribute :>> name = "InfusionSettingsScreen";
+        @MemoIdentity { :>> shortDescription = "Settings screen reached from the main screen."; }
         attribute :>> description = "Secondary screen for changing infusion parameters mid-run. It is a root in its own right with its own capture and its own coordinate frame — it is not laid out inside the main screen, so no geometric rule relates the two.";
         attribute :>> formKind = UIElementFormKind::screen;
         attribute :>> safetyClass = SafetyClassKind::C;
@@ -138,8 +156,8 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         // 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.";
+            @MemoIdentity { :>> providedId = "UIE-009"; } attribute :>> name = "RateChangeConfirmationDialog";
+            @MemoIdentity { :>> 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;
@@ -159,7 +177,7 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
 
     // ── UI actions and the functions they invoke ────────────────
     action uiaEditRate : UIAction {
-        attribute :>> id = "UIR-UIA-001"; attribute :>> name = "EditInfusionRate";
+        @MemoIdentity { :>> providedId = "UIR-UIA-001"; } attribute :>> name = "EditInfusionRate";
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         attribute :>> feedbackProvided = "new rate echoed on a confirmation dialog before it is applied";
@@ -167,35 +185,19 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     }
 
     action uiaOpenSettings : UIAction {
-        attribute :>> id = "UIR-UIA-002"; attribute :>> name = "OpenInfusionSettings";
+        @MemoIdentity { :>> providedId = "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";
+        @MemoIdentity { :>> providedId = "UIR-UIA-003"; } attribute :>> name = "SelectDrug";
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         perform fnManageInfusionDisplay.fnValidateDrugSelection;
     }
 
-    part uiElement12 : UIElement {
-        attribute redefines name = "Region UIE-012";
-        attribute redefines id = "UIE-012";
-        attribute redefines formKind = UIElementFormKind::panel;
-        attribute redefines disclosureKind = UIDisclosureKind::inline;
-        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;
-            attribute redefines width = 0.45242;
-            attribute redefines height = 0.53172;
-        }
-    }
 
 
     satisfy reqRateLegibility by elMainScreen;

package/examples/ui-screen-regions/model/catalog/artifacts/assets/catalog.sysml

@@ -18,10 +18,12 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     private import memo_artifacts_core::*;
     private import memo_architecture_implementation_ui::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── The captures ────────────────────────────────────────────
     part capMain : ScreenCapture {
-        attribute :>> id = "UIR-CAP-001"; attribute :>> name = "MainScreenCapture_v2.4.1";
-        attribute :>> shortDescription = "Main infusion screen, build 2.4.1.";
+        @MemoIdentity { :>> providedId = "UIR-CAP-001"; } attribute :>> name = "MainScreenCapture_v2.4.1";
+        @MemoIdentity { :>> shortDescription = "Main infusion screen, build 2.4.1."; }
         attribute :>> description = "Screenshot of the running-infusion screen taken from release candidate 2.4.1 on the 7-inch panel at 1024×600, English (US), daylight theme, clinician role.";
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/mainScreenLayout/main-screen-2.4.1.png";
         attribute :>> imageHash = "sha256:086d8a3c2956ad8ed81f1e565a97308b55ba8a384c22c1b2138626ad8928a88a";
@@ -33,8 +35,8 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     }
 
     part capDrugSelector : ScreenCapture {
-        attribute :>> id = "UIC-003"; attribute :>> name = "ExpandedDrugSelectorCapture_v2.4.1";
-        attribute :>> shortDescription = "Expanded drug-selector region crop.";
+        @MemoIdentity { :>> providedId = "UIC-003"; } attribute :>> name = "ExpandedDrugSelectorCapture_v2.4.1";
+        @MemoIdentity { :>> shortDescription = "Expanded drug-selector region crop."; }
         attribute :>> description = "Focused capture of the reusable DrugSelectorRegion in its expanded state, used when a reviewer drills into the region from the main layout.";
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/drugSelectorRegion/drug-selector-expanded-2.4.1.png";
         attribute :>> imageHash = "sha256:2265b48864be8561a86099a99cf8aea2f4fcf06c19ccacbcc55784fbb1c37975";
@@ -46,8 +48,8 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     }
 
     part capSettings : ScreenCapture {
-        attribute :>> id = "UIR-CAP-002"; attribute :>> name = "SettingsScreenCapture_v2.4.1";
-        attribute :>> shortDescription = "Infusion settings screen, build 2.4.1.";
+        @MemoIdentity { :>> providedId = "UIR-CAP-002"; } attribute :>> name = "SettingsScreenCapture_v2.4.1";
+        @MemoIdentity { :>> shortDescription = "Infusion settings screen, build 2.4.1."; }
         attribute :>> description = "Screenshot of the settings screen reached from the main screen's settings row, same build and capture conditions as the main screen capture.";
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/settingsScreenLayout/settings-screen-2.4.1.png";
         attribute :>> imageHash = "sha256:2ad7f11427fdb2eb179cf94d96a1679a2ece31505d247ee0b659bec06a669dbf";

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/comments.sysml

@@ -16,13 +16,15 @@ package memo_examples_ui_screen_regions_artifacts_reviews_comments {
     private import memo_core_enumerations::*;
     private import memo_core_annotations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Review commentary ───────────────────────────────────────
     // Commentary is model content with an author and a disposition, kept
     // separate from `description`: what the element IS versus what someone
     // SAID about it. A generated DHF section renders the former only.
     part cmtDecimalSalience : ModelComment {
-        attribute :>> id = "UIR-CMT-001"; attribute :>> name = "DecimalSalienceReview";
-        attribute :>> shortDescription = "Decimal point too small at 1 m — raised in HF review.";
+        @MemoIdentity { :>> providedId = "UIR-CMT-001"; } attribute :>> name = "DecimalSalienceReview";
+        @MemoIdentity { :>> shortDescription = "Decimal point too small at 1 m — raised in HF review."; }
         attribute :>> body = "In the 2026-07-16 formative session, 3 of 8 participants hesitated over 12.5 vs 125 at bedside distance. Recommend enlarging the decimal separator or splitting the fractional digit into a smaller trailing glyph.";
         attribute :>> author = "r.mehta";
         attribute :>> createdAt = "2026-07-16T14:20:00Z";
@@ -31,21 +33,20 @@ package memo_examples_ui_screen_regions_artifacts_reviews_comments {
     }
 
     part cmtStatusBarScope : ModelComment {
-        attribute :>> id = "UIR-CMT-002"; attribute :>> name = "StatusBarScopeQuery";
-        attribute :>> shortDescription = "Is the battery icon really decoration?";
+        @MemoIdentity { :>> providedId = "UIR-CMT-002"; } attribute :>> name = "StatusBarScopeQuery";
+        @MemoIdentity { :>> shortDescription = "Is the battery icon really decoration?"; }
         attribute :>> body = "Battery state is arguably an indicator, not chrome — a depleted battery during infusion is a hazard path. Should the battery icon be split out as its own indicator element with its own bounds?";
         attribute :>> author = "j.okafor";
         attribute :>> createdAt = "2026-07-16T09:05:00Z";
         attribute :>> commentStatus = CommentStatusKind::acknowledged;
-    }
-
-    part cmtStatusBarReply : ModelComment {
-        attribute :>> id = "UIR-CMT-003"; attribute :>> name = "StatusBarScopeReply";
-        attribute :>> shortDescription = "Agreed — split in the next markup pass.";
-        attribute :>> body = "Agreed. Battery indication is in the alarm system's scope and will become its own indicator element once that requirement lands. Keeping the strip as decoration until then rather than classifying it as something it is not.";
-        attribute :>> author = "r.mehta";
-        attribute :>> createdAt = "2026-07-16T11:40:00Z";
-        attribute :>> commentStatus = CommentStatusKind::addressed;
+        part cmtStatusBarReply : ModelComment {
+            @MemoIdentity { :>> providedId = "UIR-CMT-003"; } attribute :>> name = "StatusBarScopeReply";
+            @MemoIdentity { :>> shortDescription = "Agreed — split in the next markup pass."; }
+            attribute :>> body = "Agreed. Battery indication is in the alarm system's scope and will become its own indicator element once that requirement lands. Keeping the strip as decoration until then rather than classifying it as something it is not.";
+            attribute :>> author = "r.mehta";
+            attribute :>> createdAt = "2026-07-16T11:40:00Z";
+            attribute :>> commentStatus = CommentStatusKind::addressed;
+        }
     }
 
 }

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/notes.sysml

@@ -15,9 +15,11 @@ package memo_examples_ui_screen_regions_artifacts_reviews_notes {
     private import memo_core_enumerations::*;
     private import memo_core_annotations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part noteCaptureReview : ModelNote {
-        attribute :>> id = "UIR-NOTE-001"; attribute :>> name = "CaptureReviewNote";
-        attribute :>> shortDescription = "Reconfirm automatic regions after every capture replacement.";
+        @MemoIdentity { :>> providedId = "UIR-NOTE-001"; } attribute :>> name = "CaptureReviewNote";
+        @MemoIdentity { :>> shortDescription = "Reconfirm automatic regions after every capture replacement."; }
         attribute :>> body = "Normalized manual bounds migrate between captures; automatically detected regions require renewed reviewer confirmation.";
         attribute :>> author = "r.mehta";
         attribute :>> createdAt = "2026-07-16T12:10:00Z";

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/rationales.sysml

@@ -15,9 +15,11 @@ package memo_examples_ui_screen_regions_artifacts_reviews_rationales {
     private import memo_core_enumerations::*;
     private import memo_core_annotations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part ratOverlayGeometry : ModelRationale {
-        attribute :>> id = "UIR-RAT-001"; attribute :>> name = "OverlayGeometryRationale";
-        attribute :>> shortDescription = "The drug menu intentionally escapes its parent bounds.";
+        @MemoIdentity { :>> providedId = "UIR-RAT-001"; } attribute :>> name = "OverlayGeometryRationale";
+        @MemoIdentity { :>> shortDescription = "The drug menu intentionally escapes its parent bounds."; }
         attribute :>> body = "The open drug selector overlays adjacent content, so disclosureKind carries the intended behavior and the renderer must not clip it to RatePanel.";
         attribute :>> author = "j.okafor";
         attribute :>> createdAt = "2026-07-16T12:00:00Z";

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

@@ -15,42 +15,44 @@ package memo_examples_ui_screen_regions_assurance_human_factors {
     private import memo_core_enumerations::*;
     private import memo_assurance_human_factors::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── The risk side ───────────────────────────────────────────
     part ueMisreadRate : UseError {
-        attribute :>> id = "UIR-UE-001"; attribute :>> name = "MisreadRateDecimalPoint";
-        attribute :>> shortDescription = "Decimal point missed; rate read 10× high or low.";
+        @MemoIdentity { :>> providedId = "UIR-UE-001"; } attribute :>> name = "MisreadRateDecimalPoint";
+        @MemoIdentity { :>> shortDescription = "Decimal point missed; rate read 10× high or low."; }
         attribute :>> description = "The clinician reads 12.5 mL/h as 125 mL/h, or the reverse, because the decimal point is not salient at a glance from the bedside.";
         attribute :>> errorCategory = UseErrorCategoryKind::perception;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueSelectWrongDrug : UseError {
-        attribute :>> id = "UIR-UE-002"; attribute :>> name = "SelectWrongDrugConcentration";
-        attribute :>> shortDescription = "Clinician selects the wrong drug or concentration from the expanded list.";
+        @MemoIdentity { :>> providedId = "UIR-UE-002"; } attribute :>> name = "SelectWrongDrugConcentration";
+        @MemoIdentity { :>> shortDescription = "Clinician selects the wrong drug or concentration from the expanded list."; }
         attribute :>> description = "A visually adjacent drug-library entry is selected during programming and is not detected before delivery parameters are calculated.";
         attribute :>> errorCategory = UseErrorCategoryKind::actionCategory;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueMissLowBattery : UseError {
-        attribute :>> id = "UIR-UE-003"; attribute :>> name = "MissLowBatteryStatus";
-        attribute :>> shortDescription = "Clinician does not notice that remaining battery operation is limited.";
+        @MemoIdentity { :>> providedId = "UIR-UE-003"; } attribute :>> name = "MissLowBatteryStatus";
+        @MemoIdentity { :>> shortDescription = "Clinician does not notice that remaining battery operation is limited."; }
         attribute :>> description = "During transport or a mains outage, an inconspicuous or stale battery indicator is not noticed before the pump loses power.";
         attribute :>> errorCategory = UseErrorCategoryKind::perception;
         attribute :>> severity = SeverityKind::critical;
     }
 
     part ueRelyOnStaleVolume : UseError {
-        attribute :>> id = "UIR-UE-004"; attribute :>> name = "RelyOnStaleDeliveredVolume";
-        attribute :>> shortDescription = "Clinician bases a therapy decision on a stale delivered-volume value.";
+        @MemoIdentity { :>> providedId = "UIR-UE-004"; } attribute :>> name = "RelyOnStaleDeliveredVolume";
+        @MemoIdentity { :>> shortDescription = "Clinician bases a therapy decision on a stale delivered-volume value."; }
         attribute :>> description = "The displayed cumulative volume stops refreshing while the controller continues delivery, causing the clinician to underestimate administered therapy.";
         attribute :>> errorCategory = UseErrorCategoryKind::cognition;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueMisreadDisplayedTime : UseError {
-        attribute :>> id = "UIR-UE-005"; attribute :>> name = "RelyOnIncorrectDisplayedTime";
-        attribute :>> shortDescription = "Clinician associates a therapy observation with an incorrect time.";
+        @MemoIdentity { :>> providedId = "UIR-UE-005"; } attribute :>> name = "RelyOnIncorrectDisplayedTime";
+        @MemoIdentity { :>> shortDescription = "Clinician associates a therapy observation with an incorrect time."; }
         attribute :>> description = "A stale or unsynchronized screen clock causes an observation to be correlated with the wrong therapy event during handoff or incident review.";
         attribute :>> errorCategory = UseErrorCategoryKind::cognition;
         attribute :>> severity = SeverityKind::minor;

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

@@ -15,8 +15,10 @@ package memo_examples_ui_screen_regions_assurance_requirements_needs {
     private import memo_core_enumerations::*;
     private import memo_assurance_requirements_needs::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     requirement needReadableProgramming : Need {
-        attribute :>> id = "UIR-NEED-001"; attribute :>> name = "ReadableAndConfirmableProgramming";
+        @MemoIdentity { :>> providedId = "UIR-NEED-001"; } attribute :>> name = "ReadableAndConfirmableProgramming";
         attribute :>> needKind = NeedKind::'stakeholder';
         attribute :>> statement = "Clinicians need infusion programming to be readable and explicitly confirmed before therapy changes.";
         attribute :>> priority = "high";

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

@@ -16,9 +16,11 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     private import memo_core_enumerations::*;
     private import memo_assurance_requirements::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── The spec side ───────────────────────────────────────────
     requirement reqRateEntry : Requirement {
-        attribute :>> id = "UIR-REQ-001"; attribute :>> name = "RateEntryConfirmation";
+        @MemoIdentity { :>> providedId = "UIR-REQ-001"; } attribute :>> name = "RateEntryConfirmation";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "When the clinician enters a new infusion rate, the pump shall display the entered rate for explicit confirmation before applying it.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -31,7 +33,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqRateLegibility : Requirement {
-        attribute :>> id = "UIR-REQ-002"; attribute :>> name = "RateLegibility";
+        @MemoIdentity { :>> providedId = "UIR-REQ-002"; } attribute :>> name = "RateLegibility";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "The pump shall display the active infusion rate legibly at 1 m under 100–1000 lux ambient illumination.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -45,7 +47,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqVolumeDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-003"; attribute :>> name = "VolumeDeliveredDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-003"; } attribute :>> name = "VolumeDeliveredDisplay";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "The pump shall display cumulative volume delivered for the active infusion, updated at least once per second.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -57,7 +59,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugLibrarySelection : Requirement {
-        attribute :>> id = "UIR-REQ-004"; attribute :>> name = "DrugLibrarySelection";
+        @MemoIdentity { :>> providedId = "UIR-REQ-004"; } attribute :>> name = "DrugLibrarySelection";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "The pump shall permit selection only from drug and concentration entries enabled for the active care area.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -70,7 +72,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDisplayFreshness : Requirement {
-        attribute :>> id = "UIR-REQ-005"; attribute :>> name = "InfusionStatusFreshness";
+        @MemoIdentity { :>> providedId = "UIR-REQ-005"; } attribute :>> name = "InfusionStatusFreshness";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "The pump shall refresh the displayed active rate and cumulative delivered volume at least once per second while an infusion is running.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -84,7 +86,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqActiveRateDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-006"; attribute :>> name = "ActiveInfusionRateDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-006"; } attribute :>> name = "ActiveInfusionRateDisplay";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "While an infusion is running, the pump shall display the active infusion rate value and its mL/h unit.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -97,7 +99,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugIdentityDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-007"; attribute :>> name = "ActiveDrugIdentityDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-007"; } attribute :>> name = "ActiveDrugIdentityDisplay";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "Where a drug-library entry is active, the pump shall display the selected drug name and concentration on the running-infusion screen.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -110,7 +112,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqTimeDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-008"; attribute :>> name = "LocalTimeDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-008"; } attribute :>> name = "LocalTimeDisplay";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "While the running-infusion screen is visible, the pump shall display synchronized local time in 24-hour HH:mm format.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -122,7 +124,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqTimeAccuracy : Requirement {
-        attribute :>> id = "UIR-REQ-009"; attribute :>> name = "DisplayedTimeAccuracy";
+        @MemoIdentity { :>> providedId = "UIR-REQ-009"; } attribute :>> name = "DisplayedTimeAccuracy";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "The running-infusion display shall present local time within 2 seconds of the synchronized device clock and refresh the visible minute within 1 second of rollover.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -136,7 +138,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqBatteryStatusDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-010"; attribute :>> name = "BatteryStatusDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-010"; } attribute :>> name = "BatteryStatusDisplay";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "While the pump is operating, the pump shall display battery state of charge as a percentage and graphical icon.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -149,7 +151,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqBatteryWarningPerformance : Requirement {
-        attribute :>> id = "UIR-REQ-011"; attribute :>> name = "LowBatteryStatusLatency";
+        @MemoIdentity { :>> providedId = "UIR-REQ-011"; } attribute :>> name = "LowBatteryStatusLatency";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "When estimated battery operating time falls below 30 minutes, the pump shall present a visually prominent low-battery state within 1 second.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -163,7 +165,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugSelectionPerformance : Requirement {
-        attribute :>> id = "UIR-REQ-012"; attribute :>> name = "DrugSelectorResponseTime";
+        @MemoIdentity { :>> providedId = "UIR-REQ-012"; } attribute :>> name = "DrugSelectorResponseTime";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "When the clinician activates the drug selector, the pump shall display the enabled drug list within 250 milliseconds.";
         attribute :>> notation = RequirementNotationKind::ears;

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

@@ -15,76 +15,78 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
     private import memo_core_enumerations::*;
     private import memo_assurance_safety_risk::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     item hzWrongRate : Hazard {
-        attribute :>> id = "UIR-HZ-001"; attribute :>> name = "InfusionAtIncorrectRate";
+        @MemoIdentity { :>> providedId = "UIR-HZ-001"; } attribute :>> name = "InfusionAtIncorrectRate";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcRateConfirm : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-001"; attribute :>> name = "RateChangeConfirmationDialog";
-        attribute :>> shortDescription = "Explicit confirmation step before a rate change applies.";
+        @MemoIdentity { :>> providedId = "UIR-RC-001"; } attribute :>> name = "RateChangeConfirmationDialog";
+        @MemoIdentity { :>> 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.";
         attribute :>> controlKind = RiskControlKind::protectiveMeasure;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzWrongDrug : Hazard {
-        attribute :>> id = "UIR-HZ-002"; attribute :>> name = "TherapyConfiguredForWrongDrug";
+        @MemoIdentity { :>> providedId = "UIR-HZ-002"; } attribute :>> name = "TherapyConfiguredForWrongDrug";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcDrugLibraryGuard : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-002"; attribute :>> name = "CareAreaDrugLibraryGuard";
-        attribute :>> shortDescription = "Restrict selection to enabled care-area drug-library entries.";
+        @MemoIdentity { :>> providedId = "UIR-RC-002"; } attribute :>> name = "CareAreaDrugLibraryGuard";
+        @MemoIdentity { :>> 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.";
         attribute :>> controlKind = RiskControlKind::inherentSafeDesign;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzUnexpectedPowerLoss : Hazard {
-        attribute :>> id = "UIR-HZ-003"; attribute :>> name = "UnexpectedTherapyInterruptionFromPowerLoss";
+        @MemoIdentity { :>> providedId = "UIR-HZ-003"; } attribute :>> name = "UnexpectedTherapyInterruptionFromPowerLoss";
         attribute :>> hazardType = HazardTypeKind::energyExposure;
         attribute :>> severity = SeverityKind::critical;
         attribute :>> foreseeable = true;
     }
 
     part rcLowBatteryProminence : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-003"; attribute :>> name = "ProminentLowBatteryStatus";
-        attribute :>> shortDescription = "Update and emphasize low remaining battery status within one second.";
+        @MemoIdentity { :>> providedId = "UIR-RC-003"; } attribute :>> name = "ProminentLowBatteryStatus";
+        @MemoIdentity { :>> 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.";
         attribute :>> controlKind = RiskControlKind::monitoring;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzIncorrectDeliveredVolumeAssessment : Hazard {
-        attribute :>> id = "UIR-HZ-004"; attribute :>> name = "IncorrectDeliveredVolumeAssessment";
+        @MemoIdentity { :>> providedId = "UIR-HZ-004"; } attribute :>> name = "IncorrectDeliveredVolumeAssessment";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     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.";
+        @MemoIdentity { :>> providedId = "UIR-RC-004"; } attribute :>> name = "InfusionDisplayFreshnessMonitor";
+        @MemoIdentity { :>> 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.";
         attribute :>> controlKind = RiskControlKind::monitoring;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzIncorrectEventChronology : Hazard {
-        attribute :>> id = "UIR-HZ-005"; attribute :>> name = "IncorrectTherapyEventChronology";
+        @MemoIdentity { :>> providedId = "UIR-HZ-005"; } attribute :>> name = "IncorrectTherapyEventChronology";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::minor;
         attribute :>> foreseeable = true;
     }
 
     part rcClockFreshnessCheck : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-005"; attribute :>> name = "SynchronizedClockFreshnessCheck";
-        attribute :>> shortDescription = "Synchronize the display clock and bound visible time error.";
+        @MemoIdentity { :>> providedId = "UIR-RC-005"; } attribute :>> name = "SynchronizedClockFreshnessCheck";
+        @MemoIdentity { :>> 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.";
         attribute :>> controlKind = RiskControlKind::plausibilityCheck;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;

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

@@ -20,9 +20,10 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
     private import memo_core_common::*;
     private import memo_assurance_verification_validation::*;
 
+    private import memo_core_common::MemoIdentity;
     verification vcRateChange : VerificationCase {
-        attribute :>> id = "UIR-VER-001"; attribute :>> name = "VerifyRateChangeConfirmation";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "UIR-VER-001"; } attribute :>> name = "VerifyRateChangeConfirmation";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "A rate change cannot reach the controller until the displayed value is explicitly confirmed.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -31,15 +32,15 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evRateChange : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "UIR-EV-001"; attribute :>> name = "RateChangeConfirmationTestRecord";
+        @MemoIdentity { :>> providedId = "UIR-EV-001"; } attribute :>> name = "RateChangeConfirmationTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";
     }
 
     verification vcDrugLibrarySelection : VerificationCase {
-        attribute :>> id = "VER-002"; attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "VER-002"; } attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Only enabled care-area drug and concentration records are selectable, and every selection supplies the matching dosing limits.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -48,15 +49,15 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evDrugLibrarySelection : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-002"; attribute :>> name = "DrugLibrarySelectionTestRecord";
+        @MemoIdentity { :>> providedId = "EVD-002"; } attribute :>> name = "DrugLibrarySelectionTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";
     }
 
     verification vcInfusionStatusContent : VerificationCase {
-        attribute :>> id = "VER-003"; attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "VER-003"; } attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
+        attribute :>> methodKind = MemoVerificationMethodKind::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 = ElementStatusKind::approved;
 
@@ -66,7 +67,7 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evInfusionStatusContent : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-003"; attribute :>> name = "InfusionStatusDisplayTestRecord";
+        @MemoIdentity { :>> providedId = "EVD-003"; } attribute :>> name = "InfusionStatusDisplayTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";