@memoarchitect/ontology 0.13.2 → 0.15.0

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

@@ -29,49 +29,49 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
     // Use the canonical MEMO operational system type—never a sample-local
     // placeholder—so ontology-driven Explorer grouping remains authoritative.
     part opCareSystem : OperationalEntity {
-        attribute :>> name = "PCA Care System";
+@MemoIdentity { :>> label = "PCA Care System"; }
         attribute :>> entityKind = OperationalEntityKind::device;
         attribute :>> responsibility = "System of interest for this context view.";
         part opClinicalTeam : User {
-            attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Clinical Team";
+            attribute :>> actorKind = ActorKind::clinician; @MemoIdentity { :>> label = "Clinical Team"; }
             part opRolePhysician : User {
-                attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Physician"; }
+                attribute :>> actorKind = ActorKind::clinician; @MemoIdentity { :>> label = "Physician"; } }
             part opRoleNurse : User {
-                attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Nurse"; }
+                attribute :>> actorKind = ActorKind::clinician; @MemoIdentity { :>> label = "Nurse"; } }
             part opRoleBiomed : User {
-                attribute :>> actorKind = ActorKind::technician; attribute :>> name = "Biomed Tech"; }
+                attribute :>> actorKind = ActorKind::technician; @MemoIdentity { :>> label = "Biomed Tech"; } }
         }
         part opPatientGroup : User {
-            attribute :>> actorKind = ActorKind::patient; attribute :>> name = "Patient Interaction";
+            attribute :>> actorKind = ActorKind::patient; @MemoIdentity { :>> label = "Patient Interaction"; }
             part opRolePatient : User {
-                attribute :>> actorKind = ActorKind::patient; attribute :>> name = "Patient"; }
+                attribute :>> actorKind = ActorKind::patient; @MemoIdentity { :>> label = "Patient"; } }
         }
     }
 
     action opSetupFlow : OperativeAction {
-        action opPrescribe : OpPrescribeTherapy { attribute :>> name = "Prescribe Therapy"; }
-        action opVerify : OpVerifyPrescription { attribute :>> name = "Verify Prescription"; }
+        action opPrescribe : OpPrescribeTherapy {@MemoIdentity { :>> label = "Prescribe Therapy"; } }
+        action opVerify : OpVerifyPrescription {@MemoIdentity { :>> label = "Verify Prescription"; } }
         fork opForkPrep;
-        action opPrime : OperativeAction { attribute :>> name = "Prime Pump & Load Reservoir"; }
-        action opSelfTest : OperativeAction { attribute :>> name = "Run Device Self-Test"; }
+        action opPrime : OperativeAction {@MemoIdentity { :>> label = "Prime Pump & Load Reservoir"; } }
+        action opSelfTest : OperativeAction {@MemoIdentity { :>> label = "Run Device Self-Test"; } }
         join opJoinPrep;
-        action opProgram : OperativeAction { attribute :>> name = "Program Pump Parameters"; }
-        action opConnect : OperativeAction { attribute :>> name = "Connect to Patient"; }
-        action opStart : OperativeAction { attribute :>> name = "Start Infusion"; }
+        action opProgram : OperativeAction {@MemoIdentity { :>> label = "Program Pump Parameters"; } }
+        action opConnect : OperativeAction {@MemoIdentity { :>> label = "Connect to Patient"; } }
+        action opStart : OperativeAction {@MemoIdentity { :>> label = "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 : OperativeAction { attribute :>> name = "Deliver Dose"; }
-            action opLogEvent : OperativeAction { attribute :>> name = "Log Dose Event"; }
-            flow of OpBolusRequest from opRequestBolus.bolusRequest to opCheckLockout.bolusRequest;
+@MemoIdentity { :>> label = "Administer PCA Therapy"; }
+            action opRequestBolus : OpRequestBolus {@MemoIdentity { :>> label = "Request Bolus"; } }
+            action opCheckLockout : OpCheckLockout {@MemoIdentity { :>> label = "Check Lockout"; } }
+            action opDeliverDose : OperativeAction {@MemoIdentity { :>> label = "Deliver Dose"; } }
+            action opLogEvent : OperativeAction {@MemoIdentity { :>> label = "Log Dose Event"; } }
+            flow opBolusRequestFlow of OpBolusRequest from opRequestBolus.bolusRequest to opCheckLockout.bolusRequest;
             first start then opRequestBolus;
             first opRequestBolus then opCheckLockout;
             first opCheckLockout then opDeliverDose;
             first opDeliverDose then opLogEvent;
             first opLogEvent then done;
         }
-        flow of OpPrescription from opPrescribe.prescription to opVerify.prescription;
+        flow opPrescriptionFlow of OpPrescription from opPrescribe.prescription to opVerify.prescription;
         first start then opPrescribe;
         first opPrescribe then opVerify;
         first opVerify then opForkPrep;

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

@@ -17,39 +17,39 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_package_
 
     package presentation {
         part dashboardUI : LogicalComponent {
-            attribute :>> name = "Dashboard UI";
+@MemoIdentity { :>> label = "Dashboard UI"; }
             out port apiCall : DataPort { out item payload : MemoItem; }
         }
         part settingsUI : LogicalComponent {
-            attribute :>> name = "Settings UI";
+@MemoIdentity { :>> label = "Settings UI"; }
             out port configRequest : DataPort { out item payload : MemoItem; }
         }
     }
 
     package domain {
         part therapyEngine : LogicalComponent {
-            attribute :>> name = "Therapy Engine";
+@MemoIdentity { :>> label = "Therapy Engine"; }
             in port incomingRequest : DataPort { in item payload : MemoItem; }
             out port statusUpdate : DataPort { out item payload : MemoItem; }
         }
         part alarmManager : LogicalComponent {
-            attribute :>> name = "Alarm Manager";
+@MemoIdentity { :>> label = "Alarm Manager"; }
             in port trigger : DataPort { in item payload : MemoItem; }
         }
         part configService : LogicalComponent {
-            attribute :>> name = "Configuration Service";
+@MemoIdentity { :>> label = "Configuration Service"; }
             in port configIn : DataPort { in item payload : MemoItem; }
         }
     }
 
     package infrastructure {
         part dataStore : LogicalComponent {
-            attribute :>> name = "Data Store";
+@MemoIdentity { :>> label = "Data Store"; }
             in port writePort : DataPort { in item payload : MemoItem; }
             out port readPort : DataPort { out item payload : MemoItem; }
         }
         part networkAdapter : LogicalComponent {
-            attribute :>> name = "Network Adapter";
+@MemoIdentity { :>> label = "Network Adapter"; }
             inout port netIO : DataPort { inout item payload : MemoItem; }
         }
     }

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

@@ -16,28 +16,28 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
     private import memo_core_common::MemoIdentity;
     requirement needSafeTherapy : Need {
         attribute :>> needKind = NeedKind::'stakeholder';
-        @MemoIdentity { :>> providedId = "NEED-1"; } attribute :>> name = "SafeTherapy";
+        @MemoIdentity { :>> providedId = "NEED-1"; :>> label = "SafeTherapy"; }
         attribute :>> statement = "The device shall support safe patient-controlled infusion therapy.";
     }
     requirement needTimelyAlarms : Need {
         attribute :>> needKind = NeedKind::'stakeholder';
-        @MemoIdentity { :>> providedId = "NEED-2"; } attribute :>> name = "TimelyAlarms";
+        @MemoIdentity { :>> providedId = "NEED-2"; :>> label = "TimelyAlarms"; }
         attribute :>> statement = "Clinicians shall be notified promptly of any condition that endangers therapy.";
     }
 
     requirement reqDoseLimit : Requirement {
         attribute :>> requirementType = RequirementTypeKind::system;
-        @MemoIdentity { :>> providedId = "REQ-1"; } attribute :>> name = "DoseLimitEnforcement";
+        @MemoIdentity { :>> providedId = "REQ-1"; :>> label = "DoseLimitEnforcement"; }
         attribute :>> statement = "The pump shall not deliver more than the prescribed maximum dose in any one-hour window.";
     }
     requirement reqOcclusionAlarm : Requirement {
         attribute :>> requirementType = RequirementTypeKind::system;
-        @MemoIdentity { :>> providedId = "REQ-2"; } attribute :>> name = "OcclusionAlarm";
+        @MemoIdentity { :>> providedId = "REQ-2"; :>> label = "OcclusionAlarm"; }
         attribute :>> statement = "The pump shall raise an alarm within two seconds of detecting a downstream occlusion.";
     }
     requirement reqAlarmLoudness : Requirement {
         attribute :>> requirementType = RequirementTypeKind::system;
-        @MemoIdentity { :>> providedId = "REQ-3"; } attribute :>> name = "AlarmLoudness";
+        @MemoIdentity { :>> providedId = "REQ-3"; :>> label = "AlarmLoudness"; }
         attribute :>> statement = "An active alarm shall be audible at 65 dBA at one metre.";
     }
 

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

@@ -1,7 +1,7 @@
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_sequence_view {
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     // Sequence sample (sequence view kind, `seq` diagram type). A FunctionalFlow
-    // owns an ordered chain of FunctionalFlowSteps; each step is `allocate`d to
+    // owns an ordered chain of nested actions (its steps); each step is `allocate`d to
     // the lifeline (an actor or component) that performs it, and the sequence
     // template lays lifelines out as columns with one row per step in
     // declaration order.
@@ -19,9 +19,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_sequence
     private import memo_core_common::MemoIdentity;
 
     // Lifelines — the actor and components each step is allocated to.
-    part clinician : User { attribute :>> name = "Clinician"; }
-    part pumpController : LogicalComponent { attribute :>> name = "Pump Controller"; }
-    part pumpMechanism : LogicalComponent { attribute :>> name = "Pump Mechanism"; }
+    part clinician : User { }
+    part pumpController : LogicalComponent {@MemoIdentity { :>> label = "Pump Controller"; } }
+    part pumpMechanism : LogicalComponent {@MemoIdentity { :>> label = "Pump Mechanism"; } }
 
     // Combined fragment definitions — referenced by steps' `fragment` attribute.
     part monitorLoop {
@@ -36,22 +36,22 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_sequence
     }
 
     action startInfusion : FunctionalFlow {
-        attribute :>> name = "Start Infusion";
+@MemoIdentity { :>> label = "Start Infusion"; }
 
-        action stepRequestStart : FunctionalFlowStep { attribute :>> name = "Request start infusion"; }
-        action stepValidate : FunctionalFlowStep { attribute :>> name = "Validate prescribed rate"; }
-        action stepCommandMotor : FunctionalFlowStep { attribute :>> name = "Command motor drive"; }
-        action stepConfirm : FunctionalFlowStep { attribute :>> name = "Confirm delivery started"; }
+        action stepRequestStart {@MemoIdentity { :>> label = "Request start infusion"; } }
+        action stepValidate {@MemoIdentity { :>> label = "Validate prescribed rate"; } }
+        action stepCommandMotor {@MemoIdentity { :>> label = "Command motor drive"; } }
+        action stepConfirm {@MemoIdentity { :>> label = "Confirm delivery started"; } }
 
         // Steps inside the monitoring loop fragment
-        action stepReadSensor : FunctionalFlowStep { attribute :>> name = "Read sensor data"; attribute stepOrder = "5"; attribute fragment = "monitorLoop"; }
-        action stepCheckVitals : FunctionalFlowStep { attribute :>> name = "Check vital signs"; attribute stepOrder = "6"; attribute fragment = "monitorLoop"; }
+        action stepReadSensor {@MemoIdentity { :>> label = "Read sensor data"; } attribute stepOrder = "5"; attribute fragment = "monitorLoop"; }
+        action stepCheckVitals {@MemoIdentity { :>> label = "Check vital signs"; } attribute stepOrder = "6"; attribute fragment = "monitorLoop"; }
 
         // Steps inside the alt (error-handling) fragment
-        action stepRetryDelivery : FunctionalFlowStep { attribute :>> name = "Retry delivery"; attribute stepOrder = "7"; attribute fragment = "errorHandling"; attribute fragmentOperand = "1"; }
-        action stepAlertUser : FunctionalFlowStep { attribute :>> name = "Alert user"; attribute stepOrder = "8"; attribute fragment = "errorHandling"; attribute fragmentOperand = "2"; }
+        action stepRetryDelivery {@MemoIdentity { :>> label = "Retry delivery"; } attribute stepOrder = "7"; attribute fragment = "errorHandling"; attribute fragmentOperand = "1"; }
+        action stepAlertUser {@MemoIdentity { :>> label = "Alert user"; } attribute stepOrder = "8"; attribute fragment = "errorHandling"; attribute fragmentOperand = "2"; }
 
-        action stepNotify : FunctionalFlowStep { attribute :>> name = "Notify delivery started"; attribute stepOrder = "9"; }
+        action stepNotify {@MemoIdentity { :>> label = "Notify delivery started"; } attribute stepOrder = "9"; }
 
         first start then stepRequestStart;
         first stepRequestStart then stepValidate;

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

@@ -14,52 +14,51 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_tr
 
     private import memo_core_common::MemoIdentity;
     state pumpModes : StateMachine {
-        attribute :>> name = "Pump Operating Modes";
+@MemoIdentity { :>> label = "Pump Operating Modes"; }
 
-        state idle : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Idle"; }
+        state idle : MemoState { attribute :>> stateKind = StateKind::mode; }
 
         // Infusing is a composite state: its substates show what the pump is
         // doing while it is infusing, and containment is the nesting itself —
         // not a parallel set of Composes edges.
         state infusing : MemoState {
             attribute :>> stateKind = StateKind::mode;
-            attribute :>> name = "Infusing";
 
-            state priming : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Priming"; }
-            state delivering : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Delivering"; }
-            state holding : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Holding (KVO)"; }
+            state priming : MemoState { attribute :>> stateKind = StateKind::mode; }
+            state delivering : MemoState { attribute :>> stateKind = StateKind::mode; }
+            state holding : MemoState { attribute :>> stateKind = StateKind::mode; @MemoIdentity { :>> label = "Holding (KVO)"; } }
 
             transition tPrimed first priming then delivering {
-                @TransitionRecord { :>> name = "primed"; :>> trigger = "primeComplete"; }
+                @MemoIdentity { :>> label = "primed"; } @TransitionRecord { :>> trigger = "primeComplete"; }
             }
             transition tKvo first delivering then holding {
-                @TransitionRecord { :>> name = "keepVeinOpen"; :>> trigger = "doseComplete"; }
+                @MemoIdentity { :>> label = "keepVeinOpen"; } @TransitionRecord { :>> trigger = "doseComplete"; }
             }
             transition tResumeDose first holding then delivering {
-                @TransitionRecord { :>> name = "resumeDose"; :>> trigger = "doseScheduled"; }
+                @MemoIdentity { :>> label = "resumeDose"; } @TransitionRecord { :>> trigger = "doseScheduled"; }
             }
         }
 
-        state paused : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Paused"; }
-        state alarm : MemoState { attribute :>> stateKind = StateKind::mode; attribute :>> name = "Alarm"; }
+        state paused : MemoState { attribute :>> stateKind = StateKind::mode; }
+        state alarm : MemoState { attribute :>> stateKind = StateKind::mode; }
 
         transition tStart first idle then infusing {
-            @TransitionRecord { :>> name = "start"; :>> trigger = "startInfusion"; }
+            @MemoIdentity { :>> label = "start"; } @TransitionRecord { :>> trigger = "startInfusion"; }
         }
         transition tPause first infusing then paused {
-            @TransitionRecord { :>> name = "pause"; :>> trigger = "pauseRequested"; }
+            @MemoIdentity { :>> label = "pause"; } @TransitionRecord { :>> trigger = "pauseRequested"; }
         }
         transition tResume first paused then infusing {
-            @TransitionRecord { :>> name = "resume"; :>> trigger = "resumeRequested"; }
+            @MemoIdentity { :>> label = "resume"; } @TransitionRecord { :>> trigger = "resumeRequested"; }
         }
         transition tFault first infusing then alarm {
-            @TransitionRecord { :>> name = "fault"; :>> trigger = "occlusionDetected"; }
+            @MemoIdentity { :>> label = "fault"; } @TransitionRecord { :>> trigger = "occlusionDetected"; }
         }
         transition tRecover first alarm then idle {
-            @TransitionRecord { :>> name = "acknowledge"; :>> trigger = "alarmCleared"; }
+            @MemoIdentity { :>> label = "acknowledge"; } @TransitionRecord { :>> trigger = "alarmCleared"; }
         }
         transition tStop first infusing then idle {
-            @TransitionRecord { :>> name = "stop"; :>> trigger = "stopInfusion"; }
+            @MemoIdentity { :>> label = "stop"; } @TransitionRecord { :>> trigger = "stopInfusion"; }
         }
     }
 

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

@@ -12,24 +12,24 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     part rootA : HardwareAssembly {
-        attribute :>> name = "Root A";
+@MemoIdentity { :>> label = "Root A"; }
         part branchA1 : HardwareAssembly {
-            attribute :>> name = "Branch A.1";
+@MemoIdentity { :>> label = "Branch A.1"; }
             part leafA11 : HardwareAssembly {
-                attribute :>> name = "Leaf A.1.1";
+@MemoIdentity { :>> label = "Leaf A.1.1"; }
                 attribute :>> partNumber = "PN-1";
             }
-            part leafA12 : HardwareAssembly { attribute :>> name = "Leaf A.1.2"; }
+            part leafA12 : HardwareAssembly {@MemoIdentity { :>> label = "Leaf A.1.2"; } }
         }
         part branchA2 : HardwareAssembly {
-            attribute :>> name = "Branch A.2 With A Deliberately Long Label";
-            part leafA21 : HardwareAssembly { attribute :>> name = "Leaf A.2.1"; }
+@MemoIdentity { :>> label = "Branch A.2 With A Deliberately Long Label"; }
+            part leafA21 : HardwareAssembly {@MemoIdentity { :>> label = "Leaf A.2.1"; } }
         }
         part rootB : HardwareAssembly {
-            attribute :>> name = "Root B";
+@MemoIdentity { :>> label = "Root B"; }
             part branchB1 : HardwareAssembly {
-                attribute :>> name = "Branch B.1";
-                part leafB11 : HardwareAssembly { attribute :>> name = "Leaf B.1.1"; }
+@MemoIdentity { :>> label = "Branch B.1"; }
+                part leafB11 : HardwareAssembly {@MemoIdentity { :>> label = "Leaf B.1.1"; } }
             }
         }
     }

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

@@ -22,32 +22,28 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
     // Product-neutral fixture for the UML-style use-case presentation.
     part patient : User {
         attribute :>> actorKind = ActorKind::patient;
-        attribute :>> name = "Patient";
     }
     part clinician : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> name = "Clinician";
     }
     part serviceTechnician : User {
         attribute :>> actorKind = ActorKind::technician;
-        attribute :>> name = "Service Technician";
+@MemoIdentity { :>> label = "Service Technician"; }
     }
     part nursingStaff : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> name = "Nursing Staff";
+@MemoIdentity { :>> label = "Nursing Staff"; }
     }
 
     use case reviewStatus : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-1"; }
-        attribute :>> name = "Review Device Status";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-1"; :>> label = "Review Device Status"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include validateTherapySettings;
         subject supportingSystem;
         actor patientActor = patient;
     }
     use case configureTherapy : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-2"; }
-        attribute :>> name = "Configure Therapy";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-2"; :>> label = "Configure Therapy"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include reviewStatus;
         subject supportingSystem;
@@ -55,23 +51,20 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         actor patientActor = patient;
     }
     use case maintainDevice : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-3"; }
