@memoarchitect/ontology 0.8.22 → 0.10.9

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/operational_behaviour_view.sysml

@@ -9,6 +9,8 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
     private import memo_viewpoints_operational_operational_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // Operational activity across clinical roles. The fixture is intentionally
     // product-neutral and belongs only to the diagram-samples project.
     item def OpPrescription specializes InterfaceItem {
@@ -18,10 +20,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         attribute :>> itemKind = InterfaceItemKind::signal;
     }
 
-    action def OpPrescribeTherapy specializes OperationalActivity { out item prescription : OpPrescription; }
-    action def OpVerifyPrescription specializes OperationalActivity { in item prescription : OpPrescription; }
-    action def OpRequestBolus specializes OperationalActivity { out item bolusRequest : OpBolusRequest; }
-    action def OpCheckLockout specializes OperationalActivity { in item bolusRequest : OpBolusRequest; }
+    action def OpPrescribeTherapy specializes OperativeAction { out item prescription : OpPrescription; }
+    action def OpVerifyPrescription specializes OperativeAction { in item prescription : OpPrescription; }
+    action def OpRequestBolus specializes OperativeAction { out item bolusRequest : OpBolusRequest; }
+    action def OpCheckLockout specializes OperativeAction { in item bolusRequest : OpBolusRequest; }
 
     // Use the canonical MEMO operational system type—never a sample-local
     // placeholder—so ontology-driven Explorer grouping remains authoritative.
@@ -45,22 +47,22 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         }
     }
 
