@memoarchitect/ontology 0.8.24 → 0.10.9

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;

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

@@ -16,36 +16,38 @@ package memo_examples_surgical_closure_workflow {
     private import memo_architecture_operational_workflows::*;
     private import memo_architecture_operational_scenarios::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Clinical setting and goal ───────────────────────────────
     part bariatricSurgeon : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> id = "LSG-USR-001"; attribute :>> name = "BariatricSurgeon";
+        @MemoIdentity { :>> providedId = "LSG-USR-001"; } attribute :>> name = "BariatricSurgeon";
         attribute :>> clinicalRole = "primary operating surgeon";
     }
     part scrubNurse : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> id = "LSG-USR-002"; attribute :>> name = "ScrubNurse";
+        @MemoIdentity { :>> providedId = "LSG-USR-002"; } attribute :>> name = "ScrubNurse";
         attribute :>> clinicalRole = "sterile instrumentation and count";
     }
     part anesthetist : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> id = "LSG-USR-003"; attribute :>> name = "Anesthetist";
+        @MemoIdentity { :>> providedId = "LSG-USR-003"; } attribute :>> name = "Anesthetist";
         attribute :>> clinicalRole = "anaesthesia and physiologic monitoring";
     }
     part bariatricOr : UseContext {
-        attribute :>> id = "LSG-CTX-001"; attribute :>> name = "BariatricOperatingRoom";
+        @MemoIdentity { :>> providedId = "LSG-CTX-001"; } attribute :>> name = "BariatricOperatingRoom";
         attribute :>> careSetting = "hospital operating room";
         attribute :>> environment = "sterile laparoscopic operating field";
         attribute :>> connectedUse = false;
     }
     requirement needControlledGastricResection : Need {
         attribute :>> needKind = NeedKind::clinicalUser;
-        attribute :>> id = "LSG-N-001";
+        @MemoIdentity { :>> providedId = "LSG-N-001"; }
         attribute :>> statement = "The surgical team needs to perform gastric resection with controlled anatomy, haemostasis, and a checked staple line.";
     }
     use case ucPerformSleeveGastrectomy : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        attribute :>> id = "LSG-UC-001";
+        @MemoIdentity { :>> providedId = "LSG-UC-001"; }
         attribute :>> name = "PerformLaparoscopicSleeveGastrectomy";
         attribute :>> goalStatement = "Complete the planned laparoscopic sleeve gastrectomy and transfer the patient with the staple line assessed.";
         attribute :>> trigger = "patient prepared and surgical time-out complete";
