@memoarchitect/ontology 0.7.0 → 0.8.22

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

@@ -1,6 +1,7 @@
 package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_flow_view {
     private import ScalarValues::*;
     private import memo_core_relationships::*;
+    private import ModelingMetadata::*;
 
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_logical_interfaces::*;
@@ -19,15 +20,15 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
         attribute :>> itemKind = InterfaceItemKind::material;
     }
 
-    action def ReceiveInput specializes SystemAction { out item received : DataPacket; }
-    action def ValidateInput specializes SystemAction { in item received : DataPacket; out item validated : EnergyToken; }
-    action def ProcessInput specializes SystemAction { in item validated : EnergyToken; out item result : MaterialBatch; }
-    action def RecordResult specializes SystemAction { in item result : MaterialBatch; }
+    action def ReceiveInput specializes SystemFunction { out item received : DataPacket; }
+    action def ValidateInput specializes SystemFunction { in item received : DataPacket; out item validated : EnergyToken; }
+    action def ProcessInput specializes SystemFunction { in item validated : EnergyToken; out item result : MaterialBatch; }
+    action def RecordResult specializes SystemFunction { in item result : MaterialBatch; }
 
     part laneA : LogicalComponent { attribute :>> name = "Lane A"; }
     part laneB : LogicalComponent { attribute :>> name = "Lane B"; }
 
-    action sampleActionFlow : SystemAction {
+    action sampleActionFlow : SystemFunction {
         action receive : ReceiveInput;
         action validate : ValidateInput;
         action process : ProcessInput {
@@ -72,8 +73,10 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
     // because a value must be a feature and a definition is not.
     connection linkLaneBProcessesInput : MemoLink
         connect linkSource ::> laneB to linkTarget ::> sampleActionFlow.process {
-        attribute :>> linkRationale =
-            "Lane B is the swimlane that carries the ProcessInput behaviour. The association crosses the part/action metaclass boundary, so no typed relation can express it.";
+        @Rationale {
+            :>> text =
+                "Lane B is the swimlane that carries the ProcessInput behaviour. The association crosses the part/action metaclass boundary, so no typed relation can express it.";
+        }
     }
 
     view sampleActionFlowView : MemoDiagramView {
@@ -87,12 +90,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_f
         attribute :>> diagramType = "afd";
         part :>> viewpointDefinition = functionalViewpoint;
     }
-
-    connection : IncludedIn connect sourceElement ::> sampleActionFlow.receive to targetView ::> sampleActionFlowView;
-    connection : IncludedIn connect sourceElement ::> sampleActionFlow.validate to targetView ::> sampleActionFlowView;
-    connection : IncludedIn connect sourceElement ::> sampleActionFlow.process to targetView ::> sampleActionFlowView;
-    connection : IncludedIn connect sourceElement ::> sampleActionFlow.process.processStepA to targetView ::> sampleActionFlowView;
-    connection : IncludedIn connect sourceElement ::> sampleActionFlow.process.processStepB to targetView ::> sampleActionFlowView;
-    connection : IncludedIn connect sourceElement ::> sampleActionFlow.process.processStepC to targetView ::> sampleActionFlowView;
-    connection : IncludedIn connect sourceElement ::> sampleActionFlow.record to targetView ::> sampleActionFlowView;
 }

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

@@ -32,11 +32,16 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_
     connection : InteractsWith connect contextParticipant ::> clinician to target ::> infusionSystem;
     connection : InteractsWith connect contextParticipant ::> patient to target ::> infusionSystem;
     connection : InteractsWith connect contextParticipant ::> biomedTech to target ::> infusionSystem;
-    connection : ExchangesWith connect source ::> infusionSystem to target ::> pharmacySystem;
+    flow from infusionSystem to pharmacySystem;
     connection : AppliesInContext connect useContext ::> homeContext to subjectElement ::> infusionSystem;
 
     view sampleContextView : MemoDiagramView {
         expose infusionSystem::**;
+        expose clinician;
+        expose patient;
+        expose biomedTech;
+        expose pharmacySystem;
+        expose homeContext;
         attribute depth = 1;
         attribute :>> title = "Sample · System Context";
         attribute :>> shortDescription = "Operational system context: one black-box system boundary, its external people, peer systems, operating environment, and named boundary-crossing interactions.";
@@ -44,14 +49,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_
         attribute :>> diagramType = "context";
         part :>> viewpointDefinition = contextViewpoint;
         part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("InteractsWith", "ExchangesWith", "AppliesInContext");
+            attribute :>> includeRelationshipKinds = ("InteractsWith", "flow", "AppliesInContext");
         }
     }
-
-    connection : IncludedIn connect sourceElement ::> infusionSystem to targetView ::> sampleContextView;
-    connection : IncludedIn connect sourceElement ::> clinician to targetView ::> sampleContextView;
-    connection : IncludedIn connect sourceElement ::> patient to targetView ::> sampleContextView;
-    connection : IncludedIn connect sourceElement ::> biomedTech to targetView ::> sampleContextView;
-    connection : IncludedIn connect sourceElement ::> pharmacySystem to targetView ::> sampleContextView;
-    connection : IncludedIn connect sourceElement ::> homeContext to targetView ::> sampleContextView;
 }

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

