@memoarchitect/ontology 0.13.2 → 0.15.0

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

@@ -13,71 +13,61 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned {
     private import memo_core_common::MemoIdentity;
 
     viewpoint contextDiagramViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-CTX"; }
-        attribute :>> name = "Context Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-CTX"; :>> label = "Context Diagram"; }
         @MemoIdentity { :>> shortDescription = "System context — actors, external systems, and boundary interactions."; }
         attribute :>> explorerOrder = 1;
     }
 
     viewpoint actionFlowViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-AFD"; }
-        attribute :>> name = "Action Flow";
+        @MemoIdentity { :>> providedId = "VP-DEMO-AFD"; :>> label = "Action Flow"; }
         @MemoIdentity { :>> shortDescription = "Swimlane action flows with typed item flows and composite actions."; }
         attribute :>> explorerOrder = 2;
     }
 
     viewpoint ibdViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-IBD"; }
-        attribute :>> name = "Internal Block Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-IBD"; :>> label = "Internal Block Diagram"; }
         @MemoIdentity { :>> shortDescription = "Internal structure — parts, ports, and connectors."; }
         attribute :>> explorerOrder = 3;
     }
 
     viewpoint stateMachineViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-STD"; }
-        attribute :>> name = "State Machine";
+        @MemoIdentity { :>> providedId = "VP-DEMO-STD"; :>> label = "State Machine"; }
         @MemoIdentity { :>> shortDescription = "State transitions with composite states and guards."; }
         attribute :>> explorerOrder = 4;
     }
 
     viewpoint sequenceViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-SEQ"; }
-        attribute :>> name = "Sequence Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-SEQ"; :>> label = "Sequence Diagram"; }
         @MemoIdentity { :>> shortDescription = "Message sequences with combined fragments (loop, alt)."; }
         attribute :>> explorerOrder = 5;
     }
 
     viewpoint useCaseViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-UCD"; }
-        attribute :>> name = "Use Case Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-UCD"; :>> label = "Use Case Diagram"; }
         @MemoIdentity { :>> shortDescription = "Actors, use cases, include/extend/generalization."; }
         attribute :>> explorerOrder = 6;
     }
 
     viewpoint requirementsDiagramViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-REQ"; }
-        attribute :>> name = "Requirements Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-REQ"; :>> label = "Requirements Diagram"; }
         @MemoIdentity { :>> shortDescription = "Needs, requirements, and derivation traces."; }
         attribute :>> explorerOrder = 7;
     }
 
     viewpoint browserViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-BRW"; }
-        attribute :>> name = "Browser View";
+        @MemoIdentity { :>> providedId = "VP-DEMO-BRW"; :>> label = "Browser View"; }
         @MemoIdentity { :>> shortDescription = "Hierarchical membership tree of model elements."; }
         attribute :>> explorerOrder = 8;
     }
 
     viewpoint gridViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-GRD"; }
-        attribute :>> name = "Grid / Table View";
+        @MemoIdentity { :>> providedId = "VP-DEMO-GRD"; :>> label = "Grid / Table View"; }
         @MemoIdentity { :>> shortDescription = "Tabular worksheet rendering of model attributes."; }
         attribute :>> explorerOrder = 9;
     }
 
     viewpoint treeViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-TRE"; }
-        attribute :>> name = "Decomposition Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-TRE"; :>> label = "Decomposition Diagram"; }
         @MemoIdentity { :>> shortDescription = "Block decomposition — hierarchical breakdown rendered as a tree."; }
         attribute :>> explorerOrder = 10;
     }

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

@@ -26,8 +26,8 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
     action def ProcessInput specializes SystemFunction { in item validated : EnergyToken; out item result : MaterialBatch; }
     action def RecordResult specializes SystemFunction { in item result : MaterialBatch; }
 
-    part laneA : LogicalComponent { attribute :>> name = "Lane A"; }
-    part laneB : LogicalComponent { attribute :>> name = "Lane B"; }
+    part laneA : LogicalComponent {@MemoIdentity { :>> label = "Lane A"; } }
+    part laneB : LogicalComponent {@MemoIdentity { :>> label = "Lane B"; } }
 
     action sampleActionFlow : SystemFunction {
         action receive : ReceiveInput;
@@ -43,9 +43,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
         }
         action record : RecordResult;
 
-        flow of DataPacket from receive.received to validate.received;
-        flow of EnergyToken from validate.validated to process.validated;
-        flow of MaterialBatch from process.result to record.result;
+        flow dataPacketFlow of DataPacket from receive.received to validate.received;
+        flow energyTokenFlow of EnergyToken from validate.validated to process.validated;
+        flow materialBatchFlow of MaterialBatch from process.result to record.result;
 
         first start then receive;
         first receive then validate;

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

@@ -17,49 +17,46 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_browser_
     // to demonstrate the browser view's hierarchical grouping by kind.
 
     part controlSystem : OperationalEntity {
-        attribute :>> name = "Control System";
+@MemoIdentity { :>> label = "Control System"; }
 
         part supervisorModule : OperationalEntity {
-            attribute :>> name = "Supervisor Module";
+@MemoIdentity { :>> label = "Supervisor Module"; }
         }
         part safetyModule : OperationalEntity {
-            attribute :>> name = "Safety Module";
+@MemoIdentity { :>> label = "Safety Module"; }
         }
         part communicationModule : OperationalEntity {
-            attribute :>> name = "Communication Module";
+@MemoIdentity { :>> label = "Communication Module"; }
         }
     }
 
     part systemOperator : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> name = "Operator";
+@MemoIdentity { :>> label = "Operator"; }
     }
     part maintenanceEngineer : User {
         attribute :>> actorKind = ActorKind::technician;
-        attribute :>> name = "Maintenance Engineer";
+@MemoIdentity { :>> label = "Maintenance Engineer"; }
     }
     part remoteMonitor : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> name = "Remote Monitor";
+@MemoIdentity { :>> label = "Remote Monitor"; }
     }
 
     use case startSystem : UseCase {
-        @MemoIdentity { :>> providedId = "UC-BRW-1"; }
-        attribute :>> name = "Start System";
+        @MemoIdentity { :>> providedId = "UC-BRW-1"; :>> label = "Start System"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject controlSystem;
         actor operatorActor = systemOperator;
     }
     use case runDiagnostics : UseCase {
-        @MemoIdentity { :>> providedId = "UC-BRW-2"; }
-        attribute :>> name = "Run Diagnostics";
+        @MemoIdentity { :>> providedId = "UC-BRW-2"; :>> label = "Run Diagnostics"; }
         attribute :>> useCaseKind = UseCaseKind::service;
         subject controlSystem;
         actor engineerActor = maintenanceEngineer;
     }
     use case monitorStatus : UseCase {
-        @MemoIdentity { :>> providedId = "UC-BRW-3"; }
-        attribute :>> name = "Monitor Status";
+        @MemoIdentity { :>> providedId = "UC-BRW-3"; :>> label = "Monitor Status"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject controlSystem;
         actor monitorActor = remoteMonitor;

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

@@ -19,22 +19,26 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_
     // black box. Context diagrams show its environment and interfaces, not its
     // internal decomposition.
     part infusionSystem : OperationalEntity {
-        attribute :>> name = "Infusion Pump System";
+@MemoIdentity { :>> label = "Infusion Pump System"; }
         attribute :>> entityKind = OperationalEntityKind::device;
         attribute :>> responsibility = "System of interest for this context view.";
+        out port pPharmacyOut : MemoPort;
     }
-    part clinician : User { attribute :>> name = "Clinician"; }
-    part patient : User { attribute :>> name = "Patient"; }
-    part biomedTech : User { attribute :>> name = "Biomedical Technician"; }
+    part clinician : User { }
+    part patient : User { }
+    part biomedTech : User {@MemoIdentity { :>> label = "Biomedical Technician"; } }
     part pharmacySystem : OperationalEntity {
-        attribute :>> name = "Pharmacy Information System";
+@MemoIdentity { :>> label = "Pharmacy Information System"; }
         attribute :>> entityKind = OperationalEntityKind::externalSystem;
+        in port pInfusionIn : MemoPort;
     }
-    part homeContext : UseContext { attribute :>> name = "Home Care Environment"; }
+    part homeContext : UseContext {@MemoIdentity { :>> label = "Home Care Environment"; } }
 
     connection connect clinician to infusionSystem;
     connection connect patient to infusionSystem;
     connection connect biomedTech to infusionSystem;
-    flow from infusionSystem to pharmacySystem;
+    // A flow end names a feature of its participant (`part.feature`): the black
+    // boxes exchange across their boundary, at these ports.
+    flow infusionSystemToPharmacySystem from infusionSystem.pPharmacyOut to pharmacySystem.pInfusionIn;
     connection : AppliesInContext connect useContext ::> homeContext to subjectElement ::> infusionSystem;
 }

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

@@ -40,6 +40,7 @@ package diagram_samples {
     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::*;
@@ -98,8 +99,11 @@ package diagram_samples {
 
     view systemContextDiagram : MemoDiagramView {
         expose infusionSystem::**;
-        expose clinician;
-        expose patient;
+        // Qualified because three samples each declare an actor called
+        // `clinician` and two declare a `patient`: each sample is standalone,
+        // which is the point of a gallery. A bare name would name all of them.
+        expose memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_view::clinician;
+        expose memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_view::patient;
         expose biomedTech;
         expose pharmacySystem;
         expose homeContext;
@@ -240,7 +244,7 @@ package diagram_samples {
 
     view startInfusionSequence : MemoDiagramView {
         expose startInfusion::**;
-        expose clinician::**;
+        expose memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_sequence_view::clinician::**;
         expose pumpController::**;
         expose pumpMechanism::**;
         expose monitorLoop::**;
@@ -251,7 +255,11 @@ package diagram_samples {
         attribute :>> diagramType = "seq";
         ref :>> viewpointDefinition = sequenceViewpoint;
         part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("FunctionalFlowStep", "User", "LogicalComponent", "Part");
+            // No "User": each sample in this gallery declares its own actors,
+            // and a kind filter is model-wide, so it would draw every other
+            // sample's clinician onto this one's lifelines. The actors this
+            // view wants are the ones it exposes by name above.
+            attribute :>> includeElementKinds = ("FunctionalFlow", "LogicalComponent");
         }
     }
 
@@ -311,8 +319,8 @@ package diagram_samples {
     // ─── use case view ───────────────────────────────────────────────────
 
     view deviceUseCases : MemoDiagramView {
-        expose patient;
-        expose clinician;
+        expose memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view::patient;
+        expose memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view::clinician;
         expose serviceTechnician;
         expose nursingStaff;
         expose reviewStatus;
@@ -325,9 +333,56 @@ package diagram_samples {
         attribute :>> diagramType = "ucd";
         ref :>> viewpointDefinition = useCaseViewpoint;
         part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("User", "UseCase");
-            attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Extends", "Specialization");
+            // No "User", for the reason the sequence view gives: the actors
+            // are exposed by name, and a kind filter reaches other samples.
+            attribute :>> includeElementKinds = ("UseCase");
+            attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Specialization");
         }
         attribute :>> layoutHint = "usecase:level=all;edge=rounded";
     }
+
+    // ─── drill-down samples: a usage typed by a definition ───────────────
+
+    view driveOverview : MemoDiagramView {
+        expose drive;
+        expose drive::gearbox;
+        expose drive::motor;
+        expose drive::controller;
+        @MemoIdentity { :>> shortDescription = "Parts typed by definitions: gearbox has its own authored view, motor drills into generated levels, controller has nothing to open."; }
+        attribute :>> viewKind = DiagramViewKind::interconnection;
+        attribute :>> diagramType = "ibd";
+        attribute :>> rendererProfile = "ibd";
+        ref :>> viewpointDefinition = ibdViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("Composes", "flow", "bind");
+        }
+    }
+
+    view gearboxInside : MemoDiagramView {
+        expose DrillGearbox::**;
+        @MemoIdentity { :>> shortDescription = "The authored view of the gearbox definition; every usage typed by it opens this one."; }
+        attribute :>> viewKind = DiagramViewKind::interconnection;
+        attribute :>> diagramType = "ibd";
+        attribute :>> rendererProfile = "ibd";
+        ref :>> viewpointDefinition = ibdViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("Composes", "flow", "bind");
+        }
+    }
+
+    view servicingFlow : MemoDiagramView {
+        expose servicing::**;
+        @MemoIdentity { :>> shortDescription = "Two composite actions typed by definitions: calibrate has an authored view, confirm drills into generated steps."; }
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "afd";
+        ref :>> viewpointDefinition = actionFlowViewpoint;
+    }
+
+    view calibrateDetail : MemoDiagramView {
+        expose DrillCalibrate::**;
+        @MemoIdentity { :>> shortDescription = "The authored view of the calibrate definition."; }
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "afd";
+        ref :>> viewpointDefinition = actionFlowViewpoint;
+    }
 }

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

@@ -0,0 +1,88 @@
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_drill_down_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    private import ScalarValues::*;
+    private import memo_architecture_logical_interfaces::*;
+    private import memo_architecture_logical_structure::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+
+    // Parts and actions that are TYPED by a definition, so each way into a
+    // lower level can be tried on its own. The overview draws only the usages;
+    // what is inside each comes from the definition it is typed by.
+    //
+    //   gearbox     typed by DrillGearbox: has an authored child view
+    //               (gearboxInside), so it shows the ↗ button and a way back.
+    //   motor       typed by DrillMotor: parts, two levels deep, and NO view,
+    //               so only the generated level opens; drill again for
+    //               windings, then back out.
+    //   controller  typed by DrillController: ports and no parts, so there is
+    //               nothing to drill into and no view to open.
+    part def DrillGearbox specializes LogicalComponent {
+        in port shaftIn : DataPort { in item payload : MemoItem; }
+        out port shaftOut : DataPort { out item payload : MemoItem; }
+        part inputStage : LogicalComponent {
+            in port torqueIn : DataPort { in item payload : MemoItem; }
+            out port torqueOut : DataPort { out item payload : MemoItem; }
+        }
+        part outputStage : LogicalComponent {
+            in port torqueIn : DataPort { in item payload : MemoItem; }
+            out port torqueOut : DataPort { out item payload : MemoItem; }
+        }
+    }
+
+    part def DrillMotor specializes LogicalComponent {
+        in port powerIn : DataPort { in item payload : MemoItem; }
+        out port torqueOut : DataPort { out item payload : MemoItem; }
+        part rotor : LogicalComponent {
+            out port torqueOut : DataPort { out item payload : MemoItem; }
+        }
+        part stator : LogicalComponent {
+            in port powerIn : DataPort { in item payload : MemoItem; }
+            part windings : LogicalComponent {
+                in port currentIn : DataPort { in item payload : MemoItem; }
+            }
+        }
+    }
+
+    part def DrillController specializes LogicalComponent {
+        in port commandIn : DataPort { in item payload : MemoItem; }
+        out port powerOut : DataPort { out item payload : MemoItem; }
+    }
+
+    part def DrillDrive specializes LogicalComponent {
+        part gearbox : DrillGearbox;
+        part motor : DrillMotor;
+        part controller : DrillController;
+    }
+
+    part drive : DrillDrive {
+@MemoIdentity { :>> label = "Drive"; }
+    }
+
+    // The same two cases for an action flow: calibrate has an authored child
+    // view (calibrateDetail), confirm has child actions and none.
+    action def DrillCalibrate specializes SystemFunction {
+        action measure : SystemFunction;
+        action adjust : SystemFunction;
+        first start then measure;
+        first measure then adjust;
+        first adjust then done;
+    }
+
+    action def DrillVerify specializes SystemFunction {
+        action compare : SystemFunction;
+        action sign : SystemFunction;
+        first start then compare;
+        first compare then sign;
+        first sign then done;
+    }
+
+    action servicing : SystemFunction {
+        action calibrate : DrillCalibrate;
+        action confirm : DrillVerify;
+        first start then calibrate;
+        first calibrate then confirm;
+        first confirm then done;
+    }
+}

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

@@ -53,45 +53,45 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
     // Component hierarchy used by the Level control:
     // L1 system → L2 subsystems → L3 allocated components.
     part fxPumpSystem : LogicalComponent {
-        attribute :>> name = "Infusion Pump System";
+@MemoIdentity { :>> label = "Infusion Pump System"; }
         part fxSensingSubsystem : LogicalComponent {
-            attribute :>> name = "Sensing Subsystem";
-            part fxSensor : LogicalComponent { attribute :>> name = "Sensor Subsystem"; }
+@MemoIdentity { :>> label = "Sensing Subsystem"; }
+            part fxSensor : LogicalComponent {@MemoIdentity { :>> label = "Sensor Subsystem"; } }
         }
         part fxControlSubsystem : LogicalComponent {
-            attribute :>> name = "Control Subsystem";
-            part fxController : LogicalComponent { attribute :>> name = "Infusion Controller"; }
+@MemoIdentity { :>> label = "Control Subsystem"; }
+            part fxController : LogicalComponent {@MemoIdentity { :>> label = "Infusion Controller"; } }
         }
         part fxDeliverySubsystem : LogicalComponent {
-            attribute :>> name = "Delivery Subsystem";
-            part fxActuator : LogicalComponent { attribute :>> name = "Pump Actuator"; }
+@MemoIdentity { :>> label = "Delivery Subsystem"; }
+            part fxActuator : LogicalComponent {@MemoIdentity { :>> label = "Pump Actuator"; } }
         }
         part fxSafetySubsystem : LogicalComponent {
-            attribute :>> name = "Safety Subsystem";
-            part fxSafety : LogicalComponent { attribute :>> name = "Safety Monitor"; }
+@MemoIdentity { :>> label = "Safety Subsystem"; }
+            part fxSafety : LogicalComponent {@MemoIdentity { :>> label = "Safety Monitor"; } }
         }
     }
 
     action fxDeliveryFlow : SystemFunction {
-        action fxAcquire : FxAcquire { attribute :>> name = "Acquire Sensor Data"; }
-        action fxCompute : FxCompute { attribute :>> name = "Compute Infusion Rate"; }
+        action fxAcquire : FxAcquire {@MemoIdentity { :>> label = "Acquire Sensor Data"; } }
+        action fxCompute : FxCompute {@MemoIdentity { :>> label = "Compute Infusion Rate"; } }
 
         // Split: enforce/drive/deliver runs concurrently with occlusion monitoring
         fork fxForkDeliver;
-        action fxEnforce : FxEnforce { attribute :>> name = "Enforce Dose Limits"; }
-        action fxDrive : FxDrive { attribute :>> name = "Drive Pump Motor"; }
-        action fxMonitor : FxMonitor { attribute :>> name = "Monitor Occlusion"; }
-        action fxDetect : FxDetect { attribute :>> name = "Detect Occlusion"; }
+        action fxEnforce : FxEnforce {@MemoIdentity { :>> label = "Enforce Dose Limits"; } }
+        action fxDrive : FxDrive {@MemoIdentity { :>> label = "Drive Pump Motor"; } }
+        action fxMonitor : FxMonitor {@MemoIdentity { :>> label = "Monitor Occlusion"; } }
+        action fxDetect : FxDetect {@MemoIdentity { :>> label = "Detect Occlusion"; } }
         join fxJoinDeliver;
 
         // Composite function — valve sub-flow (drill-in)
         action fxDeliver : FxDeliverMedication {
-            attribute :>> name = "Deliver Medication";
-            action fxOpenValve : SystemFunction { attribute :>> name = "Open Valve"; }
-            action fxHoldDose : SystemFunction { attribute :>> name = "Hold Metered Dose"; }
-            action fxCloseValve : SystemFunction { attribute :>> name = "Close Valve"; }
+@MemoIdentity { :>> label = "Deliver Medication"; }
+            action fxOpenValve : SystemFunction {@MemoIdentity { :>> label = "Open Valve"; } }
+            action fxHoldDose : SystemFunction {@MemoIdentity { :>> label = "Hold Metered Dose"; } out item fluid : FxMedicationFluid; }
+            action fxCloseValve : SystemFunction {@MemoIdentity { :>> label = "Close Valve"; } in item fluid : FxMedicationFluid; }
 
-            flow of FxMedicationFluid from fxDeliveryFlow.fxDeliver.fxHoldDose to fxCloseValve;
+            flow fxHoldDoseToFxCloseValve of FxMedicationFluid from fxHoldDose.fluid to fxCloseValve.fluid;
 
             first start then fxOpenValve;
             first fxOpenValve then fxHoldDose;
@@ -99,12 +99,12 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
             first fxCloseValve then done;
         }
 
-        action fxLog : SystemFunction { attribute :>> name = "Log Delivery"; }
+        action fxLog : SystemFunction {@MemoIdentity { :>> label = "Log Delivery"; } }
 
-        flow of FxSensorReading from fxAcquire.reading to fxCompute.reading;
-        flow of FxRateCommand from fxEnforce.safeCommand to fxDrive.command;
-        flow of FxMotorEnergy from fxDrive.energy to fxDeliver.energy;
-        flow of FxOcclusionSignal from fxMonitor.signal to fxDetect.signal;
+        flow fxSensorReadingFlow of FxSensorReading from fxAcquire.reading to fxCompute.reading;
+        flow safeCommandToCommand of FxRateCommand from fxEnforce.safeCommand to fxDrive.command;
+        flow fxMotorEnergyFlow of FxMotorEnergy from fxDrive.energy to fxDeliver.energy;
+        flow fxOcclusionSignalFlow of FxOcclusionSignal from fxMonitor.signal to fxDetect.signal;
 
         first start then fxAcquire;
         first fxAcquire then fxCompute;

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

@@ -15,8 +15,8 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_grid_vie
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
 
-    part fmMotorRunaway : FailureMode {
-        attribute :>> name = "PumpMotorRunaway";
+    item fmMotorRunaway : FailureMode {
+@MemoIdentity { :>> label = "PumpMotorRunaway"; }
         attribute :>> failureModeKind = FailureModeKind::unintendedFunction;
         attribute :>> effect = "Excess drug delivered beyond the prescribed rate.";
         attribute :>> severityRating = 1;
@@ -26,8 +26,8 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_grid_vie
         attribute :>> rpn = 6;
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
-    part fmAirSensorSilent : FailureMode {
-        attribute :>> name = "AirSensorFailsSilent";
+    item fmAirSensorSilent : FailureMode {
+@MemoIdentity { :>> label = "AirSensorFailsSilent"; }
         attribute :>> failureModeKind = FailureModeKind::lossOfFunction;
         attribute :>> effect = "Air embolism reaches the patient undetected.";
         attribute :>> severityRating = 1;
@@ -37,8 +37,8 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_grid_vie
         attribute :>> rpn = 12;
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
-    part fmOcclusionDrift : FailureMode {
-        attribute :>> name = "OcclusionSensorDrift";
+    item fmOcclusionDrift : FailureMode {
+@MemoIdentity { :>> label = "OcclusionSensorDrift"; }
         attribute :>> failureModeKind = FailureModeKind::degradedFunction;
         attribute :>> effect = "Occlusion is detected late, interrupting therapy.";
         attribute :>> severityRating = 7;

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

@@ -20,7 +20,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
     // real containment, not a port-to-port `Composes` edge, which is what
     // CR-ONT-65 used to forbid before nesting made the rule unnecessary.
     part coffeeMachine : LogicalComponent {
-        attribute :>> name = "Coffee Machine";
+@MemoIdentity { :>> label = "Coffee Machine"; }
         in port mainsWaterIn : DataPort { in item payload : MemoItem; }
         out port beverageOut : DataPort { out item payload : MemoItem; }
         inout port serviceInterface : DataPort {
@@ -29,58 +29,56 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
         }
 
         part waterTank : LogicalComponent {
-            attribute :>> name = "Water Reservoir";
+@MemoIdentity { :>> label = "Water Reservoir"; }
             out port tankWaterOut : DataPort { out item payload : MemoItem; }
             in port tankWaterIn : DataPort { in item payload : MemoItem; }
         }
         part heaterAssembly : LogicalComponent {
-            attribute :>> name = "Thermal Control Assembly";
+@MemoIdentity { :>> label = "Thermal Control Assembly"; }
             in port heaterWaterIn : DataPort { in item payload : MemoItem; }
             out port heatedWaterOut : DataPort { out item payload : MemoItem; }
 
             part thermostat : LogicalComponent {
-                attribute :>> name = "Thermostat";
                 in port tempReadingIn : DataPort { in item payload : MemoItem; }
                 out port powerCommandOut : DataPort { out item payload : MemoItem; }
             }
 
             part heatingElement : LogicalComponent {
-                attribute :>> name = "Water Heating Element";
+@MemoIdentity { :>> label = "Water Heating Element"; }
                 in port powerIn : DataPort { in item payload : MemoItem; }
                 out port heaterStatusOut : DataPort { out item payload : MemoItem; }
 
                 part resistiveCoil : LogicalComponent {
-                    attribute :>> name = "Resistive Coil";
+@MemoIdentity { :>> label = "Resistive Coil"; }
                     in port coilPowerIn : DataPort { in item payload : MemoItem; }
                     out port heatOut : DataPort { out item payload : MemoItem; }
                 }
                 part temperatureSensor : LogicalComponent {
-                    attribute :>> name = "Temperature Sensor";
+@MemoIdentity { :>> label = "Temperature Sensor"; }
                     in port heatIn : DataPort { in item payload : MemoItem; }
                     out port sensorReadingOut : DataPort { out item payload : MemoItem; }
                 }
             }
         }
         part brewGroup : LogicalComponent {
-            attribute :>> name = "Brew Group";
+@MemoIdentity { :>> label = "Brew Group"; }
             in port brewWaterIn : DataPort { in item payload : MemoItem; }
             out port brewedCoffeeOut : DataPort { out item payload : MemoItem; }
         }
     }
     part waterSupply : LogicalComponent {
-        attribute :>> name = "Water Supply";
+@MemoIdentity { :>> label = "Water Supply"; }
         out port supplyWaterOut : DataPort { out item payload : MemoItem; }
     }
     part cup : LogicalComponent {
-        attribute :>> name = "Cup";
         in port cupBeverageIn : DataPort { in item payload : MemoItem; }
     }
 
     // Transport between two components: `out` to `in`, one item moving.
-    flow from waterSupply.supplyWaterOut to coffeeMachine.mainsWaterIn;
-    flow from coffeeMachine.waterTank.tankWaterOut to coffeeMachine.heaterAssembly.heaterWaterIn;
-    flow from coffeeMachine.heaterAssembly.heatedWaterOut to coffeeMachine.brewGroup.brewWaterIn;
-    flow from coffeeMachine.beverageOut to cup.cupBeverageIn;
+    flow supplyWaterOutToMainsWaterIn from waterSupply.supplyWaterOut to coffeeMachine.mainsWaterIn;
+    flow tankWaterOutToHeaterWaterIn from coffeeMachine.waterTank.tankWaterOut to coffeeMachine.heaterAssembly.heaterWaterIn;
+    flow heatedWaterOutToBrewWaterIn from coffeeMachine.heaterAssembly.heatedWaterOut to coffeeMachine.brewGroup.brewWaterIn;
+    flow beverageOutToCupBeverageIn from coffeeMachine.beverageOut to cup.cupBeverageIn;
 
     // Delegation between a boundary port and the interior it stands for. These
     // are `in`-to-`in` and `out`-to-`out`, because nothing travels: the two
@@ -91,11 +89,11 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
     bind coffeeMachine.heaterAssembly.heatingElement.heaterStatusOut = coffeeMachine.serviceInterface.diagnostics;
 
     // Internal flows within the heater assembly
-    flow from coffeeMachine.heaterAssembly.thermostat.powerCommandOut to coffeeMachine.heaterAssembly.heatingElement.powerIn;
-    flow from coffeeMachine.heaterAssembly.heatingElement.heaterStatusOut to coffeeMachine.heaterAssembly.thermostat.tempReadingIn;
+    flow powerCommandOutToPowerIn from coffeeMachine.heaterAssembly.thermostat.powerCommandOut to coffeeMachine.heaterAssembly.heatingElement.powerIn;
+    flow heaterStatusOutToTempReadingIn from coffeeMachine.heaterAssembly.heatingElement.heaterStatusOut to coffeeMachine.heaterAssembly.thermostat.tempReadingIn;
 
     // Internal flows within the heating element
-    flow from coffeeMachine.heaterAssembly.heatingElement.resistiveCoil.heatOut to coffeeMachine.heaterAssembly.heatingElement.temperatureSensor.heatIn;
+    flow heatOutToHeatIn from coffeeMachine.heaterAssembly.heatingElement.resistiveCoil.heatOut to coffeeMachine.heaterAssembly.heatingElement.temperatureSensor.heatIn;
     bind coffeeMachine.heaterAssembly.heatingElement.powerIn = coffeeMachine.heaterAssembly.heatingElement.resistiveCoil.coilPowerIn;
     bind coffeeMachine.heaterAssembly.heatingElement.temperatureSensor.sensorReadingOut = coffeeMachine.heaterAssembly.heatingElement.heaterStatusOut;
 }