@memoarchitect/ontology 0.8.22 → 0.10.9

package/examples/gpca-pump/model/catalog/viewpoints/software/views/software_software_architecture_view.sysml

@@ -13,13 +13,14 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
     private import memo_viewpoints_verification_verification_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view gpcaSoftwareArchitectureView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_software_views_software_software_architecture_view::*;
         attribute depth = 2;
-        attribute :>> id = "VIEW-SW-101";
+        @MemoIdentity { :>> providedId = "VIEW-SW-101"; }
         attribute :>> name = "GPCA_SoftwareArchitectureView";
-        attribute :>> title = "GPCA Software Architecture View";
-        attribute :>> shortDescription = "The eight AADL GPCA_SW.Impl subcomponents, top-level ports, and the full inter-component connection topology.";
+        @MemoIdentity { :>> shortDescription = "The eight AADL GPCA_SW.Impl subcomponents, top-level ports, and the full inter-component connection topology."; }
         attribute :>> description = "Top_Level_Mode, System_Status, Alarm, Config, Infusion_Manager, System_Monitor, Logging, and OutputBus inside the GPCA_Software system, wired per GPCA_SW.Impl with the seven top-level ports (OP_CMD_IN, PRES_IN, PATIENT_IN, SENSOR_IN, CONST_IN, DB_IN, GPCA_SW_OUT). Connections are synchronous with AADL immediate port semantics.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::internalDiagram);
@@ -28,9 +29,8 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
         attribute :>> dataSourceDescription = "GPCA software structure, top-level ports, and the GPCA_SW.Impl connection set (CE-101..CE-142)";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include the software system, its eight components, its boundary ports, and the flow and delegation topology between them.";
-        attribute :>> documentUsage = ("SDD", "QMSR");
         part :>> selectionQuery {
-            attribute :>> id = "QRY-SW-101";
+            @MemoIdentity { :>> providedId = "QRY-SW-101"; }
             attribute :>> name = "GPCA_SoftwareArchitectureQuery";
             attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "SoftwarePort");
             attribute :>> includeRelationshipKinds = ("flow", "bind", "Composes");
@@ -38,6 +38,6 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Render the real GPCA_SW.Impl topology: components and boundary ports as nodes, AADL connections as edges.";
         }
-        part :>> viewpointDefinition = softwareViewpoint;
+        ref :>> viewpointDefinition = softwareViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/usability/views/document_usability_view.sysml