@@ -39,38 +39,37 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
     }
 
     // Functions with typed in/out pins
-    action def FxAcquire specializes SystemAction { out item reading : FxSensorReading; }
-    action def FxCompute specializes SystemAction { in item reading : FxSensorReading; out item command : FxRateCommand; }
-    action def FxEnforce specializes SystemAction { in item command : FxRateCommand; out item safeCommand : FxRateCommand; }
-    action def FxDrive specializes SystemAction { in item command : FxRateCommand; out item energy : FxMotorEnergy; }
-    action def FxDeliverMedication specializes SystemAction { in item energy : FxMotorEnergy; out item fluid : FxMedicationFluid; }
-    action def FxMonitor specializes SystemAction { out item signal : FxOcclusionSignal; }
-    action def FxDetect specializes SystemAction { in item signal : FxOcclusionSignal; }
+    action def FxAcquire specializes SystemFunction { out item reading : FxSensorReading; }
+    action def FxCompute specializes SystemFunction { in item reading : FxSensorReading; out item command : FxRateCommand; }
+    action def FxEnforce specializes SystemFunction { in item command : FxRateCommand; out item safeCommand : FxRateCommand; }
+    action def FxDrive specializes SystemFunction { in item command : FxRateCommand; out item energy : FxMotorEnergy; }
+    action def FxDeliverMedication specializes SystemFunction { in item energy : FxMotorEnergy; out item fluid : FxMedicationFluid; }
+    action def FxMonitor specializes SystemFunction { out item signal : FxOcclusionSignal; }
+    action def FxDetect specializes SystemFunction { in item signal : FxOcclusionSignal; }
 
     // Component hierarchy used by the Level control:
     // L1 system → L2 subsystems → L3 allocated components.
-    part fxPumpSystem : LogicalComponent { attribute :>> name = "Infusion Pump System"; }
-    part fxSensingSubsystem : LogicalComponent { attribute :>> name = "Sensing Subsystem"; }
-    part fxControlSubsystem : LogicalComponent { attribute :>> name = "Control Subsystem"; }
-    part fxDeliverySubsystem : LogicalComponent { attribute :>> name = "Delivery Subsystem"; }
-    part fxSafetySubsystem : LogicalComponent { attribute :>> name = "Safety Subsystem"; }
-
-    // L3 components — one natural-level swimlane each
-    part fxSensor : LogicalComponent { attribute :>> name = "Sensor Subsystem"; }
-    part fxController : LogicalComponent { attribute :>> name = "Infusion Controller"; }
-    part fxActuator : LogicalComponent { attribute :>> name = "Pump Actuator"; }
-    part fxSafety : LogicalComponent { attribute :>> name = "Safety Monitor"; }
-
-    connection : Composes connect parent ::> fxPumpSystem to child ::> fxSensingSubsystem;
-    connection : Composes connect parent ::> fxPumpSystem to child ::> fxControlSubsystem;
-    connection : Composes connect parent ::> fxPumpSystem to child ::> fxDeliverySubsystem;
-    connection : Composes connect parent ::> fxPumpSystem to child ::> fxSafetySubsystem;
-    connection : Composes connect parent ::> fxSensingSubsystem to child ::> fxSensor;
-    connection : Composes connect parent ::> fxControlSubsystem to child ::> fxController;
-    connection : Composes connect parent ::> fxDeliverySubsystem to child ::> fxActuator;
-    connection : Composes connect parent ::> fxSafetySubsystem to child ::> fxSafety;
+    part fxPumpSystem : LogicalComponent {
+        attribute :>> name = "Infusion Pump System";
+        part fxSensingSubsystem : LogicalComponent {
+            attribute :>> name = "Sensing Subsystem";
+            part fxSensor : LogicalComponent { attribute :>> name = "Sensor Subsystem"; }
+        }
+        part fxControlSubsystem : LogicalComponent {
+            attribute :>> name = "Control Subsystem";
+            part fxController : LogicalComponent { attribute :>> name = "Infusion Controller"; }
+        }
+        part fxDeliverySubsystem : LogicalComponent {
+            attribute :>> name = "Delivery Subsystem";
+            part fxActuator : LogicalComponent { attribute :>> name = "Pump Actuator"; }
+        }
+        part fxSafetySubsystem : LogicalComponent {
+            attribute :>> name = "Safety Subsystem";
+            part fxSafety : LogicalComponent { attribute :>> name = "Safety Monitor"; }
+        }
+    }
 
