@memoarchitect/ontology 0.8.24 → 0.11.0

package/examples/manual-surgical-instrument/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_manual_surgical_instrument_project {
     private import memo_examples_manual_surgical_instrument_viewpoints_unassigned::*;
     private import memo_examples_manual_surgical_instrument_viewpoints_unassigned_views_manual_surgical_instrument_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-SURGICAL-INSTRUMENT-001";
+        @MemoIdentity { :>> providedId = "PMB-SURGICAL-INSTRUMENT-001"; }
         attribute :>> name = "ManualSurgicalInstrumentProjectMethodBinding";
         attribute :>> projectName = "Manual Surgical Instrument";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/multidimensional-layers/model/catalog/multidimensional_layers.sysml

@@ -17,8 +17,10 @@ package memo_examples_multidimensional_layers {
     private import memo_assurance_verification_validation::*;
     private import memo_core_relationships::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part doseLimitChecker : SoftwareModule {
-        attribute :>> id = "MDL-SW-001";
+        @MemoIdentity { :>> providedId = "MDL-SW-001"; }
         attribute :>> name = "DoseLimitChecker";
         attribute :>> responsibility = "Reject therapy parameters outside the drug library's hard limits.";
         attribute :>> safetyClass = SafetyClassKind::C;
@@ -33,7 +35,7 @@ package memo_examples_multidimensional_layers {
     // The SAME identity progresses through realization stages — a deployed
     // configuration is a stage of the element, not a second element.
     part doseLimitCheckerRuntime : SoftwareComponent {
-        attribute :>> id = "MDL-RT-001";
+        @MemoIdentity { :>> providedId = "MDL-RT-001"; }
         attribute :>> name = "DoseLimitCheckerTask";
         attribute :>> periodMs = 50.0;
         attribute :>> deadlineMs = 50.0;
@@ -45,8 +47,8 @@ package memo_examples_multidimensional_layers {
     #refinement dependency doseLimitCheckerRuntime to doseLimitChecker;
 
     verification vcLimitEnforcement : VerificationCase {
-        attribute :>> id = "MDL-VC-001"; attribute :>> name = "VerifyHardLimitEnforcement";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "MDL-VC-001"; } attribute :>> name = "VerifyHardLimitEnforcement";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "all out-of-limit programs rejected across the equivalence classes";
 
         subject verified : Base::Anything[*] = (doseLimitChecker);

package/examples/multidimensional-layers/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_multidimensional_layers_project {
     private import memo_examples_multidimensional_layers_viewpoints_unassigned::*;
     private import memo_examples_multidimensional_layers_viewpoints_unassigned_views_multidimensional_layers_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-MULTIDIMENSIONAL-LAYERS-001";
+        @MemoIdentity { :>> providedId = "PMB-MULTIDIMENSIONAL-LAYERS-001"; }
         attribute :>> name = "MultidimensionalLayersProjectMethodBinding";
         attribute :>> projectName = "Multidimensional Layers";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/nested-architecture-dsm/memo.identity.yaml

@@ -0,0 +1,181 @@
+# 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_nested_architecture_dsm_architecture_functional_functions::fnAcceptInput":
+    shortId: "SYS-1"
+    uuid: "743bc427-3611-54b4-b02f-f30d4474e8be"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnAnnunciateAlarm":
+    shortId: "SYS-2"
+    uuid: "38a50787-f2bd-51ee-9b90-6e0e6695b9f6"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnComputeRate":
+    shortId: "SYS-3"
+    uuid: "88ffa158-7036-55a6-910f-72ebeff80d8c"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnControlDose":
+    shortId: "SYS-4"
+    uuid: "02ff5db5-4708-5084-8b09-2700ddb32faf"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDeliverTherapy":
+    shortId: "SYS-5"
+    uuid: "97af02c1-1869-51cd-b6a3-3d9b0803cac0"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDetectAirInLine":
+    shortId: "SYS-6"
+    uuid: "01cc8a11-19d1-598f-a56f-f7cf5ba0d243"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDetectOcclusion":
+    shortId: "SYS-7"
+    uuid: "a1c87fbc-9933-5b07-a7a4-faa2a1b53589"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDriveActuator":
+    shortId: "SYS-8"
+    uuid: "cafa121a-9376-543e-b16f-3e1755ca2aa6"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnEnforceDoseLimits":
+    shortId: "SYS-9"
+    uuid: "e3f15682-175f-550c-9daa-305017c19b54"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnEnsureSafety":
+    shortId: "SYS-10"
+    uuid: "4c0057ea-363a-534f-b3cb-d939e9b9f22d"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnInformUser":
+    shortId: "SYS-11"
+    uuid: "c0d2ae2a-c619-552c-ad94-67a87d75a5f0"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnManagePower":
+    shortId: "SYS-12"
+    uuid: "7306642f-c2c8-53ed-bf55-4369cdec0373"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnMeasureDelivered":
+    shortId: "SYS-13"
+    uuid: "e9e92f6d-4d74-5ab2-8a04-3a8a502db932"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnMeterFluid":
+    shortId: "SYS-14"
+    uuid: "ad2c6549-6cde-5d0c-972d-121765bad784"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnMonitorBattery":
+    shortId: "SYS-15"
+    uuid: "fa001550-9cd2-5118-880b-16dcc35f11e9"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnRenderStatus":
+    shortId: "SYS-16"
+    uuid: "2f581251-4e2e-5e0c-b937-e668d7abb1df"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnSelectPowerSource":
+    shortId: "SYS-17"
+    uuid: "96806e2b-9dad-5a25-906e-097da793517f"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnValidatePrescription":
+    shortId: "SYS-18"
+    uuid: "a8c04e09-7dfe-50ae-8b7e-184964772b59"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcAlarmAnnunciator":
+    shortId: "LGC-1"
+    uuid: "4a3bc844-d379-53a5-bd07-45cfddbb306f"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcBatteryManager":
+    shortId: "LGC-2"
+    uuid: "d6971bce-148e-5366-ab22-f80166c10b3f"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcDisplayManager":
+    shortId: "LGC-3"
+    uuid: "429d103c-969c-53fc-a447-2a0a9bb74764"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcDoseController":
+    shortId: "LGC-4"
+    uuid: "3b49ad97-598e-5474-aae7-e1b378be185d"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcKeypadHandler":
+    shortId: "LGC-5"
+    uuid: "69673dde-9347-5e7b-a896-6ee9e9069a86"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcOcclusionChannel":
+    shortId: "LGC-6"
+    uuid: "f1964871-b8a4-510d-b946-c962847f61d4"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcPowerRailMonitor":
+    shortId: "LGC-7"
+    uuid: "4deb4ccd-b9f0-5ff4-904e-cf88beff861d"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcPressureIntegrityChannel":
+    shortId: "LGC-8"
+    uuid: "45f4a37a-5d78-5b1c-8638-e3df1bdcfedf"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcPumpMechanism":
+    shortId: "LGC-9"
+    uuid: "630e869e-ef26-52f5-85a4-a9ab0e045006"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcReservoirInterface":
+    shortId: "LGC-10"
+    uuid: "8bf720eb-227b-59bc-a8bd-17597157badf"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcTherapyStateStore":
+    shortId: "LGC-11"
+    uuid: "59faa354-00b6-542a-9097-8b54c7cfa0a4"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::lcWatchdogChannel":
+    shortId: "LGC-12"
+    uuid: "11ebfa38-f25a-5d86-a3fe-0daf3bbf37ae"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::subControl":
+    shortId: "SBS-1"
+    uuid: "077d4a45-b168-52a4-9641-17c1f5b600ff"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::subFluidPath":
+    shortId: "SBS-2"
+    uuid: "43548a32-68a1-51bf-ab90-378990d36d2c"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::subPower":
+    shortId: "SBS-3"
+    uuid: "aa677b1f-eddb-5436-9c6f-85221b3b77aa"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::subSafetyMonitor":
+    shortId: "SBS-4"
+    uuid: "c22054ce-e7da-5a61-8d9e-3dc1c364baba"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::subUserInterface":
+    shortId: "SBS-5"
+    uuid: "d549ae19-f954-5553-98bc-2aae381754ae"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery":
+    shortId: "SYS-19"
+    uuid: "523429e1-0a24-5aa6-b5c0-47c7eb82f4df"
+  "memo_examples_nested_architecture_dsm_architecture_operational_context::ctxIntraHospitalTransport":
+    shortId: "USE-1"
+    uuid: "a4ec22e7-25cb-54f8-b606-397da672af36"
+  "memo_examples_nested_architecture_dsm_architecture_operational_context::usrWardNurse":
+    shortId: "USR-1"
+    uuid: "39407d04-fca3-5b3a-b28e-194c9f31e9d4"
+  "memo_examples_nested_architecture_dsm_assurance_requirements::reqAirInLine":
+    shortId: "REQ-1"
+    uuid: "f2f205b4-1e68-5b3e-ae8d-cea54cdc3388"
+  "memo_examples_nested_architecture_dsm_assurance_requirements::reqAlarmAnnunciation":
+    shortId: "REQ-2"
+    uuid: "0b3ba822-88d2-5962-8593-f00c15ead07d"
+  "memo_examples_nested_architecture_dsm_assurance_requirements::reqBatteryEndurance":
+    shortId: "REQ-3"
+    uuid: "1f99da03-e599-54ad-aa32-4c24bf3ae84a"
+  "memo_examples_nested_architecture_dsm_assurance_requirements::reqDoseAccuracy":
+    shortId: "REQ-4"
+    uuid: "43f50994-6b6f-5417-8de1-c5ffd2d49451"
+  "memo_examples_nested_architecture_dsm_assurance_requirements::reqOcclusionDetection":
+    shortId: "REQ-5"
+    uuid: "8a62a44d-826b-5adb-801f-7b2597f482c5"
+  "memo_examples_nested_architecture_dsm_assurance_requirements::reqPrescriptionConfirmation":
+    shortId: "REQ-6"
+    uuid: "7c2749b0-b903-5aec-b96b-bd959ca99cc4"
+  "memo_examples_nested_architecture_dsm_assurance_requirements::reqStatusVisibility":
+    shortId: "REQ-7"
+    uuid: "395b9df3-124d-5aec-abac-8d89fda5636d"
+  "memo_examples_nested_architecture_dsm_assurance_requirements_needs::needAccurateTherapy":
+    shortId: "NDX-1"
+    uuid: "58558865-5133-5b8b-a6b8-6a1dcc99b070"
+  "memo_examples_nested_architecture_dsm_assurance_requirements_needs::needLegibleStatus":
+    shortId: "NDX-2"
+    uuid: "2cc071e0-c4c5-5471-ab29-7ce129dc6091"
+  "memo_examples_nested_architecture_dsm_assurance_requirements_needs::needProtectionFromHarm":
+    shortId: "NDX-3"
+    uuid: "ec2774b0-8efa-5546-bfba-dabda753f6da"
+  "memo_examples_nested_architecture_dsm_assurance_requirements_needs::needUninterruptedTherapy":
+    shortId: "NDX-4"
+    uuid: "3ffb013e-fa0d-5898-9b33-af672dbc9813"
+  "memo_examples_nested_architecture_dsm_assurance_verification_validation::vcAirInLineResponse":
+    shortId: "VRF-1"
+    uuid: "e753cc07-566d-59b6-bb3c-6cc6b459352f"
+  "memo_examples_nested_architecture_dsm_assurance_verification_validation::vcAlarmSignals":
+    shortId: "VRF-2"
+    uuid: "af14e49c-02b8-5516-bf8c-39ed3bfe6d94"
+  "memo_examples_nested_architecture_dsm_assurance_verification_validation::vcBatteryEndurance":
+    shortId: "VRF-3"
+    uuid: "52567124-af48-59df-9723-3fcbab9e6abd"
+  "memo_examples_nested_architecture_dsm_assurance_verification_validation::vcConfirmationFlow":
+    shortId: "VRF-4"
+    uuid: "39b56b75-a0d9-50ce-ba8c-05f251f61442"
+  "memo_examples_nested_architecture_dsm_assurance_verification_validation::vcDoseAccuracy":
+    shortId: "VRF-5"
+    uuid: "24488b50-82d9-5247-baf6-10bff2374783"
+  "memo_examples_nested_architecture_dsm_assurance_verification_validation::vcOcclusionResponse":
+    shortId: "VRF-6"
+    uuid: "0104d952-e7f0-5a72-ae6f-581f55e658d2"
+  "memo_examples_nested_architecture_dsm_assurance_verification_validation::vcPowerSourceSwitch":
+    shortId: "VRF-7"
+    uuid: "6d48d53d-2fcf-56d1-9118-6d46fc0a0885"
+  "memo_examples_nested_architecture_dsm_assurance_verification_validation::vcStatusLegibility":
+    shortId: "VRF-8"
+    uuid: "c9ca55b3-684d-5d15-ab5d-2f9afd4e88e3"
+  "memo_examples_nested_architecture_dsm_project::projectBinding":
+    shortId: "PRJ-1"
+    uuid: "1da70d84-c917-5ab8-8c32-f293886ffe93"

package/examples/nested-architecture-dsm/model/catalog/architecture/functional/functions.sysml

@@ -14,30 +14,32 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
     private import memo_architecture_functional_functions::*;
     private import memo_architecture_operational_context_use_context::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Deliver therapy ──────────────────────────────────────────
     action fnDeliverTherapy : SystemFunction {
-        attribute :>> id = "NDS-FN-001"; attribute :>> name = "DeliverTherapy";
+        @MemoIdentity { :>> providedId = "NDS-FN-001"; } attribute :>> name = "DeliverTherapy";
         attribute :>> functionCategory = "therapy";
         attribute :>> criticality = CriticalityKind::catastrophic;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> outputSummary = "fluid delivered to the patient line at the prescribed rate";
 
         action fnMeterFluid : SystemFunction {
-            attribute :>> id = "NDS-FN-002"; attribute :>> name = "MeterFluid";
+            @MemoIdentity { :>> providedId = "NDS-FN-002"; } attribute :>> name = "MeterFluid";
             attribute :>> functionCategory = "therapy";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> concernKind = ConcernKind::safety;
             attribute :>> outputSummary = "measured volume displaced per control period";
 
             action fnDriveActuator : SystemFunction {
-                attribute :>> id = "NDS-FN-003"; attribute :>> name = "DriveActuator";
+                @MemoIdentity { :>> providedId = "NDS-FN-003"; } attribute :>> name = "DriveActuator";
                 attribute :>> functionCategory = "therapy";
                 attribute :>> criticality = CriticalityKind::catastrophic;
                 attribute :>> trigger = "rate command from the dose control loop";
                 attribute :>> concernKind = ConcernKind::safety;
             }
             action fnMeasureDelivered : SystemFunction {
-                attribute :>> id = "NDS-FN-004"; attribute :>> name = "MeasureDeliveredVolume";
+                @MemoIdentity { :>> providedId = "NDS-FN-004"; } attribute :>> name = "MeasureDeliveredVolume";
                 attribute :>> functionCategory = "therapy";
                 attribute :>> criticality = CriticalityKind::high;
                 attribute :>> concernKind = ConcernKind::safety;
@@ -45,20 +47,20 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
             }
         }
         action fnControlDose : SystemFunction {
-            attribute :>> id = "NDS-FN-005"; attribute :>> name = "ControlDose";
+            @MemoIdentity { :>> providedId = "NDS-FN-005"; } attribute :>> name = "ControlDose";
             attribute :>> functionCategory = "therapy";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> concernKind = ConcernKind::safety;
 
             action fnComputeRate : SystemFunction {
-                attribute :>> id = "NDS-FN-006"; attribute :>> name = "ComputeInfusionRate";
+                @MemoIdentity { :>> providedId = "NDS-FN-006"; } attribute :>> name = "ComputeInfusionRate";
                 attribute :>> functionCategory = "therapy";
                 attribute :>> criticality = CriticalityKind::catastrophic;
                 attribute :>> concernKind = ConcernKind::safety;
                 attribute :>> outputSummary = "rate command, saturated at the prescribed ceiling";
             }
             action fnValidatePrescription : SystemFunction {
-                attribute :>> id = "NDS-FN-007"; attribute :>> name = "ValidatePrescription";
+                @MemoIdentity { :>> providedId = "NDS-FN-007"; } attribute :>> name = "ValidatePrescription";
                 attribute :>> functionCategory = "therapy";
                 attribute :>> criticality = CriticalityKind::high;
                 attribute :>> concernKind = ConcernKind::clinical;
@@ -69,27 +71,27 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
 
     // ── Ensure safety ────────────────────────────────────────────
     action fnEnsureSafety : SystemFunction {
-        attribute :>> id = "NDS-FN-008"; attribute :>> name = "EnsureSafety";
+        @MemoIdentity { :>> providedId = "NDS-FN-008"; } attribute :>> name = "EnsureSafety";
         attribute :>> functionCategory = "protection";
         attribute :>> criticality = CriticalityKind::catastrophic;
         attribute :>> concernKind = ConcernKind::safety;
 
         action fnDetectOcclusion : SystemFunction {
-            attribute :>> id = "NDS-FN-009"; attribute :>> name = "DetectOcclusion";
+            @MemoIdentity { :>> providedId = "NDS-FN-009"; } attribute :>> name = "DetectOcclusion";
             attribute :>> functionCategory = "protection";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> trigger = "line pressure above the occlusion threshold";
             attribute :>> concernKind = ConcernKind::safety;
         }
         action fnDetectAirInLine : SystemFunction {
-            attribute :>> id = "NDS-FN-010"; attribute :>> name = "DetectAirInLine";
+            @MemoIdentity { :>> providedId = "NDS-FN-010"; } attribute :>> name = "DetectAirInLine";
             attribute :>> functionCategory = "protection";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> trigger = "air bolus detected in the patient line";
             attribute :>> concernKind = ConcernKind::safety;
         }
         action fnEnforceDoseLimits : SystemFunction {
-            attribute :>> id = "NDS-FN-011"; attribute :>> name = "EnforceDoseLimits";
+            @MemoIdentity { :>> providedId = "NDS-FN-011"; } attribute :>> name = "EnforceDoseLimits";
             attribute :>> functionCategory = "protection";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> concernKind = ConcernKind::safety;
@@ -99,27 +101,27 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
 
     // ── Inform the user ──────────────────────────────────────────
     action fnInformUser : SystemFunction {
-        attribute :>> id = "NDS-FN-012"; attribute :>> name = "InformUser";
+        @MemoIdentity { :>> providedId = "NDS-FN-012"; } attribute :>> name = "InformUser";
         attribute :>> functionCategory = "interaction";
         attribute :>> criticality = CriticalityKind::high;
         attribute :>> concernKind = ConcernKind::usability;
 
         action fnRenderStatus : SystemFunction {
-            attribute :>> id = "NDS-FN-013"; attribute :>> name = "RenderTherapyStatus";
+            @MemoIdentity { :>> providedId = "NDS-FN-013"; } attribute :>> name = "RenderTherapyStatus";
             attribute :>> functionCategory = "interaction";
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> concernKind = ConcernKind::usability;
             attribute :>> outputSummary = "rate, volume delivered and time remaining";
         }
         action fnAnnunciateAlarm : SystemFunction {
-            attribute :>> id = "NDS-FN-014"; attribute :>> name = "AnnunciateAlarm";
+            @MemoIdentity { :>> providedId = "NDS-FN-014"; } attribute :>> name = "AnnunciateAlarm";
             attribute :>> functionCategory = "interaction";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> trigger = "any active alarm condition";
             attribute :>> concernKind = ConcernKind::safety;
         }
         action fnAcceptInput : SystemFunction {
-            attribute :>> id = "NDS-FN-015"; attribute :>> name = "AcceptClinicianInput";
+            @MemoIdentity { :>> providedId = "NDS-FN-015"; } attribute :>> name = "AcceptClinicianInput";
             attribute :>> functionCategory = "interaction";
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> concernKind = ConcernKind::usability;
@@ -129,20 +131,20 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
 
     // ── Manage power ─────────────────────────────────────────────
     action fnManagePower : SystemFunction {
-        attribute :>> id = "NDS-FN-016"; attribute :>> name = "ManagePower";
+        @MemoIdentity { :>> providedId = "NDS-FN-016"; } attribute :>> name = "ManagePower";
         attribute :>> functionCategory = "platform";
         attribute :>> criticality = CriticalityKind::high;
         attribute :>> concernKind = ConcernKind::reliability;
 
         action fnMonitorBattery : SystemFunction {
-            attribute :>> id = "NDS-FN-017"; attribute :>> name = "MonitorBatteryState";
+            @MemoIdentity { :>> providedId = "NDS-FN-017"; } attribute :>> name = "MonitorBatteryState";
             attribute :>> functionCategory = "platform";
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> concernKind = ConcernKind::reliability;
             attribute :>> outputSummary = "state of charge and remaining run time";
         }
         action fnSelectPowerSource : SystemFunction {
-            attribute :>> id = "NDS-FN-018"; attribute :>> name = "SelectPowerSource";
+            @MemoIdentity { :>> providedId = "NDS-FN-018"; } attribute :>> name = "SelectPowerSource";
             attribute :>> functionCategory = "platform";
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> trigger = "mains loss or rail brownout";

package/examples/nested-architecture-dsm/model/catalog/architecture/logical/structure.sysml

@@ -12,9 +12,11 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_operational_context_use_context::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Level 0: the system ──────────────────────────────────────
     part sysTherapyDelivery : System {
-        attribute :>> id = "NDS-SYS-001"; attribute :>> name = "TherapyDeliverySystem";
+        @MemoIdentity { :>> providedId = "NDS-SYS-001"; } attribute :>> name = "TherapyDeliverySystem";
         attribute :>> componentRole = ComponentRoleKind::generic;
         attribute :>> systemType = SystemTypeKind::logical;
         attribute :>> systemBoundaryDescription = "Everything inside the pump enclosure, including its power path and user interface.";
@@ -22,35 +24,35 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
 
         // ── Level 1: subsystems ──────────────────────────────────
         part subFluidPath : Subsystem {
-            attribute :>> id = "NDS-SUB-001"; attribute :>> name = "FluidPathSubsystem";
+            @MemoIdentity { :>> providedId = "NDS-SUB-001"; } attribute :>> name = "FluidPathSubsystem";
             attribute :>> componentRole = ComponentRoleKind::generic;
             attribute :>> systemType = SystemTypeKind::hardware;
             attribute :>> responsibility = "Move fluid from the reservoir to the patient line at a commanded rate.";
 
             // ── Level 2/3: components ─────────────────────────────
             part lcPumpMechanism : LogicalComponent {
-                attribute :>> id = "NDS-LC-001"; attribute :>> name = "PumpMechanism";
+                @MemoIdentity { :>> providedId = "NDS-LC-001"; } attribute :>> name = "PumpMechanism";
                 attribute :>> componentRole = ComponentRoleKind::controlElement;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Displace fluid under command.";
                 attribute :>> controlledVariable = "delivered volume per stroke";
             }
             part lcOcclusionChannel : LogicalComponent {
-                attribute :>> id = "NDS-LC-002"; attribute :>> name = "OcclusionSensingChannel";
+                @MemoIdentity { :>> providedId = "NDS-LC-002"; } attribute :>> name = "OcclusionSensingChannel";
                 attribute :>> componentRole = ComponentRoleKind::channel;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Sense line pressure and air in line.";
                 attribute :>> channelRole = ChannelRoleKind::primary;
             }
             part lcReservoirInterface : LogicalComponent {
-                attribute :>> id = "NDS-LC-003"; attribute :>> name = "ReservoirInterface";
+                @MemoIdentity { :>> providedId = "NDS-LC-003"; } attribute :>> name = "ReservoirInterface";
                 attribute :>> componentRole = ComponentRoleKind::generic;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Seat the reservoir and expose its remaining volume.";
             }
         }
         part subControl : Subsystem {
-            attribute :>> id = "NDS-SUB-002"; attribute :>> name = "ControlSubsystem";
+            @MemoIdentity { :>> providedId = "NDS-SUB-002"; } attribute :>> name = "ControlSubsystem";
             attribute :>> componentRole = ComponentRoleKind::controlElement;
             attribute :>> systemType = SystemTypeKind::software;
             attribute :>> responsibility = "Decide what the fluid path should do, and hold the therapy state.";
@@ -60,14 +62,14 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
             // which is what makes a collapsed ControlSubsystem row a genuine
             // roll-up rather than a rename of its children.
             part subSafetyMonitor : Subsystem {
-                attribute :>> id = "NDS-SUB-005"; attribute :>> name = "SafetyMonitorSubsystem";
+                @MemoIdentity { :>> providedId = "NDS-SUB-005"; } attribute :>> name = "SafetyMonitorSubsystem";
                 attribute :>> componentRole = ComponentRoleKind::channel;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Watch the control path from outside it and stop delivery on breach.";
                 attribute :>> safetyPartition = "monitor partition, separate MPU region from the control partition";
 
                 part lcWatchdogChannel : LogicalComponent {
-                    attribute :>> id = "NDS-LC-006"; attribute :>> name = "WatchdogChannel";
+                    @MemoIdentity { :>> providedId = "NDS-LC-006"; } attribute :>> name = "WatchdogChannel";
                     attribute :>> componentRole = ComponentRoleKind::channel;
                     attribute :>> systemType = SystemTypeKind::software;
                     attribute :>> responsibility = "Reset to the safe state when the control loop misses its deadline.";
@@ -75,7 +77,7 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
                     attribute :>> diversityBasis = "independent time base from the control partition";
                 }
                 part lcPressureIntegrityChannel : LogicalComponent {
-                    attribute :>> id = "NDS-LC-007"; attribute :>> name = "PressureIntegrityChannel";
+                    @MemoIdentity { :>> providedId = "NDS-LC-007"; } attribute :>> name = "PressureIntegrityChannel";
                     attribute :>> componentRole = ComponentRoleKind::channel;
                     attribute :>> systemType = SystemTypeKind::software;
                     attribute :>> responsibility = "Cross-check pressure against the commanded rate and stop on divergence.";
@@ -84,7 +86,7 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
                 }
             }
             part lcDoseController : LogicalComponent {
-                attribute :>> id = "NDS-LC-004"; attribute :>> name = "DoseController";
+                @MemoIdentity { :>> providedId = "NDS-LC-004"; } attribute :>> name = "DoseController";
                 attribute :>> componentRole = ComponentRoleKind::controlElement;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Turn a prescription into rate commands.";
@@ -92,7 +94,7 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
                 attribute :>> controlledVariable = "infusion rate";
             }
             part lcTherapyStateStore : LogicalComponent {
-                attribute :>> id = "NDS-LC-005"; attribute :>> name = "TherapyStateStore";
+                @MemoIdentity { :>> providedId = "NDS-LC-005"; } attribute :>> name = "TherapyStateStore";
                 attribute :>> componentRole = ComponentRoleKind::dataStore;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Hold the active therapy record across power cycles.";
@@ -101,27 +103,27 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
             }
         }
         part subUserInterface : Subsystem {
-            attribute :>> id = "NDS-SUB-003"; attribute :>> name = "UserInterfaceSubsystem";
+            @MemoIdentity { :>> providedId = "NDS-SUB-003"; } attribute :>> name = "UserInterfaceSubsystem";
             attribute :>> componentRole = ComponentRoleKind::userInterface;
             attribute :>> systemType = SystemTypeKind::software;
             attribute :>> responsibility = "Present therapy state to the clinician and accept their input.";
 
             part lcDisplayManager : LogicalComponent {
-                attribute :>> id = "NDS-LC-008"; attribute :>> name = "DisplayManager";
+                @MemoIdentity { :>> providedId = "NDS-LC-008"; } attribute :>> name = "DisplayManager";
                 attribute :>> componentRole = ComponentRoleKind::userInterface;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Render therapy state on the main screen.";
                 attribute :>> interactionSummary = "read-only status surface, refreshed once per second";
             }
             part lcAlarmAnnunciator : LogicalComponent {
-                attribute :>> id = "NDS-LC-009"; attribute :>> name = "AlarmAnnunciator";
+                @MemoIdentity { :>> providedId = "NDS-LC-009"; } attribute :>> name = "AlarmAnnunciator";
                 attribute :>> componentRole = ComponentRoleKind::userInterface;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Raise audible and visible alarms by priority.";
                 attribute :>> interactionSummary = "IEC 60601-1-8 alarm signals";
             }
             part lcKeypadHandler : LogicalComponent {
-                attribute :>> id = "NDS-LC-010"; attribute :>> name = "KeypadHandler";
+                @MemoIdentity { :>> providedId = "NDS-LC-010"; } attribute :>> name = "KeypadHandler";
                 attribute :>> componentRole = ComponentRoleKind::userInterface;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Debounce and interpret key presses.";
@@ -129,19 +131,19 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
             }
         }
         part subPower : Subsystem {
-            attribute :>> id = "NDS-SUB-004"; attribute :>> name = "PowerSubsystem";
+            @MemoIdentity { :>> providedId = "NDS-SUB-004"; } attribute :>> name = "PowerSubsystem";
             attribute :>> componentRole = ComponentRoleKind::generic;
             attribute :>> systemType = SystemTypeKind::hardware;
             attribute :>> responsibility = "Supply and monitor power across mains and battery operation.";
 
             part lcBatteryManager : LogicalComponent {
-                attribute :>> id = "NDS-LC-011"; attribute :>> name = "BatteryManager";
+                @MemoIdentity { :>> providedId = "NDS-LC-011"; } attribute :>> name = "BatteryManager";
                 attribute :>> componentRole = ComponentRoleKind::generic;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Charge, gauge and protect the battery.";
             }
             part lcPowerRailMonitor : LogicalComponent {
-                attribute :>> id = "NDS-LC-012"; attribute :>> name = "PowerRailMonitor";
+                @MemoIdentity { :>> providedId = "NDS-LC-012"; } attribute :>> name = "PowerRailMonitor";
                 attribute :>> componentRole = ComponentRoleKind::channel;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Detect rail brownout and request a source switch.";

package/examples/nested-architecture-dsm/model/catalog/architecture/operational/context.sysml

@@ -0,0 +1,34 @@
+// Who holds the needs, and where they arise.
+//
+// Both were prose on the Need — `userPopulationReference = "ward nurses,
+// including those wearing corrective lenses"` and an
+// `operationalContextReference` sentence. A user's characteristics belong on
+// the User, where IEC 62366-1's profile is already typed, and a need reaches
+// its user through HeldBy.
+package memo_examples_nested_architecture_dsm_architecture_operational_context {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_operational_context_use_context::*;
+
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+    part usrWardNurse : User {
+        @MemoIdentity { :>> providedId = "NDS-USR-001"; }
+        attribute :>> name = "WardNurse";
+        attribute :>> userPopulation = "ward nurses";
+        attribute :>> impairmentConsiderations = "some wear corrective lenses; display legibility at bedside distance";
+        attribute :>> intendedTraining = "device orientation at ward induction";
+        attribute :>> intendedQualification = "registered nurse";
+        attribute :>> clinicalRole = "bedside therapy management";
+    }
+
+    part ctxIntraHospitalTransport : UseContext {
+        @MemoIdentity { :>> providedId = "NDS-CTX-001"; }
+        attribute :>> name = "IntraHospitalTransport";
+        attribute :>> careSetting = "inpatient ward and transfer between wards";
+        attribute :>> environment = "moving bed, up to four hours away from mains power";
+        attribute :>> connectedUse = false;
+    }
+}

package/examples/nested-architecture-dsm/model/catalog/assurance/requirements/needs.sysml

@@ -9,32 +9,34 @@ package memo_examples_nested_architecture_dsm_assurance_requirements_needs {
     private import memo_core_relationships::*;
     private import memo_assurance_requirements_needs::*;
     private import memo_examples_nested_architecture_dsm_assurance_requirements::*;
+    private import memo_examples_nested_architecture_dsm_architecture_operational_context::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     requirement needAccurateTherapy : Need {
-        attribute :>> id = "NDS-NEED-001"; attribute :>> name = "AccurateTherapyDelivery";
+        @MemoIdentity { :>> providedId = "NDS-NEED-001"; } attribute :>> name = "AccurateTherapyDelivery";
         attribute :>> needKind = NeedKind::'stakeholder';
         attribute :>> statement = "Clinicians need the delivered dose to match the prescription closely enough to be clinically safe.";
         attribute :>> priority = "high";
     }
     requirement needProtectionFromHarm : Need {
-        attribute :>> id = "NDS-NEED-002"; attribute :>> name = "ProtectionFromDeliveryFaults";
+        @MemoIdentity { :>> providedId = "NDS-NEED-002"; } attribute :>> name = "ProtectionFromDeliveryFaults";
         attribute :>> needKind = NeedKind::'stakeholder';
         attribute :>> statement = "Patients need delivery to stop before a line fault or air bolus reaches them.";
         attribute :>> priority = "high";
     }
     requirement needUninterruptedTherapy : Need {
-        attribute :>> id = "NDS-NEED-003"; attribute :>> name = "UninterruptedTherapy";
+        @MemoIdentity { :>> providedId = "NDS-NEED-003"; } attribute :>> name = "UninterruptedTherapy";
         attribute :>> needKind = NeedKind::operational;
         attribute :>> statement = "Wards need therapy to continue through transport and mains interruptions.";
         attribute :>> priority = "medium";
-        attribute :>> operationalContextReference = "intra-hospital transport, up to four hours off mains";
+        ref :>> useContext = ctxIntraHospitalTransport;
     }
     requirement needLegibleStatus : Need {
-        attribute :>> id = "NDS-NEED-004"; attribute :>> name = "LegibleTherapyStatus";
+        @MemoIdentity { :>> providedId = "NDS-NEED-004"; } attribute :>> name = "LegibleTherapyStatus";
         attribute :>> needKind = NeedKind::'stakeholder';
         attribute :>> statement = "Clinicians need to read therapy state and alarms correctly from the bedside.";
         attribute :>> priority = "high";
-        attribute :>> userPopulationReference = "ward nurses, including those wearing corrective lenses";
     }
 
     // Need → Requirement.
@@ -50,4 +52,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements_needs {
     // (IEC 62304), which is a second, requirement-to-requirement trace axis.
     connection derAlarmFromSystem : DerivesFrom connect sourceDriver ::> reqOcclusionDetection to targetRequirement ::> reqAlarmAnnunciation;
     connection derConfirmationFromSystem : DerivesFrom connect sourceDriver ::> reqDoseAccuracy to targetRequirement ::> reqPrescriptionConfirmation;
+    // Whose need this is. The nurse's characteristics are on the User.
+    connection heldLegible : HeldBy connect need ::> needLegibleStatus to holder ::> usrWardNurse;
+    connection heldAccurate : HeldBy connect need ::> needAccurateTherapy to holder ::> usrWardNurse;
 }