@memoarchitect/ontology 0.12.0 → 0.13.2

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

@@ -1,4 +1,5 @@
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_interconnection_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_context_use_context::*;
@@ -17,7 +18,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 +38,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,17 +90,12 @@ 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 {
-        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";
-        ref :>> viewpointDefinition = logicalArchitectureViewpoint;
-        part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("Composes", "flow", "bind");
-        }
-    }
+    // 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;
 }

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

@@ -1,4 +1,5 @@
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operational_behaviour_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_core_relationships::*;
@@ -97,14 +98,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
     allocate opSetupFlow.opAdminister.opCheckLockout to opCareSystem.opClinicalTeam.opRoleNurse;
     allocate opSetupFlow.opAdminister.opDeliverDose to opCareSystem.opClinicalTeam.opRoleNurse;
     allocate opSetupFlow.opAdminister.opLogEvent to opCareSystem.opClinicalTeam.opRoleNurse;
-
-    view opSetupView : 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;
-    }
 }

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

@@ -0,0 +1,56 @@
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_package_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    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; }
+        }
+    }
+}

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

@@ -1,7 +1,8 @@
-// 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 {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    // 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 +16,28 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
     private import memo_core_common::MemoIdentity;
     requirement needSafeTherapy : Need {
         attribute :>> needKind = NeedKind::'stakeholder';
-        @MemoIdentity { :>> providedId = "NEED-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.";
     }
 
@@ -44,20 +45,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
     connection : DerivesFrom connect sourceDriver ::> needSafeTherapy to targetRequirement ::> reqOcclusionAlarm;
     connection : DerivesFrom connect sourceDriver ::> needTimelyAlarms to targetRequirement ::> reqOcclusionAlarm;
     connection : DerivesFrom connect sourceDriver ::> needTimelyAlarms to targetRequirement ::> reqAlarmLoudness;
-
-    view sampleRequirementsView : 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 = requirementsViewpoint;
-        part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("DerivesFrom");
-        }
-    }
 }

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

@@ -0,0 +1,81 @@
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_sequence_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    // Sequence sample (sequence view kind, `seq` diagram type). A FunctionalFlow
+    // owns an ordered chain of FunctionalFlowSteps; each step is `allocate`d to
+    // the lifeline (an actor or component) that performs it, and the sequence
+    // template lays lifelines out as columns with one row per step in
+    // declaration order.
+    private import ScalarValues::*;
+
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_logical_structure::*;
+    private import memo_architecture_functional_functions::*;
+    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;
+
+    // Lifelines — the actor and components each step is allocated to.
+    part clinician : User { attribute :>> name = "Clinician"; }
+    part pumpController : LogicalComponent { attribute :>> name = "Pump Controller"; }
+    part pumpMechanism : LogicalComponent { attribute :>> name = "Pump Mechanism"; }
+
+    // Combined fragment definitions — referenced by steps' `fragment` attribute.
+    part monitorLoop {
+        attribute name = "Monitor Loop";
+        attribute fragmentType = "loop";
+        attribute guard = "vitals abnormal";
+    }
+    part errorHandling {
+        attribute name = "Error Handling";
+        attribute fragmentType = "alt";
+        attribute fragmentGuards = "[error recoverable]|[else]";
+    }
+
+    action startInfusion : FunctionalFlow {
+        attribute :>> name = "Start Infusion";
+
+        action stepRequestStart : FunctionalFlowStep { attribute :>> name = "Request start infusion"; }
+        action stepValidate : FunctionalFlowStep { attribute :>> name = "Validate prescribed rate"; }
+        action stepCommandMotor : FunctionalFlowStep { attribute :>> name = "Command motor drive"; }
+        action stepConfirm : FunctionalFlowStep { attribute :>> name = "Confirm delivery started"; }
+
+        // Steps inside the monitoring loop fragment
+        action stepReadSensor : FunctionalFlowStep { attribute :>> name = "Read sensor data"; attribute stepOrder = "5"; attribute fragment = "monitorLoop"; }
+        action stepCheckVitals : FunctionalFlowStep { attribute :>> name = "Check vital signs"; attribute stepOrder = "6"; attribute fragment = "monitorLoop"; }
+
+        // Steps inside the alt (error-handling) fragment
+        action stepRetryDelivery : FunctionalFlowStep { attribute :>> name = "Retry delivery"; attribute stepOrder = "7"; attribute fragment = "errorHandling"; attribute fragmentOperand = "1"; }
+        action stepAlertUser : FunctionalFlowStep { attribute :>> name = "Alert user"; attribute stepOrder = "8"; attribute fragment = "errorHandling"; attribute fragmentOperand = "2"; }
+
+        action stepNotify : FunctionalFlowStep { attribute :>> name = "Notify delivery started"; attribute stepOrder = "9"; }
+
+        first start then stepRequestStart;
+        first stepRequestStart then stepValidate;
+        first stepValidate then stepCommandMotor;
+        first stepCommandMotor then stepConfirm;
+        first stepConfirm then stepReadSensor;
+        first stepReadSensor then stepCheckVitals;
+        first stepCheckVitals then stepRetryDelivery;
+        first stepCheckVitals then stepAlertUser;
+        first stepRetryDelivery then stepNotify;
+        first stepAlertUser then stepNotify;
+        first stepNotify then done;
+    }
+
+    // Lane assignment — which lifeline performs each step, in the order the
+    // sequence reads top to bottom: clinician requests, controller validates,
+    // mechanism drives, controller confirms, clinician is notified.
+    allocate startInfusion.stepRequestStart to clinician;
+    allocate startInfusion.stepValidate to pumpController;
+    allocate startInfusion.stepCommandMotor to pumpMechanism;
+    allocate startInfusion.stepConfirm to pumpController;
+    allocate startInfusion.stepReadSensor to pumpMechanism;
+    allocate startInfusion.stepCheckVitals to pumpController;
+    allocate startInfusion.stepRetryDelivery to pumpController;
+    allocate startInfusion.stepAlertUser to clinician;
+    allocate startInfusion.stepNotify to clinician;
+}

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