-    action opSetupFlow : OperationalActivity {
+    action opSetupFlow : OperativeAction {
         action opPrescribe : OpPrescribeTherapy { attribute :>> name = "Prescribe Therapy"; }
         action opVerify : OpVerifyPrescription { attribute :>> name = "Verify Prescription"; }
         fork opForkPrep;
-        action opPrime : OperationalActivity { attribute :>> name = "Prime Pump & Load Reservoir"; }
-        action opSelfTest : OperationalActivity { attribute :>> name = "Run Device Self-Test"; }
+        action opPrime : OperativeAction { attribute :>> name = "Prime Pump & Load Reservoir"; }
+        action opSelfTest : OperativeAction { attribute :>> name = "Run Device Self-Test"; }
         join opJoinPrep;
-        action opProgram : OperationalActivity { attribute :>> name = "Program Pump Parameters"; }
-        action opConnect : OperationalActivity { attribute :>> name = "Connect to Patient"; }
-        action opStart : OperationalActivity { attribute :>> name = "Start Infusion"; }
-        action opAdminister : OperationalActivity {
+        action opProgram : OperativeAction { attribute :>> name = "Program Pump Parameters"; }
+        action opConnect : OperativeAction { attribute :>> name = "Connect to Patient"; }
+        action opStart : OperativeAction { attribute :>> name = "Start Infusion"; }
+        action opAdminister : OperativeAction {
             attribute :>> name = "Administer PCA Therapy";
             action opRequestBolus : OpRequestBolus { attribute :>> name = "Request Bolus"; }
             action opCheckLockout : OpCheckLockout { attribute :>> name = "Check Lockout"; }
-            action opDeliverDose : OperationalActivity { attribute :>> name = "Deliver Dose"; }
-            action opLogEvent : OperationalActivity { attribute :>> name = "Log Dose Event"; }
+            action opDeliverDose : OperativeAction { attribute :>> name = "Deliver Dose"; }
+            action opLogEvent : OperativeAction { attribute :>> name = "Log Dose Event"; }
             flow of OpBolusRequest from opRequestBolus.bolusRequest to opCheckLockout.bolusRequest;
             first start then opRequestBolus;
             first opRequestBolus then opCheckLockout;
@@ -100,10 +102,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         expose opSetupFlow::**;
         expose opCareSystem::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · Clinical PCA Setup (Operational)";
-        attribute :>> shortDescription = "Operational activity across clinical roles with concurrent preparation and a composite therapy step.";
+        @MemoIdentity { :>> shortDescription = "Operational activity across clinical roles with concurrent preparation and a composite therapy step."; }
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "ofd";
-        part :>> viewpointDefinition = operationalViewpoint;
+        ref :>> viewpointDefinition = operationalViewpoint;
     }
 }

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/requirements_view.sysml

@@ -11,30 +11,32 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
     private import memo_viewpoints_requirements_requirements_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     requirement needSafeTherapy : Need {
         attribute :>> needKind = NeedKind::'stakeholder';
-        attribute :>> id = "NEED-001"; attribute :>> name = "SafeTherapy";
+        @MemoIdentity { :>> providedId = "NEED-001"; } attribute :>> name = "SafeTherapy";
         attribute :>> statement = "The device shall support safe patient-controlled infusion therapy.";
     }
     requirement needTimelyAlarms : Need {
         attribute :>> needKind = NeedKind::'stakeholder';
-        attribute :>> id = "NEED-002"; attribute :>> name = "TimelyAlarms";
+        @MemoIdentity { :>> providedId = "NEED-002"; } attribute :>> name = "TimelyAlarms";
         attribute :>> statement = "Clinicians shall be notified promptly of any condition that endangers therapy.";
     }
 
     requirement reqDoseLimit : Requirement {
         attribute :>> requirementKind = RequirementKind::system;
-        attribute :>> id = "REQ-001"; attribute :>> name = "DoseLimitEnforcement";
+        @MemoIdentity { :>> providedId = "REQ-001"; } attribute :>> name = "DoseLimitEnforcement";
         attribute :>> statement = "The pump shall not deliver more than the prescribed maximum dose in any one-hour window.";
     }
     requirement reqOcclusionAlarm : Requirement {
         attribute :>> requirementKind = RequirementKind::system;
-        attribute :>> id = "REQ-002"; attribute :>> name = "OcclusionAlarm";
+        @MemoIdentity { :>> providedId = "REQ-002"; } attribute :>> name = "OcclusionAlarm";
         attribute :>> statement = "The pump shall raise an alarm within two seconds of detecting a downstream occlusion.";
     }
     requirement reqAlarmLoudness : Requirement {
         attribute :>> requirementKind = RequirementKind::system;
-        attribute :>> id = "REQ-003"; attribute :>> name = "AlarmLoudness";
+        @MemoIdentity { :>> providedId = "REQ-003"; } attribute :>> name = "AlarmLoudness";
         attribute :>> statement = "An active alarm shall be audible at 65 dBA at one metre.";
     }
 
@@ -50,11 +52,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
         expose reqOcclusionAlarm;
         expose reqAlarmLoudness;
         attribute depth = 1;
-        attribute :>> title = "Sample · Requirements";
-        attribute :>> shortDescription = "Stakeholder needs deriving into system requirements, wired by DerivesFrom trace edges.";
+        @MemoIdentity { :>> shortDescription = "Stakeholder needs deriving into system requirements, wired by DerivesFrom trace edges."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "req";
-        part :>> viewpointDefinition = requirementsViewpoint;
+        ref :>> viewpointDefinition = requirementsViewpoint;
         part :>> selectionQuery {
             attribute :>> includeRelationshipKinds = ("DerivesFrom");
         }

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/standard_activity_view.sysml

@@ -21,13 +21,14 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard
 
     private import activity_example::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view standardActivityView : MemoDiagramView {
         expose CustomerProcess::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · Customer Purchase Process";
-        attribute :>> shortDescription = "Customer login, guarded validation, shopping loop, checkout, credit approval, and explicit completion outcomes.";
+        @MemoIdentity { :>> shortDescription = "Customer login, guarded validation, shopping loop, checkout, credit approval, and explicit completion outcomes."; }
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "afd";
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
     }
 }

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/state_transition_view.sysml

@@ -11,6 +11,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_tr
     private import memo_core_enumerations::*;
     private import memo_core_common::*;
 
+    private import memo_core_common::MemoIdentity;
     state pumpModes : StateMachine {
         attribute :>> name = "Pump Operating Modes";
 
@@ -64,11 +65,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_tr
     view sampleStateTransitionView : MemoDiagramView {
         expose pumpModes::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · State Transition";
-        attribute :>> shortDescription = "A pump-mode state machine — Idle, Infusing, Paused, Alarm — where Infusing is a composite state nesting Priming, Delivering and Holding.";
+        @MemoIdentity { :>> shortDescription = "A pump-mode state machine — Idle, Infusing, Paused, Alarm — where Infusing is a composite state nesting Priming, Delivering and Holding."; }
         attribute :>> viewKind = DiagramViewKind::statetransition;
         attribute :>> diagramType = "stm";
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
         part :>> selectionQuery {
             attribute :>> includeElementKinds = ("StateMachine", "MemoState");
         }

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/tree_view.sysml

@@ -8,6 +8,8 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
     private import memo_viewpoints_physical_physical_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part rootA : HardwareAssembly {
         attribute :>> name = "Root A";
         part branchA1 : HardwareAssembly {
@@ -34,11 +36,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
     view sampleTreeView : MemoDiagramView {
         expose rootA::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · Tree";
-        attribute :>> shortDescription = "One connected dummy hierarchy with varied branch depths for tree layout development.";
+        @MemoIdentity { :>> shortDescription = "One connected dummy hierarchy with varied branch depths for tree layout development."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
-        part :>> viewpointDefinition = physicalViewpoint;
+        ref :>> viewpointDefinition = physicalViewpoint;
         attribute :>> layoutHint = "tree";
         attribute :>> styleHint = "expanded:rootA,rootB,branchA1,branchB1";
         part :>> selectionQuery {

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/use_case_view.sysml

@@ -7,6 +7,8 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
     private import memo_viewpoints_operational_operational_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // Product-neutral fixture for the UML-style use-case presentation.
     part patient : User {
         attribute :>> actorKind = ActorKind::patient;
@@ -22,7 +24,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
     }
 
     use case reviewStatus : UseCase {
-        attribute :>> id = "UC-SAMPLE-001";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-001"; }
         attribute :>> name = "Review Device Status";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include validateTherapySettings;
@@ -30,7 +32,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         actor patientActor = patient;
     }
     use case configureTherapy : UseCase {
-        attribute :>> id = "UC-SAMPLE-002";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-002"; }
         attribute :>> name = "Configure Therapy";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include reviewStatus;
@@ -39,7 +41,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         actor patientActor = patient;
     }
     use case maintainDevice : UseCase {
-        attribute :>> id = "UC-SAMPLE-003";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-003"; }
         attribute :>> name = "Maintain Device";
         attribute :>> useCaseKind = UseCaseKind::service;
         subject supportingSystem;
@@ -47,21 +49,23 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
     }
 
     use case documentTreatment : UseCase {
-        attribute :>> id = "UC-SAMPLE-004";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-004"; }
         attribute :>> name = "Document Treatment";
         attribute :>> useCaseKind = UseCaseKind::clinical;
     }
 
     // L2 child of Review Device Status: makes L0 → L1 → L2 selectable.
     use case validateTherapySettings : UseCase {
-        attribute :>> id = "UC-SAMPLE-005";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-005"; }
         attribute :>> name = "Validate Therapy Settings";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject supportingSystem;
         actor clinicianActor = clinician;
     }
 
-    connection : Extends connect extendingUseCase ::> documentTreatment to extendedUseCase ::> reviewStatus;
+    // Was an `Extends` connection; a use case extending another is
+    // specialization, and `:>` inherits the base's subject and actors.
+    dependency from documentTreatment to reviewStatus;
 
     view sampleUseCaseView : MemoDiagramView {
         expose patient;
@@ -72,11 +76,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         expose maintainDevice;
         expose documentTreatment;
         expose validateTherapySettings;
-        attribute :>> title = "Sample · Device Use Cases";
-        attribute :>> shortDescription = "Actors outside a device boundary with include, extend, hierarchy-level, and orthogonal-routing presentation.";
+        @MemoIdentity { :>> shortDescription = "Actors outside a device boundary with include, extend, hierarchy-level, and orthogonal-routing presentation."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "ucd";
-        part :>> viewpointDefinition = operationalViewpoint;
+        ref :>> viewpointDefinition = operationalViewpoint;
         part :>> selectionQuery {
             attribute :>> includeElementKinds = ("User", "UseCase");
             attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Extends");

package/examples/temperature-alarm/memo.identity.yaml

@@ -0,0 +1,64 @@
+# memo.identity.yaml — element identity registry (auto-generated)
+# Assigned once and never reassigned. COMMIT THIS FILE: deleting it does
+# not regenerate the same identities, it mints new ones, and every
+# external reference to a shortId or uuid then points at nothing.
+# Entries for deleted elements are retained so their numbers stay retired.
+
+elements:
+  "memo_examples_temperature_alarm::actAcknowledgeAlarm":
+    shortId: "OPR-1"
+    uuid: "ea2b4f6a-a25b-5c93-84a2-2c149dc5b870"
+  "memo_examples_temperature_alarm::chMonitor":
+    shortId: "LGC-1"
+    uuid: "0f804fdc-4ead-5205-a108-91ce7e4b4d04"
+  "memo_examples_temperature_alarm::chPrimary":
+    shortId: "LGC-2"
+    uuid: "be43f8c3-dbdc-505e-8c8e-b62571f179fb"
+  "memo_examples_temperature_alarm::elAlarmBanner":
+    shortId: "UIE-1"
+    uuid: "cb4a788e-08c4-5ac7-b68e-25fcbac3af7e"
+  "memo_examples_temperature_alarm::evLatencyReport":
+    shortId: "MMX-1"
+    uuid: "6ed38946-dcb2-5c1b-b97d-58db3d0c884c"
+  "memo_examples_temperature_alarm::fnDetectDeviation":
+    shortId: "SYS-1"
+    uuid: "b22e14c8-57b0-5ed9-8167-5a1a35e2e7e3"
+  "memo_examples_temperature_alarm::hzUndetectedDeviation":
+    shortId: "HZD-1"
+    uuid: "f7884ad4-503c-5eb1-a779-f02d4602817a"
+  "memo_examples_temperature_alarm::icuNurse":
+    shortId: "USR-1"
+    uuid: "f7b9403f-66c9-55f4-b6f5-a0f78c055260"
+  "memo_examples_temperature_alarm::rcReAnnunciate":
+    shortId: "RSK-1"
+    uuid: "6f1dbdd1-5eef-54e0-81d4-78a4001af7b3"
+  "memo_examples_temperature_alarm::taskAckAlarm":
+    shortId: "OPR-2"
+    uuid: "2a25bec5-50f6-5bef-ad59-750b277515db"
+  "memo_examples_temperature_alarm::ucMonitorTemp":
+    shortId: "USE-1"
+    uuid: "3e0d59fc-eda9-581e-a7d8-aafb2f466ea5"
+  "memo_examples_temperature_alarm::ueSilenceAndForget":
+    shortId: "USE-2"
+    uuid: "74eae9e0-1297-5ba9-b38c-b3500ce7745c"
+  "memo_examples_temperature_alarm::uiBedside":
+    shortId: "USR-2"
+    uuid: "664f0cf3-a7f3-536b-a078-470be588e6f3"
+  "memo_examples_temperature_alarm::uiaAcknowledge":
+    shortId: "UXX-1"
+    uuid: "bbcaba4d-4cb7-554c-8797-6e27f6dacfcb"
+  "memo_examples_temperature_alarm::uvAckTask":
+    shortId: "MMX-3"
+    uuid: "d268c19e-41da-5657-ac04-2f9bcdc29713"
+  "memo_examples_temperature_alarm::vcAlarmLatency":
+    shortId: "VRF-1"
+    uuid: "e4853bd5-0672-5040-af70-0c7f9177ee7a"
+  "memo_examples_temperature_alarm::vsAlarmLatency":
+    shortId: "OPR-3"
+    uuid: "a66d2a6f-8b2e-5302-a2e2-14a32f08e85e"
+  "memo_examples_temperature_alarm_project::projectBinding":
+    shortId: "PRJ-1"
+    uuid: "27e78a8e-0e34-5569-8d7d-06c416fbbbd6"
+  "memo_examples_temperature_alarm_viewpoints_unassigned_views_temperature_alarm_overview::temperatureAlarmOverview":
+    shortId: "MMX-2"
+    uuid: "e9653f71-dc0b-55aa-951c-469b402afad3"

package/examples/temperature-alarm/memo.package.yaml

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

package/examples/temperature-alarm/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_temperature_alarm_project {
     private import memo_examples_temperature_alarm_viewpoints_unassigned::*;
     private import memo_examples_temperature_alarm_viewpoints_unassigned_views_temperature_alarm_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-TEMPERATURE-ALARM-001";
+        @MemoIdentity { :>> providedId = "PMB-TEMPERATURE-ALARM-001"; }
         attribute :>> name = "TemperatureAlarmProjectMethodBinding";
         attribute :>> projectName = "Temperature Alarm";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/temperature-alarm/model/catalog/temperature_alarm.sysml

@@ -25,26 +25,27 @@ package memo_examples_temperature_alarm {
     private import memo_core_relationships::*;
     private import memo_assurance_safety_risk_analysis::*;
 
+    private import memo_core_common::MemoIdentity;
     // ── Operational intent ──────────────────────────────────────
     part icuNurse : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> id = "TA-USR-001"; attribute :>> name = "ICUNurse";
+        @MemoIdentity { :>> providedId = "TA-USR-001"; } attribute :>> name = "ICUNurse";
     }
     use case ucMonitorTemp : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        attribute :>> id = "TA-UC-001";
+        @MemoIdentity { :>> providedId = "TA-UC-001"; }
         attribute :>> name = "MonitorPatientTemperature";
         attribute :>> goalStatement = "Continuously monitor core temperature and be alerted when it leaves the safe range.";
         subject supportingSystem;
         actor icuNurseInitiator = icuNurse;
     }
-    action actAcknowledgeAlarm : OperationalActivity {
-        attribute :>> id = "TA-ACT-001"; attribute :>> name = "ReviewAndAcknowledgeAlarm";
+    action actAcknowledgeAlarm : OperativeAction {
+        @MemoIdentity { :>> providedId = "TA-ACT-001"; } attribute :>> name = "ReviewAndAcknowledgeAlarm";
         attribute :>> criticality = CriticalityKind::high;
 
-        action taskAckAlarm : UserTask {
+        action taskAckAlarm : OperativeAction {
             attribute :>> criticality = CriticalityKind::high;
-            attribute :>> id = "TA-TASK-001"; attribute :>> name = "AcknowledgeTemperatureAlarm";
+            @MemoIdentity { :>> providedId = "TA-TASK-001"; } attribute :>> name = "AcknowledgeTemperatureAlarm";
             attribute :>> taskGoal = "recognize, assess, and acknowledge the alarm";
             attribute :>> potentialHarm = "delayed intervention for hypo-/hyperthermia";
             attribute :>> severityIfFailed = SeverityKind::serious;
@@ -53,18 +54,18 @@ package memo_examples_temperature_alarm {
 
     // ── Functional and logical slices ───────────────────────────
     action fnDetectDeviation : SystemFunction {
-        attribute :>> id = "TA-FN-001"; attribute :>> name = "DetectTemperatureDeviation";
+        @MemoIdentity { :>> providedId = "TA-FN-001"; } attribute :>> name = "DetectTemperatureDeviation";
         attribute :>> criticality = CriticalityKind::high;
         // This function is owned by the functional architecture layer (its
         // package). Its safety and verification character are typed
         // relationships to assurance-owned elements, not tags on the function.
     }
     part chMonitor : LogicalComponent {
-        attribute :>> id = "TA-LC-001"; attribute :>> name = "TemperatureMonitorChannel";
+        @MemoIdentity { :>> providedId = "TA-LC-001"; } attribute :>> name = "TemperatureMonitorChannel";
         attribute :>> channelRole = ChannelRoleKind::monitor;
     }
     part chPrimary : LogicalComponent {
-        attribute :>> id = "TA-LC-002"; attribute :>> name = "MeasurementChannel";
+        @MemoIdentity { :>> providedId = "TA-LC-002"; } attribute :>> name = "MeasurementChannel";
         attribute :>> channelRole = ChannelRoleKind::primary;
     }
     connection : IndependentOf connect channel ::> chMonitor to otherChannel ::> chPrimary {
@@ -73,38 +74,40 @@ package memo_examples_temperature_alarm {
     allocate fnDetectDeviation to chMonitor;
     // ── UI: alarm element and acknowledgement action ────────────
     part uiBedside : UserInterface {
-        attribute :>> id = "TA-UI-001"; attribute :>> name = "BedsideDisplay";
+        @MemoIdentity { :>> providedId = "TA-UI-001"; } attribute :>> name = "BedsideDisplay";
         attribute :>> modality = "visual + audible";
     }
     part elAlarmBanner : UIElement {
-        attribute :>> id = "TA-EL-001"; attribute :>> name = "TempAlarmBanner";
+        @MemoIdentity { :>> providedId = "TA-EL-001"; } attribute :>> name = "TempAlarmBanner";
         attribute :>> alarmPriority = NotificationPriorityKind::high;
         attribute :>> annunciationModality = "flashing banner + tone";
         attribute :>> silenceable = true;
     }
     action uiaAcknowledge : UIAction {
-        attribute :>> id = "TA-UIA-001"; attribute :>> name = "AcknowledgeAlarm";
+        @MemoIdentity { :>> providedId = "TA-UIA-001"; } attribute :>> name = "AcknowledgeAlarm";
         attribute :>> intent = InteractionIntentKind::acknowledgement;
         attribute :>> confirmationRequired = true;
         perform fnDetectDeviation;
     }
     connection : ElementTriggersAction connect element ::> elAlarmBanner to triggeredAction ::> uiaAcknowledge;
-    connection : Supports { attribute :>> supportKind = SupportKind::task; connect supporter ::> uiBedside to supported ::> actAcknowledgeAlarm.taskAckAlarm; }
+    // Was `Supports`, a zero-attribute duplicate of both `Enables` and the
+    // native `dependency`.
+    dependency from uiBedside to actAcknowledgeAlarm::taskAckAlarm;
 
     // ── Risk chain with use error ───────────────────────────────
     part ueSilenceAndForget : UseError {
-        attribute :>> id = "TA-UE-001"; attribute :>> name = "SilenceWithoutAssessment";
+        @MemoIdentity { :>> providedId = "TA-UE-001"; } attribute :>> name = "SilenceWithoutAssessment";
         attribute :>> errorCategory = UseErrorCategoryKind::memoryRecall;
         attribute :>> severity = SeverityKind::serious;
     }
     item hzUndetectedDeviation : Hazard {
-        attribute :>> id = "TA-HZ-001"; attribute :>> name = "UndetectedTemperatureDeviation";
+        @MemoIdentity { :>> providedId = "TA-HZ-001"; } attribute :>> name = "UndetectedTemperatureDeviation";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
     part rcReAnnunciate : RiskControlMeasure {
-        attribute :>> id = "TA-RC-001"; attribute :>> name = "AutoReAnnunciationAfterSilence";
+        @MemoIdentity { :>> providedId = "TA-RC-001"; } attribute :>> name = "AutoReAnnunciationAfterSilence";
         attribute :>> controlKind = RiskControlKind::alarm;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
@@ -114,35 +117,33 @@ package memo_examples_temperature_alarm {
     connection : ControlImplementedBy connect riskControl ::> rcReAnnunciate to implementingElement ::> elAlarmBanner;
 
     // ── Verification, validation, evidence ──────────────────────
-    action vsAlarmLatency : MemoScenario {
-        attribute :>> id = "TA-VS-001"; attribute :>> name = "AlarmLatencyScenario";
-        attribute :>> scenarioKind = ScenarioKind::memoVerification;
-        attribute :>> variantKind = ScenarioVariantKind::nominal;
-        attribute :>> operationalCondition = OperationalConditionKind::normal;
-        attribute :>> scenarioPurpose = ScenarioPurposeKind::memoVerification;
+    action vsAlarmLatency : OperativeScenario {
+        @MemoIdentity { :>> providedId = "TA-VS-001"; } attribute :>> name = "AlarmLatencyScenario";
         attribute :>> pathSummary = "Induce out-of-range temperature; measure detection-to-annunciation latency.";
     }
     verification vcAlarmLatency : VerificationCase {
-        attribute :>> id = "TA-VC-001"; attribute :>> name = "VerifyAlarmLatency";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "TA-VC-001"; } attribute :>> name = "VerifyAlarmLatency";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "annunciation within 2 s of sustained deviation";
 
         subject verified : Base::Anything[*] = (fnDetectDeviation);
+
+        // Native `perform`: OperativeScenario is an action def, so executing a
+        // scenario is the language's own perform-action, not a MEMO relation.
+        perform vsAlarmLatency;
     }
     part uvAckTask : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::usabilityValidation;
-        attribute :>> id = "TA-UV-001"; attribute :>> name = "SummativeAlarmAcknowledgement";
+        @MemoIdentity { :>> providedId = "TA-UV-001"; } attribute :>> name = "SummativeAlarmAcknowledgement";
         attribute :>> participantProfile = "15 ICU nurses, representative shift conditions";
         attribute :>> participantCount = 15;
         attribute :>> acceptanceCriteria = "no critical-task failures; all alarms assessed before silencing";
     }
     part evLatencyReport : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "TA-EV-001"; attribute :>> name = "AlarmLatencyTestReport";
+        @MemoIdentity { :>> providedId = "TA-EV-001"; } attribute :>> name = "AlarmLatencyTestReport";
         attribute :>> evidenceType = "test report";
     }
-    connection : ExecutesScenario connect verificationCase ::> vcAlarmLatency to scenario ::> vsAlarmLatency;
-
-    connection : Validates connect validationCase ::> uvAckTask to validationTarget ::> actAcknowledgeAlarm.taskAckAlarm;
+    connection : Validates connect validationTarget ::> actAcknowledgeAlarm.taskAckAlarm to validationCase ::> uvAckTask;
     connection : ProducesEvidence connect producer ::> vcAlarmLatency to producedEvidence ::> evLatencyReport;
 }

package/examples/temperature-alarm/model/catalog/viewpoints/unassigned/views/temperature_alarm_overview.sysml

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

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

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

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

@@ -16,43 +16,45 @@ package memo_examples_ui_screen_regions_architecture_functional_functions {
     private import memo_core_enumerations::*;
     private import memo_architecture_functional_functions::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     action fnManageInfusionDisplay : SystemFunction {
-        attribute :>> id = "UIR-FN-002"; attribute :>> name = "ManageInfusionDisplay";
-        attribute :>> shortDescription = "Coordinate the running-infusion display and its interactive regions.";
+        @MemoIdentity { :>> providedId = "UIR-FN-002"; } attribute :>> name = "ManageInfusionDisplay";
+        @MemoIdentity { :>> shortDescription = "Coordinate the running-infusion display and its interactive regions."; }
         attribute :>> description = "Maintains the clinician-facing infusion state and delegates rate programming, drug selection, and status presentation to focused child functions.";
         attribute :>> criticality = CriticalityKind::high;
 
         action fnSetInfusionRate : SystemFunction {
-            attribute :>> id = "UIR-FN-001"; attribute :>> name = "SetInfusionRate";
-            attribute :>> shortDescription = "Apply a clinician-entered rate to the pump controller.";
+            @MemoIdentity { :>> providedId = "UIR-FN-001"; } attribute :>> name = "SetInfusionRate";
+            @MemoIdentity { :>> shortDescription = "Apply a clinician-entered rate to the pump controller."; }
             attribute :>> description = "Validates a requested infusion rate against the drug library limits and the pump's mechanical range, then commits it to the controller as the active setpoint.";
             attribute :>> criticality = CriticalityKind::high;
         }
 
         action fnValidateDrugSelection : SystemFunction {
-            attribute :>> id = "UIR-FN-003"; attribute :>> name = "ValidateDrugSelection";
-            attribute :>> shortDescription = "Validate a selected drug and concentration against the active care-area library.";
+            @MemoIdentity { :>> providedId = "UIR-FN-003"; } attribute :>> name = "ValidateDrugSelection";
+            @MemoIdentity { :>> shortDescription = "Validate a selected drug and concentration against the active care-area library."; }
             attribute :>> description = "Accepts only a drug and concentration present in the active drug library, then supplies its dosing limits to rate validation.";
             attribute :>> criticality = CriticalityKind::high;
         }
 
         action fnPresentDeliveryStatus : SystemFunction {
-            attribute :>> id = "UIR-FN-004"; attribute :>> name = "PresentDeliveryStatus";
-            attribute :>> shortDescription = "Present current rate and cumulative delivered volume.";
+            @MemoIdentity { :>> providedId = "UIR-FN-004"; } attribute :>> name = "PresentDeliveryStatus";
+            @MemoIdentity { :>> shortDescription = "Present current rate and cumulative delivered volume."; }
             attribute :>> description = "Refreshes the rate and volume-delivered indicators from controller state at the specified display update interval.";
             attribute :>> criticality = CriticalityKind::medium;
         }
 
         action fnPresentLocalTime : SystemFunction {
-            attribute :>> id = "UIR-FN-005"; attribute :>> name = "PresentLocalTime";
-            attribute :>> shortDescription = "Read the synchronized clock and present local time.";
+            @MemoIdentity { :>> providedId = "UIR-FN-005"; } attribute :>> name = "PresentLocalTime";
+            @MemoIdentity { :>> shortDescription = "Read the synchronized clock and present local time."; }
             attribute :>> description = "Formats the device clock as local 24-hour time and refreshes the status-bar value once per second.";
             attribute :>> criticality = CriticalityKind::medium;
         }
 
         action fnPresentBatteryStatus : SystemFunction {
-            attribute :>> id = "UIR-FN-006"; attribute :>> name = "PresentBatteryStatus";
-            attribute :>> shortDescription = "Present battery state of charge and low-battery status.";
+            @MemoIdentity { :>> providedId = "UIR-FN-006"; } attribute :>> name = "PresentBatteryStatus";
+            @MemoIdentity { :>> shortDescription = "Present battery state of charge and low-battery status."; }
             attribute :>> description = "Converts battery telemetry into percentage, icon state, and low-battery prominence for the running-infusion screen.";
             attribute :>> criticality = CriticalityKind::medium;
         }