@memoarchitect/ontology 0.8.24 → 0.10.9

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/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/assurance/requirements/needs.sysml

@@ -10,27 +10,29 @@ package memo_examples_nested_architecture_dsm_assurance_requirements_needs {
     private import memo_assurance_requirements_needs::*;
     private import memo_examples_nested_architecture_dsm_assurance_requirements::*;
 
+    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";
     }
     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";

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

@@ -10,8 +10,10 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
     private import memo_core_relationships::*;
     private import memo_assurance_requirements::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     requirement reqDoseAccuracy : Requirement {
-        attribute :>> id = "NDS-REQ-001"; attribute :>> name = "DoseAccuracy";
+        @MemoIdentity { :>> providedId = "NDS-REQ-001"; } attribute :>> name = "DoseAccuracy";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "The pump shall deliver the prescribed volume within ±5% over any 60-minute window.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -20,7 +22,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::clinical;
     }
     requirement reqOcclusionDetection : Requirement {
-        attribute :>> id = "NDS-REQ-002"; attribute :>> name = "OcclusionDetection";
+        @MemoIdentity { :>> providedId = "NDS-REQ-002"; } attribute :>> name = "OcclusionDetection";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "When line pressure exceeds the occlusion threshold, the pump shall stop delivery within 2 seconds.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -31,7 +33,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::safety;
     }
     requirement reqAirInLine : Requirement {
-        attribute :>> id = "NDS-REQ-003"; attribute :>> name = "AirInLineProtection";
+        @MemoIdentity { :>> providedId = "NDS-REQ-003"; } attribute :>> name = "AirInLineProtection";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "When an air bolus above 0.1 mL is detected, the pump shall stop delivery and raise a high-priority alarm.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -42,7 +44,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::safety;
     }
     requirement reqAlarmAnnunciation : Requirement {
-        attribute :>> id = "NDS-REQ-004"; attribute :>> name = "AlarmAnnunciation";
+        @MemoIdentity { :>> providedId = "NDS-REQ-004"; } attribute :>> name = "AlarmAnnunciation";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "While any alarm condition is active, the pump shall present its IEC 60601-1-8 signal until the condition clears or is acknowledged.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -54,7 +56,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> safetyClass = SafetyClassKind::C;
     }
     requirement reqBatteryEndurance : Requirement {
-        attribute :>> id = "NDS-REQ-005"; attribute :>> name = "BatteryEndurance";
+        @MemoIdentity { :>> providedId = "NDS-REQ-005"; } attribute :>> name = "BatteryEndurance";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "On loss of mains power, the pump shall continue delivery for at least 4 hours at 25 mL/h.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -65,7 +67,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::reliability;
     }
     requirement reqPrescriptionConfirmation : Requirement {
-        attribute :>> id = "NDS-REQ-006"; attribute :>> name = "PrescriptionConfirmation";
+        @MemoIdentity { :>> providedId = "NDS-REQ-006"; } attribute :>> name = "PrescriptionConfirmation";
         attribute :>> requirementKind = RequirementKind::software;
         attribute :>> statement = "When the clinician changes the infusion rate, the pump shall require explicit confirmation before applying it.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -78,7 +80,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
     }
     // Untraced on purpose — the gap the traceability view is meant to find.
     requirement reqStatusVisibility : Requirement {
-        attribute :>> id = "NDS-REQ-007"; attribute :>> name = "StatusVisibility";
+        @MemoIdentity { :>> providedId = "NDS-REQ-007"; } attribute :>> name = "StatusVisibility";
         attribute :>> requirementKind = RequirementKind::system;
         attribute :>> statement = "The pump shall display the active rate and volume delivered legibly at 1 m.";
         attribute :>> notation = RequirementNotationKind::sophist;

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

@@ -10,9 +10,11 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
     private import memo_examples_nested_architecture_dsm_architecture_functional_functions::*;
     private import memo_examples_nested_architecture_dsm_assurance_requirements::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     verification vcDoseAccuracy : VerificationCase {
-        attribute :>> id = "NDS-VER-001"; attribute :>> name = "VerifyDoseAccuracy";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "NDS-VER-001"; } attribute :>> name = "VerifyDoseAccuracy";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Gravimetric delivery over 60 minutes is within ±5% of the prescribed volume at 1, 25 and 999 mL/h.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -20,8 +22,8 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnDeliverTherapy, fnDeliverTherapy.fnMeterFluid, fnDeliverTherapy.fnMeterFluid.fnDriveActuator, fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered, fnDeliverTherapy.fnControlDose, fnDeliverTherapy.fnControlDose.fnComputeRate);
     }
     verification vcOcclusionResponse : VerificationCase {
-        attribute :>> id = "NDS-VER-002"; attribute :>> name = "VerifyOcclusionResponse";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "NDS-VER-002"; } attribute :>> name = "VerifyOcclusionResponse";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Delivery stops within 2 s of the occlusion threshold being crossed, at every supported rate.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -29,8 +31,8 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnEnsureSafety, fnEnsureSafety.fnDetectOcclusion, fnEnsureSafety.fnEnforceDoseLimits);
     }
     verification vcAirInLineResponse : VerificationCase {
-        attribute :>> id = "NDS-VER-003"; attribute :>> name = "VerifyAirInLineResponse";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "NDS-VER-003"; } attribute :>> name = "VerifyAirInLineResponse";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "A 0.1 mL air bolus stops delivery and raises a high-priority alarm.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -38,8 +40,8 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnEnsureSafety.fnDetectAirInLine);
     }
     verification vcAlarmSignals : VerificationCase {
-        attribute :>> id = "NDS-VER-004"; attribute :>> name = "VerifyAlarmSignals";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "NDS-VER-004"; } attribute :>> name = "VerifyAlarmSignals";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Alarm signals conform to IEC 60601-1-8 for every priority, and persist until cleared or acknowledged.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -47,8 +49,8 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnInformUser.fnAnnunciateAlarm);
     }
     verification vcBatteryEndurance : VerificationCase {
-        attribute :>> id = "NDS-VER-005"; attribute :>> name = "VerifyBatteryEndurance";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "NDS-VER-005"; } attribute :>> name = "VerifyBatteryEndurance";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Delivery continues for at least 4 hours at 25 mL/h from a fully charged battery after mains loss.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -56,8 +58,8 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnManagePower, fnManagePower.fnMonitorBattery);
     }
     verification vcConfirmationFlow : VerificationCase {
-        attribute :>> id = "NDS-VER-006"; attribute :>> name = "VerifyConfirmationFlow";
-        attribute :>> methodKind = VerificationMethodKind::demonstration;
+        @MemoIdentity { :>> providedId = "NDS-VER-006"; } attribute :>> name = "VerifyConfirmationFlow";
+        attribute :>> methodKind = MemoVerificationMethodKind::demonstration;
         attribute :>> acceptanceCriteria = "No rate change reaches the controller without an explicit confirmation step.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -65,8 +67,8 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnDeliverTherapy.fnControlDose.fnValidatePrescription, fnInformUser.fnAcceptInput);
     }
     verification vcStatusLegibility : VerificationCase {
-        attribute :>> id = "NDS-VER-007"; attribute :>> name = "VerifyStatusLegibility";
-        attribute :>> methodKind = VerificationMethodKind::inspection;
+        @MemoIdentity { :>> providedId = "NDS-VER-007"; } attribute :>> name = "VerifyStatusLegibility";
+        attribute :>> methodKind = MemoVerificationMethodKind::inspection;
         attribute :>> acceptanceCriteria = "Rate and volume delivered are readable at 1 m under 100–1000 lux.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -74,8 +76,8 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnInformUser, fnInformUser.fnRenderStatus);
     }
     verification vcPowerSourceSwitch : VerificationCase {
-        attribute :>> id = "NDS-VER-008"; attribute :>> name = "VerifyPowerSourceSwitch";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "NDS-VER-008"; } attribute :>> name = "VerifyPowerSourceSwitch";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Rail brownout switches source without interrupting delivery.";
         attribute :>> status = ElementStatusKind::approved;
 

package/examples/nested-architecture-dsm/model/catalog/project.sysml

@@ -18,8 +18,10 @@ package memo_examples_nested_architecture_dsm_project {
     private import memo_examples_nested_architecture_dsm_assurance_verification_validation::*;
     private import memo_examples_nested_architecture_dsm_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-NESTED-DSM-001";
+        @MemoIdentity { :>> providedId = "PMB-NESTED-DSM-001"; }
         attribute :>> name = "NestedArchitectureDsmProjectMethodBinding";
         attribute :>> projectName = "Nested Architecture DSM";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/reusable-instrument/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_reusable_instrument_project {
     private import memo_examples_reusable_instrument_viewpoints_unassigned::*;
     private import memo_examples_reusable_instrument_viewpoints_unassigned_views_reusable_instrument_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-REUSABLE-INSTRUMENT-001";
+        @MemoIdentity { :>> providedId = "PMB-REUSABLE-INSTRUMENT-001"; }
         attribute :>> name = "ReusableInstrumentProjectMethodBinding";
         attribute :>> projectName = "Reusable Instrument";
         ref :>> selectedMethodology = mdDefaultDefinition;