@@ -1,17 +1,18 @@
-// Standard SysML v2 activity sample (actionflow view kind, `afd` diagram type).
-//
-// The view over `activity_example::CustomerProcess`, the standard-SysML activity
-// fixture in `model/sysml_v2_activity_example.sysml`. It exists because the
-// fixture's whole point is the node types `action_flow_view.sysml` does not
-// have — decision, merge, fork, join, accept, send, terminate, and guarded
-// successions. Without a view exposing it the fixture parses into the model and
-// is never drawn, which is indistinguishable from a renderer that cannot draw
-// decisions.
-//
-// Nothing here specializes a MEMO kind: the fixture is plain standard SysML,
-// and that is the property under test. The renderer classifies its nodes from
-// the metamodel (`activity-notation.ts`), not from an ontology kind.
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard_activity_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    // Standard SysML v2 activity sample (actionflow view kind, `afd` diagram type).
+    //
+    // The view over `activity_example::CustomerProcess`, the standard-SysML activity
+    // fixture in `model/sysml_v2_activity_example.sysml`. It exists because the
+    // fixture's whole point is the node types `action_flow_view.sysml` does not
+    // have — decision, merge, fork, join, accept, send, terminate, and guarded
+    // successions. Without a view exposing it the fixture parses into the model and
+    // is never drawn, which is indistinguishable from a renderer that cannot draw
+    // decisions.
+    //
+    // Nothing here specializes a MEMO kind: the fixture is plain standard SysML,
+    // and that is the property under test. The renderer classifies its nodes from
+    // the metamodel (`activity-notation.ts`), not from an ontology kind.
     private import ScalarValues::*;
 
     private import memo_core_relationships::*;
@@ -23,12 +24,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    view standardActivityView : MemoDiagramView {
-        expose CustomerProcess::**;
-        attribute depth = 2;
-        @MemoIdentity { :>> shortDescription = "Customer login, guarded validation, shopping loop, checkout, credit approval, and explicit completion outcomes."; }
-        attribute :>> viewKind = DiagramViewKind::actionflow;
-        attribute :>> diagramType = "afd";
-        ref :>> viewpointDefinition = functionalViewpoint;
-    }
 }

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

@@ -1,7 +1,8 @@
-// State transition sample (statetransition view kind, `stm` diagram type). A
-// behaviour machine owns its mode states by containing them, and each native
-// transition lives inside the state whose substates it connects.
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_transition_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    // State transition sample (statetransition view kind, `stm` diagram type). A
+    // behaviour machine owns its mode states by containing them, and each native
+    // transition lives inside the state whose substates it connects.
     private import ScalarValues::*;
 
     private import memo_architecture_functional_behavior::*;
