@memoarchitect/ontology 0.8.24 → 0.11.0

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

@@ -10,9 +10,11 @@ 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";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "NDS-REQ-001"; } attribute :>> name = "DoseAccuracy";
+        attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "The pump shall deliver the prescribed volume within ±5% over any 60-minute window.";
         attribute :>> notation = RequirementNotationKind::sophist;
         attribute :>> obligation = ObligationKind::shall;
@@ -20,8 +22,8 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::clinical;
     }
     requirement reqOcclusionDetection : Requirement {
-        attribute :>> id = "NDS-REQ-002"; attribute :>> name = "OcclusionDetection";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "NDS-REQ-002"; } attribute :>> name = "OcclusionDetection";
+        attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "When line pressure exceeds the occlusion threshold, the pump shall stop delivery within 2 seconds.";
         attribute :>> notation = RequirementNotationKind::ears;
         attribute :>> earsPattern = EarsPatternKind::eventDriven;
@@ -31,8 +33,8 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::safety;
     }
     requirement reqAirInLine : Requirement {
-        attribute :>> id = "NDS-REQ-003"; attribute :>> name = "AirInLineProtection";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "NDS-REQ-003"; } attribute :>> name = "AirInLineProtection";
+        attribute :>> requirementType = RequirementTypeKind::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;
         attribute :>> earsPattern = EarsPatternKind::eventDriven;
@@ -42,8 +44,8 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::safety;
     }
     requirement reqAlarmAnnunciation : Requirement {
-        attribute :>> id = "NDS-REQ-004"; attribute :>> name = "AlarmAnnunciation";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "NDS-REQ-004"; } attribute :>> name = "AlarmAnnunciation";
+        attribute :>> requirementType = RequirementTypeKind::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;
         attribute :>> earsPattern = EarsPatternKind::stateDriven;
@@ -54,8 +56,8 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> safetyClass = SafetyClassKind::C;
     }
     requirement reqBatteryEndurance : Requirement {
-        attribute :>> id = "NDS-REQ-005"; attribute :>> name = "BatteryEndurance";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "NDS-REQ-005"; } attribute :>> name = "BatteryEndurance";
+        attribute :>> requirementType = RequirementTypeKind::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;
         attribute :>> earsPattern = EarsPatternKind::eventDriven;
@@ -65,8 +67,8 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::reliability;
     }
     requirement reqPrescriptionConfirmation : Requirement {
-        attribute :>> id = "NDS-REQ-006"; attribute :>> name = "PrescriptionConfirmation";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "NDS-REQ-006"; } attribute :>> name = "PrescriptionConfirmation";
+        attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "When the clinician changes the infusion rate, the pump shall require explicit confirmation before applying it.";
         attribute :>> notation = RequirementNotationKind::ears;
         attribute :>> earsPattern = EarsPatternKind::eventDriven;
@@ -78,8 +80,8 @@ 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";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "NDS-REQ-007"; } attribute :>> name = "StatusVisibility";
+        attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "The pump shall display the active rate and volume delivered legibly at 1 m.";
         attribute :>> notation = RequirementNotationKind::sophist;
         attribute :>> obligation = ObligationKind::shall;

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

