@memoarchitect/ontology 0.8.24 → 0.11.0

package/examples/gpca-pump/model/catalog/gpca_verification.sysml

@@ -12,11 +12,12 @@ package memo_examples_gpca_pump_gpca_verification {
     private import memo_core_enumerations::*;
     private import memo_core_common::*;
 
+    private import memo_core_common::MemoIdentity;
     // ── Verification cases ──────────────────────────────────────
     verification vcModeRange : VerificationCase {
-        attribute :>> id = "VER-001";
+        @MemoIdentity { :>> providedId = "VER-001"; }
         attribute :>> name = "VerifyModeRange";
-        attribute :>> methodKind = VerificationMethodKind::formalProof;
+        attribute :>> methodKind = MemoVerificationMethodKind::formalProof;
         attribute :>> acceptanceCriteria = "Current_System_mode only takes valid exclusive values";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -24,9 +25,9 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (guaranteeExclusiveMode, gpcaDevice.gpcaSoftware.tlm, gpcaDevice.gpcaSoftware.outputBus);
     }
     verification vcLockout : VerificationCase {
-        attribute :>> id = "VER-002";
+        @MemoIdentity { :>> providedId = "VER-002"; }
         attribute :>> name = "VerifyBolusLockout";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "No patient bolus initiated when lockout or max bolus constraints active";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -34,9 +35,9 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (lockoutControl, guaranteeLockoutPreventsBolus, tcBolusResponse, gpcaDevice.gpcaSoftware.infusionMgr);
     }
     verification vcSameStepAlarm : VerificationCase {
-        attribute :>> id = "VER-003";
+        @MemoIdentity { :>> providedId = "VER-003"; }
         attribute :>> name = "VerifySameStepAlarmStop";
-        attribute :>> methodKind = VerificationMethodKind::modelChecking;
+        attribute :>> methodKind = MemoVerificationMethodKind::modelChecking;
         attribute :>> acceptanceCriteria = "Alarm output affects infusion in same execution step";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -44,9 +45,9 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (propAlarmStopsSameStep, guaranteeAlarmStopsSameStep, tcAlarmLatency, gpcaDevice.gpcaSoftware.alarm);
     }
     verification vcTemporalModeSafety : VerificationCase {
-        attribute :>> id = "VER-004";
+        @MemoIdentity { :>> providedId = "VER-004"; }
         attribute :>> name = "VerifyTemporalModeSafety";
-        attribute :>> methodKind = VerificationMethodKind::modelChecking;
+        attribute :>> methodKind = MemoVerificationMethodKind::modelChecking;
         attribute :>> acceptanceCriteria = "No invalid transitions and pause on critical alarms";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -54,9 +55,9 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (propLockoutTimerMonotonic, temporalNoInvalidTransition);
     }
     verification vcAirInLine : VerificationCase {
-        attribute :>> id = "VER-005";
+        @MemoIdentity { :>> providedId = "VER-005"; }
         attribute :>> name = "VerifyAirInLineStop";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Injected air above threshold pauses infusion and annunciates per the REQ 59 High-priority actions (REQ-CS-21)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -64,9 +65,9 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (airDetectionControl);
     }
     verification vcOcclusion : VerificationCase {
-        attribute :>> id = "VER-006";
+        @MemoIdentity { :>> providedId = "VER-006"; }
         attribute :>> name = "VerifyOcclusionDetection";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Clamped line above pressure threshold pauses infusion and annunciates (REQ-X-04)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -74,9 +75,9 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (occlusionAlarmControl);
     }
     verification vcEmptyReservoir : VerificationCase {
-        attribute :>> id = "VER-007";
+        @MemoIdentity { :>> providedId = "VER-007"; }
         attribute :>> name = "VerifyEmptyReservoirStop";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Reservoir-empty assertion transitions to PAUSED (KVO flow) and annunciates per the REQ 59 High-priority actions (REQ-CS-23)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -84,9 +85,9 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (reservoirMonitorControl, gpcaDevice.gpcaSoftware.systemStatus);
     }
     verification vcPost : VerificationCase {
-        attribute :>> id = "VER-008";
+        @MemoIdentity { :>> providedId = "VER-008"; }
         attribute :>> name = "VerifyPowerOnSelfTest";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Each injected POST fault (CPU, RAM, ROM, watchdog, sensors) blocks therapy and alarms (REQ-X-02)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -94,18 +95,18 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (gpcaDevice.gpcaSoftware.systemMonitor);
     }
     verification vcPowerLoss : VerificationCase {
-        attribute :>> id = "VER-009";
+        @MemoIdentity { :>> providedId = "VER-009"; }
         attribute :>> name = "VerifyPowerLossRetentionAndResume";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Prescription and log intact after power cycle; therapy resumes only after confirmation (REQ-X-03)";
         attribute :>> status = ElementStatusKind::approved;
 
         objective { verify reqPowerLossRetention; verify reqBatteryBackup; }
     }
     verification vcWatchdog : VerificationCase {
-        attribute :>> id = "VER-010";
+        @MemoIdentity { :>> providedId = "VER-010"; }
         attribute :>> name = "VerifyWatchdogSafeState";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Induced CPU hang forces zero flow and continuous alarm within 60 ms (REQ-X-08, TC-003)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -113,36 +114,36 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (watchdogControl, tcWatchdogTimeout);
     }
     verification vcHourlyMax : VerificationCase {
-        attribute :>> id = "VER-011";
+        @MemoIdentity { :>> providedId = "VER-011"; }
         attribute :>> name = "VerifyHourlyDoseCeiling";
-        attribute :>> methodKind = VerificationMethodKind::simulation;
+        attribute :>> methodKind = MemoVerificationMethodKind::simulation;
         attribute :>> acceptanceCriteria = "Randomized bolus/basal schedules never exceed hourly maximum in sliding window (REQ-X-06)";
         attribute :>> status = ElementStatusKind::approved;
 
         objective { verify reqMaxHourlyDose; }
     }
     verification vcPumpAccuracy : VerificationCase {
-        attribute :>> id = "VER-012";
+        @MemoIdentity { :>> providedId = "VER-012"; }
         attribute :>> name = "VerifyDeliveryAccuracy";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Gravimetric bench measurement within ±5% (Tolerance_Min_const) across rate range (REQ-X-11)";
         attribute :>> status = ElementStatusKind::approved;
 
         objective { verify reqPumpAccuracy; }
     }
     verification vcAlarmLoudness : VerificationCase {
-        attribute :>> id = "VER-013";
+        @MemoIdentity { :>> providedId = "VER-013"; }
         attribute :>> name = "VerifyAlarmSoundPressure";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Each priority tone meets Audio_level_const, 50 db for 2 s per I 8 (REQ-X-12)";
         attribute :>> status = ElementStatusKind::approved;
 
         objective { verify reqCs72; verify reqAlarmLoudness; }
     }
     verification vcFreeFlow : VerificationCase {
-        attribute :>> id = "VER-014";
+        @MemoIdentity { :>> providedId = "VER-014"; }
         attribute :>> name = "VerifyAntiFreeFlowValve";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "No gravity flow with set disengaged under worst-case head height (REQ-X-14)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -150,18 +151,18 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (freeFlowValveControl);
     }
     verification vcStuckButton : VerificationCase {
-        attribute :>> id = "VER-015";
+        @MemoIdentity { :>> providedId = "VER-015"; }
         attribute :>> name = "VerifyStuckButtonDetection";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Shorted pendant input yields no bolus and Medium-priority notification after 60 s (REQ-X-09)";
         attribute :>> status = ElementStatusKind::approved;
 
         objective { verify reqStuckButton; }
     }
     verification vcFlowCrossCheck : VerificationCase {
-        attribute :>> id = "VER-016";
+        @MemoIdentity { :>> providedId = "VER-016"; }
         attribute :>> name = "VerifyFlowCrossCheck";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Injected deviation beyond Tolerance_Min_const sustained past Max_Duration_OverInfusion_const pauses therapy and annunciates (REQ-X-10)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -170,9 +171,9 @@ package memo_examples_gpca_pump_gpca_verification {
     }
 
     verification vcDrugLibrary : VerificationCase {
-        attribute :>> id = "VER-017";
+        @MemoIdentity { :>> providedId = "VER-017"; }
         attribute :>> name = "VerifyDrugLibraryEnforcement";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Hard-limit entries rejected, soft-limit entries require confirmation, both logged (REQ-X-01)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -180,18 +181,18 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (drugLibraryControl, gpcaDevice.gpcaSoftware.config);
     }
     verification vcPrescriptionConfirm : VerificationCase {
-        attribute :>> id = "VER-018";
+        @MemoIdentity { :>> providedId = "VER-018"; }
         attribute :>> name = "VerifyPrescriptionConfirmation";
-        attribute :>> methodKind = VerificationMethodKind::demonstration;
+        attribute :>> methodKind = MemoVerificationMethodKind::demonstration;
         attribute :>> acceptanceCriteria = "Therapy cannot start without distinct confirmation; displayed values equal stored values (REQ-CS-09)";
         attribute :>> status = ElementStatusKind::approved;
 
         objective { verify reqCs09; }
     }
     verification vcEventLog : VerificationCase {
-        attribute :>> id = "VER-019";
+        @MemoIdentity { :>> providedId = "VER-019"; }
         attribute :>> name = "VerifyEventLogIntegrity";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Operational/error log entries per REQ-CS-78..81; tampering detectable (REQ-X-07)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -199,45 +200,45 @@ package memo_examples_gpca_pump_gpca_verification {
         subject verified : Base::Anything[*] = (gpcaDevice.gpcaSoftware.logging);
     }
     verification vcReverseDeliveryPause : VerificationCase {
-        attribute :>> id = "VER-020";
+        @MemoIdentity { :>> providedId = "VER-020"; }
         attribute :>> name = "VerifyReverseDeliveryPause";
-        attribute :>> methodKind = VerificationMethodKind::modelChecking;
+        attribute :>> methodKind = MemoVerificationMethodKind::modelChecking;
         attribute :>> acceptanceCriteria = "Continuous or cumulative reverse delivery beyond the REQ-CS-22 duration limits transitions to PAUSED and raises the Reverse Delivery notification (NOTIF-04)";
         attribute :>> status = ElementStatusKind::approved;
 
         subject verified : Base::Anything[*] = (reverseDeliveryPauseControl);
     }
     verification vcAntiRefluxMechanism : VerificationCase {
-        attribute :>> id = "VER-021";
+        @MemoIdentity { :>> providedId = "VER-021"; }
         attribute :>> name = "VerifyContinuousReverseDeliveryPrevention";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "During normal use and single fault condition, continuous reverse delivery is not possible (IEC 601-2-24 basis per GPCA safety requirements)";
         attribute :>> status = ElementStatusKind::approved;
 
         subject verified : Base::Anything[*] = (antiRefluxDesignControl);
     }
     verification vcVtbiCeiling : VerificationCase {
-        attribute :>> id = "VER-022";
+        @MemoIdentity { :>> providedId = "VER-022"; }
         attribute :>> name = "VerifyVtbiCeilingPause";
-        attribute :>> methodKind = VerificationMethodKind::modelChecking;
+        attribute :>> methodKind = MemoVerificationMethodKind::modelChecking;
         attribute :>> acceptanceCriteria = "Actual volume infused above the drug-database maximum VTBI transitions to PAUSED with flow at most KVO (REQ-CS-20, AGREE GP-008) and raises NOTIF-06";
         attribute :>> status = ElementStatusKind::approved;
 
         subject verified : Base::Anything[*] = (vtbiLimitPauseControl);
     }
     verification vcInfusionComplete : VerificationCase {
-        attribute :>> id = "VER-023";
+        @MemoIdentity { :>> providedId = "VER-023"; }
         attribute :>> name = "VerifyInfusionCompleteStop";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Reaching prescribed total duration or maximum VTBI transitions ACTIVE to IDLE with Infusion Complete actions (REQ-CS-28)";
         attribute :>> status = ElementStatusKind::approved;
 
         subject verified : Base::Anything[*] = (infusionCompleteControl);
     }
     verification vcDoorInterlock : VerificationCase {
-        attribute :>> id = "VER-024";
+        @MemoIdentity { :>> providedId = "VER-024"; }
         attribute :>> name = "VerifyDoorOpenDeliveryInhibit";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Door open during THERAPY limits flow to at most KVO and raises a notification (AGREE GP-011; REQ-X-05)";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -246,7 +247,7 @@ package memo_examples_gpca_pump_gpca_verification {
 
     // ── Validation cases (design validation / IEC 62366) ────────
     verification valSimulatedWard : ValidationCase {
-        attribute :>> id = "VAL-001";
+        @MemoIdentity { :>> providedId = "VAL-001"; }
         attribute :>> name = "SimulatedWardTherapyValidation";
         attribute :>> validationMethod = ValidationMethodKind::simulatedUse;
         attribute :>> userParticipation = "nurses and physicians on a simulated ward";
@@ -254,7 +255,7 @@ package memo_examples_gpca_pump_gpca_verification {
         attribute :>> clinicalContext = "post-operative PCA therapy in acute care";
     }
     verification valSummativeUsability : ValidationCase {
-        attribute :>> id = "VAL-002";
+        @MemoIdentity { :>> providedId = "VAL-002"; }
         attribute :>> name = "SummativeUsabilityTest";
         attribute :>> validationMethod = ValidationMethodKind::summativeUsabilityTest;
         attribute :>> userParticipation = "15 representative clinical users per user group";
@@ -265,7 +266,7 @@ package memo_examples_gpca_pump_gpca_verification {
     // ── Test artifacts and evidence ─────────────────────────────
     part testReportLockout : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::testArtifact;
-        attribute :>> id = "TEST-001";
+        @MemoIdentity { :>> providedId = "TEST-001"; }
         attribute :>> name = "BolusLockoutTestReport";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -274,7 +275,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part testProtocolSafetySuite : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::testArtifact;
-        attribute :>> id = "TEST-002";
+        @MemoIdentity { :>> providedId = "TEST-002"; }
         attribute :>> name = "SafetyAlarmTestProtocol";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -283,7 +284,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceLockout : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-001";
+        @MemoIdentity { :>> providedId = "EVD-001"; }
         attribute :>> name = "BolusLockoutEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -292,7 +293,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceModeRange : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-002";
+        @MemoIdentity { :>> providedId = "EVD-002"; }
         attribute :>> name = "ModeRangeEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -301,7 +302,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceSameStepAlarm : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-003";
+        @MemoIdentity { :>> providedId = "EVD-003"; }
         attribute :>> name = "SameStepAlarmEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -310,7 +311,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceTemporalModeSafety : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-004";
+        @MemoIdentity { :>> providedId = "EVD-004"; }
         attribute :>> name = "TemporalModeSafetyEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -319,7 +320,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceSafetyAlarmSuite : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-005";
+        @MemoIdentity { :>> providedId = "EVD-005"; }
         attribute :>> name = "SafetyAlarmSuiteEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -328,7 +329,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceUsability : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-006";
+        @MemoIdentity { :>> providedId = "EVD-006"; }
         attribute :>> name = "SummativeUsabilityEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -337,7 +338,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceHardwareBench : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-008";
+        @MemoIdentity { :>> providedId = "EVD-008"; }
         attribute :>> name = "HardwareBenchEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -346,7 +347,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceDoseProgramming : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-009";
+        @MemoIdentity { :>> providedId = "EVD-009"; }
         attribute :>> name = "DoseProgrammingEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -355,7 +356,7 @@ package memo_examples_gpca_pump_gpca_verification {
     }
     part evidenceDeliveryAccuracy : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-007";
+        @MemoIdentity { :>> providedId = "EVD-007"; }
         attribute :>> name = "DeliveryAccuracyEvidence";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;

package/examples/gpca-pump/model/catalog/project.sysml

@@ -10,8 +10,10 @@ package memo_examples_gpca_pump_project {
     private import memo_core_enumerations::*;
     private import memo_examples_gpca_pump_methodology_gpca_profiles::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part gpcaProjectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-GPCA-001";
+        @MemoIdentity { :>> providedId = "PMB-GPCA-001"; }
         attribute :>> name = "GPCAProjectMethodBinding";
         attribute :>> projectName = "GPCA Infusion Pump";
         ref :>> selectedMethodology = gpcaMethodDefinition;

package/examples/gpca-pump/model/catalog/viewpoints/context/views/context_system_context_view.sysml

@@ -13,12 +13,14 @@ package memo_examples_gpca_pump_viewpoints_context_views_context_system_context_
     private import memo_viewpoints_verification_verification_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view gpcaSystemContextView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_context_views_context_system_context_view::*;
         attribute depth = 2;
-        attribute :>> id = "VIEW-CTX-101";
+        @MemoIdentity { :>> providedId = "VIEW-CTX-101"; }
         attribute :>> name = "GPCA_SystemContextView";
-        attribute :>> shortDescription = "Actors, use contexts, and external entities at the GPCA system boundary.";
+        @MemoIdentity { :>> shortDescription = "Actors, use contexts, and external entities at the GPCA system boundary."; }
         attribute :>> description = "Shows the CriSys Fig 2.1 boundary: patient, clinician, prescription, drug reservoir, needle, hospital pharmacy database, and hospital environment around the pump, with directional data flows, physical drug-path connections, and the intended use anchoring the boundary.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
@@ -28,10 +30,10 @@ package memo_examples_gpca_pump_viewpoints_context_views_context_system_context_
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include actors, use contexts, intended use, and external operational entities.";
         part :>> selectionQuery {
-            attribute :>> id = "QRY-CTX-101";
+            @MemoIdentity { :>> providedId = "QRY-CTX-101"; }
             attribute :>> name = "GPCA_SystemContextQuery";
             attribute :>> includeElementKinds = ("Actor", "UseContext", "IntendedUse", "ReasonablyForeseeableMisuse", "OperationalEntity");
-            attribute :>> includeRelationshipKinds = ("InteractsWith", "flow", "connect", "Governs", "AppliesInContext");
+            attribute :>> includeRelationshipKinds = ("connect", "flow", "Governs", "AppliesInContext");
             attribute :>> includeLayers = ("context", "operational");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the GPCA context view from the context layer.";

package/examples/gpca-pump/model/catalog/viewpoints/cybersecurity/views/cybersecurity_cybersecurity_view.sysml

@@ -14,12 +14,14 @@ package memo_examples_gpca_pump_viewpoints_cybersecurity_views_cybersecurity_cyb
     private import memo_viewpoints_cybersecurity_cybersecurity_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view gpcaCybersecurityView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_cybersecurity_views_cybersecurity_cybersecurity_view::*;
         attribute depth = 2;
-        attribute :>> id = "VIEW-CYB-001";
+        @MemoIdentity { :>> providedId = "VIEW-CYB-001"; }
         attribute :>> name = "GPCA_CybersecurityView";
-        attribute :>> shortDescription = "Shows GPCA assets, trust boundaries, threats, vulnerabilities, and mitigations.";
+        @MemoIdentity { :>> shortDescription = "Shows GPCA assets, trust boundaries, threats, vulnerabilities, and mitigations."; }
         attribute :>> description = "Product-specific cybersecurity view intended for secure product development and cross-reference into cybersecurity risk documentation.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::custom);
@@ -29,7 +31,7 @@ package memo_examples_gpca_pump_viewpoints_cybersecurity_views_cybersecurity_cyb
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include cyber assets, trust boundaries, threats, vulnerabilities, cyber hazards, cyber risks, mitigations, security requirements, and verification.";
         part :>> selectionQuery {
-            attribute :>> id = "QRY-CYB-001";
+            @MemoIdentity { :>> providedId = "QRY-CYB-001"; }
             attribute :>> name = "GPCA_CybersecurityQuery";
             attribute :>> includeElementKinds = ("CybersecurityAsset", "Threat", "Vulnerability", "CyberHazard", "CyberRisk", "CyberMitigation", "SecurityRequirement", "TrustBoundary", "OperativeScenario[scenarioKind=threat]");
             attribute :>> includeLayers = ("cybersecurity", "risk", "assurance");

package/examples/gpca-pump/model/catalog/viewpoints/cybersecurity/views/document_cyber_assessment_view.sysml

@@ -6,18 +6,20 @@ package memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_cyber_as
     private import memo_viewpoints_cybersecurity_cybersecurity_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view cyberAssessmentView : MemoCybersecurityAssessmentView {
         expose memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_cyber_assessment_view::*;
-        attribute :>> id = "DOC-003";
+        @MemoIdentity { :>> providedId = "DOC-003"; }
         attribute :>> name = "GPCAMemoCybersecurityAssessmentView";
-        attribute :>> shortDescription = "Cybersecurity risk-assessment-oriented document view for GPCA.";
+        @MemoIdentity { :>> shortDescription = "Cybersecurity risk-assessment-oriented document view for GPCA."; }
         attribute :>> description = "Captures GPCA cyber risks, mitigations, security requirements, verification, and safety/privacy traceability for cybersecurity assessment records.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> marketScope = "generic";
         ref :>> viewpointDefinition = cybersecurityViewpoint;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-DOC-009";
+            @MemoIdentity { :>> providedId = "QRY-DOC-009"; }
             attribute :>> name = "cyberAssessmentViewQuery";
             attribute :>> includeElementKinds = ("CyberRisk", "CyberHazard", "CybersecurityAsset", "CyberMitigation", "SecurityRequirement", "SecurityClaim", "SBOMEntry", "SoftwareModule[moduleKind=soup]");
             attribute :>> includeRelationshipKinds = ("ImpactsSafety", "Mitigates", "DerivesCyberRequirement", "AssessedAgainst", "DependsOnSoup");

package/examples/gpca-pump/model/catalog/viewpoints/cybersecurity/views/document_threat_model_view.sysml

@@ -6,18 +6,20 @@ package memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_threat_m
     private import memo_viewpoints_cybersecurity_cybersecurity_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view threatModelView : MemoCybersecurityThreatModelView {
         expose memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_threat_model_view::*;
-        attribute :>> id = "DOC-002";
+        @MemoIdentity { :>> providedId = "DOC-002"; }
         attribute :>> name = "GPCACyberThreatModelView";
-        attribute :>> shortDescription = "Threat-model-oriented document view for GPCA.";
+        @MemoIdentity { :>> shortDescription = "Threat-model-oriented document view for GPCA."; }
         attribute :>> description = "Captures GPCA cyber assets, trust boundaries, threats, threat scenarios, vulnerabilities, and mitigations for secure product development records.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> marketScope = "generic";
         ref :>> viewpointDefinition = cybersecurityViewpoint;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-DOC-008";
+            @MemoIdentity { :>> providedId = "QRY-DOC-008"; }
             attribute :>> name = "threatModelViewQuery";
             attribute :>> includeElementKinds = ("Threat", "OperativeScenario[scenarioKind=threat]", "Vulnerability", "CybersecurityAsset", "TrustBoundary", "AttackSurface", "CyberMitigation", "SecurityRequirement");
             attribute :>> includeRelationshipKinds = ("ThreatenedBy", "Exploits", "RealizedByScenario", "CrossesTrustBoundary", "Mitigates", "DerivesCyberRequirement");

package/examples/gpca-pump/model/catalog/viewpoints/functional/views/functional_function_allocation_view.sysml

@@ -13,12 +13,14 @@ package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_
     private import memo_viewpoints_verification_verification_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view gpcaFunctionAllocationView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_functional_views_functional_function_allocation_view::*;
         attribute depth = 2;
-        attribute :>> id = "VIEW-FUN-102";
+        @MemoIdentity { :>> providedId = "VIEW-FUN-102"; }
         attribute :>> name = "GPCA_FunctionAllocationView";
-        attribute :>> shortDescription = "Allocation of logical functions to software components and hardware assemblies.";
+        @MemoIdentity { :>> shortDescription = "Allocation of logical functions to software components and hardware assemblies."; }
         attribute :>> outputKind = (ViewOutputKind::matrix);
         attribute :>> presentationKind = (PresentationKind::traceMatrix);
         attribute :>> viewKind = DiagramViewKind::grid;
@@ -27,7 +29,7 @@ package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include logical functions with their AllocatedTo targets.";
         part :>> selectionQuery {
-            attribute :>> id = "QRY-FUN-102";
+            @MemoIdentity { :>> providedId = "QRY-FUN-102"; }
             attribute :>> name = "GPCA_FunctionAllocationQuery";
             attribute :>> includeElementKinds = ("SystemFunction", "SoftwareModule", "HardwareAssembly");
             attribute :>> includeRelationshipKinds = ("AllocatedTo");

package/examples/gpca-pump/model/catalog/viewpoints/functional/views/functional_function_browser_view.sysml

@@ -13,12 +13,14 @@ package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_
     private import memo_viewpoints_verification_verification_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view gpcaFunctionBrowserView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_functional_views_functional_function_browser_view::*;
         attribute depth = 2;
-        attribute :>> id = "VIEW-FUN-103";
+        @MemoIdentity { :>> providedId = "VIEW-FUN-103"; }
         attribute :>> name = "GPCA_FunctionBrowserView";
-        attribute :>> shortDescription = "Membership tree over the functions layer: logical functions, flows, and the exchange item definitions, grouped by kind.";
+        @MemoIdentity { :>> shortDescription = "Membership tree over the functions layer: logical functions, flows, and the exchange item definitions, grouped by kind."; }
         attribute :>> description = "Browser view (SysML v2 browser view kind) exposing the functions-layer membership hierarchy as a first-class view: the eleven logical functions, the logical flows connecting them, and the data/control definitions they exchange — with kind icons, expand/collapse, and filtering.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
@@ -27,7 +29,7 @@ package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include the functions layer's functions, flows, and exchange item definitions.";
         part :>> selectionQuery {
-            attribute :>> id = "QRY-FUN-103";
+            @MemoIdentity { :>> providedId = "QRY-FUN-103"; }
             attribute :>> name = "GPCA_FunctionBrowserQuery";
             attribute :>> includeElementKinds = ("SystemFunction", "FunctionalExchange", "InterfaceItem");
             attribute :>> includeLayers = ("functions");

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/behavior_action_flow_view.sysml

@@ -13,12 +13,14 @@ package memo_examples_gpca_pump_viewpoints_logical_views_behavior_action_flow_vi
     private import memo_viewpoints_verification_verification_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view gpcaActionFlowView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_logical_views_behavior_action_flow_view::*;
         attribute depth = 2;
-        attribute :>> id = "VIEW-BHV-003";
+        @MemoIdentity { :>> providedId = "VIEW-BHV-003"; }
         attribute :>> name = "GPCA_InfusionDeliveryActionFlowView";
-        attribute :>> shortDescription = "The 20 ms execution-step pipeline from sensor acquisition through alarm evaluation and dose limiting to pump actuation and event logging.";
+        @MemoIdentity { :>> shortDescription = "The 20 ms execution-step pipeline from sensor acquisition through alarm evaluation and dose limiting to pump actuation and event logging."; }
         attribute :>> description = "Action flow over the infusionDeliveryFlow composite action: typed action steps with in/out parameters, item flows carrying the DD/CD exchange items, succession ordering from start to done, and swimlane allocation onto the logical architecture (sensors, alarm, infusion manager, pump motor, logging).";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::activityDiagram);
@@ -28,7 +30,7 @@ package memo_examples_gpca_pump_viewpoints_logical_views_behavior_action_flow_vi
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include the nested action usages of the infusion delivery flow with their flows and successions.";
         part :>> selectionQuery {
-            attribute :>> id = "QRY-BHV-103";
+            @MemoIdentity { :>> providedId = "QRY-BHV-103"; }
             attribute :>> name = "GPCA_ActionFlowQuery";
             attribute :>> includeElementKinds = ("ActionUsage");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/document_architecture_description_view.sysml

@@ -7,11 +7,13 @@ package memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_d
     private import memo_viewpoints_physical_physical_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view architectureDescriptionView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_description_view::*;
-        attribute :>> id = "DOC-005";
+        @MemoIdentity { :>> providedId = "DOC-005"; }
         attribute :>> name = "ArchitectureDescriptionView";
-        attribute :>> shortDescription = "ISO/IEC/IEEE 42010 architecture description across all layers.";
+        @MemoIdentity { :>> shortDescription = "ISO/IEC/IEEE 42010 architecture description across all layers."; }
         attribute :>> description = "Aggregates context, operational, functional, logical, software, and physical layers with their views and correspondences for the system architecture description.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
@@ -22,7 +24,7 @@ package memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_d
         ref vpSoftware :> viewpointDefinition = softwareViewpoint;
         ref vpPhysical :> viewpointDefinition = physicalViewpoint;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-DOC-005";
+            @MemoIdentity { :>> providedId = "QRY-DOC-005"; }
             attribute :>> name = "architectureDescriptionViewQuery";
             attribute :>> includeElementKinds = ("LogicalComponent", "SystemFunction", "ComponentExchange", "SoftwareSystem", "SoftwareModule", "HardwareAssembly", "ProcessingNode", "PhysicalPort", "FunctionalFlow", "FunctionalFlowStep");
             attribute :>> includeRelationshipKinds = ("Composes", "AllocatedTo", "Realizes", "BindsToInterface", "Performs", "Succession", "DeploysTo", "HostedBy");