@@ -7,25 +7,24 @@ package memo_examples_gpca_pump_viewpoints_usability_views_document_usability_vi
     private import memo_core_enumerations::*;
     private import memo_examples_gpca_pump_gpca_verification::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view usabilityView : MemoUsabilityEngineeringView {
         expose memo_examples_gpca_pump_viewpoints_usability_views_document_usability_view::*;
         expose evidenceUsability;
-        attribute :>> id = "DOC-008";
+        @MemoIdentity { :>> providedId = "DOC-008"; }
         attribute :>> name = "UsabilityEngineeringFileView";
-        attribute :>> title = "GPCA Usability Engineering File View";
-        attribute :>> shortDescription = "IEC 62366-1 usability engineering file content for GPCA.";
+        @MemoIdentity { :>> shortDescription = "IEC 62366-1 usability engineering file content for GPCA."; }
         attribute :>> description = "Aggregates intended use, use contexts, actors, foreseeable use errors, related risk chains, usability requirements, and the summative usability validation case.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> marketScope = "generic";
-        attribute :>> documentUsage = ("Usability Engineering File", "DHF");
-        attribute :>> sectionIdentifier = "UEF";
-        part :>> viewpointDefinition = usabilityViewpoint;
+        ref :>> viewpointDefinition = usabilityViewpoint;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-DOC-002";
+            @MemoIdentity { :>> providedId = "QRY-DOC-002"; }
             attribute :>> name = "usabilityViewQuery";
-            attribute :>> includeElementKinds = ("UseError", "UseContext", "Actor", "ValidationCase", "MemoScenario[scenarioKind=operative]", "IntendedUse", "ReasonablyForeseeableMisuse");
-            attribute :>> includeRelationshipKinds = ("TestedByUsability", "RealizedByScenario", "InteractsWith");
+            attribute :>> includeElementKinds = ("UseError", "UseContext", "Actor", "ValidationCase", "OperativeScenario[scenarioKind=operative]", "IntendedUse", "ReasonablyForeseeableMisuse");
+            attribute :>> includeRelationshipKinds = ("TestedByUsability", "RealizedByScenario", "connect");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

package/examples/gpca-pump/model/catalog/viewpoints/verification/views/document_vv_view.sysml

@@ -6,24 +6,23 @@ package memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view {
     private import memo_core_enumerations::*;
     private import memo_examples_gpca_pump_gpca_verification::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view vvView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view::*;
         expose evidenceSafetyAlarmSuite;
-        attribute :>> id = "DOC-006";
+        @MemoIdentity { :>> providedId = "DOC-006"; }
         attribute :>> name = "VerificationValidationView";
-        attribute :>> title = "GPCA Verification and Validation View";
-        attribute :>> shortDescription = "V&V plan and coverage for requirements and risk controls.";
+        @MemoIdentity { :>> shortDescription = "V&V plan and coverage for requirements and risk controls."; }
         attribute :>> description = "Aggregates verification cases, validation cases, test artifacts, and evidence with their coverage of requirements, risk controls, behavior properties, and timing constraints.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::VV;
         attribute :>> generationRule = "Include all VerifiedBy, Validates, and ProducesEvidence chains with status";
         attribute :>> marketScope = "generic";
-        attribute :>> documentUsage = ("VV", "DHF", "QMSR");
-        attribute :>> sectionIdentifier = "VV";
-        part :>> viewpointDefinition = verificationViewpoint;
+        ref :>> viewpointDefinition = verificationViewpoint;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-DOC-006";
+            @MemoIdentity { :>> providedId = "QRY-DOC-006"; }
             attribute :>> name = "vvViewQuery";
             attribute :>> includeElementKinds = ("VerificationCase", "ValidationCase", "MemoEvidence", "Requirement", "RiskControlMeasure");
             attribute :>> includeRelationshipKinds = ("VerifiedBy", "Validates", "TestedByUsability", "ProducesEvidence");

package/examples/gpca-pump/model/catalog/viewpoints/verification/views/verification_verification_coverage_view.sysml

@@ -13,13 +13,14 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
     private import memo_viewpoints_verification_verification_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view gpcaVerificationCoverageView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_verification_views_verification_verification_coverage_view::*;
         attribute depth = 2;
-        attribute :>> id = "VIEW-VER-101";
+        @MemoIdentity { :>> providedId = "VIEW-VER-101"; }
         attribute :>> name = "GPCA_VerificationCoverageView";
-        attribute :>> title = "GPCA Verification and Validation Coverage View";
-        attribute :>> shortDescription = "Requirements and risk controls against verification cases, validation cases, and evidence.";
+        @MemoIdentity { :>> shortDescription = "Requirements and risk controls against verification cases, validation cases, and evidence."; }
         attribute :>> outputKind = (ViewOutputKind::matrix);
         attribute :>> presentationKind = (PresentationKind::traceMatrix);
         attribute :>> viewKind = DiagramViewKind::grid;
@@ -27,9 +28,8 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
         attribute :>> dataSourceDescription = "VerifiedBy, Validates, and ProducesEvidence links in the GPCA model";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include every requirement and risk control with its verification/validation status and produced evidence.";
-        attribute :>> documentUsage = ("VV", "DHF", "QMSR");
         part :>> selectionQuery {
-            attribute :>> id = "QRY-VER-101";
+            @MemoIdentity { :>> providedId = "QRY-VER-101"; }
             attribute :>> name = "GPCA_VerificationCoverageQuery";
             attribute :>> includeElementKinds = ("Requirement", "RiskControlMeasure", "VerificationCase", "ValidationCase", "MemoEvidence");
             attribute :>> includeRelationshipKinds = ("VerifiedBy", "Validates", "ProducesEvidence");
@@ -37,6 +37,6 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Coverage gaps surface as requirements or controls without linked cases or evidence.";
         }
-        part :>> viewpointDefinition = verificationViewpoint;
+        ref :>> viewpointDefinition = verificationViewpoint;
     }
 }

package/examples/ivd-laboratory-system/memo.package.yaml

@@ -0,0 +1,3 @@
+name: ivd-laboratory-system
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/ivd-laboratory-system/model/catalog/ivd_laboratory_system.sysml

@@ -11,34 +11,36 @@ package memo_examples_ivd_laboratory_system {
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_implementation_hardware_structure::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part analyzer : PhysicalAssembly {
-        attribute :>> id = "IVD-DEV-001"; attribute :>> name = "ChemAnalyzer";
+        @MemoIdentity { :>> providedId = "IVD-DEV-001"; } attribute :>> name = "ChemAnalyzer";
         attribute :>> responsibility = "automate clinical chemistry measurements";
     }
 
     // Specimen path: material flow through fluidic hardware.
     part fluidSampleProbe : FluidicComponent {
-        attribute :>> id = "IVD-HW-001"; attribute :>> name = "SampleProbe";
+        @MemoIdentity { :>> providedId = "IVD-HW-001"; } attribute :>> name = "SampleProbe";
         attribute :>> fluidPathRole = "aspirates specimen from primary tube";
     }
     part fluidReactionCuvette : FluidicComponent {
-        attribute :>> id = "IVD-HW-002"; attribute :>> name = "ReactionCuvette";
+        @MemoIdentity { :>> providedId = "IVD-HW-002"; } attribute :>> name = "ReactionCuvette";
         attribute :>> fluidPathRole = "holds specimen-reagent reaction mix";
     }
     part optPhotometer : OpticalComponent {
-        attribute :>> id = "IVD-HW-003"; attribute :>> name = "PhotometerAssembly";
+        @MemoIdentity { :>> providedId = "IVD-HW-003"; } attribute :>> name = "PhotometerAssembly";
         attribute :>> opticalFunction = "absorbance measurement";
         attribute :>> wavelengthRange = "340-800 nm";
     }
     part exSpecimenFlow : LogicalExchange {
-        attribute :>> id = "IVD-EX-001"; attribute :>> name = "SpecimenTransfer";
+        @MemoIdentity { :>> providedId = "IVD-EX-001"; } attribute :>> name = "SpecimenTransfer";
         attribute :>> contentKind = FlowContentKind::material;
         attribute :>> direction = DirectionKind::output;
     }
 
     // Result item coded with LOINC.
     item glucoseResult : LogicalExchangeItem {
-        attribute :>> id = "IVD-IT-001"; attribute :>> name = "GlucoseResult";
+        @MemoIdentity { :>> providedId = "IVD-IT-001"; } attribute :>> name = "GlucoseResult";
         attribute :>> contentKind = FlowContentKind::measurement;
         attribute :>> unit = "mg/dL";
         attribute :>> timestampRequired = true;
@@ -51,8 +53,8 @@ package memo_examples_ivd_laboratory_system {
     }
 
     // Operating activity for the analyzer.
-    action actRunPanel : OperationalActivity {
-        attribute :>> id = "IVD-ACT-001"; attribute :>> name = "RunChemistryPanel";
+    action actRunPanel : OperativeAction {
+        @MemoIdentity { :>> providedId = "IVD-ACT-001"; } attribute :>> name = "RunChemistryPanel";
         attribute :>> criticality = CriticalityKind::high;
     }
 }

package/examples/ivd-laboratory-system/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_ivd_laboratory_system_project {
     private import memo_examples_ivd_laboratory_system_viewpoints_unassigned::*;
     private import memo_examples_ivd_laboratory_system_viewpoints_unassigned_views_ivd_laboratory_system_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-LABORATORY-SYSTEM-001";
+        @MemoIdentity { :>> providedId = "PMB-LABORATORY-SYSTEM-001"; }
         attribute :>> name = "IvdLaboratorySystemProjectMethodBinding";
         attribute :>> projectName = "Ivd Laboratory System";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/ivd-laboratory-system/model/catalog/viewpoints/unassigned/views/ivd_laboratory_system_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_ivd_laboratory_system_viewpoints_unassigned_views_ivd_labo
     private import memo_examples_ivd_laboratory_system::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view ivdLaboratorySystemOverview : MemoDiagramView { expose memo_examples_ivd_laboratory_system::*; attribute depth = 2; attribute :>> title = "IVD Laboratory System Overview"; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
+    view ivdLaboratorySystemOverview : MemoDiagramView { expose memo_examples_ivd_laboratory_system::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
 }

package/examples/manual-surgical-instrument/memo.package.yaml

@@ -0,0 +1,3 @@
+name: manual-surgical-instrument
+entrypoint: model/catalog/project.sysml
+include: [model]

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

@@ -10,14 +10,16 @@ package memo_examples_manual_surgical_instrument {
     private import memo_architecture_operational_activities::*;
     private import memo_architecture_implementation_hardware_structure::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Modeled product and physical structure ──────────────────
     part needleHolder : PhysicalAssembly {
-        attribute :>> id = "MSI-DEV-001";
+        @MemoIdentity { :>> providedId = "MSI-DEV-001"; }
         attribute :>> name = "NeedleHolder";
         attribute :>> responsibility = "grasp and drive a suture needle";
     }
     part jawAssembly : MechanicalPart {
-        attribute :>> id = "MSI-PART-001";
+        @MemoIdentity { :>> providedId = "MSI-PART-001"; }
         attribute :>> name = "TungstenCarbideJaws";
         attribute :>> mechanicalFunction = "serrated needle grip";
         attribute :>> patientContact = true;
@@ -25,7 +27,7 @@ package memo_examples_manual_surgical_instrument {
         attribute :>> contactDuration = "limited (<24 h)";
     }
     part ratchetLock : MechanicalPart {
-        attribute :>> id = "MSI-PART-002";
+        @MemoIdentity { :>> providedId = "MSI-PART-002"; }
         attribute :>> name = "RatchetLock";
         attribute :>> mechanicalFunction = "maintains jaw clamping force without continuous grip";
         attribute :>> patientContact = false;
@@ -35,8 +37,8 @@ package memo_examples_manual_surgical_instrument {
 
     // A task may be traced to the architecture later when the project has a
     // specific allocation or interaction claim to make.
-    action taskPlaceSutures : UserTask {
-        attribute :>> id = "MSI-TASK-001";
+    action taskPlaceSutures : OperativeAction {
+        @MemoIdentity { :>> providedId = "MSI-TASK-001"; }
         attribute :>> name = "PlaceSutures";
         attribute :>> taskGoal = "place interrupted sutures";
     }

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/manual-surgical-instrument/model/catalog/viewpoints/unassigned/views/manual_surgical_instrument_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_manual_surgical_instrument_viewpoints_unassigned_views_man
     private import memo_examples_manual_surgical_instrument::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view manualSurgicalInstrumentOverview : MemoDiagramView { expose memo_examples_manual_surgical_instrument::*; attribute depth = 2; attribute :>> title = "Manual Surgical Instrument Overview"; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
+    view manualSurgicalInstrumentOverview : MemoDiagramView { expose memo_examples_manual_surgical_instrument::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
 }

package/examples/multidimensional-layers/memo.package.yaml

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

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/multidimensional-layers/model/catalog/viewpoints/unassigned/views/multidimensional_layers_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_multidimensional_layers_viewpoints_unassigned_views_multid
     view multidimensionalLayersOverview : MemoDiagramView {
         expose memo_examples_multidimensional_layers::*;
         attribute depth = 2;
-        attribute :>> title = "Multidimensional Layers Overview";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
     }

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

@@ -0,0 +1,3 @@
+name: nested-architecture-dsm
+entrypoint: model/catalog/project.sysml
+include: [model]

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";