@@ -62,18 +63,6 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_tr
         }
     }
 
-    view sampleStateTransitionView : 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 = functionalViewpoint;
-        part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("StateMachine", "MemoState");
-        }
-    }
-
     // The machine is one containment tree, so exposing its root reaches every
     // state and transition; the former per-element IncludedIn list restated
     // that tree a second time and is gone with it.

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

@@ -1,4 +1,5 @@
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
     private import memo_architecture_implementation_hardware_structure::*;
 
@@ -16,7 +17,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
             attribute :>> name = "Branch A.1";
             part leafA11 : HardwareAssembly {
                 attribute :>> name = "Leaf A.1.1";
-                attribute :>> partNumber = "PN-001";
+                attribute :>> partNumber = "PN-1";
             }
             part leafA12 : HardwareAssembly { attribute :>> name = "Leaf A.1.2"; }
         }
@@ -32,18 +33,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
             }
         }
     }
-
-    view sampleTreeView : MemoDiagramView {
-        expose rootA::**;
-        attribute depth = 2;
-        @MemoIdentity { :>> shortDescription = "One connected dummy hierarchy with varied branch depths for tree layout development."; }
-        attribute :>> viewKind = DiagramViewKind::general;
-        attribute :>> diagramType = "bdd";
-        ref :>> viewpointDefinition = physicalViewpoint;
-        attribute :>> layoutHint = "tree";
-        attribute :>> styleHint = "expanded:rootA,rootB,branchA1,branchB1";
-        part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("Composes");
-        }
-    }
 }

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

@@ -1,4 +1,5 @@
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_use_cases::*;
@@ -9,6 +10,15 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
+
+    // Generalization (specialization) relation for UML-style use-case diagrams.
+    // Source is the specific element, target the general one; the UCD renderer
+    // draws a solid line with a hollow triangle pointing at the general end.
+    connection def Specialization :> MemoRelationship {
+        end specialized :>> source;
+        end general :>> target;
+    }
+
     // Product-neutral fixture for the UML-style use-case presentation.
     part patient : User {
         attribute :>> actorKind = ActorKind::patient;
@@ -22,9 +32,13 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         attribute :>> actorKind = ActorKind::technician;
         attribute :>> name = "Service Technician";
     }
+    part nursingStaff : User {
+        attribute :>> actorKind = ActorKind::clinician;
+        attribute :>> name = "Nursing Staff";
+    }
 
     use case reviewStatus : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-001"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-1"; }
         attribute :>> name = "Review Device Status";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include validateTherapySettings;
@@ -32,7 +46,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         actor patientActor = patient;
     }
     use case configureTherapy : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-002"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-2"; }
         attribute :>> name = "Configure Therapy";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include reviewStatus;
@@ -41,7 +55,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         actor patientActor = patient;
     }
     use case maintainDevice : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-003"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-3"; }
         attribute :>> name = "Maintain Device";
         attribute :>> useCaseKind = UseCaseKind::service;
         subject supportingSystem;
@@ -49,14 +63,14 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
     }
 
     use case documentTreatment : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-004"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-4"; }
         attribute :>> name = "Document Treatment";
         attribute :>> useCaseKind = UseCaseKind::clinical;
     }
 
     // L2 child of Review Device Status: makes L0 → L1 → L2 selectable.
     use case validateTherapySettings : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-005"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-5"; }
         attribute :>> name = "Validate Therapy Settings";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject supportingSystem;
@@ -67,24 +81,13 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
     // specialization, and `:>` inherits the base's subject and actors.
     dependency from documentTreatment to reviewStatus;
 
-    view sampleUseCaseView : MemoDiagramView {
-        expose patient;
-        expose clinician;
-        expose serviceTechnician;
-        expose reviewStatus;
-        expose configureTherapy;
-        expose maintainDevice;
-        expose documentTreatment;
-        expose validateTherapySettings;
-        @MemoIdentity { :>> shortDescription = "Actors outside a device boundary with include, extend, hierarchy-level, and orthogonal-routing presentation."; }
-        attribute :>> viewKind = DiagramViewKind::general;
-        attribute :>> diagramType = "ucd";
-        ref :>> viewpointDefinition = operationalViewpoint;
-        part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("User", "UseCase");
-            attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Extends");
-        }
-        // Presentation is owned by the model view, rather than a canvas control.
-        attribute :>> layoutHint = "usecase:level=all;edge=rounded";
-    }
+    // Actor generalization: Nursing Staff is a specialization of Clinician.
+    // UML draws this as a solid line with a hollow triangle arrowhead pointing
+    // at the general actor.
+    connection : Specialization connect nursingStaff to clinician;
+
+    // Use-case generalization: Configure Therapy specializes Review Device
+    // Status — the general case is browsing status; configuring therapy is a
+    // more specific variant.
+    connection : Specialization connect configureTherapy to reviewStatus;
 }

package/extensions/aadl/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-aadl'
-version: 0.12.0
+version: 0.13.2
 description: AADL (SAE AS5506) correspondence profile and runtime component families
 license: MIT
 tags:

package/extensions/cloud/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-cloud'
-version: 0.12.0
+version: 0.13.2
 description: Networked services and managed data stores
 license: MIT
 tags:

package/extensions/container/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-container'
-version: 0.12.0
+version: 0.13.2
 description: OCI container images and container runtimes as deployment content
 license: MIT
 tags:

package/extensions/messaging/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-messaging'
-version: 0.12.0
+version: 0.13.2
 description: Publish/subscribe messaging — topics, brokers, and delivery semantics
 license: MIT
 tags:

package/extensions/ros/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-ros'
-version: 0.12.0
+version: 0.13.2
 description: ROS 2 nodes, messages, topic/service/action interfaces, QoS, and containerized deployment
 license: MIT
 tags:

package/methodologies/default/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/methodology-default'
-version: 0.12.0
+version: 0.13.2
 description: "MEMO default medical-device methodology \u2014 selects viewpoints/views/DHF documents from @memoarchitect/ontology and adds rules, gates, patterns, profiles, and workflow."
 license: MIT
 tags:

package/methodologies/gpca/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/methodology-gpca'
-version: 0.12.0
+version: 0.13.2
 description: "GPCA infusion pump methodology \u2014 subtraction-based tailoring of @memoarchitect/methodology-default for the non-networked prototype variant. Excludes cybersecurity and SOUP."
 license: MIT
 tags:

package/ontology/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/ontology'
-version: 0.12.0
+version: 0.13.2
 description: "MEMO \u2014 the single canonical medical-device ontology: core semantics, the Arcadia-inspired architecture layers (context, requirements, behavior, structure, interfaces, risk, cybersecurity,\
   \ assurance, \u2026), compliance, viewpoints, views, and invariant rules. One namespace (memo::), one src/ tree."
 license: MIT

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@memoarchitect/ontology",
-  "version": "0.12.0",
+  "version": "0.13.2",
   "packageManager": "pnpm@9.15.0",
   "description": "MEMO — Medical Engineering Modelling Ontology. Pure SysML v2 medical-device ontology with native constraints, portable to any conformant SysML v2 tool (SysIDE, SysON, sysand).",
   "scripts": {

package/profile/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/medical-modeling-profile'
-version: 0.12.0
+version: 0.13.2
 description: Closure rules and viewpoints for medical device modeling
 license: MIT
 tags:

package/src/viewpoints/clinical/clinical_viewpoint.sysml

@@ -13,12 +13,12 @@ package memo_viewpoints_clinical_clinical_viewpoint {
         @MemoIdentity { :>> shortDescription = "Shows clinical context, users, use environment, and clinical evidence."; }
         attribute :>> description = "Default viewpoint derived from the context and assurance layers for clinical stakeholders — intended use, patient/clinician interaction, clinical evidence, and clinical safety claims.";
         attribute :>> purpose = "Communicate clinical use context and clinical evidence for the device.";
-        ref :>> stakeholders = (ClinicalEngineer, RegulatoryEngineer);
+        ref :>> stakeholders = (clinicalEngineer, regulatoryEngineer);
         attribute :>> stage = WorkflowStageKind::context;
         attribute :>> abstractionLevel = "clinical";
         attribute :>> outputKind = (ViewOutputKind::documentSection, ViewOutputKind::table);
         attribute :>> presentationKind = (PresentationKind::narrativeSection);
-        ref :>> framedConcerns = (SafetyConcern, ClinicalConcern);
+        ref :>> framedConcerns = (safetyConcern, clinicalConcern);
         attribute :>> explorerLane = "assurance";
         attribute :>> explorerOrder = 4;
         attribute :>> userExtensible = true;