-        attribute :>> name = "Maintain Device";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-3"; :>> label = "Maintain Device"; }
         attribute :>> useCaseKind = UseCaseKind::service;
         subject supportingSystem;
         actor serviceTechnicianActor = serviceTechnician;
     }
 
     use case documentTreatment : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-4"; }
-        attribute :>> name = "Document Treatment";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-4"; :>> label = "Document Treatment"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
     }
 
     // L2 child of Review Device Status: makes L0 → L1 → L2 selectable.
     use case validateTherapySettings : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-5"; }
-        attribute :>> name = "Validate Therapy Settings";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-5"; :>> label = "Validate Therapy Settings"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject supportingSystem;
         actor clinicianActor = clinician;

package/examples/sysml-diagram-samples/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Sysml Diagram Samples — project identity and method binding.
+// Sysml Diagram Samples — model identity and method binding.
 //
 // The native entrypoint. The imports name what this project contains and the
 // binding names the methodology it is governed by. No YAML file participates.
@@ -19,6 +19,7 @@ package memo_examples_sysml_diagram_samples_project {
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_functional_flow_view::*;
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_grid_view::*;
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_interconnection_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_drill_down_view::*;
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operational_behaviour_view::*;
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_package_view::*;
     private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirements_view::*;
@@ -30,10 +31,9 @@ package memo_examples_sysml_diagram_samples_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-DIAGRAM-SAMPLES-1"; }
-        attribute :>> name = "SysmlDiagramSamplesProjectMethodBinding";
-        attribute :>> projectName = "Sysml Diagram Samples";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-DIAGRAM-SAMPLES-1"; :>> label = "SysmlDiagramSamplesModelMethodBinding"; }
+        attribute :>> modelName = "Sysml Diagram Samples";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/sysml-diagram-samples/model/sysml_v2_activity_example.sysml

@@ -25,7 +25,7 @@ package activity_example {
 
         succession first start then receiveOrder;
         succession first receiveOrder then validateOrder;
-        flow of Order from receiveOrder.order to validateOrder.order;
+        flow orderFlow of Order from receiveOrder.order to validateOrder.order;
         succession first validateOrder then routeOrder;
         succession first routeOrder if true then processOrder;
         succession first routeOrder if false then rejectOrder;

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

@@ -8,6 +8,9 @@ elements:
   "memo_examples_temperature_alarm::actAcknowledgeAlarm":
     shortId: "OPR-1"
     uuid: "ea2b4f6a-a25b-5c93-84a2-2c149dc5b870"
+  "memo_examples_temperature_alarm::actAcknowledgeAlarm::taskAckAlarm":
+    shortId: "OPR-2"
+    uuid: "2a25bec5-50f6-5bef-ad59-750b277515db"
   "memo_examples_temperature_alarm::chMonitor":
     shortId: "LGC-1"
     uuid: "0f804fdc-4ead-5205-a108-91ce7e4b4d04"
@@ -50,6 +53,9 @@ elements:
   "memo_examples_temperature_alarm::uvAckTask":
     shortId: "MMX-3"
     uuid: "d268c19e-41da-5657-ac04-2f9bcdc29713"
+  "memo_examples_temperature_alarm::valAckTask":
+    shortId: "VLD-1"
+    uuid: "0cf87665-ade5-5bb2-9fd5-081e946aeb07"
   "memo_examples_temperature_alarm::vcAlarmLatency":
     shortId: "VRF-1"
     uuid: "e4853bd5-0672-5040-af70-0c7f9177ee7a"

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

@@ -1,3 +1,5 @@
 name: temperature-alarm
-entrypoint: model/catalog/project.sysml
+entrypoint: model/methodology/project.sysml
 include: [model]
+toolchain:
+  packager: internal

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

@@ -27,64 +27,70 @@ package memo_examples_temperature_alarm {
 
     private import memo_core_common::MemoIdentity;
     // ── Operational intent ──────────────────────────────────────
+    // --8<-- [start:operational]
     part icuNurse : User {
         attribute :>> actorKind = ActorKind::clinician;
-        @MemoIdentity { :>> providedId = "TA-USR-001"; } attribute :>> name = "ICUNurse";
+        @MemoIdentity { :>> providedId = "TA-USR-001"; }
     }
     use case ucMonitorTemp : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        @MemoIdentity { :>> providedId = "TA-UC-001"; }
-        attribute :>> name = "MonitorPatientTemperature";
+        @MemoIdentity { :>> providedId = "TA-UC-001"; :>> label = "MonitorPatientTemperature"; }
         attribute :>> goalStatement = "Continuously monitor core temperature and be alerted when it leaves the safe range.";
         subject supportingSystem;
         actor icuNurseInitiator = icuNurse;
     }
     action actAcknowledgeAlarm : OperativeAction {
-        @MemoIdentity { :>> providedId = "TA-ACT-001"; } attribute :>> name = "ReviewAndAcknowledgeAlarm";
+        @MemoIdentity { :>> providedId = "TA-ACT-001"; :>> label = "ReviewAndAcknowledgeAlarm"; }
         attribute :>> criticality = CriticalityKind::high;
 
         action taskAckAlarm : OperativeAction {
             attribute :>> criticality = CriticalityKind::high;
-            @MemoIdentity { :>> providedId = "TA-TASK-001"; } attribute :>> name = "AcknowledgeTemperatureAlarm";
+            @MemoIdentity { :>> providedId = "TA-TASK-001"; :>> label = "AcknowledgeTemperatureAlarm"; }
             attribute :>> taskGoal = "recognize, assess, and acknowledge the alarm";
             attribute :>> potentialHarm = "delayed intervention for hypo-/hyperthermia";
             attribute :>> severityIfFailed = SeverityKind::serious;
+    // --8<-- [end:operational]
         }
     }
 
     // ── Functional and logical slices ───────────────────────────
+    // --8<-- [start:functional]
     action fnDetectDeviation : SystemFunction {
-        @MemoIdentity { :>> providedId = "TA-FN-001"; } attribute :>> name = "DetectTemperatureDeviation";
+        @MemoIdentity { :>> providedId = "TA-FN-001"; :>> label = "DetectTemperatureDeviation"; }
         attribute :>> criticality = CriticalityKind::high;
         // This function is owned by the functional architecture layer (its
         // package). Its safety and verification character are typed
         // relationships to assurance-owned elements, not tags on the function.
+    // --8<-- [end:functional]
     }
+    // --8<-- [start:logical]
     part chMonitor : LogicalComponent {
-        @MemoIdentity { :>> providedId = "TA-LC-001"; } attribute :>> name = "TemperatureMonitorChannel";
+        @MemoIdentity { :>> providedId = "TA-LC-001"; :>> label = "TemperatureMonitorChannel"; }
         attribute :>> channelRole = ChannelRoleKind::monitor;
     }
     part chPrimary : LogicalComponent {
-        @MemoIdentity { :>> providedId = "TA-LC-002"; } attribute :>> name = "MeasurementChannel";
+        @MemoIdentity { :>> providedId = "TA-LC-002"; :>> label = "MeasurementChannel"; }
         attribute :>> channelRole = ChannelRoleKind::primary;
     }
     connection : IndependentOf connect channel ::> chMonitor to otherChannel ::> chPrimary {
         attribute :>> independenceBasis = "separate sensing element and power rail";
     }
     allocate fnDetectDeviation to chMonitor;
+    // --8<-- [end:logical]
     // ── UI: alarm element and acknowledgement action ────────────
+    // --8<-- [start:implementation]
     part uiBedside : UserInterface {
-        @MemoIdentity { :>> providedId = "TA-UI-001"; } attribute :>> name = "BedsideDisplay";
+        @MemoIdentity { :>> providedId = "TA-UI-001"; :>> label = "BedsideDisplay"; }
         attribute :>> modality = "visual + audible";
     }
     part elAlarmBanner : UIElement {
-        @MemoIdentity { :>> providedId = "TA-EL-001"; } attribute :>> name = "TempAlarmBanner";
+        @MemoIdentity { :>> providedId = "TA-EL-001"; :>> label = "TempAlarmBanner"; }
         attribute :>> alarmPriority = NotificationPriorityKind::high;
         attribute :>> annunciationModality = "flashing banner + tone";
         attribute :>> silenceable = true;
     }
     action uiaAcknowledge : UIAction {
-        @MemoIdentity { :>> providedId = "TA-UIA-001"; } attribute :>> name = "AcknowledgeAlarm";
+        @MemoIdentity { :>> providedId = "TA-UIA-001"; :>> label = "AcknowledgeAlarm"; }
         attribute :>> intent = InteractionIntentKind::acknowledgement;
         attribute :>> confirmationRequired = true;
         perform fnDetectDeviation;
@@ -93,36 +99,42 @@ package memo_examples_temperature_alarm {
     // Was `Supports`, a zero-attribute duplicate of both `Enables` and the
     // native `dependency`.
     dependency from uiBedside to actAcknowledgeAlarm::taskAckAlarm;
+    // --8<-- [end:implementation]
 
     // ── Risk chain with use error ───────────────────────────────
+    // --8<-- [start:human-factors]
     part ueSilenceAndForget : UseError {
-        @MemoIdentity { :>> providedId = "TA-UE-001"; } attribute :>> name = "SilenceWithoutAssessment";
+        @MemoIdentity { :>> providedId = "TA-UE-001"; :>> label = "SilenceWithoutAssessment"; }
         attribute :>> errorCategory = UseErrorCategoryKind::memoryRecall;
         attribute :>> severity = SeverityKind::serious;
     }
+    // --8<-- [start:safety-risk]
     item hzUndetectedDeviation : Hazard {
-        @MemoIdentity { :>> providedId = "TA-HZ-001"; } attribute :>> name = "UndetectedTemperatureDeviation";
+        @MemoIdentity { :>> providedId = "TA-HZ-001"; :>> label = "UndetectedTemperatureDeviation"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
     part rcReAnnunciate : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "TA-RC-001"; } attribute :>> name = "AutoReAnnunciationAfterSilence";
+        @MemoIdentity { :>> providedId = "TA-RC-001"; :>> label = "AutoReAnnunciationAfterSilence"; }
         attribute :>> controlKind = RiskControlKind::alarm;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
     connection : CommitsUseError connect task ::> actAcknowledgeAlarm.taskAckAlarm to useError ::> ueSilenceAndForget;
-    connection : Causes { attribute :>> causeKind = CauseKind::useErrorLeadsToHazard; connect cause ::> ueSilenceAndForget to effect ::> hzUndetectedDeviation; }
-    connection : Mitigates { attribute :>> mitigationKind = MitigationKind::hazard; connect control ::> rcReAnnunciate to mitigatedElement ::> hzUndetectedDeviation; }
+    // --8<-- [end:human-factors]
+    connection : Causes connect cause ::> ueSilenceAndForget to effect ::> hzUndetectedDeviation { attribute :>> causeKind = CauseKind::useErrorLeadsToHazard; }
+    connection : Mitigates connect control ::> rcReAnnunciate to mitigatedElement ::> hzUndetectedDeviation { attribute :>> mitigationKind = MitigationKind::hazard; }
     connection : ControlImplementedBy connect riskControl ::> rcReAnnunciate to implementingElement ::> elAlarmBanner;
+    // --8<-- [end:safety-risk]
 
     // ── Verification, validation, evidence ──────────────────────
+    // --8<-- [start:verification-validation]
     action vsAlarmLatency : OperativeScenario {
-        @MemoIdentity { :>> providedId = "TA-VS-001"; } attribute :>> name = "AlarmLatencyScenario";
+        @MemoIdentity { :>> providedId = "TA-VS-001"; :>> label = "AlarmLatencyScenario"; }
         attribute :>> pathSummary = "Induce out-of-range temperature; measure detection-to-annunciation latency.";
     }
     verification vcAlarmLatency : VerificationCase {
-        @MemoIdentity { :>> providedId = "TA-VC-001"; } attribute :>> name = "VerifyAlarmLatency";
+        @MemoIdentity { :>> providedId = "TA-VC-001"; :>> label = "VerifyAlarmLatency"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "annunciation within 2 s of sustained deviation";
 
@@ -134,16 +146,26 @@ package memo_examples_temperature_alarm {
     }
     part uvAckTask : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::usabilityValidation;
-        @MemoIdentity { :>> providedId = "TA-UV-001"; } attribute :>> name = "SummativeAlarmAcknowledgement";
+        @MemoIdentity { :>> providedId = "TA-UV-001"; :>> label = "SummativeAlarmAcknowledgement"; }
         attribute :>> participantProfile = "15 ICU nurses, representative shift conditions";
         attribute :>> participantCount = 15;
         attribute :>> acceptanceCriteria = "no critical-task failures; all alarms assessed before silencing";
     }
     part evLatencyReport : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        @MemoIdentity { :>> providedId = "TA-EV-001"; } attribute :>> name = "AlarmLatencyTestReport";
+        @MemoIdentity { :>> providedId = "TA-EV-001"; :>> label = "AlarmLatencyTestReport"; }
         attribute :>> evidenceType = "test report";
     }
-    connection : Validates connect validationTarget ::> actAcknowledgeAlarm.taskAckAlarm to validationCase ::> uvAckTask;
+    // The summative test is the validation case; uvAckTask is the record it
+    // produced. Validates ends at a case, never at the evidence itself.
+    verification valAckTask : ValidationCase {
+        @MemoIdentity { :>> providedId = "TA-VAL-001"; :>> label = "SummativeAlarmAcknowledgementTest"; }
+        attribute :>> validationMethod = ValidationMethodKind::summativeUsabilityTest;
+        attribute :>> userParticipation = "15 ICU nurses, representative shift conditions";
+        attribute :>> acceptanceCriteria = "no critical-task failures; all alarms assessed before silencing";
+    }
+    connection : Validates connect validationTarget ::> actAcknowledgeAlarm.taskAckAlarm to validationCase ::> valAckTask;
+    connection : ProducesEvidence connect producer ::> valAckTask to producedEvidence ::> uvAckTask;
     connection : ProducesEvidence connect producer ::> vcAlarmLatency to producedEvidence ::> evLatencyReport;
+    // --8<-- [end:verification-validation]
 }