@@ -60,79 +62,77 @@ package memo_examples_surgical_closure_workflow {
     connection : Motivates connect motivatingNeed ::> needControlledGastricResection to motivatedUseCase ::> ucPerformSleeveGastrectomy;
 
     // ── Procedure workflow ──────────────────────────────────────
-    action actTimeOutAndPosition : OperativeAction { attribute :>> id = "LSG-ACT-001"; attribute :>> name = "ConfirmTimeOutAndPosition"; }
-    action actEstablishAccess : OperativeAction { attribute :>> id = "LSG-ACT-002"; attribute :>> name = "EstablishLaparoscopicAccess"; }
-    action actMobilizeStomach : OperativeAction { attribute :>> id = "LSG-ACT-003"; attribute :>> name = "MobilizeStomach"; }
+    action actTimeOutAndPosition : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-001"; } attribute :>> name = "ConfirmTimeOutAndPosition"; }
+    action actEstablishAccess : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-002"; } attribute :>> name = "EstablishLaparoscopicAccess"; }
+    action actMobilizeStomach : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-003"; } attribute :>> name = "MobilizeStomach"; }
     action actSizeAndCreateSleeve : OperativeAction {
-        attribute :>> id = "LSG-ACT-004"; attribute :>> name = "SizeAndCreateSleeve"; attribute :>> criticality = CriticalityKind::high;
+        @MemoIdentity { :>> providedId = "LSG-ACT-004"; } attribute :>> name = "SizeAndCreateSleeve"; attribute :>> criticality = CriticalityKind::high;
 
         action taskCreateStapleLine : OperativeAction {
             attribute :>> criticality = CriticalityKind::high;
-            attribute :>> id = "LSG-TASK-001";
+            @MemoIdentity { :>> providedId = "LSG-TASK-001"; }
             attribute :>> name = "CreateAndInspectStapleLine";
             attribute :>> taskGoal = "create the planned sleeve and identify bleeding or integrity concerns before completion";
             attribute :>> potentialHarm = "bleeding or staple-line complication not recognized before handover";
             attribute :>> severityIfFailed = SeverityKind::serious;
 
-            action stConfirmAnatomy : OperativeAction { attribute :>> id = "LSG-ST-001"; attribute :>> name = "ConfirmAnatomy"; }
-            action stCreateStapleLine : OperativeAction { attribute :>> id = "LSG-ST-002"; attribute :>> name = "CreateStapleLine"; }
-            action stInspectBleeding : OperativeAction { attribute :>> id = "LSG-ST-003"; attribute :>> name = "InspectForBleeding"; }
-            action stAssessIntegrity : OperativeAction { attribute :>> id = "LSG-ST-004"; attribute :>> name = "AssessStapleLineIntegrity"; }
+            action stConfirmAnatomy : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-001"; } attribute :>> name = "ConfirmAnatomy"; }
+            action stCreateStapleLine : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-002"; } attribute :>> name = "CreateStapleLine"; }
+            action stInspectBleeding : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-003"; } attribute :>> name = "InspectForBleeding"; }
+            action stAssessIntegrity : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-004"; } attribute :>> name = "AssessStapleLineIntegrity"; }
             first stConfirmAnatomy then stCreateStapleLine;
             first stCreateStapleLine then stInspectBleeding;
             first stInspectBleeding then stAssessIntegrity;
         }
     }
-    action actAssessStapleLine : OperativeAction { attribute :>> id = "LSG-ACT-005"; attribute :>> name = "AssessStapleLine"; attribute :>> criticality = CriticalityKind::high; }
-    action actExtractSpecimenAndClose : OperativeAction { attribute :>> id = "LSG-ACT-006"; attribute :>> name = "ExtractSpecimenAndClosePorts"; }
-    action actHandover : OperativeAction { attribute :>> id = "LSG-ACT-007"; attribute :>> name = "CompletePostoperativeHandover"; }
+    action actAssessStapleLine : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-005"; } attribute :>> name = "AssessStapleLine"; attribute :>> criticality = CriticalityKind::high; }
+    action actExtractSpecimenAndClose : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-006"; } attribute :>> name = "ExtractSpecimenAndClosePorts"; }
+    action actHandover : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-007"; } attribute :>> name = "CompletePostoperativeHandover"; }
 
     action wfSleeveGastrectomy : ClinicalProcedureWorkflow {
-        attribute :>> id = "LSG-WF-001";
+        @MemoIdentity { :>> providedId = "LSG-WF-001"; }
         attribute :>> name = "LaparoscopicSleeveGastrectomyWorkflow";
         attribute :>> workflowState = WorkflowStateKind::toBe;
         attribute :>> entryCondition = "patient prepared; time-out ready";
         attribute :>> completionCondition = "staple line assessed; postoperative handover complete";
         attribute :>> clinicalObjective = "create a gastric sleeve after controlled mobilisation and staple-line assessment";
-    }
-
-    // ── Scenario paths, each with its own activity/action flow ──
-    action scNominalSleeveProcedure : OperativeScenario {
-        attribute :>> id = "LSG-SC-001"; attribute :>> name = "NominalSleeveGastrectomy";
-        attribute :>> pathSummary = "Time-out, access, mobilisation, sleeve creation, staple-line assessment, closure, and handover complete without rework.";
+        action scNominalSleeveProcedure : OperativeScenario {
+            @MemoIdentity { :>> providedId = "LSG-SC-001"; } attribute :>> name = "NominalSleeveGastrectomy";
+            attribute :>> pathSummary = "Time-out, access, mobilisation, sleeve creation, staple-line assessment, closure, and handover complete without rework.";
 
-        perform actTimeOutAndPosition;
-        perform actEstablishAccess;
-        perform actMobilizeStomach;
-        perform actSizeAndCreateSleeve;
-        perform actAssessStapleLine;
-        perform actExtractSpecimenAndClose;
-        perform actHandover;
-        first actTimeOutAndPosition then actEstablishAccess;
-        first actEstablishAccess then actMobilizeStomach;
-        first actMobilizeStomach then actSizeAndCreateSleeve;
-        first actSizeAndCreateSleeve then actAssessStapleLine;
-        first actAssessStapleLine then actExtractSpecimenAndClose;
-        first actExtractSpecimenAndClose then actHandover;
-    }
-    action scStapleLineBleeding : OperativeScenario {
-        attribute :>> scenarioKind = ScenarioKind::alternate;
-        attribute :>> id = "LSG-SC-002"; attribute :>> name = "StapleLineBleedingRecovery";
-        attribute :>> pathSummary = "Recognize bleeding, apply the selected control, reassess the staple line, and escalate if the condition remains unresolved.";
+            perform actTimeOutAndPosition;
+            perform actEstablishAccess;
+            perform actMobilizeStomach;
+            perform actSizeAndCreateSleeve;
+            perform actAssessStapleLine;
+            perform actExtractSpecimenAndClose;
+            perform actHandover;
+            first actTimeOutAndPosition then actEstablishAccess;
+            first actEstablishAccess then actMobilizeStomach;
+            first actMobilizeStomach then actSizeAndCreateSleeve;
+            first actSizeAndCreateSleeve then actAssessStapleLine;
+            first actAssessStapleLine then actExtractSpecimenAndClose;
+            first actExtractSpecimenAndClose then actHandover;
+        }
+        action scStapleLineBleeding : OperativeScenario {
+            attribute :>> scenarioKind = ScenarioKind::alternate;
+            @MemoIdentity { :>> providedId = "LSG-SC-002"; } attribute :>> name = "StapleLineBleedingRecovery";
+            attribute :>> pathSummary = "Recognize bleeding, apply the selected control, reassess the staple line, and escalate if the condition remains unresolved.";
 
-        action oaControlStapleLineBleeding : OperativeAction {
-            attribute :>> name = "ControlStapleLineBleeding";
-            action recognizeBleeding; action controlBleeding; action reassessStapleLine; action escalateIfNeeded;
-            first start then recognizeBleeding; first recognizeBleeding then controlBleeding; first controlBleeding then reassessStapleLine; first reassessStapleLine then escalateIfNeeded; first escalateIfNeeded then done;
+            action oaControlStapleLineBleeding : OperativeAction {
+                attribute :>> name = "ControlStapleLineBleeding";
+                action recognizeBleeding; action controlBleeding; action reassessStapleLine; action escalateIfNeeded;
+                first start then recognizeBleeding; first recognizeBleeding then controlBleeding; first controlBleeding then reassessStapleLine; first reassessStapleLine then escalateIfNeeded; first escalateIfNeeded then done;
+            }
         }
     }
-    #refinement dependency scNominalSleeveProcedure to ucPerformSleeveGastrectomy;
-    #refinement dependency scStapleLineBleeding to ucPerformSleeveGastrectomy;
+
+    // ── Scenario paths, each with its own activity/action flow ──
+    #refinement dependency wfSleeveGastrectomy::scNominalSleeveProcedure to ucPerformSleeveGastrectomy;
+    #refinement dependency wfSleeveGastrectomy::scStapleLineBleeding to ucPerformSleeveGastrectomy;
 
     connection : RealizesUseCase connect realizingWorkflow ::> wfSleeveGastrectomy to realizedUseCase ::> ucPerformSleeveGastrectomy;
 
 
-    connection : HasScenario connect owningWorkflow ::> wfSleeveGastrectomy to pathScenario ::> scNominalSleeveProcedure;
-    connection : HasScenario connect owningWorkflow ::> wfSleeveGastrectomy to pathScenario ::> scStapleLineBleeding;
 
 }

package/examples/surgical-robot/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_surgical_robot_project {
     private import memo_examples_surgical_robot_viewpoints_unassigned::*;
     private import memo_examples_surgical_robot_viewpoints_unassigned_views_surgical_robot_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-SURGICAL-ROBOT-001";
+        @MemoIdentity { :>> providedId = "PMB-SURGICAL-ROBOT-001"; }
         attribute :>> name = "SurgicalRobotProjectMethodBinding";
         attribute :>> projectName = "Surgical Robot";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/surgical-robot/model/catalog/surgical_robot.sysml

@@ -10,13 +10,15 @@ package memo_examples_surgical_robot {
     private import memo_architecture_implementation_hardware_structure::*;
     private import memo_architecture_implementation_ui::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // Control channels: primary + diverse monitor, with declared independence.
     part chMotionPrimary : LogicalComponent {
-        attribute :>> id = "SR-LC-001"; attribute :>> name = "MotionControlChannel";
+        @MemoIdentity { :>> providedId = "SR-LC-001"; } attribute :>> name = "MotionControlChannel";
         attribute :>> channelRole = ChannelRoleKind::primary;
     }
     part chMotionMonitor : LogicalComponent {
-        attribute :>> id = "SR-LC-002"; attribute :>> name = "MotionMonitorChannel";
+        @MemoIdentity { :>> providedId = "SR-LC-002"; } attribute :>> name = "MotionMonitorChannel";
         attribute :>> channelRole = ChannelRoleKind::monitor;
         attribute :>> diversityBasis = "independent encoder set and diverse processor family";
     }
@@ -27,22 +29,22 @@ package memo_examples_surgical_robot {
 
     // Interlock: instrument exchange blocked while arm is in motion.
     part chExchangeInterlock : LogicalComponent {
-        attribute :>> id = "SR-LC-003"; attribute :>> name = "InstrumentExchangeInterlock";
+        @MemoIdentity { :>> providedId = "SR-LC-003"; } attribute :>> name = "InstrumentExchangeInterlock";
         attribute :>> channelRole = ChannelRoleKind::interlock;
     }
 
     // Mechanical-force flow from actuator to instrument tip.
     part exTipForce : LogicalExchange {
-        attribute :>> id = "SR-EX-001"; attribute :>> name = "TipForceTransmission";
+        @MemoIdentity { :>> providedId = "SR-EX-001"; } attribute :>> name = "TipForceTransmission";
         attribute :>> contentKind = FlowContentKind::mechanicalForce;
         attribute :>> direction = DirectionKind::output;
     }
     part actJointDrive : Actuator {
-        attribute :>> id = "SR-HW-001"; attribute :>> name = "JointDriveActuator";
+        @MemoIdentity { :>> providedId = "SR-HW-001"; } attribute :>> name = "JointDriveActuator";
         attribute :>> actuationKind = "brushless DC servo with harmonic drive";
     }
     part instrShaft : MechanicalPart {
-        attribute :>> id = "SR-HW-002"; attribute :>> name = "InstrumentShaft";
+        @MemoIdentity { :>> providedId = "SR-HW-002"; } attribute :>> name = "InstrumentShaft";
         attribute :>> mechanicalFunction = "transmits actuation to end effector";
         attribute :>> patientContact = true;
         attribute :>> contactNature = "internal tissue, direct";
@@ -53,7 +55,7 @@ package memo_examples_surgical_robot {
     // surgeon holds, so it is an OperatorInterfaceElement (a PhysicalComponent)
     // rather than a UIElement — UIElement is software.
     part elHapticGrip : OperatorInterfaceElement {
-        attribute :>> id = "SR-UI-001"; attribute :>> name = "HapticMasterGrip";
+        @MemoIdentity { :>> providedId = "SR-UI-001"; } attribute :>> name = "HapticMasterGrip";
         attribute :>> formKind = OperatorInterfaceFormKind::hapticIndicator;
         attribute :>> guardedAgainstInadvertentActuation = true;
     }

package/examples/sysml-diagram-samples/model/catalog/project.sysml

@@ -23,8 +23,10 @@ package memo_examples_sysml_diagram_samples_project {
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_view::*;
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-DIAGRAM-SAMPLES-001";
+        @MemoIdentity { :>> providedId = "PMB-DIAGRAM-SAMPLES-001"; }
         attribute :>> name = "SysmlDiagramSamplesProjectMethodBinding";
         attribute :>> projectName = "Sysml Diagram Samples";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/action_flow_view.sysml

@@ -10,6 +10,8 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
     private import memo_viewpoints_functional_functional_viewpoint::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     item def DataPacket specializes InterfaceItem {
         attribute :>> itemKind = InterfaceItemKind::data;
     }
@@ -71,20 +73,20 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
     // The target is the action *usage*, not the `ProcessInput` definition.
     // Binding a value to a definition is not portable — SysIDE rejects it,
     // because a value must be a feature and a definition is not.
-    connection linkLaneBProcessesInput : MemoLink
-        connect linkSource ::> laneB to linkTarget ::> sampleActionFlow.process {
-        @Rationale {
-            :>> text =
-                "Lane B is the swimlane that carries the ProcessInput behaviour. The association crosses the part/action metaclass boundary, so no typed relation can express it.";
-        }
-    }
+    doc /* Lane B is the swimlane that carries the ProcessInput behaviour. The
+         * association crosses the part/action metaclass boundary, so no typed
+         * relation can express it — which is precisely what a bare `dependency`
+         * means. It was a `MemoLink`, the ontology's own weakest relation, and
+         * that is a duplicate of `dependency` rather than something more.
+         */
+    dependency linkLaneBProcessesInput from laneB to sampleActionFlow::process;
 
     view sampleActionFlowView : MemoDiagramView {
         expose sampleActionFlow::**;
         expose laneA;
         expose laneB;
         attribute depth = 2;
-        attribute :>> shortDescription = "Dummy actions, typed item flows, successions, and a composite action for renderer development.";
+        @MemoIdentity { :>> shortDescription = "Dummy actions, typed item flows, successions, and a composite action for renderer development."; }
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "afd";
         ref :>> viewpointDefinition = functionalViewpoint;