-    action fxDeliveryFlow : SystemAction {
+    action fxDeliveryFlow : SystemFunction {
         action fxAcquire : FxAcquire { attribute :>> name = "Acquire Sensor Data"; }
         action fxCompute : FxCompute { attribute :>> name = "Compute Infusion Rate"; }
 
@@ -85,9 +84,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
         // Composite function — valve sub-flow (drill-in)
         action fxDeliver : FxDeliverMedication {
             attribute :>> name = "Deliver Medication";
-            action fxOpenValve : SystemAction { attribute :>> name = "Open Valve"; }
-            action fxHoldDose : SystemAction { attribute :>> name = "Hold Metered Dose"; }
-            action fxCloseValve : SystemAction { attribute :>> name = "Close Valve"; }
+            action fxOpenValve : SystemFunction { attribute :>> name = "Open Valve"; }
+            action fxHoldDose : SystemFunction { attribute :>> name = "Hold Metered Dose"; }
+            action fxCloseValve : SystemFunction { attribute :>> name = "Close Valve"; }
 
             flow of FxMedicationFluid from fxDeliveryFlow.fxDeliver.fxHoldDose to fxCloseValve;
 
@@ -97,7 +96,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
             first fxCloseValve then done;
         }
 
-        action fxLog : SystemAction { attribute :>> name = "Log Delivery"; }
+        action fxLog : SystemFunction { attribute :>> name = "Log Delivery"; }
 
         flow of FxSensorReading from fxAcquire.reading to fxCompute.reading;
         flow of FxRateCommand from fxEnforce.safeCommand to fxDrive.command;
@@ -119,17 +118,17 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
     }
 
     // Swimlane allocation — which component realises each function
-    allocate fxDeliveryFlow.fxAcquire to fxSensor;
-    allocate fxDeliveryFlow.fxCompute to fxController;
-    allocate fxDeliveryFlow.fxEnforce to fxSafety;
-    allocate fxDeliveryFlow.fxDrive to fxActuator;
-    allocate fxDeliveryFlow.fxDeliver to fxActuator;
-    allocate fxDeliveryFlow.fxMonitor to fxSafety;
-    allocate fxDeliveryFlow.fxDetect to fxSafety;
-    allocate fxDeliveryFlow.fxLog to fxController;
-    allocate fxDeliveryFlow.fxDeliver.fxOpenValve to fxActuator;
-    allocate fxDeliveryFlow.fxDeliver.fxHoldDose to fxActuator;
-    allocate fxDeliveryFlow.fxDeliver.fxCloseValve to fxActuator;
+    allocate fxDeliveryFlow.fxAcquire to fxPumpSystem.fxSensingSubsystem.fxSensor;
+    allocate fxDeliveryFlow.fxCompute to fxPumpSystem.fxControlSubsystem.fxController;
+    allocate fxDeliveryFlow.fxEnforce to fxPumpSystem.fxSafetySubsystem.fxSafety;
+    allocate fxDeliveryFlow.fxDrive to fxPumpSystem.fxDeliverySubsystem.fxActuator;
+    allocate fxDeliveryFlow.fxDeliver to fxPumpSystem.fxDeliverySubsystem.fxActuator;
+    allocate fxDeliveryFlow.fxMonitor to fxPumpSystem.fxSafetySubsystem.fxSafety;
+    allocate fxDeliveryFlow.fxDetect to fxPumpSystem.fxSafetySubsystem.fxSafety;
+    allocate fxDeliveryFlow.fxLog to fxPumpSystem.fxControlSubsystem.fxController;
+    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 fxDeliveryView : MemoDiagramView {
         expose fxDeliveryFlow::**;
@@ -141,27 +140,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_function
         attribute :>> diagramType = "ffd";
         part :>> viewpointDefinition = functionalViewpoint;
     }
-
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxAcquire to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxCompute to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxForkDeliver to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxEnforce to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxDrive to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxDeliver to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxMonitor to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxDetect to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxJoinDeliver to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxLog to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxDeliver.fxOpenValve to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxDeliver.fxHoldDose to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxDeliver.fxCloseValve to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxPumpSystem to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxSensingSubsystem to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxControlSubsystem to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxDeliverySubsystem to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxSafetySubsystem to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxSensor to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxController to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxActuator to targetView ::> fxDeliveryView;
-    connection : IncludedIn connect sourceElement ::> fxSafety to targetView ::> fxDeliveryView;
 }

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

@@ -11,53 +11,64 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
     private import memo_viewpoints_logical_logical_viewpoint::*;
     private import memo_core_enumerations::*;
 
-    part coffeeMachine : LogicalComponent { attribute :>> name = "Coffee Machine"; }
-    part waterSupply : LogicalComponent { attribute :>> name = "Water Supply"; }
-    part waterTank : LogicalComponent { attribute :>> name = "Water Reservoir"; }
-    part heaterAssembly : LogicalComponent { attribute :>> name = "Thermal Control Assembly"; }
-    part heatingElement : LogicalComponent { attribute :>> name = "Water Heating Element"; }
-    part brewGroup : LogicalComponent { attribute :>> name = "Brew Group"; }
-    part cup : LogicalComponent { attribute :>> name = "Cup"; }
+    // Ports are owned by the part whose boundary they are, which is what lets
+    // a delegation be written at all: SysML v2 checks a flow's source for
+    // `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.
+    part coffeeMachine : LogicalComponent {
+        attribute :>> name = "Coffee Machine";
+        in port mainsWaterIn : DataPort { in item payload : MemoItem; }
+        out port beverageOut : DataPort { out item payload : MemoItem; }
+        inout port serviceInterface : DataPort {
+            inout item payload : MemoItem;
+            out port diagnostics : DataPort { out item payload : MemoItem; }
+        }
 
-    in port mainsWaterIn : DataPort { in item payload : MemoExchangeItem; }
-    out port beverageOut : DataPort { out item payload : MemoExchangeItem; }
-    out port supplyWaterOut : DataPort { out item payload : MemoExchangeItem; }
-    in port cupBeverageIn : DataPort { in item payload : MemoExchangeItem; }
-    inout port serviceInterface : DataPort { inout item payload : MemoExchangeItem; }
-    out port diagnostics : DataPort { out item payload : MemoExchangeItem; }
-    out port tankWaterOut : DataPort { out item payload : MemoExchangeItem; }
-    in port tankWaterIn : DataPort { in item payload : MemoExchangeItem; }
-    in port heaterWaterIn : DataPort { in item payload : MemoExchangeItem; }
-    out port heatedWaterOut : DataPort { out item payload : MemoExchangeItem; }
-    in port brewWaterIn : DataPort { in item payload : MemoExchangeItem; }
-    out port brewedCoffeeOut : DataPort { out item payload : MemoExchangeItem; }
-    out port heaterStatusOut : DataPort { out item payload : MemoExchangeItem; }
+        part waterTank : LogicalComponent {
+            attribute :>> name = "Water Reservoir";
+            out port tankWaterOut : DataPort { out item payload : MemoItem; }
+            in port tankWaterIn : DataPort { in item payload : MemoItem; }
+        }
+        part heaterAssembly : LogicalComponent {
+            attribute :>> name = "Thermal Control Assembly";
+            in port heaterWaterIn : DataPort { in item payload : MemoItem; }
+            out port heatedWaterOut : DataPort { out item payload : MemoItem; }
 
-    connection : Composes connect parent ::> coffeeMachine to child ::> waterTank;
-    connection : Composes connect parent ::> coffeeMachine to child ::> heaterAssembly;
-    connection : Composes connect parent ::> coffeeMachine to child ::> brewGroup;
-    connection : Composes connect parent ::> coffeeMachine to child ::> mainsWaterIn;
-    connection : Composes connect parent ::> coffeeMachine to child ::> beverageOut;
-    connection : Composes connect parent ::> coffeeMachine to child ::> serviceInterface;
-    connection : Composes connect parent ::> serviceInterface to child ::> diagnostics;
-    connection : Composes connect parent ::> waterTank to child ::> tankWaterOut;
-    connection : Composes connect parent ::> waterTank to child ::> tankWaterIn;
-    connection : Composes connect parent ::> heaterAssembly to child ::> heatingElement;
-    connection : Composes connect parent ::> heaterAssembly to child ::> heaterWaterIn;
-    connection : Composes connect parent ::> heaterAssembly to child ::> heatedWaterOut;
-    connection : Composes connect parent ::> brewGroup to child ::> brewWaterIn;
-    connection : Composes connect parent ::> brewGroup to child ::> brewedCoffeeOut;
-    connection : Composes connect parent ::> heatingElement to child ::> heaterStatusOut;
-    connection : Composes connect parent ::> waterSupply to child ::> supplyWaterOut;
-    connection : Composes connect parent ::> cup to child ::> cupBeverageIn;
+            part heatingElement : LogicalComponent {
+                attribute :>> name = "Water Heating Element";
+                out port heaterStatusOut : DataPort { out item payload : MemoItem; }
+            }
+        }
+        part brewGroup : LogicalComponent {
+            attribute :>> name = "Brew Group";
+            in port brewWaterIn : DataPort { in item payload : MemoItem; }
+            out port brewedCoffeeOut : DataPort { out item payload : MemoItem; }
+        }
+    }
+    part waterSupply : LogicalComponent {
+        attribute :>> name = "Water Supply";
+        out port supplyWaterOut : DataPort { out item payload : MemoItem; }
+    }
+    part cup : LogicalComponent {
+        attribute :>> name = "Cup";
+        in port cupBeverageIn : DataPort { in item payload : MemoItem; }
+    }
 
-    connection : ExchangesWith connect source ::> supplyWaterOut to target ::> mainsWaterIn;
-    connection : ExchangesWith connect source ::> mainsWaterIn to target ::> tankWaterIn;
-    connection : ExchangesWith connect source ::> tankWaterOut to target ::> heaterWaterIn;
-    connection : ExchangesWith connect source ::> heatedWaterOut to target ::> brewWaterIn;
-    connection : ExchangesWith connect source ::> brewedCoffeeOut to target ::> beverageOut;
-    connection : ExchangesWith connect source ::> beverageOut to target ::> cupBeverageIn;
-    connection : ExchangesWith connect source ::> heaterStatusOut to target ::> diagnostics;
+    // Transport between two components: `out` to `in`, one item moving.
+    flow from waterSupply.supplyWaterOut to coffeeMachine.mainsWaterIn;
+    flow from coffeeMachine.waterTank.tankWaterOut to coffeeMachine.heaterAssembly.heaterWaterIn;
+    flow from coffeeMachine.heaterAssembly.heatedWaterOut to coffeeMachine.brewGroup.brewWaterIn;
+    flow from coffeeMachine.beverageOut to cup.cupBeverageIn;
+
+    // Delegation between a boundary port and the interior it stands for. These
+    // are `in`-to-`in` and `out`-to-`out`, because nothing travels: the two
+    // features are the same feature. SysML v2 spells that `bind` (training
+    // ch. 12), not `flow` (ch. 13).
+    bind coffeeMachine.mainsWaterIn = coffeeMachine.waterTank.tankWaterIn;
+    bind coffeeMachine.brewGroup.brewedCoffeeOut = coffeeMachine.beverageOut;
+    bind coffeeMachine.heaterAssembly.heatingElement.heaterStatusOut = coffeeMachine.serviceInterface.diagnostics;
 
     view sampleInterconnectionView : MemoDiagramView {
         expose coffeeMachine::**;
@@ -70,28 +81,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_intercon
         attribute :>> diagramType = "ibd";
         part :>> viewpointDefinition = logicalArchitectureViewpoint;
         part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("Composes", "ExchangesWith");
+            attribute :>> includeRelationshipKinds = ("Composes", "flow", "bind");
         }
     }
