@memoarchitect/ontology 0.8.22 → 0.8.24

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

@@ -34,41 +34,32 @@ package memo_examples_reusable_instrument {
         attribute :>> workflowState = WorkflowStateKind::asIs;
         attribute :>> entryCondition = "used instrument received in decontamination";
         attribute :>> completionCondition = "sterile pack released to storage";
-
-        action wsClean : WorkflowStep { ref :>> performedActivity = actClean; }
-        first wsClean then wsInspect;
     }
-    action actClean : OperationalActivity {
+    action actClean : OperativeAction {
         attribute :>> id = "RI-ACT-001"; attribute :>> name = "CleanAndDisinfect";
         attribute :>> criticality = CriticalityKind::high;
     }
-    action actInspect : OperationalActivity {
+    action actInspect : OperativeAction {
         attribute :>> id = "RI-ACT-002"; attribute :>> name = "InspectAndFunctionTest";
         attribute :>> criticality = CriticalityKind::high;
     }
-    action actSterilizeLoad : OperationalActivity {
+    action actSterilizeLoad : OperativeAction {
         attribute :>> id = "RI-ACT-003"; attribute :>> name = "PackAndAutoclave";
         attribute :>> criticality = CriticalityKind::high;
     }
-    action wsInspect : WorkflowStep { ref :>> performedActivity = actInspect; }
-    action wsSterilize : WorkflowStep { ref :>> performedActivity = actSterilizeLoad; }
-    first wsInspect then wsSterilize;
-    connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfReprocess to supported ::> ucSterilize; }
 
-    action scNominalCycle : MemoScenario {
+    action scNominalCycle : OperativeScenario {
         attribute :>> id = "RI-SC-001"; attribute :>> name = "NominalReprocessingCycle";
-        attribute :>> scenarioKind = ScenarioKind::operative;
-        attribute :>> variantKind = ScenarioVariantKind::nominal;
-        attribute :>> operationalCondition = OperationalConditionKind::normal;
-        ref :>> parentWorkflow = wfReprocess;
-    }
-    // One modeled occurrence of the workflow. External operational systems
-    // may associate this occurrence with their asset or batch record.
-    part occCycle113 : ScenarioOccurrence {
-        attribute :>> id = "RI-OCC-113"; attribute :>> name = "ReprocessingCycle113";
-        attribute :>> occurredAt = "2026-07-15T14:02:00Z";
-        attribute :>> hypothetical = false;
-        attribute :>> outcomeSummary = "cycle completed; biological indicator passed";
-        ref :>> executedScenario = scNominalCycle;
+
+        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/reusable-instrument/model/catalog/viewpoints/unassigned/views/reusable_instrument_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_reusable_instrument_viewpoints_unassigned_views_reusable_i
     view reusableInstrumentOverview : MemoDiagramView {
         expose memo_examples_reusable_instrument::*;
         attribute depth = 2;
-        attribute :>> title = "Reusable Instrument Overview";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "ofd";
     }

package/examples/ros-mobile-robot/memo.package.yaml

@@ -0,0 +1,3 @@
+name: ros-mobile-robot
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/ros-mobile-robot/model/catalog/viewpoints/unassigned/views/ros_mobile_robot_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_ros_mobile_robot_viewpoints_unassigned_views_ros_mobile_ro
     view rosMobileRobotOverview : MemoDiagramView {
         expose memo_examples_ros_mobile_robot::*;
         attribute depth = 2;
-        attribute :>> title = "ROS Mobile Robot Overview";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
     }

package/examples/software-only-medical-device/memo.package.yaml

@@ -0,0 +1,3 @@
+name: software-only-medical-device
+entrypoint: model/catalog/project.sysml
+include: [model]

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

@@ -50,7 +50,7 @@ package memo_examples_software_only_medical_device {
     }
     #refinement dependency svcGrading to swGradingModule;
 
-    part duContainerImage : DeploymentUnit {
+    part duContainerImage : SoftwareDeploymentUnit {
         attribute :>> id = "SMD-DU-001"; attribute :>> name = "ScreeningServiceImage";
         attribute :>> unitKind = "OCI container image";
         attribute :>> integrityProtection = "image signature + SBOM attestation";

package/examples/software-only-medical-device/model/catalog/viewpoints/unassigned/views/software_only_medical_device_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_software_only_medical_device_viewpoints_unassigned_views_s
     view softwareOnlyMedicalDeviceOverview : MemoDiagramView {
         expose memo_examples_software_only_medical_device::*;
         attribute depth = 2;
-        attribute :>> title = "Software-only Medical Device Overview";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
     }

package/examples/surgical-closure-workflow/memo.package.yaml

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

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

@@ -60,13 +60,13 @@ package memo_examples_surgical_closure_workflow {
     connection : Motivates connect motivatingNeed ::> needControlledGastricResection to motivatedUseCase ::> ucPerformSleeveGastrectomy;
 
     // ── Procedure workflow ──────────────────────────────────────
-    action actTimeOutAndPosition : OperationalActivity { attribute :>> id = "LSG-ACT-001"; attribute :>> name = "ConfirmTimeOutAndPosition"; }
-    action actEstablishAccess : OperationalActivity { attribute :>> id = "LSG-ACT-002"; attribute :>> name = "EstablishLaparoscopicAccess"; }
-    action actMobilizeStomach : OperationalActivity { attribute :>> id = "LSG-ACT-003"; attribute :>> name = "MobilizeStomach"; }
-    action actSizeAndCreateSleeve : OperationalActivity {
+    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 actSizeAndCreateSleeve : OperativeAction {
         attribute :>> id = "LSG-ACT-004"; attribute :>> name = "SizeAndCreateSleeve"; attribute :>> criticality = CriticalityKind::high;
 
-        action taskCreateStapleLine : UserTask {
+        action taskCreateStapleLine : OperativeAction {
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> id = "LSG-TASK-001";
             attribute :>> name = "CreateAndInspectStapleLine";
@@ -74,18 +74,18 @@ package memo_examples_surgical_closure_workflow {
             attribute :>> potentialHarm = "bleeding or staple-line complication not recognized before handover";
             attribute :>> severityIfFailed = SeverityKind::serious;
 
-            action stConfirmAnatomy : TaskStep { attribute :>> id = "LSG-ST-001"; attribute :>> name = "ConfirmAnatomy"; }
-            action stCreateStapleLine : TaskStep { attribute :>> id = "LSG-ST-002"; attribute :>> name = "CreateStapleLine"; }
-            action stInspectBleeding : TaskStep { attribute :>> id = "LSG-ST-003"; attribute :>> name = "InspectForBleeding"; }
-            action stAssessIntegrity : TaskStep { attribute :>> id = "LSG-ST-004"; attribute :>> name = "AssessStapleLineIntegrity"; }
+            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"; }
             first stConfirmAnatomy then stCreateStapleLine;
             first stCreateStapleLine then stInspectBleeding;
             first stInspectBleeding then stAssessIntegrity;
         }
     }
-    action actAssessStapleLine : OperationalActivity { attribute :>> id = "LSG-ACT-005"; attribute :>> name = "AssessStapleLine"; attribute :>> criticality = CriticalityKind::high; }
-    action actExtractSpecimenAndClose : OperationalActivity { attribute :>> id = "LSG-ACT-006"; attribute :>> name = "ExtractSpecimenAndClosePorts"; }
-    action actHandover : OperationalActivity { attribute :>> id = "LSG-ACT-007"; attribute :>> name = "CompletePostoperativeHandover"; }
+    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 wfSleeveGastrectomy : ClinicalProcedureWorkflow {
         attribute :>> id = "LSG-WF-001";
@@ -94,53 +94,33 @@ package memo_examples_surgical_closure_workflow {
         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";
-
-        action wsTimeOut : WorkflowStep { ref :>> performedActivity = actTimeOutAndPosition; }
-        action wsAccess : WorkflowStep { ref :>> performedActivity = actEstablishAccess; }
-        action wsMobilize : WorkflowStep { ref :>> performedActivity = actMobilizeStomach; }
-        action wsSleeve : WorkflowStep { ref :>> performedActivity = actSizeAndCreateSleeve; }
-        action wsAssess : WorkflowStep { ref :>> performedActivity = actAssessStapleLine; }
-        action wsClose : WorkflowStep { ref :>> performedActivity = actExtractSpecimenAndClose; }
-        action wsHandover : WorkflowStep { ref :>> performedActivity = actHandover; }
-        first wsTimeOut then wsAccess;
-        first wsAccess then wsMobilize;
-        first wsMobilize then wsSleeve;
-        first wsSleeve then wsAssess;
-        first wsAssess then wsClose;
-        first wsClose then wsHandover;
     }
-    connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfSleeveGastrectomy to supported ::> ucPerformSleeveGastrectomy; }
 
     // ── Scenario paths, each with its own activity/action flow ──
-    action scNominalSleeveProcedure : MemoScenario {
+    action scNominalSleeveProcedure : OperativeScenario {
         attribute :>> id = "LSG-SC-001"; attribute :>> name = "NominalSleeveGastrectomy";
-        attribute :>> scenarioKind = ScenarioKind::operative;
-        attribute :>> variantKind = ScenarioVariantKind::nominal;
-        attribute :>> operationalCondition = OperationalConditionKind::normal;
         attribute :>> pathSummary = "Time-out, access, mobilisation, sleeve creation, staple-line assessment, closure, and handover complete without rework.";
-        ref :>> parentWorkflow = wfSleeveGastrectomy;
-        ref :>> parentUseCase = ucPerformSleeveGastrectomy;
-        ref :>> activities = oaCompleteSleeveProcedure;
 
-        action oaCompleteSleeveProcedure : OperationalActivity {
-            attribute :>> name = "CompleteNominalSleeveProcedure";
-            action prepare; action createSleeve; action assess; action handover;
-            first start then prepare; first prepare then createSleeve; first createSleeve then assess; first assess then handover; first handover then done;
-        }
+        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 : MemoScenario {
+    action scStapleLineBleeding : OperativeScenario {
+        attribute :>> scenarioKind = ScenarioKind::alternate;
         attribute :>> id = "LSG-SC-002"; attribute :>> name = "StapleLineBleedingRecovery";
-        attribute :>> scenarioKind = ScenarioKind::operative;
-        attribute :>> variantKind = ScenarioVariantKind::recovery;
-        attribute :>> operationalCondition = OperationalConditionKind::degraded;
-        attribute :>> variationPoint = "bleeding observed during staple-line assessment";
         attribute :>> pathSummary = "Recognize bleeding, apply the selected control, reassess the staple line, and escalate if the condition remains unresolved.";
-        ref :>> baseScenario = scNominalSleeveProcedure;
-        ref :>> parentWorkflow = wfSleeveGastrectomy;
-        ref :>> parentUseCase = ucPerformSleeveGastrectomy;
-        ref :>> activities = oaControlStapleLineBleeding;
 
-        action oaControlStapleLineBleeding : OperationalActivity {
+        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;
@@ -148,4 +128,11 @@ package memo_examples_surgical_closure_workflow {
     }
     #refinement dependency scNominalSleeveProcedure to ucPerformSleeveGastrectomy;
     #refinement dependency 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-closure-workflow/model/catalog/viewpoints/unassigned/views/surgical_closure_workflow_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_surgical_closure_workflow_viewpoints_unassigned_views_surg
     view surgicalClosureWorkflowOverview : MemoDiagramView {
         expose memo_examples_surgical_closure_workflow::*;
         attribute depth = 2;
-        attribute :>> title = "Laparoscopic Sleeve Gastrectomy Workflow";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "ofd";
     }

package/examples/surgical-robot/memo.package.yaml

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

package/examples/surgical-robot/model/catalog/viewpoints/unassigned/views/surgical_robot_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_surgical_robot_viewpoints_unassigned_views_surgical_robot_
     view surgicalRobotOverview : MemoDiagramView {
         expose memo_examples_surgical_robot::*;
         attribute depth = 2;
-        attribute :>> title = "Surgical Robot Overview";
         attribute :>> viewKind = DiagramViewKind::interconnection;
         attribute :>> diagramType = "ibd";
     }

package/examples/sysml-diagram-samples/memo.package.yaml

@@ -7,5 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: sysml-diagram-samples
+entrypoint: model/catalog/project.sysml
+include: [model]
 version: 0.1.0
 description: "MEMO Architect diagram rendering samples \u2014 one openable view per standard SysML v2 diagram type. Open with: memo-architect --example standard-sysml-diagrams"

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

@@ -62,7 +62,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
     allocate sampleActionFlow.record to laneB;
 
     // MemoLink sample — the universal relation, exercised where nothing else
-    // reaches. laneB is a `part` (LogicalComponent :> ArchitectureElement) and
+    // reaches. laneB is a `part` (LogicalComponent :> MemoPart) and
     // `sampleActionFlow.process` is an action usage (:> MemoAction). Those
     // foundations share no supertype, so every typed relation in the ontology
     // is unavailable here: legalRelationshipTypes returns MemoLink and nothing
@@ -84,10 +84,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
         expose laneA;
         expose laneB;
         attribute depth = 2;
-        attribute :>> title = "Sample · Action Flow";
         attribute :>> shortDescription = "Dummy actions, typed item flows, successions, and a composite action for renderer development.";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "afd";
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
     }
 }

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

@@ -43,11 +43,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_
         expose pharmacySystem;
         expose homeContext;
         attribute depth = 1;
-        attribute :>> title = "Sample · System Context";
         attribute :>> shortDescription = "Operational system context: one black-box system boundary, its external people, peer systems, operating environment, and named boundary-crossing interactions.";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "context";
-        part :>> viewpointDefinition = contextViewpoint;
+        ref :>> viewpointDefinition = contextViewpoint;
         part :>> selectionQuery {
             attribute :>> includeRelationshipKinds = ("InteractsWith", "flow", "AppliesInContext");
         }

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

@@ -134,10 +134,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
         expose fxDeliveryFlow::**;
         expose fxPumpSystem::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · Dose Delivery (Functional Flow)";
         attribute :>> shortDescription = "Component behaviour: functions in swimlanes per realising component, typed data/energy/material flows, a fork/join for concurrent occlusion monitoring, and a composite 'Deliver Medication' valve sub-flow (double-click to drill in).";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "ffd";
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
     }
 }

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

@@ -75,11 +75,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
         expose waterSupply::**;
         expose cup::**;
         attribute depth = 2;
-        attribute :>> title = "Coffee Machine · Thermal & Fluid IBD";
         attribute :>> shortDescription = "Balanced internal architecture with readable boundary ports, nested service diagnostics, and external water and beverage interfaces.";
         attribute :>> viewKind = DiagramViewKind::interconnection;
         attribute :>> diagramType = "ibd";
-        part :>> viewpointDefinition = logicalArchitectureViewpoint;
+        ref :>> viewpointDefinition = logicalArchitectureViewpoint;
         part :>> selectionQuery {
             attribute :>> includeRelationshipKinds = ("Composes", "flow", "bind");
         }

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

@@ -18,10 +18,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         attribute :>> itemKind = InterfaceItemKind::signal;
     }
 
-    action def OpPrescribeTherapy specializes OperationalActivity { out item prescription : OpPrescription; }
-    action def OpVerifyPrescription specializes OperationalActivity { in item prescription : OpPrescription; }
-    action def OpRequestBolus specializes OperationalActivity { out item bolusRequest : OpBolusRequest; }
-    action def OpCheckLockout specializes OperationalActivity { in item bolusRequest : OpBolusRequest; }
+    action def OpPrescribeTherapy specializes OperativeAction { out item prescription : OpPrescription; }
+    action def OpVerifyPrescription specializes OperativeAction { in item prescription : OpPrescription; }
+    action def OpRequestBolus specializes OperativeAction { out item bolusRequest : OpBolusRequest; }
+    action def OpCheckLockout specializes OperativeAction { in item bolusRequest : OpBolusRequest; }
 
     // Use the canonical MEMO operational system type—never a sample-local
     // placeholder—so ontology-driven Explorer grouping remains authoritative.
@@ -45,22 +45,22 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         }
     }
 
-    action opSetupFlow : OperationalActivity {
+    action opSetupFlow : OperativeAction {
         action opPrescribe : OpPrescribeTherapy { attribute :>> name = "Prescribe Therapy"; }
         action opVerify : OpVerifyPrescription { attribute :>> name = "Verify Prescription"; }
         fork opForkPrep;
-        action opPrime : OperationalActivity { attribute :>> name = "Prime Pump & Load Reservoir"; }
-        action opSelfTest : OperationalActivity { attribute :>> name = "Run Device Self-Test"; }
+        action opPrime : OperativeAction { attribute :>> name = "Prime Pump & Load Reservoir"; }
+        action opSelfTest : OperativeAction { attribute :>> name = "Run Device Self-Test"; }
         join opJoinPrep;
-        action opProgram : OperationalActivity { attribute :>> name = "Program Pump Parameters"; }
-        action opConnect : OperationalActivity { attribute :>> name = "Connect to Patient"; }
-        action opStart : OperationalActivity { attribute :>> name = "Start Infusion"; }
-        action opAdminister : OperationalActivity {
+        action opProgram : OperativeAction { attribute :>> name = "Program Pump Parameters"; }
+        action opConnect : OperativeAction { attribute :>> name = "Connect to Patient"; }
+        action opStart : OperativeAction { attribute :>> name = "Start Infusion"; }
+        action opAdminister : OperativeAction {
             attribute :>> name = "Administer PCA Therapy";
             action opRequestBolus : OpRequestBolus { attribute :>> name = "Request Bolus"; }
             action opCheckLockout : OpCheckLockout { attribute :>> name = "Check Lockout"; }
-            action opDeliverDose : OperationalActivity { attribute :>> name = "Deliver Dose"; }
-            action opLogEvent : OperationalActivity { attribute :>> name = "Log Dose Event"; }
+            action opDeliverDose : OperativeAction { attribute :>> name = "Deliver Dose"; }
+            action opLogEvent : OperativeAction { attribute :>> name = "Log Dose Event"; }
             flow of OpBolusRequest from opRequestBolus.bolusRequest to opCheckLockout.bolusRequest;
             first start then opRequestBolus;
             first opRequestBolus then opCheckLockout;
@@ -100,10 +100,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         expose opSetupFlow::**;
         expose opCareSystem::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · Clinical PCA Setup (Operational)";
         attribute :>> shortDescription = "Operational activity across clinical roles with concurrent preparation and a composite therapy step.";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "ofd";
-        part :>> viewpointDefinition = operationalViewpoint;
+        ref :>> viewpointDefinition = operationalViewpoint;
     }
 }

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

@@ -50,11 +50,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
         expose reqOcclusionAlarm;
         expose reqAlarmLoudness;
         attribute depth = 1;
-        attribute :>> title = "Sample · Requirements";
         attribute :>> shortDescription = "Stakeholder needs deriving into system requirements, wired by DerivesFrom trace edges.";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "req";
-        part :>> viewpointDefinition = requirementsViewpoint;
+        ref :>> viewpointDefinition = requirementsViewpoint;
         part :>> selectionQuery {
             attribute :>> includeRelationshipKinds = ("DerivesFrom");
         }

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

@@ -24,10 +24,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard
     view standardActivityView : MemoDiagramView {
         expose CustomerProcess::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · Customer Purchase Process";
         attribute :>> shortDescription = "Customer login, guarded validation, shopping loop, checkout, credit approval, and explicit completion outcomes.";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "afd";
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
     }
 }

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

@@ -64,11 +64,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_tr
     view sampleStateTransitionView : MemoDiagramView {
         expose pumpModes::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · State Transition";
         attribute :>> shortDescription = "A pump-mode state machine — Idle, Infusing, Paused, Alarm — where Infusing is a composite state nesting Priming, Delivering and Holding.";
         attribute :>> viewKind = DiagramViewKind::statetransition;
         attribute :>> diagramType = "stm";
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
         part :>> selectionQuery {
             attribute :>> includeElementKinds = ("StateMachine", "MemoState");
         }

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

@@ -34,11 +34,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
     view sampleTreeView : MemoDiagramView {
         expose rootA::**;
         attribute depth = 2;
-        attribute :>> title = "Sample · Tree";
         attribute :>> shortDescription = "One connected dummy hierarchy with varied branch depths for tree layout development.";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
-        part :>> viewpointDefinition = physicalViewpoint;
+        ref :>> viewpointDefinition = physicalViewpoint;
         attribute :>> layoutHint = "tree";
         attribute :>> styleHint = "expanded:rootA,rootB,branchA1,branchB1";
         part :>> selectionQuery {

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

@@ -72,11 +72,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         expose maintainDevice;
         expose documentTreatment;
         expose validateTherapySettings;
-        attribute :>> title = "Sample · Device Use Cases";
         attribute :>> shortDescription = "Actors outside a device boundary with include, extend, hierarchy-level, and orthogonal-routing presentation.";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "ucd";
-        part :>> viewpointDefinition = operationalViewpoint;
+        ref :>> viewpointDefinition = operationalViewpoint;
         part :>> selectionQuery {
             attribute :>> includeElementKinds = ("User", "UseCase");
             attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Extends");

package/examples/temperature-alarm/memo.package.yaml

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

package/examples/temperature-alarm/model/catalog/temperature_alarm.sysml

@@ -38,11 +38,11 @@ package memo_examples_temperature_alarm {
         subject supportingSystem;
         actor icuNurseInitiator = icuNurse;
     }
-    action actAcknowledgeAlarm : OperationalActivity {
+    action actAcknowledgeAlarm : OperativeAction {
         attribute :>> id = "TA-ACT-001"; attribute :>> name = "ReviewAndAcknowledgeAlarm";
         attribute :>> criticality = CriticalityKind::high;
 
-        action taskAckAlarm : UserTask {
+        action taskAckAlarm : OperativeAction {
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> id = "TA-TASK-001"; attribute :>> name = "AcknowledgeTemperatureAlarm";
             attribute :>> taskGoal = "recognize, assess, and acknowledge the alarm";
@@ -89,7 +89,7 @@ package memo_examples_temperature_alarm {
         perform fnDetectDeviation;
     }
     connection : ElementTriggersAction connect element ::> elAlarmBanner to triggeredAction ::> uiaAcknowledge;
-    connection : Supports { attribute :>> supportKind = SupportKind::task; connect supporter ::> uiBedside to supported ::> actAcknowledgeAlarm.taskAckAlarm; }
+    connection : Supports { connect supporter ::> uiBedside to supported ::> actAcknowledgeAlarm.taskAckAlarm; }
 
     // ── Risk chain with use error ───────────────────────────────
     part ueSilenceAndForget : UseError {
@@ -114,12 +114,8 @@ package memo_examples_temperature_alarm {
     connection : ControlImplementedBy connect riskControl ::> rcReAnnunciate to implementingElement ::> elAlarmBanner;
 
     // ── Verification, validation, evidence ──────────────────────
-    action vsAlarmLatency : MemoScenario {
+    action vsAlarmLatency : OperativeScenario {
         attribute :>> id = "TA-VS-001"; attribute :>> name = "AlarmLatencyScenario";
-        attribute :>> scenarioKind = ScenarioKind::memoVerification;
-        attribute :>> variantKind = ScenarioVariantKind::nominal;
-        attribute :>> operationalCondition = OperationalConditionKind::normal;
-        attribute :>> scenarioPurpose = ScenarioPurposeKind::memoVerification;
         attribute :>> pathSummary = "Induce out-of-range temperature; measure detection-to-annunciation latency.";
     }
     verification vcAlarmLatency : VerificationCase {

package/examples/temperature-alarm/model/catalog/viewpoints/unassigned/views/temperature_alarm_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_temperature_alarm_viewpoints_unassigned_views_temperature_
     view temperatureAlarmOverview : MemoDiagramView {
         expose memo_examples_temperature_alarm::*;
         attribute depth = 2;
-        attribute :>> title = "Temperature Alarm Overview";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
     }

package/examples/ui-screen-regions/memo.package.yaml

@@ -0,0 +1,3 @@
+name: ui-screen-regions
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/ui-screen-regions/model/catalog/viewpoints/functional/views/ui_functional_tree.sysml

@@ -44,7 +44,6 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
         attribute :>> id = "FUN-101";
-        attribute :>> title = "Infusion UI Functional Tree";
         attribute :>> shortDescription = "Display-management functions, invoked actions, and UI allocation.";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
@@ -57,6 +56,6 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
             attribute :>> includeLayers = ("functions", "implementation");
             attribute :>> rationaleText = "Show function decomposition from interaction to allocated user interface.";
         }
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/requirements/views/ui_requirements_trace.sysml

@@ -44,7 +44,6 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
         attribute :>> id = "REQ-101";
-        attribute :>> title = "UI Requirements Traceability";
         attribute :>> shortDescription = "Clinical need through UI requirements to satisfying regions and functions.";
         attribute :>> viewKind = DiagramViewKind::grid;
         attribute :>> diagramType = "req";
@@ -57,6 +56,6 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
             attribute :>> includeLayers = ("requirements", "implementation", "functions", "assurance");
             attribute :>> rationaleText = "Show the example's requirement derivation and satisfaction chain.";
         }
-        part :>> viewpointDefinition = requirementsViewpoint;
+        ref :>> viewpointDefinition = requirementsViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/risk/views/ui_risk_chain.sysml

@@ -44,7 +44,6 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
         attribute :>> id = "RSK-101";
-        attribute :>> title = "UI Risk and Control Chains";
         attribute :>> shortDescription = "Use errors through UI hazards to implemented controls and requirements.";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "risk";
@@ -57,6 +56,6 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
             attribute :>> includeLayers = ("human_factors", "risk", "requirements", "implementation", "functions", "assurance");
             attribute :>> rationaleText = "Show both misread-rate and wrong-drug UI risk-control chains.";
         }
-        part :>> viewpointDefinition = riskViewpoint;
+        ref :>> viewpointDefinition = riskViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/main_screen_layout.sysml

@@ -51,7 +51,6 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_main_screen_l
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
         attribute :>> id = "UIE-001";
-        attribute :>> title = "Main Infusion Screen — Region Layout";
-        part :>> viewpointDefinition = uiLayoutViewpoint;
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/settings_screen_layout.sysml

@@ -46,7 +46,6 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_settings_scre
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
         attribute :>> id = "UIE-008";
-        attribute :>> title = "Infusion Settings Screen — Region Layout";
-        part :>> viewpointDefinition = uiLayoutViewpoint;
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/ui_region_trace.sysml

@@ -46,9 +46,8 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_ui_region_tra
         expose memo_examples_ui_screen_regions_traces::*;
         attribute :>> id = "UIV-001";
         attribute depth = 3;
-        attribute :>> title = "UI Region Traceability";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
-        part :>> viewpointDefinition = uiLayoutViewpoint;
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }