@memoarchitect/ontology 0.12.1 → 0.15.0

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

@@ -0,0 +1,388 @@
+// Every view of the diagram gallery, in one package.
+//
+// Each sample's model content lives in its own file and package, next to
+// this one, and is imported below. The views are gathered here so the
+// explorer lists them together under each diagram-type viewpoint: a SysML
+// root package is declared once, in one file, so a shared `diagram_samples`
+// package cannot be split across the sample files themselves.
+package diagram_samples {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    private import ScalarValues::*;
+    private import memo_core_relationships::*;
+    private import memo_architecture_logical_structure::*;
+    private import memo_architecture_logical_interfaces::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_core_enumerations::*;
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_operational_use_cases::*;
+    private import memo_architecture_operational_structure::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_architecture_operational_context_use_context::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_assurance_safety_risk_analysis::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_architecture_operational_activities::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_requirements::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import activity_example::*;
+    private import memo_architecture_functional_behavior::*;
+    private import memo_architecture_implementation_hardware_structure::*;
+    private import memo_architecture_realization_physical::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_flow_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_browser_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_view::*;
+    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::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_sequence_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard_activity_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_transition_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view::*;
+
+    // ─── action flow view ────────────────────────────────────────────────
+
+    // Child action-flow view — the process composite action's own steps. Its
+    // subject is `sampleActionFlow.process`, so the parent action-flow shows a
+    // "navigate to view" button on the Process node.
+    view processStepsDetail : MemoDiagramView {
+        expose sampleActionFlow::process::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Internal steps of the Process action — step A through C."; }
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "afd";
+        ref :>> viewpointDefinition = actionFlowViewpoint;
+    }
+
+    view therapySessionFlow : MemoDiagramView {
+        expose sampleActionFlow::**;
+        expose laneA;
+        expose laneB;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Dummy actions, typed item flows, successions, and a composite action for renderer development."; }
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "afd";
+        ref :>> viewpointDefinition = actionFlowViewpoint;
+    }
+
+    // ─── browser view ────────────────────────────────────────────────────
+
+    view operationalBrowserTree : MemoDiagramView {
+        expose controlSystem::**;
+        expose systemOperator;
+        expose maintenanceEngineer;
+        expose remoteMonitor;
+        expose startSystem::**;
+        expose runDiagnostics::**;
+        expose monitorStatus::**;
+        @MemoIdentity { :>> shortDescription = "Browser membership tree showing operational entities, actors, and use cases — demonstrates the browser view kind with mixed element types."; }
+        attribute :>> viewKind = DiagramViewKind::browser;
+        attribute :>> diagramType = "brw";
+        ref :>> viewpointDefinition = browserViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeElementKinds = ("OperationalEntity", "User", "UseCase");
+            attribute :>> includeRelationshipKinds = ("Composes", "ParticipatesIn");
+        }
+    }
+
+    // ─── context view ────────────────────────────────────────────────────
+
+    view systemContextDiagram : MemoDiagramView {
+        expose infusionSystem::**;
+        // 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;
+        attribute depth = 1;
+        @MemoIdentity { :>> 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";
+        ref :>> viewpointDefinition = contextDiagramViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("connect", "flow", "AppliesInContext");
+        }
+    }
+
+    // ─── functional flow view ────────────────────────────────────────────
+
+    view medicationDeliveryFlow : MemoDiagramView {
+        expose fxDeliveryFlow::**;
+        expose fxPumpSystem::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> 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";
+        ref :>> viewpointDefinition = actionFlowViewpoint;
+    }
+
+    // ─── grid view ───────────────────────────────────────────────────────
+
+    view failureModeGrid : MemoDiagramView {
+        expose fmMotorRunaway::**;
+        expose fmAirSensorSilent::**;
+        expose fmOcclusionDrift::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Three FailureMode rows rendered as an FMEA worksheet table — one section, columns auto-derived from the attributes the rows carry."; }
+        attribute :>> viewKind = DiagramViewKind::grid;
+        attribute :>> diagramType = "fmea";
+        ref :>> viewpointDefinition = gridViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeElementKinds = ("FailureMode");
+        }
+    }
+
+    // ─── interconnection view ────────────────────────────────────────────
+
+    // Child IBD view — the heater assembly's own internal wiring. Its subject
+    // is `heaterAssembly`, so the parent IBD shows a "navigate to view" button
+    // on the Thermal Control Assembly part.
+    view heaterAssemblyIBD : MemoDiagramView {
+        expose coffeeMachine::heaterAssembly::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Internal wiring of the Thermal Control Assembly — heating element and its status output."; }
+        attribute :>> viewKind = DiagramViewKind::interconnection;
+        attribute :>> diagramType = "ibd";
+        attribute :>> rendererProfile = "ibd";
+        ref :>> viewpointDefinition = ibdViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("Composes", "flow", "bind");
+        }
+    }
+
+    view heatingElementIBD : MemoDiagramView {
+        expose coffeeMachine::heaterAssembly::heatingElement::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Third-level IBD — resistive coil and temperature sensor inside the heating element."; }
+        attribute :>> viewKind = DiagramViewKind::interconnection;
+        attribute :>> diagramType = "ibd";
+        attribute :>> rendererProfile = "ibd";
+        ref :>> viewpointDefinition = ibdViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("Composes", "flow", "bind");
+        }
+    }
+
+    view beverageMachineIBD : MemoDiagramView {
+        expose coffeeMachine::**;
+        expose waterSupply::**;
+        expose cup::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Balanced internal architecture with readable boundary ports, nested service diagnostics, and external water and beverage interfaces."; }
+        attribute :>> viewKind = DiagramViewKind::interconnection;
+        attribute :>> diagramType = "ibd";
+        // The dedicated IBD renderer (Base -> Ibd class hierarchy): square
+        // wall ports, orange-in/green-out, solid grabbable nested-connector
+        // housings, orthogonal crossing-bridge routing, monochrome shading.
+        attribute :>> rendererProfile = "ibd";
+        ref :>> viewpointDefinition = ibdViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("Composes", "flow", "bind");
+        }
+    }
+
+    // ─── operational behaviour view ──────────────────────────────────────
+
+    view clinicalSetupActivity : MemoDiagramView {
+        expose opSetupFlow::**;
+        expose opCareSystem::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Operational activity across clinical roles with concurrent preparation and a composite therapy step."; }
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "ofd";
+        ref :>> viewpointDefinition = actionFlowViewpoint;
+    }
+
+    // ─── package view ────────────────────────────────────────────────────
+
+    view threeLayerPackages : MemoDiagramView {
+        expose presentation::**;
+        expose domain::**;
+        expose infrastructure::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Three-layer package overview — presentation, domain, infrastructure — rendered as a browser membership tree."; }
+        attribute :>> viewKind = DiagramViewKind::browser;
+        attribute :>> diagramType = "pkg";
+        ref :>> viewpointDefinition = browserViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("Composes");
+        }
+    }
+
+    // ─── requirements view ───────────────────────────────────────────────
+
+    view needsToRequirements : MemoDiagramView {
+        expose needSafeTherapy::**;
+        expose needTimelyAlarms::**;
+        expose reqDoseLimit;
+        expose reqOcclusionAlarm;
+        expose reqAlarmLoudness;
+        attribute depth = 1;
+        @MemoIdentity { :>> shortDescription = "Stakeholder needs deriving into system requirements, wired by DerivesFrom trace edges."; }
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "req";
+        ref :>> viewpointDefinition = requirementsDiagramViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("DerivesFrom");
+        }
+    }
+
+    // ─── sequence view ───────────────────────────────────────────────────
+
+    view startInfusionSequence : MemoDiagramView {
+        expose startInfusion::**;
+        expose memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_sequence_view::clinician::**;
+        expose pumpController::**;
+        expose pumpMechanism::**;
+        expose monitorLoop::**;
+        expose errorHandling::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Start-infusion sequence with combined fragments — loop for sensor monitoring and alt for error handling."; }
+        attribute :>> viewKind = DiagramViewKind::sequence;
+        attribute :>> diagramType = "seq";
+        ref :>> viewpointDefinition = sequenceViewpoint;
+        part :>> selectionQuery {
+            // 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");
+        }
+    }
+
+    // ─── standard activity view ──────────────────────────────────────────
+
+    view orderFulfillmentActivity : MemoDiagramView {
+        expose FulfillOrder::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Order fulfilment — accept, validate, decide, fork into parallel shipment and invoice, join, notify, send receipt, and terminate."; }
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "afd";
+        ref :>> viewpointDefinition = actionFlowViewpoint;
+    }
+
+    // ─── state transition view ───────────────────────────────────────────
+
+    view pumpModeStateMachine : MemoDiagramView {
+        expose pumpModes::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> 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";
+        ref :>> viewpointDefinition = stateMachineViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeElementKinds = ("StateMachine", "MemoState");
+        }
+    }
+
+    view infusingSubStates : MemoDiagramView {
+        expose pumpModes::infusing::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Sub-states of the Infusing composite state — Priming, Delivering, and Holding with their internal transitions."; }
+        attribute :>> viewKind = DiagramViewKind::statetransition;
+        attribute :>> diagramType = "stm";
+        ref :>> viewpointDefinition = stateMachineViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeElementKinds = ("MemoState");
+        }
+    }
+
+    // ─── tree view ───────────────────────────────────────────────────────
+
+    view blockDecomposition : MemoDiagramView {
+        expose rootA::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Block decomposition tree — hardware assemblies with varied branch depths."; }
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "bdd";
+        ref :>> viewpointDefinition = treeViewpoint;
+        attribute :>> layoutHint = "tree";
+        attribute :>> styleHint = "expanded:rootA,rootB,branchA1,branchB1";
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("Composes");
+        }
+    }
+
+    // ─── use case view ───────────────────────────────────────────────────
+
+    view deviceUseCases : MemoDiagramView {
+        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;
+        expose configureTherapy;
+        expose maintainDevice;
+        expose documentTreatment;
+        expose validateTherapySettings;
+        @MemoIdentity { :>> shortDescription = "Actors outside a device boundary with include, extend, generalization, hierarchy-level, and orthogonal-routing presentation."; }
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "ucd";
+        ref :>> viewpointDefinition = useCaseViewpoint;
+        part :>> selectionQuery {
+            // 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

@@ -1,4 +1,5 @@
-package diagram_samples {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_functional_flow_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
 
     private import memo_architecture_logical_structure::*;
@@ -52,45 +53,45 @@ package diagram_samples {
     // 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;
@@ -98,12 +99,12 @@ package diagram_samples {
             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;
@@ -131,14 +132,4 @@ package diagram_samples {
     allocate fxDeliveryFlow.fxDeliver.fxOpenValve to fxPumpSystem.fxDeliverySubsystem.fxActuator;
     allocate fxDeliveryFlow.fxDeliver.fxHoldDose to fxPumpSystem.fxDeliverySubsystem.fxActuator;
     allocate fxDeliveryFlow.fxDeliver.fxCloseValve to fxPumpSystem.fxDeliverySubsystem.fxActuator;
-
-    view medicationDeliveryFlow : MemoDiagramView {
-        expose fxDeliveryFlow::**;
-        expose fxPumpSystem::**;
-        attribute depth = 2;
-        @MemoIdentity { :>> 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";
-        ref :>> viewpointDefinition = actionFlowViewpoint;
-    }
 }

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

@@ -1,4 +1,5 @@
-package diagram_samples {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_grid_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     // Grid sample (grid view kind, `fmea` diagram type). The grid template groups
     // rows by kind and derives columns from whichever attributes the rows
     // actually carry — no fixed schema, so three FailureMode rows render as one
@@ -14,8 +15,8 @@ package diagram_samples {
     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;
@@ -25,8 +26,8 @@ package diagram_samples {
         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;
@@ -36,8 +37,8 @@ package diagram_samples {
         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;
@@ -47,18 +48,4 @@ package diagram_samples {
         attribute :>> rpn = 112;
         attribute :>> criticality = CriticalityKind::high;
     }
-
-    view failureModeGrid : MemoDiagramView {
-        expose fmMotorRunaway::**;
-        expose fmAirSensorSilent::**;
-        expose fmOcclusionDrift::**;
-        attribute depth = 2;
-        @MemoIdentity { :>> shortDescription = "Three FailureMode rows rendered as an FMEA worksheet table — one section, columns auto-derived from the attributes the rows carry."; }
-        attribute :>> viewKind = DiagramViewKind::grid;
-        attribute :>> diagramType = "fmea";
-        ref :>> viewpointDefinition = gridViewpoint;
-        part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("FailureMode");
-        }
-    }
 }