-
-    connection : IncludedIn connect sourceElement ::> coffeeMachine to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> waterSupply to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> waterTank to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> heaterAssembly to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> heatingElement to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> brewGroup to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> cup to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> mainsWaterIn to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> beverageOut to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> supplyWaterOut to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> cupBeverageIn to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> serviceInterface to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> diagnostics to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> tankWaterOut to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> tankWaterIn to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> heaterWaterIn to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> heatedWaterOut to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> brewWaterIn to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> brewedCoffeeOut to targetView ::> sampleInterconnectionView;
-    connection : IncludedIn connect sourceElement ::> heaterStatusOut to targetView ::> sampleInterconnectionView;
 }

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

@@ -29,26 +29,21 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         attribute :>> name = "PCA Care System";
         attribute :>> entityKind = OperationalEntityKind::device;
         attribute :>> responsibility = "System of interest for this context view.";
+        part opClinicalTeam : User {
+            attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Clinical Team";
+            part opRolePhysician : User {
+                attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Physician"; }
+            part opRoleNurse : User {
+                attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Nurse"; }
+            part opRoleBiomed : User {
+                attribute :>> actorKind = ActorKind::technician; attribute :>> name = "Biomed Tech"; }
+        }
+        part opPatientGroup : User {
+            attribute :>> actorKind = ActorKind::patient; attribute :>> name = "Patient Interaction";
+            part opRolePatient : User {
+                attribute :>> actorKind = ActorKind::patient; attribute :>> name = "Patient"; }
+        }
     }
-    part opClinicalTeam : User {
-        attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Clinical Team"; }
-    part opPatientGroup : User {
-        attribute :>> actorKind = ActorKind::patient; attribute :>> name = "Patient Interaction"; }
-    part opRolePhysician : User {
-        attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Physician"; }
-    part opRoleNurse : User {
-        attribute :>> actorKind = ActorKind::clinician; attribute :>> name = "Nurse"; }
-    part opRoleBiomed : User {
-        attribute :>> actorKind = ActorKind::technician; attribute :>> name = "Biomed Tech"; }
-    part opRolePatient : User {
-        attribute :>> actorKind = ActorKind::patient; attribute :>> name = "Patient"; }
-
-    connection : Composes connect parent ::> opCareSystem to child ::> opClinicalTeam;
-    connection : Composes connect parent ::> opCareSystem to child ::> opPatientGroup;
-    connection : Composes connect parent ::> opClinicalTeam to child ::> opRolePhysician;
-    connection : Composes connect parent ::> opClinicalTeam to child ::> opRoleNurse;
-    connection : Composes connect parent ::> opClinicalTeam to child ::> opRoleBiomed;
-    connection : Composes connect parent ::> opPatientGroup to child ::> opRolePatient;
 
     action opSetupFlow : OperationalActivity {
         action opPrescribe : OpPrescribeTherapy { attribute :>> name = "Prescribe Therapy"; }
@@ -88,24 +83,22 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         first opAdminister then done;
     }
 
-    allocate opSetupFlow.opPrescribe to opRolePhysician;
-    allocate opSetupFlow.opVerify to opRoleNurse;
-    allocate opSetupFlow.opPrime to opRoleNurse;
-    allocate opSetupFlow.opSelfTest to opRoleBiomed;
-    allocate opSetupFlow.opProgram to opRoleNurse;
-    allocate opSetupFlow.opConnect to opRoleNurse;
-    allocate opSetupFlow.opStart to opRoleNurse;
-    allocate opSetupFlow.opAdminister to opRoleNurse;
-    allocate opSetupFlow.opAdminister.opRequestBolus to opRolePatient;
-    allocate opSetupFlow.opAdminister.opCheckLockout to opRoleNurse;
-    allocate opSetupFlow.opAdminister.opDeliverDose to opRoleNurse;
-    allocate opSetupFlow.opAdminister.opLogEvent to opRoleNurse;
+    allocate opSetupFlow.opPrescribe to opCareSystem.opClinicalTeam.opRolePhysician;
+    allocate opSetupFlow.opVerify to opCareSystem.opClinicalTeam.opRoleNurse;
+    allocate opSetupFlow.opPrime to opCareSystem.opClinicalTeam.opRoleNurse;
+    allocate opSetupFlow.opSelfTest to opCareSystem.opClinicalTeam.opRoleBiomed;
+    allocate opSetupFlow.opProgram to opCareSystem.opClinicalTeam.opRoleNurse;
+    allocate opSetupFlow.opConnect to opCareSystem.opClinicalTeam.opRoleNurse;
+    allocate opSetupFlow.opStart to opCareSystem.opClinicalTeam.opRoleNurse;
+    allocate opSetupFlow.opAdminister to opCareSystem.opClinicalTeam.opRoleNurse;
+    allocate opSetupFlow.opAdminister.opRequestBolus to opCareSystem.opPatientGroup.opRolePatient;
+    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::**;
-        expose opClinicalTeam::**;
-        expose opPatientGroup::**;
         attribute depth = 2;
         attribute :>> title = "Sample · Clinical PCA Setup (Operational)";
         attribute :>> shortDescription = "Operational activity across clinical roles with concurrent preparation and a composite therapy step.";
@@ -113,26 +106,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operatio
         attribute :>> diagramType = "ofd";
         part :>> viewpointDefinition = operationalViewpoint;
     }
-
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opPrescribe to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opVerify to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opForkPrep to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opPrime to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opSelfTest to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opJoinPrep to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opProgram to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opConnect to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opStart to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister.opRequestBolus to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister.opCheckLockout to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister.opDeliverDose to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister.opLogEvent to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opCareSystem to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opClinicalTeam to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opPatientGroup to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opRolePhysician to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opRoleNurse to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opRoleBiomed to targetView ::> opSetupView;
-    connection : IncludedIn connect sourceElement ::> opRolePatient to targetView ::> opSetupView;
 }

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

@@ -46,6 +46,9 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
     view sampleRequirementsView : MemoDiagramView {
         expose needSafeTherapy::**;
         expose needTimelyAlarms::**;
+        expose reqDoseLimit;
+        expose reqOcclusionAlarm;
+        expose reqAlarmLoudness;
         attribute depth = 1;
         attribute :>> title = "Sample · Requirements";
         attribute :>> shortDescription = "Stakeholder needs deriving into system requirements, wired by DerivesFrom trace edges.";
@@ -56,10 +59,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirem
             attribute :>> includeRelationshipKinds = ("DerivesFrom");
         }
     }
