@memoarchitect/ontology 0.12.0 → 0.12.1

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

@@ -1,9 +1,84 @@
-// unassigned viewpoint.
+// Diagram-type viewpoints for the sample gallery.
 //
-// This project does not define its own viewpoint here; it binds the reusable
-// MEMO viewpoint that frames these concerns. The views it governs sit beneath
-// `views/`.
+// The standard MEMO viewpoints group by engineering concern (Functional,
+// Operational, …). These example-only viewpoints group by diagram kind
+// so a user exploring the gallery finds each renderer demo in an
+// obviously-named folder.
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned {
-    // The reusable package declaring unassigned could not be resolved during
-    // conversion. Import it here so the views beneath this viewpoint resolve.
+    private import ScalarValues::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+    private import memo_viewpoints_stakeholders_concerns::*;
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+
+    viewpoint contextDiagramViewpoint : MemoViewpoint {
+        @MemoIdentity { :>> providedId = "VP-DEMO-CTX"; }
+        attribute :>> name = "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 { :>> 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 { :>> shortDescription = "Internal structure — parts, ports, and connectors."; }
+        attribute :>> explorerOrder = 3;
+    }
+
+    viewpoint stateMachineViewpoint : MemoViewpoint {
+        @MemoIdentity { :>> providedId = "VP-DEMO-STD"; }
+        attribute :>> name = "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 { :>> 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 { :>> shortDescription = "Actors, use cases, include/extend/generalization."; }
+        attribute :>> explorerOrder = 6;
+    }
+
+    viewpoint requirementsDiagramViewpoint : MemoViewpoint {
+        @MemoIdentity { :>> providedId = "VP-DEMO-REQ"; }
+        attribute :>> name = "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 { :>> shortDescription = "Hierarchical membership tree of model elements."; }
+        attribute :>> explorerOrder = 8;
+    }
+
+    viewpoint gridViewpoint : MemoViewpoint {
+        @MemoIdentity { :>> providedId = "VP-DEMO-GRD"; }
+        attribute :>> name = "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 { :>> 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

@@ -1,8 +1,6 @@
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_flow_view {
+package diagram_samples {
     private import ScalarValues::*;
     private import memo_core_relationships::*;
-    private import ModelingMetadata::*;
-
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_logical_interfaces::*;
     private import memo_architecture_functional_functions::*;
@@ -81,7 +79,19 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
          */
     dependency linkLaneBProcessesInput from laneB to sampleActionFlow::process;
 
-    view sampleActionFlowView : MemoDiagramView {
+    // 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;
@@ -89,6 +99,6 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
         @MemoIdentity { :>> shortDescription = "Dummy actions, typed item flows, successions, and a composite action for renderer development."; }
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "afd";
-        ref :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = actionFlowViewpoint;
     }
 }

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

@@ -0,0 +1,88 @@
+package diagram_samples {
+    private import ScalarValues::*;
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_operational_use_cases::*;
+    private import memo_architecture_operational_structure::*;
+    private import memo_core_relationships::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+
+    // Operational decomposition for the browser membership tree.
+    // A top-level system with sub-systems, actors, and use cases arranged
+    // to demonstrate the browser view's hierarchical grouping by kind.
+
+    part controlSystem : OperationalEntity {
+        attribute :>> name = "Control System";
+        attribute :>> entityKind = OperationalEntityKind::subsystem;
+
+        part supervisorModule : OperationalEntity {
+            attribute :>> name = "Supervisor Module";
+            attribute :>> entityKind = OperationalEntityKind::subsystem;
+        }
+        part safetyModule : OperationalEntity {
+            attribute :>> name = "Safety Module";
+            attribute :>> entityKind = OperationalEntityKind::subsystem;
+        }
+        part communicationModule : OperationalEntity {
+            attribute :>> name = "Communication Module";
+            attribute :>> entityKind = OperationalEntityKind::subsystem;
+        }
+    }
+
+    part systemOperator : User {
+        attribute :>> actorKind = ActorKind::clinician;
+        attribute :>> name = "Operator";
+    }
+    part maintenanceEngineer : User {
+        attribute :>> actorKind = ActorKind::technician;
+        attribute :>> name = "Maintenance Engineer";
+    }
+    part remoteMonitor : User {
+        attribute :>> actorKind = ActorKind::clinician;
+        attribute :>> name = "Remote Monitor";
+    }
+
+    use case startSystem : UseCase {
+        @MemoIdentity { :>> providedId = "UC-BRW-1"; }
+        attribute :>> name = "Start System";
+        attribute :>> useCaseKind = UseCaseKind::clinical;
+        subject controlSystem;
+        actor operatorActor = systemOperator;
+    }
+    use case runDiagnostics : UseCase {
+        @MemoIdentity { :>> providedId = "UC-BRW-2"; }
+        attribute :>> name = "Run Diagnostics";
+        attribute :>> useCaseKind = UseCaseKind::service;
+        subject controlSystem;
+        actor engineerActor = maintenanceEngineer;
+    }
+    use case monitorStatus : UseCase {
+        @MemoIdentity { :>> providedId = "UC-BRW-3"; }
+        attribute :>> name = "Monitor Status";
+        attribute :>> useCaseKind = UseCaseKind::clinical;
+        subject controlSystem;
+        actor monitorActor = remoteMonitor;
+    }
+
+    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");
+        }
+    }
+}

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

@@ -1,7 +1,7 @@
-// System context sample (general view kind, `context` diagram type). The system
-// under consideration is one block; every other element is an external actor,
-// neighbouring system, or use context it interacts with across its boundary.
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_view {
+package diagram_samples {
+    // System context sample (general view kind, `context` diagram type). The system
+    // under consideration is one block; every other element is an external actor,
+    // neighbouring system, or use context it interacts with across its boundary.
     private import ScalarValues::*;
 
     private import memo_architecture_operational_context_actors::*;
@@ -37,7 +37,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_
     flow from infusionSystem to pharmacySystem;
     connection : AppliesInContext connect useContext ::> homeContext to subjectElement ::> infusionSystem;
 
-    view sampleContextView : MemoDiagramView {
+    view systemContextDiagram : MemoDiagramView {
         expose infusionSystem::**;
         expose clinician;
         expose patient;
@@ -48,7 +48,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_
         @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 = contextViewpoint;
+        ref :>> viewpointDefinition = contextDiagramViewpoint;
         part :>> selectionQuery {
             attribute :>> includeRelationshipKinds = ("connect", "flow", "AppliesInContext");
         }

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

@@ -1,4 +1,4 @@
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_functional_flow_view {
+package diagram_samples {
     private import ScalarValues::*;
 
     private import memo_architecture_logical_structure::*;
@@ -132,13 +132,13 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
     allocate fxDeliveryFlow.fxDeliver.fxHoldDose to fxPumpSystem.fxDeliverySubsystem.fxActuator;
     allocate fxDeliveryFlow.fxDeliver.fxCloseValve to fxPumpSystem.fxDeliverySubsystem.fxActuator;
 
-    view fxDeliveryView : MemoDiagramView {
+    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 = functionalViewpoint;
+        ref :>> viewpointDefinition = actionFlowViewpoint;
     }
 }

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

@@ -0,0 +1,64 @@
+package diagram_samples {
+    // 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
+    // FMEA worksheet table.
+    private import ScalarValues::*;
+
+    private import memo_assurance_safety_risk_analysis::*;
+    private import memo_core_relationships::*;
+    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;
+
+    part fmMotorRunaway : FailureMode {
+        attribute :>> name = "PumpMotorRunaway";
+        attribute :>> failureModeKind = FailureModeKind::unintendedFunction;
+        attribute :>> effect = "Excess drug delivered beyond the prescribed rate.";
+        attribute :>> severityRating = 1;
+        attribute :>> occurrenceRating = 2;
+        attribute :>> probability = ProbabilityKind::improbable;
+        attribute :>> detectionRating = 3;
+        attribute :>> rpn = 6;
+        attribute :>> criticality = CriticalityKind::catastrophic;
+    }
+    part fmAirSensorSilent : FailureMode {
+        attribute :>> name = "AirSensorFailsSilent";
+        attribute :>> failureModeKind = FailureModeKind::lossOfFunction;
+        attribute :>> effect = "Air embolism reaches the patient undetected.";
+        attribute :>> severityRating = 1;
+        attribute :>> occurrenceRating = 3;
+        attribute :>> probability = ProbabilityKind::remote;
+        attribute :>> detectionRating = 4;
+        attribute :>> rpn = 12;
+        attribute :>> criticality = CriticalityKind::catastrophic;
+    }
+    part fmOcclusionDrift : FailureMode {
+        attribute :>> name = "OcclusionSensorDrift";
+        attribute :>> failureModeKind = FailureModeKind::degradedFunction;
+        attribute :>> effect = "Occlusion is detected late, interrupting therapy.";
+        attribute :>> severityRating = 7;
+        attribute :>> occurrenceRating = 4;
+        attribute :>> probability = ProbabilityKind::occasional;
+        attribute :>> detectionRating = 4;
+        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");
+        }
+    }
+}

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

@@ -1,4 +1,4 @@
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_interconnection_view {
+package diagram_samples {
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_context_use_context::*;
@@ -17,7 +17,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
     // `out`-ness relative to the owner, so a boundary port only reads as a
     // source from INSIDE its part. The subassemblies are nested the same way —
     // real containment, not a port-to-port `Composes` edge, which is what
-    // CR-ONT-065 used to forbid before nesting made the rule unnecessary.
+    // CR-ONT-65 used to forbid before nesting made the rule unnecessary.
     part coffeeMachine : LogicalComponent {
         attribute :>> name = "Coffee Machine";
         in port mainsWaterIn : DataPort { in item payload : MemoItem; }
@@ -37,9 +37,27 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
             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";
+                in port powerIn : DataPort { in item payload : MemoItem; }
                 out port heaterStatusOut : DataPort { out item payload : MemoItem; }
+
+                part resistiveCoil : LogicalComponent {
+                    attribute :>> name = "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";
+                    in port heatIn : DataPort { in item payload : MemoItem; }
+                    out port sensorReadingOut : DataPort { out item payload : MemoItem; }
+                }
             }
         }
         part brewGroup : LogicalComponent {
@@ -71,7 +89,45 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
     bind coffeeMachine.brewGroup.brewedCoffeeOut = coffeeMachine.beverageOut;
     bind coffeeMachine.heaterAssembly.heatingElement.heaterStatusOut = coffeeMachine.serviceInterface.diagnostics;
 
-    view sampleInterconnectionView : MemoDiagramView {
+    // 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;
+
+    // Internal flows within the heating element
+    flow 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;
+
+    // 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::**;
@@ -79,7 +135,11 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
         @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";
-        ref :>> viewpointDefinition = logicalArchitectureViewpoint;
+        // 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");
         }

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

@@ -1,4 +1,4 @@
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operational_behaviour_view {
+package diagram_samples {
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_core_relationships::*;
@@ -98,13 +98,13 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
     allocate opSetupFlow.opAdminister.opDeliverDose to opCareSystem.opClinicalTeam.opRoleNurse;
     allocate opSetupFlow.opAdminister.opLogEvent to opCareSystem.opClinicalTeam.opRoleNurse;
 
-    view opSetupView : MemoDiagramView {
+    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 = operationalViewpoint;
+        ref :>> viewpointDefinition = actionFlowViewpoint;
     }
 }

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

@@ -0,0 +1,69 @@
+package diagram_samples {
+    private import ScalarValues::*;
+    private import memo_architecture_logical_structure::*;
+    private import memo_architecture_logical_interfaces::*;
+    private import memo_core_relationships::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+
+    // Three logical sub-packages: a presentation layer, a domain layer, and
+    // an infrastructure layer.  Each package owns a few parts with ports so
+    // the browser view has both depth and breadth to show.
+
+    package presentation {
+        part dashboardUI : LogicalComponent {
+            attribute :>> name = "Dashboard UI";
+            out port apiCall : DataPort { out item payload : MemoItem; }
+        }
+        part settingsUI : LogicalComponent {
+            attribute :>> name = "Settings UI";
+            out port configRequest : DataPort { out item payload : MemoItem; }
+        }
+    }
+
+    package domain {
+        part therapyEngine : LogicalComponent {
+            attribute :>> name = "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";
+            in port trigger : DataPort { in item payload : MemoItem; }
+        }
+        part configService : LogicalComponent {
+            attribute :>> name = "Configuration Service";
+            in port configIn : DataPort { in item payload : MemoItem; }
+        }
+    }
+
+    package infrastructure {
+        part dataStore : LogicalComponent {
+            attribute :>> name = "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";
+            inout port netIO : DataPort { inout item payload : MemoItem; }
+        }
+    }
+
+    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");
+        }
+    }
+}

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

@@ -1,7 +1,7 @@
-// Requirements sample (general view kind, `req` diagram type). Stakeholder needs
-// on the left derive into system requirements; `DerivesFrom` edges render as the
-// requirements-diagram trace lines.
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirements_view {
+package diagram_samples {
+    // Requirements sample (general view kind, `req` diagram type). Stakeholder needs
+    // on the left derive into system requirements; `DerivesFrom` edges render as the
+    // requirements-diagram trace lines.
     private import ScalarValues::*;
 
     private import memo_assurance_requirements_needs::*;
@@ -15,28 +15,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-001"; } attribute :>> name = "SafeTherapy";
+        @MemoIdentity { :>> providedId = "NEED-1"; } attribute :>> name = "SafeTherapy";
         attribute :>> statement = "The device shall support safe patient-controlled infusion therapy.";
     }
     requirement needTimelyAlarms : Need {
         attribute :>> needKind = NeedKind::'stakeholder';
-        @MemoIdentity { :>> providedId = "NEED-002"; } attribute :>> name = "TimelyAlarms";
+        @MemoIdentity { :>> providedId = "NEED-2"; } attribute :>> name = "TimelyAlarms";
         attribute :>> statement = "Clinicians shall be notified promptly of any condition that endangers therapy.";
     }
 
     requirement reqDoseLimit : Requirement {
         attribute :>> requirementType = RequirementTypeKind::system;
-        @MemoIdentity { :>> providedId = "REQ-001"; } attribute :>> name = "DoseLimitEnforcement";
+        @MemoIdentity { :>> providedId = "REQ-1"; } attribute :>> name = "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-002"; } attribute :>> name = "OcclusionAlarm";
+        @MemoIdentity { :>> providedId = "REQ-2"; } attribute :>> name = "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-003"; } attribute :>> name = "AlarmLoudness";
+        @MemoIdentity { :>> providedId = "REQ-3"; } attribute :>> name = "AlarmLoudness";
         attribute :>> statement = "An active alarm shall be audible at 65 dBA at one metre.";
     }
 
@@ -45,7 +45,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
     connection : DerivesFrom connect sourceDriver ::> needTimelyAlarms to targetRequirement ::> reqOcclusionAlarm;
     connection : DerivesFrom connect sourceDriver ::> needTimelyAlarms to targetRequirement ::> reqAlarmLoudness;
 
-    view sampleRequirementsView : MemoDiagramView {
+    view needsToRequirements : MemoDiagramView {
         expose needSafeTherapy::**;
         expose needTimelyAlarms::**;
         expose reqDoseLimit;
@@ -55,7 +55,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
         @MemoIdentity { :>> shortDescription = "Stakeholder needs deriving into system requirements, wired by DerivesFrom trace edges."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "req";
-        ref :>> viewpointDefinition = requirementsViewpoint;
+        ref :>> viewpointDefinition = requirementsDiagramViewpoint;
         part :>> selectionQuery {
             attribute :>> includeRelationshipKinds = ("DerivesFrom");
         }