@memoarchitect/ontology 0.12.1 → 0.15.0

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

@@ -26,9 +26,9 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     // 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 {
-        @MemoIdentity { :>> providedId = "UIR-UI-001"; } attribute :>> name = "PumpFrontPanel";
+        @MemoIdentity { :>> providedId = "UIR-UI-001"; :>> label = "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.";
+        doc /* 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";
     }
@@ -37,9 +37,9 @@ 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 {
-        @MemoIdentity { :>> providedId = "UIE-001"; } attribute :>> name = "MainInfusionScreen";
+        @MemoIdentity { :>> providedId = "UIE-001"; :>> label = "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.";
+        doc /* 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;
         attribute :>> navigationRole = "home";
@@ -59,10 +59,10 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         // boundary on the main screen and let the reviewer double-click to
         // recurse into its children.
         part elDrugSelectorRegion : UIElement {
-            attribute redefines name = "DrugSelectorRegion";
+            @MemoIdentity { :>> label = "DrugSelectorRegion"; }
             @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.";
+            doc /* Parent geometry region for the drug selector. Its state presentations are sibling UI elements, permitting the same region definition to be reused in flat, spatial, or 3-D renderings. */
             attribute redefines formKind = UIElementFormKind::panel;
             attribute redefines safetyClass = SafetyClassKind::C;
             attribute redefines labelText = "DRUG";
@@ -79,9 +79,9 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             }
 
             part elDrugSelectorClosed : UIElement {
-                @MemoIdentity { :>> providedId = "UIE-010"; } attribute :>> name = "ClosedDrugSelector";
+                @MemoIdentity { :>> providedId = "UIE-010"; :>> label = "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.";
+                doc /* The compact, normal-state selector. It is a sibling of the expanded menu rather than a different identity for the parent region. */
                 attribute :>> formKind = UIElementFormKind::selector;
                 attribute :>> safetyClass = SafetyClassKind::C;
                 attribute :>> labelText = "Norepinephrine 8 mg / 250 mL";
@@ -99,10 +99,10 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             // states that covering adjacent content is intended dropdown
             // behaviour, not a defect.
             part elDrugMenuExpanded : UIElement {
-                attribute redefines name = "ExpandedDrugMenu";
+                @MemoIdentity { :>> label = "ExpandedDrugMenu"; }
                 @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.";
+                doc /* Expanded state listing Norepinephrine, Dopamine, and Heparin. It shares the DrugSelectorRegion parent with the closed state and can extend beyond that parent's normal inline allocation. */
                 attribute redefines formKind = UIElementFormKind::selector;
                 attribute redefines safetyClass = SafetyClassKind::C;
                 attribute redefines labelText = "Norepinephrine; Dopamine; Heparin";
@@ -119,7 +119,7 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             }
         }
         part uiElement12 : UIElement {
-            attribute redefines name = "Region UIE-012";
+            @MemoIdentity { :>> label = "Region UIE-012"; }
             @MemoIdentity { :>> providedId = "UIE-012"; }
             attribute redefines formKind = UIElementFormKind::panel;
             attribute redefines disclosureKind = UIDisclosureKind::inline;
@@ -138,9 +138,9 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
 
     // ── The settings screen: a sibling root, not a child ────────
     part elSettingsScreen : UIElement {
-        @MemoIdentity { :>> providedId = "UIE-008"; } attribute :>> name = "InfusionSettingsScreen";
+        @MemoIdentity { :>> providedId = "UIE-008"; :>> label = "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.";
+        doc /* 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;
         attribute :>> navigationRole = "subordinate";
@@ -156,9 +156,9 @@ 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 {
-            @MemoIdentity { :>> providedId = "UIE-009"; } attribute :>> name = "RateChangeConfirmationDialog";
+            @MemoIdentity { :>> providedId = "UIE-009"; :>> label = "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.";
+            doc /* Restates the pending infusion rate above the settings screen and requires an explicit confirm or cancel disposition before the value can reach the controller. */
             attribute :>> formKind = UIElementFormKind::dialog;
             attribute :>> safetyClass = SafetyClassKind::C;
             attribute :>> labelText = "Confirm rate change?";
@@ -177,7 +177,7 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
 
     // ── UI actions and the functions they invoke ────────────────
     action uiaEditRate : UIAction {
-        @MemoIdentity { :>> providedId = "UIR-UIA-001"; } attribute :>> name = "EditInfusionRate";
+        @MemoIdentity { :>> providedId = "UIR-UIA-001"; :>> label = "EditInfusionRate"; }
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         attribute :>> feedbackProvided = "new rate echoed on a confirmation dialog before it is applied";
@@ -185,14 +185,14 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     }
 
     action uiaOpenSettings : UIAction {
-        @MemoIdentity { :>> providedId = "UIR-UIA-002"; } attribute :>> name = "OpenInfusionSettings";
+        @MemoIdentity { :>> providedId = "UIR-UIA-002"; :>> label = "OpenInfusionSettings"; }
         attribute :>> intent = InteractionIntentKind::navigation;
         attribute :>> confirmationRequired = false;
         perform fnManageInfusionDisplay;
     }
 
     action uiaSelectDrug : UIAction {
-        @MemoIdentity { :>> providedId = "UIR-UIA-003"; } attribute :>> name = "SelectDrug";
+        @MemoIdentity { :>> providedId = "UIR-UIA-003"; :>> label = "SelectDrug"; }
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         perform fnManageInfusionDisplay.fnValidateDrugSelection;

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

@@ -22,9 +22,9 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     private import memo_core_common::MemoIdentity;
     // ── The captures ────────────────────────────────────────────
     part capMain : ScreenCapture {
-        @MemoIdentity { :>> providedId = "UIR-CAP-001"; } attribute :>> name = "MainScreenCapture_v2.4.1";
+        @MemoIdentity { :>> providedId = "UIR-CAP-001"; :>> label = "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.";
+        doc /* 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";
         attribute :>> pixelWidth = 1024;
@@ -35,9 +35,9 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     }
 
     part capDrugSelector : ScreenCapture {
-        @MemoIdentity { :>> providedId = "UIC-003"; } attribute :>> name = "ExpandedDrugSelectorCapture_v2.4.1";
+        @MemoIdentity { :>> providedId = "UIC-003"; :>> label = "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.";
+        doc /* 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";
         attribute :>> pixelWidth = 798;
@@ -48,9 +48,9 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     }
 
     part capSettings : ScreenCapture {
-        @MemoIdentity { :>> providedId = "UIR-CAP-002"; } attribute :>> name = "SettingsScreenCapture_v2.4.1";
+        @MemoIdentity { :>> providedId = "UIR-CAP-002"; :>> label = "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.";
+        doc /* 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";
         attribute :>> pixelWidth = 1024;

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

@@ -23,7 +23,7 @@ package memo_examples_ui_screen_regions_artifacts_reviews_comments {
     // separate from `description`: what the element IS versus what someone
     // SAID about it. A generated DHF section renders the former only.
     part cmtDecimalSalience : ModelComment {
-        @MemoIdentity { :>> providedId = "UIR-CMT-001"; } attribute :>> name = "DecimalSalienceReview";
+        @MemoIdentity { :>> providedId = "UIR-CMT-001"; :>> label = "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";
@@ -33,14 +33,14 @@ package memo_examples_ui_screen_regions_artifacts_reviews_comments {
     }
 
     part cmtStatusBarScope : ModelComment {
-        @MemoIdentity { :>> providedId = "UIR-CMT-002"; } attribute :>> name = "StatusBarScopeQuery";
+        @MemoIdentity { :>> providedId = "UIR-CMT-002"; :>> label = "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 {
-            @MemoIdentity { :>> providedId = "UIR-CMT-003"; } attribute :>> name = "StatusBarScopeReply";
+            @MemoIdentity { :>> providedId = "UIR-CMT-003"; :>> label = "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";

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

@@ -18,7 +18,7 @@ package memo_examples_ui_screen_regions_artifacts_reviews_notes {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     part noteCaptureReview : ModelNote {
-        @MemoIdentity { :>> providedId = "UIR-NOTE-001"; } attribute :>> name = "CaptureReviewNote";
+        @MemoIdentity { :>> providedId = "UIR-NOTE-001"; :>> label = "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";

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

@@ -18,7 +18,7 @@ package memo_examples_ui_screen_regions_artifacts_reviews_rationales {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     part ratOverlayGeometry : ModelRationale {
-        @MemoIdentity { :>> providedId = "UIR-RAT-001"; } attribute :>> name = "OverlayGeometryRationale";
+        @MemoIdentity { :>> providedId = "UIR-RAT-001"; :>> label = "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";

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

@@ -19,41 +19,41 @@ package memo_examples_ui_screen_regions_assurance_human_factors {
     private import memo_core_common::MemoIdentity;
     // ── The risk side ───────────────────────────────────────────
     part ueMisreadRate : UseError {
-        @MemoIdentity { :>> providedId = "UIR-UE-001"; } attribute :>> name = "MisreadRateDecimalPoint";
+        @MemoIdentity { :>> providedId = "UIR-UE-001"; :>> label = "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.";
+        doc /* 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 {
-        @MemoIdentity { :>> providedId = "UIR-UE-002"; } attribute :>> name = "SelectWrongDrugConcentration";
+        @MemoIdentity { :>> providedId = "UIR-UE-002"; :>> label = "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.";
+        doc /* 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 {
-        @MemoIdentity { :>> providedId = "UIR-UE-003"; } attribute :>> name = "MissLowBatteryStatus";
+        @MemoIdentity { :>> providedId = "UIR-UE-003"; :>> label = "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.";
+        doc /* 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 {
-        @MemoIdentity { :>> providedId = "UIR-UE-004"; } attribute :>> name = "RelyOnStaleDeliveredVolume";
+        @MemoIdentity { :>> providedId = "UIR-UE-004"; :>> label = "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.";
+        doc /* 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 {
-        @MemoIdentity { :>> providedId = "UIR-UE-005"; } attribute :>> name = "RelyOnIncorrectDisplayedTime";
+        @MemoIdentity { :>> providedId = "UIR-UE-005"; :>> label = "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.";
+        doc /* 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

@@ -18,7 +18,7 @@ package memo_examples_ui_screen_regions_assurance_requirements_needs {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     requirement needReadableProgramming : Need {
-        @MemoIdentity { :>> providedId = "UIR-NEED-001"; } attribute :>> name = "ReadableAndConfirmableProgramming";
+        @MemoIdentity { :>> providedId = "UIR-NEED-001"; :>> label = "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

@@ -20,7 +20,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     private import memo_core_common::MemoIdentity;
     // ── The spec side ───────────────────────────────────────────
     requirement reqRateEntry : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-001"; } attribute :>> name = "RateEntryConfirmation";
+        @MemoIdentity { :>> providedId = "UIR-REQ-001"; :>> label = "RateEntryConfirmation"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -33,7 +33,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqRateLegibility : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-002"; } attribute :>> name = "RateLegibility";
+        @MemoIdentity { :>> providedId = "UIR-REQ-002"; :>> label = "RateLegibility"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -47,7 +47,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqVolumeDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-003"; } attribute :>> name = "VolumeDeliveredDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-003"; :>> label = "VolumeDeliveredDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "The pump shall display cumulative volume delivered for the active infusion, updated at least once per second.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -59,7 +59,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugLibrarySelection : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-004"; } attribute :>> name = "DrugLibrarySelection";
+        @MemoIdentity { :>> providedId = "UIR-REQ-004"; :>> label = "DrugLibrarySelection"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "The pump shall permit selection only from drug and concentration entries enabled for the active care area.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -72,7 +72,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDisplayFreshness : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-005"; } attribute :>> name = "InfusionStatusFreshness";
+        @MemoIdentity { :>> providedId = "UIR-REQ-005"; :>> label = "InfusionStatusFreshness"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -86,7 +86,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqActiveRateDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-006"; } attribute :>> name = "ActiveInfusionRateDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-006"; :>> label = "ActiveInfusionRateDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -99,7 +99,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugIdentityDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-007"; } attribute :>> name = "ActiveDrugIdentityDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-007"; :>> label = "ActiveDrugIdentityDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -112,7 +112,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqTimeDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-008"; } attribute :>> name = "LocalTimeDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-008"; :>> label = "LocalTimeDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -124,7 +124,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqTimeAccuracy : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-009"; } attribute :>> name = "DisplayedTimeAccuracy";
+        @MemoIdentity { :>> providedId = "UIR-REQ-009"; :>> label = "DisplayedTimeAccuracy"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -138,7 +138,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqBatteryStatusDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-010"; } attribute :>> name = "BatteryStatusDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-010"; :>> label = "BatteryStatusDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -151,7 +151,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqBatteryWarningPerformance : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-011"; } attribute :>> name = "LowBatteryStatusLatency";
+        @MemoIdentity { :>> providedId = "UIR-REQ-011"; :>> label = "LowBatteryStatusLatency"; }
         attribute :>> requirementType = RequirementTypeKind::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;
@@ -165,7 +165,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugSelectionPerformance : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-012"; } attribute :>> name = "DrugSelectorResponseTime";
+        @MemoIdentity { :>> providedId = "UIR-REQ-012"; :>> label = "DrugSelectorResponseTime"; }
         attribute :>> requirementType = RequirementTypeKind::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

@@ -18,76 +18,76 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     item hzWrongRate : Hazard {
-        @MemoIdentity { :>> providedId = "UIR-HZ-001"; } attribute :>> name = "InfusionAtIncorrectRate";
+        @MemoIdentity { :>> providedId = "UIR-HZ-001"; :>> label = "InfusionAtIncorrectRate"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcRateConfirm : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-001"; } attribute :>> name = "RateChangeConfirmationDialog";
+        @MemoIdentity { :>> providedId = "UIR-RC-001"; :>> label = "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.";
+        doc /* 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 {
-        @MemoIdentity { :>> providedId = "UIR-HZ-002"; } attribute :>> name = "TherapyConfiguredForWrongDrug";
+        @MemoIdentity { :>> providedId = "UIR-HZ-002"; :>> label = "TherapyConfiguredForWrongDrug"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcDrugLibraryGuard : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-002"; } attribute :>> name = "CareAreaDrugLibraryGuard";
+        @MemoIdentity { :>> providedId = "UIR-RC-002"; :>> label = "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.";
+        doc /* 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 {
-        @MemoIdentity { :>> providedId = "UIR-HZ-003"; } attribute :>> name = "UnexpectedTherapyInterruptionFromPowerLoss";
+        @MemoIdentity { :>> providedId = "UIR-HZ-003"; :>> label = "UnexpectedTherapyInterruptionFromPowerLoss"; }
         attribute :>> hazardType = HazardTypeKind::energyExposure;
         attribute :>> severity = SeverityKind::critical;
         attribute :>> foreseeable = true;
     }
 
     part rcLowBatteryProminence : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-003"; } attribute :>> name = "ProminentLowBatteryStatus";
+        @MemoIdentity { :>> providedId = "UIR-RC-003"; :>> label = "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.";
+        doc /* 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 {
-        @MemoIdentity { :>> providedId = "UIR-HZ-004"; } attribute :>> name = "IncorrectDeliveredVolumeAssessment";
+        @MemoIdentity { :>> providedId = "UIR-HZ-004"; :>> label = "IncorrectDeliveredVolumeAssessment"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcDisplayFreshnessMonitor : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-004"; } attribute :>> name = "InfusionDisplayFreshnessMonitor";
+        @MemoIdentity { :>> providedId = "UIR-RC-004"; :>> label = "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.";
+        doc /* 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 {
-        @MemoIdentity { :>> providedId = "UIR-HZ-005"; } attribute :>> name = "IncorrectTherapyEventChronology";
+        @MemoIdentity { :>> providedId = "UIR-HZ-005"; :>> label = "IncorrectTherapyEventChronology"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::minor;
         attribute :>> foreseeable = true;
     }
 
     part rcClockFreshnessCheck : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-005"; } attribute :>> name = "SynchronizedClockFreshnessCheck";
+        @MemoIdentity { :>> providedId = "UIR-RC-005"; :>> label = "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.";
+        doc /* 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

@@ -22,7 +22,7 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     private import memo_core_common::MemoIdentity;
     verification vcRateChange : VerificationCase {
-        @MemoIdentity { :>> providedId = "UIR-VER-001"; } attribute :>> name = "VerifyRateChangeConfirmation";
+        @MemoIdentity { :>> providedId = "UIR-VER-001"; :>> label = "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;
@@ -32,14 +32,14 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evRateChange : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        @MemoIdentity { :>> providedId = "UIR-EV-001"; } attribute :>> name = "RateChangeConfirmationTestRecord";
+        @MemoIdentity { :>> providedId = "UIR-EV-001"; :>> label = "RateChangeConfirmationTestRecord"; }
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";
     }
 
     verification vcDrugLibrarySelection : VerificationCase {
-        @MemoIdentity { :>> providedId = "VER-002"; } attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
+        @MemoIdentity { :>> providedId = "VER-002"; :>> label = "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;
@@ -49,14 +49,14 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evDrugLibrarySelection : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        @MemoIdentity { :>> providedId = "EVD-002"; } attribute :>> name = "DrugLibrarySelectionTestRecord";
+        @MemoIdentity { :>> providedId = "EVD-002"; :>> label = "DrugLibrarySelectionTestRecord"; }
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";
     }
 
     verification vcInfusionStatusContent : VerificationCase {
-        @MemoIdentity { :>> providedId = "VER-003"; } attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
+        @MemoIdentity { :>> providedId = "VER-003"; :>> label = "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;
@@ -67,7 +67,7 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evInfusionStatusContent : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        @MemoIdentity { :>> providedId = "EVD-003"; } attribute :>> name = "InfusionStatusDisplayTestRecord";
+        @MemoIdentity { :>> providedId = "EVD-003"; :>> label = "InfusionStatusDisplayTestRecord"; }
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";

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

@@ -51,8 +51,7 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
         attribute :>> diagramType = "bdd";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-102"; }
-            attribute :>> name = "UIFunctionalTreeQuery";
+            @MemoIdentity { :>> providedId = "QRY-102"; :>> label = "UIFunctionalTreeQuery"; }
             attribute :>> includeElementKinds = ("SystemFunction", "UIAction", "UIElement", "UserInterface");
             attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "Performs", "AllocatedTo");
             attribute :>> includeLayers = ("functions", "implementation");

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

@@ -51,8 +51,7 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
         attribute :>> diagramType = "req";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-101"; }
-            attribute :>> name = "UIRequirementsTraceQuery";
+            @MemoIdentity { :>> providedId = "QRY-101"; :>> label = "UIRequirementsTraceQuery"; }
             attribute :>> includeElementKinds = ("Need", "Requirement", "UIElement", "SystemFunction", "VerificationCase");
             attribute :>> includeRelationshipKinds = ("DerivesFrom", "SatisfiedBy", "VerifiedBy");
             attribute :>> includeLayers = ("requirements", "implementation", "functions", "assurance");

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

@@ -51,8 +51,7 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
         attribute :>> diagramType = "risk";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-103"; }
-            attribute :>> name = "UIRiskChainQuery";
+            @MemoIdentity { :>> providedId = "QRY-103"; :>> label = "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");

package/examples/ui-screen-regions/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// UI screen regions — project identity and method binding.
+// UI screen regions — model identity and method binding.
 //
 // The native entrypoint for this project. Everything that decides what the
 // model means is here or reachable from here: the imports name the reusable
@@ -33,10 +33,9 @@ package memo_examples_ui_screen_regions_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part uiScreenRegionsBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-UIR-001"; }
-        attribute :>> name = "UIScreenRegionsProjectMethodBinding";
-        attribute :>> projectName = "UI Screen Regions";
+    part uiScreenRegionsBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-UIR-001"; :>> label = "UIScreenRegionsModelMethodBinding"; }
+        attribute :>> modelName = "UI Screen Regions";
         // The default methodology selects everything the resolved ontology
         // provides, which is what makes the UI layout rules CR-MED-110…113
         // evaluable against this model.