-
-    connection : IncludedIn connect sourceElement ::> needSafeTherapy to targetView ::> sampleRequirementsView;
-    connection : IncludedIn connect sourceElement ::> needTimelyAlarms to targetView ::> sampleRequirementsView;
-    connection : IncludedIn connect sourceElement ::> reqDoseLimit to targetView ::> sampleRequirementsView;
-    connection : IncludedIn connect sourceElement ::> reqOcclusionAlarm to targetView ::> sampleRequirementsView;
-    connection : IncludedIn connect sourceElement ::> reqAlarmLoudness to targetView ::> sampleRequirementsView;
 }

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

@@ -30,22 +30,4 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard
         attribute :>> diagramType = "afd";
         part :>> viewpointDefinition = functionalViewpoint;
     }
-
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::customerLogsIn to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::validUserDecision to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::rejected to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::browseCatalog to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::viewBookStore to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::selectBookForPurchase to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::addToShoppingBasket to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::viewShoppingBasket to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::shoppingDecision to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::commitOrder to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::supplyCreditCardDetails to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::creditDecision to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::rejectCreditCard to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::closeOrder to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::confirmPurchase to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::itemsDelivered to targetView ::> standardActivityView;
-    connection : IncludedIn connect sourceElement ::> CustomerProcess::orderComplete to targetView ::> standardActivityView;
 }