@@ -11,6 +11,7 @@ package memo_examples_nested_architecture_dsm_project {
 
     // The project's own content, imported so the catalog is one reachable
     // closure from a single entrypoint.
+    private import memo_examples_nested_architecture_dsm_architecture_operational_context::*;
     private import memo_examples_nested_architecture_dsm_architecture_logical_structure::*;
     private import memo_examples_nested_architecture_dsm_architecture_functional_functions::*;
     private import memo_examples_nested_architecture_dsm_assurance_requirements::*;
@@ -18,8 +19,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;

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

@@ -12,15 +12,17 @@ package memo_examples_reusable_instrument {
     private import memo_architecture_operational_workflows::*;
     private import memo_architecture_operational_scenarios::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part sterileProcessingTech : User {
         attribute :>> actorKind = ActorKind::technician;
-        attribute :>> id = "RI-USR-001"; attribute :>> name = "SterileProcessingTechnician";
+        @MemoIdentity { :>> providedId = "RI-USR-001"; } attribute :>> name = "SterileProcessingTechnician";
         attribute :>> serviceScope = "central sterile services department";
     }
 
     use case ucSterilize : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        attribute :>> id = "RI-UC-001"; attribute :>> name = "SterilizeReusableInstrument";
+        @MemoIdentity { :>> providedId = "RI-UC-001"; } attribute :>> name = "SterilizeReusableInstrument";
         attribute :>> goalStatement = "Return a used instrument to sterile, functional condition for the next case.";
         attribute :>> preCondition = "instrument collected from the OR; gross soil removed at point of use";
         attribute :>> successOutcome = "instrument cleaned, inspected, sterilized, and released to sterile storage";
@@ -30,36 +32,35 @@ package memo_examples_reusable_instrument {
 
     // Reprocessing workflow: exists independently of any single instrument.
     action wfReprocess : OperationalWorkflow {
-        attribute :>> id = "RI-WF-001"; attribute :>> name = "InstrumentReprocessingWorkflow";
+        @MemoIdentity { :>> providedId = "RI-WF-001"; } attribute :>> name = "InstrumentReprocessingWorkflow";
         attribute :>> workflowState = WorkflowStateKind::asIs;
         attribute :>> entryCondition = "used instrument received in decontamination";
         attribute :>> completionCondition = "sterile pack released to storage";
+        action scNominalCycle : OperativeScenario {
+            @MemoIdentity { :>> providedId = "RI-SC-001"; } attribute :>> name = "NominalReprocessingCycle";
+
+            perform actClean;
+            perform actInspect;
+            perform actSterilizeLoad;
+            first actClean then actInspect;
+            first actInspect then actSterilizeLoad;
+        }
     }
     action actClean : OperativeAction {
-        attribute :>> id = "RI-ACT-001"; attribute :>> name = "CleanAndDisinfect";
+        @MemoIdentity { :>> providedId = "RI-ACT-001"; } attribute :>> name = "CleanAndDisinfect";
         attribute :>> criticality = CriticalityKind::high;
     }
     action actInspect : OperativeAction {
-        attribute :>> id = "RI-ACT-002"; attribute :>> name = "InspectAndFunctionTest";
+        @MemoIdentity { :>> providedId = "RI-ACT-002"; } attribute :>> name = "InspectAndFunctionTest";
         attribute :>> criticality = CriticalityKind::high;
     }
     action actSterilizeLoad : OperativeAction {
-        attribute :>> id = "RI-ACT-003"; attribute :>> name = "PackAndAutoclave";
+        @MemoIdentity { :>> providedId = "RI-ACT-003"; } attribute :>> name = "PackAndAutoclave";
         attribute :>> criticality = CriticalityKind::high;
     }
 
-    action scNominalCycle : OperativeScenario {
-        attribute :>> id = "RI-SC-001"; attribute :>> name = "NominalReprocessingCycle";
-
-        perform actClean;
-        perform actInspect;
-        perform actSterilizeLoad;
-        first actClean then actInspect;
-        first actInspect then actSterilizeLoad;
-    }
 
     connection : RealizesUseCase connect realizingWorkflow ::> wfReprocess to realizedUseCase ::> ucSterilize;
 
 
-    connection : HasScenario connect owningWorkflow ::> wfReprocess to pathScenario ::> scNominalCycle;
 }

package/examples/ros-mobile-robot/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_ros_mobile_robot_project {
     private import memo_examples_ros_mobile_robot_viewpoints_unassigned::*;
     private import memo_examples_ros_mobile_robot_viewpoints_unassigned_views_ros_mobile_robot_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-ROS-MOBILE-ROBOT-001";
+        @MemoIdentity { :>> providedId = "PMB-ROS-MOBILE-ROBOT-001"; }
         attribute :>> name = "RosMobileRobotProjectMethodBinding";
         attribute :>> projectName = "ROS Mobile Robot";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/ros-mobile-robot/model/catalog/ros_mobile_robot.sysml

@@ -27,6 +27,8 @@ package memo_examples_ros_mobile_robot {
     private import memo_extension_container::*;
     private import memo_extension_ros::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Message definitions and named topic instances ──────────────────
     // The definition is the ROS message contract. A named usage is the topic
     // deployed in this system; publisher/subscriber ports reference that same
@@ -45,31 +47,31 @@ package memo_examples_ros_mobile_robot {
     }
 
     item topicScan : LaserScan {
-        attribute :>> id = "RMR-TP-001"; attribute :>> name = "ScanTopic";
+        @MemoIdentity { :>> providedId = "RMR-TP-001"; } attribute :>> name = "ScanTopic";
     }
     item topicCmdVel : VelocityCommand {
-        attribute :>> id = "RMR-TP-002"; attribute :>> name = "CmdVelTopic";
+        @MemoIdentity { :>> providedId = "RMR-TP-002"; } attribute :>> name = "CmdVelTopic";
     }
     item topicEstop : EmergencyStop {
-        attribute :>> id = "RMR-TP-003"; attribute :>> name = "EmergencyStopTopic";
+        @MemoIdentity { :>> providedId = "RMR-TP-003"; } attribute :>> name = "EmergencyStopTopic";
     }
 
     // ── Code ────────────────────────────────────────────────────────────
     part swPerception : SoftwareModule {
         attribute :>> moduleKind = ModuleKind::unit;
-        attribute :>> id = "RMR-SW-001"; attribute :>> name = "PerceptionStack";
+        @MemoIdentity { :>> providedId = "RMR-SW-001"; } attribute :>> name = "PerceptionStack";
         attribute :>> responsibility = "Lidar driver and obstacle segmentation.";
         attribute :>> safetyClass = SafetyClassKind::B;
     }
     part swNavigation : SoftwareModule {
         attribute :>> moduleKind = ModuleKind::unit;
-        attribute :>> id = "RMR-SW-002"; attribute :>> name = "NavigationStack";
+        @MemoIdentity { :>> providedId = "RMR-SW-002"; } attribute :>> name = "NavigationStack";
         attribute :>> responsibility = "Global and local planning; velocity command generation.";
         attribute :>> safetyClass = SafetyClassKind::B;
     }
     part swSafety : SoftwareModule {
         attribute :>> moduleKind = ModuleKind::unit;
-        attribute :>> id = "RMR-SW-003"; attribute :>> name = "SafetyMonitor";
+        @MemoIdentity { :>> providedId = "RMR-SW-003"; } attribute :>> name = "SafetyMonitor";
         attribute :>> responsibility = "Independent watchdog: stops the base on obstacle proximity or missing heartbeat.";
         attribute :>> safetyClass = SafetyClassKind::C;
     }
@@ -82,7 +84,7 @@ package memo_examples_ros_mobile_robot {
     // is exactly what an extension type must NOT decide for the modeller.
     part nodeLidar : RosNode {
         attribute :>> runtimeKind = RuntimeKind::thread;
-        attribute :>> id = "RMR-ND-001"; attribute :>> name = "LidarDriverNode";
+        @MemoIdentity { :>> providedId = "RMR-ND-001"; } attribute :>> name = "LidarDriverNode";
         attribute :>> nodeNamespace = "/robot/perception";
         attribute :>> lifecycleManaged = true;
         attribute :>> executorModel = "single-threaded executor, composed";
@@ -104,7 +106,7 @@ package memo_examples_ros_mobile_robot {
     }
     part nodeNavigation : RosNode {
         attribute :>> runtimeKind = RuntimeKind::thread;
-        attribute :>> id = "RMR-ND-002"; attribute :>> name = "NavigationNode";
+        @MemoIdentity { :>> providedId = "RMR-ND-002"; } attribute :>> name = "NavigationNode";
         attribute :>> nodeNamespace = "/robot/navigation";
         attribute :>> lifecycleManaged = true;
         attribute :>> executorModel = "multi-threaded executor, composed";
@@ -157,7 +159,7 @@ package memo_examples_ros_mobile_robot {
     }
     part nodeSafetyMonitor : RosNode {
         attribute :>> runtimeKind = RuntimeKind::process;
-        attribute :>> id = "RMR-ND-003"; attribute :>> name = "SafetyMonitorNode";
+        @MemoIdentity { :>> providedId = "RMR-ND-003"; } attribute :>> name = "SafetyMonitorNode";
         attribute :>> nodeNamespace = "/robot/safety";
         attribute :>> lifecycleManaged = false;
         attribute :>> executorModel = "own process, real-time priority";
@@ -238,7 +240,7 @@ package memo_examples_ros_mobile_robot {
 
     // ── Deployment: base relations, unchanged ───────────────────────────
     part imageRuntime : RosContainerImage {
-        attribute :>> id = "RMR-DU-001"; attribute :>> name = "RobotRuntimeImage";
+        @MemoIdentity { :>> providedId = "RMR-DU-001"; } attribute :>> name = "RobotRuntimeImage";
         attribute :>> unitKind = "OCI container image";
         attribute :>> imageReference = "registry.example.com/robot-runtime:2.3.0";
         attribute :>> registry = "registry.example.com";
@@ -249,7 +251,7 @@ package memo_examples_ros_mobile_robot {
         attribute :>> integrityProtection = "image signature + SBOM attestation";
     }
     part imageSafety : RosContainerImage {
-        attribute :>> id = "RMR-DU-002"; attribute :>> name = "SafetyMonitorImage";
+        @MemoIdentity { :>> providedId = "RMR-DU-002"; } attribute :>> name = "SafetyMonitorImage";
         attribute :>> unitKind = "OCI container image";
         attribute :>> imageReference = "registry.example.com/safety-monitor:2.3.0";
         attribute :>> registry = "registry.example.com";
@@ -259,12 +261,12 @@ package memo_examples_ros_mobile_robot {
         attribute :>> workspaceOverlay = "/opt/safety_ws";
         attribute :>> integrityProtection = "image signature + SBOM attestation";
     }
-    connection : BuildsInto connect module ::> swPerception to deploymentUnit ::> imageRuntime;
-    connection : BuildsInto connect module ::> swNavigation to deploymentUnit ::> imageRuntime;
-    connection : BuildsInto connect module ::> swSafety to deploymentUnit ::> imageSafety;
+    allocation : BuildsInto allocate swPerception to imageRuntime;
+    allocation : BuildsInto allocate swNavigation to imageRuntime;
+    allocation : BuildsInto allocate swSafety to imageSafety;
 
     part nodeComputeUnit : ProcessingNode {
-        attribute :>> id = "RMR-HW-001"; attribute :>> name = "OnboardComputeUnit";
+        @MemoIdentity { :>> providedId = "RMR-HW-001"; } attribute :>> name = "OnboardComputeUnit";
         attribute :>> nodeKind = ProcessingNodeKind::SoC;
         attribute :>> processorArchitecture = "arm64, 8 core";
         attribute :>> memoryMB = "16384";
@@ -280,7 +282,7 @@ package memo_examples_ros_mobile_robot {
     }
 
     part rosRuntime : RosContainerRuntime {
-        attribute :>> id = "RMR-RT-001"; attribute :>> name = "OnboardRosRuntime";
+        @MemoIdentity { :>> providedId = "RMR-RT-001"; } attribute :>> name = "OnboardRosRuntime";
         attribute :>> environmentKind = "container runtime";
         attribute :>> osOrRtos = "Linux with PREEMPT_RT";
         attribute :>> orchestrationPlatform = "systemd-managed compose, no cluster orchestrator";

package/examples/software-only-medical-device/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_software_only_medical_device_project {
     private import memo_examples_software_only_medical_device_viewpoints_unassigned::*;
     private import memo_examples_software_only_medical_device_viewpoints_unassigned_views_software_only_medical_device_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-MEDICAL-DEVICE-001";
+        @MemoIdentity { :>> providedId = "PMB-MEDICAL-DEVICE-001"; }
         attribute :>> name = "SoftwareOnlyMedicalDeviceProjectMethodBinding";
         attribute :>> projectName = "Software Only Medical Device";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/software-only-medical-device/model/catalog/software_only_medical_device.sysml

@@ -18,31 +18,33 @@ package memo_examples_software_only_medical_device {
     // the mechanism working as designed rather than a cost of the move.
     private import memo_extension_cloud::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part swScreeningApp : SoftwareSystem {
-        attribute :>> id = "SMD-SW-001"; attribute :>> name = "ScreeningApplication";
+        @MemoIdentity { :>> providedId = "SMD-SW-001"; } attribute :>> name = "ScreeningApplication";
         attribute :>> safetyClass = SafetyClassKind::B;
         attribute :>> version = "1.4.0";
     }
     part algGrading : Algorithm {
-        attribute :>> id = "SMD-ALG-001"; attribute :>> name = "RetinopathyGradingModel";
+        @MemoIdentity { :>> providedId = "SMD-ALG-001"; } attribute :>> name = "RetinopathyGradingModel";
         attribute :>> algorithmKind = "convolutional neural network, locked (non-adaptive)";
         attribute :>> clinicalPerformanceClaim = "sensitivity >= 87%, specificity >= 90% vs. reference standard";
     }
     part soupInference : SoftwareModule {
         attribute :>> moduleKind = ModuleKind::soup;
-        attribute :>> id = "SMD-SOUP-001"; attribute :>> name = "InferenceRuntimeLibrary";
+        @MemoIdentity { :>> providedId = "SMD-SOUP-001"; } attribute :>> name = "InferenceRuntimeLibrary";
         attribute :>> soupVendor = "third-party OSS";
         attribute :>> soupClassification = SOUPClassificationKind::classB;
     }
     part swGradingModule : SoftwareModule {
-        attribute :>> id = "SMD-SW-002"; attribute :>> name = "GradingModule";
+        @MemoIdentity { :>> providedId = "SMD-SW-002"; } attribute :>> name = "GradingModule";
         attribute :>> responsibility = "Wraps the grading model behind the service API; owns input validation and result structuring.";
         attribute :>> safetyClass = SafetyClassKind::B;
     }
     dependency swGradingModule to soupInference;
 
     part svcGrading : CloudService {
-        attribute :>> id = "SMD-RT-001"; attribute :>> name = "GradingService";
+        @MemoIdentity { :>> providedId = "SMD-RT-001"; } attribute :>> name = "GradingService";
         attribute :>> serviceContract = "REST /grade: image in, structured finding out";
         attribute :>> discoveryMechanism = "DNS name behind the cluster ingress";
         attribute :>> updatePolicy = "blue/green rollout";
@@ -51,12 +53,12 @@ package memo_examples_software_only_medical_device {
     #refinement dependency svcGrading to swGradingModule;
 
     part duContainerImage : SoftwareDeploymentUnit {
-        attribute :>> id = "SMD-DU-001"; attribute :>> name = "ScreeningServiceImage";
+        @MemoIdentity { :>> providedId = "SMD-DU-001"; } attribute :>> name = "ScreeningServiceImage";
         attribute :>> unitKind = "OCI container image";
         attribute :>> integrityProtection = "image signature + SBOM attestation";
     }
     part nodeCloud : ProcessingNode {
-        attribute :>> id = "SMD-HW-001"; attribute :>> name = "CloudComputeNode";
+        @MemoIdentity { :>> providedId = "SMD-HW-001"; } attribute :>> name = "CloudComputeNode";
         attribute :>> nodeKind = ProcessingNodeKind::cloudServer;
         attribute :>> supportsContainerization = true;
         attribute :>> realTimeCapable = false;
@@ -64,5 +66,5 @@ package memo_examples_software_only_medical_device {
     allocation duContainerImageDeployment : DeploysTo allocate duContainerImage to nodeCloud {
         attribute :>> deploymentKind = DeploymentKind::containerized;
     }
-    connection : HostedBy connect hostAssembly ::> nodeCloud to processingNode ::> svcGrading;
+    allocation : HostedBy allocate svcGrading to nodeCloud;
 }

package/examples/surgical-closure-workflow/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_surgical_closure_workflow_project {
     private import memo_examples_surgical_closure_workflow_viewpoints_unassigned::*;
     private import memo_examples_surgical_closure_workflow_viewpoints_unassigned_views_surgical_closure_workflow_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-CLOSURE-WORKFLOW-001";
+        @MemoIdentity { :>> providedId = "PMB-CLOSURE-WORKFLOW-001"; }
         attribute :>> name = "SurgicalClosureWorkflowProjectMethodBinding";
         attribute :>> projectName = "Surgical Closure Workflow";
         ref :>> selectedMethodology = mdDefaultDefinition;