@memoarchitect/ontology 0.6.5 → 0.8.22

package/examples/sysml-diagram-samples/model/samples/functional_flow_view.sysml

@@ -1,164 +0,0 @@
-package memo_examples_sysml_diagram_samples_model_samples_functional_flow_view {
-    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_core_enumerations::*;
-
-    // ─────────────────────────────────────────────────────────────────────────
-    // Sample · Functional flow — component behaviour of dose delivery
-    //
-    // Demonstrates an Action Flow (activity) diagram of *functional/component*
-    // behaviour: how the architecture components collaborate to deliver a dose.
-    // Swimlanes group functions by the component that realises them; typed item
-    // flows show data (blue), energy (orange) and material (green) moving
-    // between functions; a fork/join runs occlusion monitoring concurrently
-    // with drive/deliver; and `fxDeliver` is a composite (double-click to
-    // drill into its valve sub-flow, then "← Parent" to return).
-    // ─────────────────────────────────────────────────────────────────────────
-
-    // Typed flow payloads
-    item def FxSensorReading specializes InterfaceItem {
-        attribute :>> itemKind = InterfaceItemKind::data;
-    }
-    item def FxRateCommand specializes InterfaceItem {
-        attribute :>> itemKind = InterfaceItemKind::command;
-    }
-    item def FxMotorEnergy specializes InterfaceItem {
-        attribute :>> itemKind = InterfaceItemKind::energy;
-    }
-    item def FxMedicationFluid specializes InterfaceItem {
-        attribute :>> itemKind = InterfaceItemKind::fluid;
-    }
-    item def FxOcclusionSignal specializes InterfaceItem {
-        attribute :>> itemKind = InterfaceItemKind::signal;
-    }
-
-    // Functions with typed in/out pins
-    action def FxAcquire { out reading : FxSensorReading; }
-    action def FxCompute { in reading : FxSensorReading; out command : FxRateCommand; }
-    action def FxEnforce { in command : FxRateCommand; out safeCommand : FxRateCommand; }
-    action def FxDrive { in command : FxRateCommand; out energy : FxMotorEnergy; }
-    action def FxDeliverMedication { in energy : FxMotorEnergy; out fluid : FxMedicationFluid; }
-    action def FxMonitor { out signal : FxOcclusionSignal; }
-    action def FxDetect { in 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;
-
-    action fxDeliveryFlow {
-        action fxAcquire : FxAcquire { attribute name = "Acquire Sensor Data"; }
-        action fxCompute : FxCompute { attribute name = "Compute Infusion Rate"; }
-
-        // Split: enforce/drive/deliver runs concurrently with occlusion monitoring
-        fork fxForkDeliver;
-        action fxEnforce : FxEnforce { attribute name = "Enforce Dose Limits"; }
-        action fxDrive : FxDrive { attribute name = "Drive Pump Motor"; }
-        action fxMonitor : FxMonitor { attribute name = "Monitor Occlusion"; }
-        action fxDetect : FxDetect { attribute name = "Detect Occlusion"; }
-        join fxJoinDeliver;
-
-        // Composite function — valve sub-flow (drill-in)
-        action fxDeliver : FxDeliverMedication {
-            attribute name = "Deliver Medication";
-            action fxOpenValve { attribute name = "Open Valve"; }
-            action fxHoldDose { attribute name = "Hold Metered Dose"; }
-            action fxCloseValve { attribute name = "Close Valve"; }
-
-            flow of FxMedicationFluid from fxDeliveryFlow.fxDeliver.fxHoldDose to fxCloseValve;
-
-            first start then fxOpenValve;
-            first fxOpenValve then fxHoldDose;
-            first fxHoldDose then fxCloseValve;
-            first fxCloseValve then done;
-        }
-
-        action fxLog { attribute name = "Log Delivery"; }
-
-        flow of FxSensorReading from fxAcquire.reading to fxCompute.reading;
-        flow of FxRateCommand from fxEnforce.safeCommand to fxDrive.command;
-        flow of FxMotorEnergy from fxDrive.energy to fxDeliver.energy;
-        flow of FxOcclusionSignal from fxMonitor.signal to fxDetect.signal;
-
-        first start then fxAcquire;
-        first fxAcquire then fxCompute;
-        first fxCompute then fxForkDeliver;
-        first fxForkDeliver then fxEnforce;
-        first fxForkDeliver then fxMonitor;
-        first fxEnforce then fxDrive;
-        first fxDrive then fxDeliver;
-        first fxMonitor then fxDetect;
-        first fxDeliver then fxJoinDeliver;
-        first fxDetect then fxJoinDeliver;
-        first fxJoinDeliver then fxLog;
-        first fxLog then done;
-    }
-
-    // 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;
-
-    view fxDeliveryView : MemoDiagramView {
-        expose fxDeliveryFlow::**;
-        expose fxPumpSystem::**;
-        attribute depth = 2;
-        attribute :>> title = "Sample · Dose Delivery (Functional Flow)";
-        attribute :>> 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";
-    }
-
-    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/samples/interconnection_view.sysml

@@ -1,94 +0,0 @@
-package memo_examples_sysml_diagram_samples_model_samples_interconnection_view {
-    private import ScalarValues::*;
-    private import memo_architecture_operational_context_actors::*;
-    private import memo_architecture_operational_context_use_context::*;
-
-    private import memo_architecture_logical_interfaces::*;
-    private import memo_architecture_logical_structure::*;
-    private import memo_core_relationships::*;
-    private import memo_viewpoints_definitions::*;
-    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"; }
-
-    port mainsWaterIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port beverageOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port supplyWaterOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port cupBeverageIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port serviceInterface : DataPort { attribute :>> direction = DirectionKind::bidirectional; }
-    port diagnostics : DataPort { attribute :>> direction = DirectionKind::output; }
-    port tankWaterOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port tankWaterIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port heaterWaterIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port heatedWaterOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port brewWaterIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port brewedCoffeeOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port heaterStatusOut : DataPort { attribute :>> direction = DirectionKind::output; }
-
-    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;
-
-    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;
-
-    view sampleInterconnectionView : MemoDiagramView {
-        expose coffeeMachine::**;
-        expose waterSupply::**;
-        expose cup::**;
-        attribute depth = 2;
-        attribute :>> title = "Coffee Machine · Thermal & Fluid IBD";
-        attribute :>> shortDescription = "Balanced internal architecture with readable boundary ports, nested service diagnostics, and external water and beverage interfaces.";
-        attribute :>> viewKind = DiagramViewKind::interconnection;
-        attribute :>> diagramType = "ibd";
-        part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("Composes", "ExchangesWith");
-        }
-    }
-
-    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/samples/operational_behaviour_view.sysml

@@ -1,135 +0,0 @@
-package memo_examples_sysml_diagram_samples_model_samples_operational_behaviour_view {
-    private import ScalarValues::*;
-    private import memo_architecture_operational_context_actors::*;
-    private import memo_core_relationships::*;
-    private import memo_architecture_logical_interfaces::*;
-    private import memo_architecture_operational_structure::*;
-    private import memo_viewpoints_definitions::*;
-    private import memo_core_enumerations::*;
-
-    // Operational activity across clinical roles. The fixture is intentionally
-    // product-neutral and belongs only to the diagram-samples project.
-    item def OpPrescription specializes InterfaceItem {
-        attribute :>> itemKind = InterfaceItemKind::data;
-    }
-    item def OpBolusRequest specializes InterfaceItem {
-        attribute :>> itemKind = InterfaceItemKind::signal;
-    }
-
-    action def OpPrescribeTherapy { out prescription : OpPrescription; }
-    action def OpVerifyPrescription { in prescription : OpPrescription; }
-    action def OpRequestBolus { out bolusRequest : OpBolusRequest; }
-    action def OpCheckLockout { in bolusRequest : OpBolusRequest; }
-
-    // Use the canonical MEMO operational system type—never a sample-local
-    // placeholder—so ontology-driven Explorer grouping remains authoritative.
-    part opCareSystem : OperationalEntity {
-        attribute :>> name = "PCA Care System";
-        attribute :>> entityKind = OperationalEntityKind::device;
-        attribute :>> contextRole = "systemOfInterest";
-    }
-    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 {
-        action opPrescribe : OpPrescribeTherapy { attribute name = "Prescribe Therapy"; }
-        action opVerify : OpVerifyPrescription { attribute name = "Verify Prescription"; }
-        fork opForkPrep;
-        action opPrime { attribute name = "Prime Pump & Load Reservoir"; }
-        action opSelfTest { attribute name = "Run Device Self-Test"; }
-        join opJoinPrep;
-        action opProgram { attribute name = "Program Pump Parameters"; }
-        action opConnect { attribute name = "Connect to Patient"; }
-        action opStart { attribute name = "Start Infusion"; }
-        action opAdminister {
-            attribute name = "Administer PCA Therapy";
-            action opRequestBolus : OpRequestBolus { attribute name = "Request Bolus"; }
-            action opCheckLockout : OpCheckLockout { attribute name = "Check Lockout"; }
-            action opDeliverDose { attribute name = "Deliver Dose"; }
-            action opLogEvent { attribute name = "Log Dose Event"; }
-            flow of OpBolusRequest from opRequestBolus.bolusRequest to opCheckLockout.bolusRequest;
-            first start then opRequestBolus;
-            first opRequestBolus then opCheckLockout;
-            first opCheckLockout then opDeliverDose;
-            first opDeliverDose then opLogEvent;
-            first opLogEvent then done;
-        }
-        flow of OpPrescription from opPrescribe.prescription to opVerify.prescription;
-        first start then opPrescribe;
-        first opPrescribe then opVerify;
-        first opVerify then opForkPrep;
-        first opForkPrep then opPrime;
-        first opForkPrep then opSelfTest;
-        first opPrime then opJoinPrep;
-        first opSelfTest then opJoinPrep;
-        first opJoinPrep then opProgram;
-        first opProgram then opConnect;
-        first opConnect then opStart;
-        first opStart then opAdminister;
-        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;
-
-    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.";
-        attribute :>> viewKind = DiagramViewKind::actionflow;
-        attribute :>> diagramType = "ofd";
-    }
-
-    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/samples/state_transition_view.sysml

@@ -1,109 +0,0 @@
-// State transition sample (statetransition view kind, `stm` diagram type). A
-// behaviour machine owns its mode states; each Transition carries `sourceState`
-// / `targetState` naming the states it connects, and renders as a labelled edge.
-package memo_examples_sysml_diagram_samples_model_samples_state_transition_view {
-    private import ScalarValues::*;
-
-    private import memo_architecture_functional_behavior::*;
-    private import memo_core_relationships::*;
-    private import memo_viewpoints_definitions::*;
-    private import memo_core_enumerations::*;
-
-    state pumpModes : StateMachine { attribute :>> name = "Pump Operating Modes"; }
-
-    state idle : ModeState { attribute :>> name = "Idle"; }
-    state infusing : ModeState { attribute :>> name = "Infusing"; }
-    state paused : ModeState { attribute :>> name = "Paused"; }
-    state alarm : ModeState { attribute :>> name = "Alarm"; }
-
-    // Infusing is a composite state: its substates show what the pump is doing
-    // while it is infusing, and the machine renders them nested inside it.
-    state priming : ModeState { attribute :>> name = "Priming"; }
-    state delivering : ModeState { attribute :>> name = "Delivering"; }
-    state holding : ModeState { attribute :>> name = "Holding (KVO)"; }
-
-    part tStart : Transition {
-        attribute :>> name = "start";
-        attribute :>> trigger = "startInfusion";
-        attribute :>> sourceState = "Idle"; attribute :>> targetState = "Infusing";
-    }
-    part tPause : Transition {
-        attribute :>> name = "pause";
-        attribute :>> trigger = "pauseRequested";
-        attribute :>> sourceState = "Infusing"; attribute :>> targetState = "Paused";
-    }
-    part tResume : Transition {
-        attribute :>> name = "resume";
-        attribute :>> trigger = "resumeRequested";
-        attribute :>> sourceState = "Paused"; attribute :>> targetState = "Infusing";
-    }
-    part tFault : Transition {
-        attribute :>> name = "fault";
-        attribute :>> trigger = "occlusionDetected";
-        attribute :>> sourceState = "Infusing"; attribute :>> targetState = "Alarm";
-    }
-    part tRecover : Transition {
-        attribute :>> name = "acknowledge";
-        attribute :>> trigger = "alarmCleared";
-        attribute :>> sourceState = "Alarm"; attribute :>> targetState = "Idle";
-    }
-    part tStop : Transition {
-        attribute :>> name = "stop";
-        attribute :>> trigger = "stopInfusion";
-        attribute :>> sourceState = "Infusing"; attribute :>> targetState = "Idle";
-    }
-
-    part tPrimed : Transition {
-        attribute :>> name = "primed";
-        attribute :>> trigger = "primeComplete";
-        attribute :>> sourceState = "Priming"; attribute :>> targetState = "Delivering";
-    }
-    part tKvo : Transition {
-        attribute :>> name = "keepVeinOpen";
-        attribute :>> trigger = "doseComplete";
-        attribute :>> sourceState = "Delivering"; attribute :>> targetState = "Holding (KVO)";
-    }
-    part tResumeDose : Transition {
-        attribute :>> name = "resumeDose";
-        attribute :>> trigger = "doseScheduled";
-        attribute :>> sourceState = "Holding (KVO)"; attribute :>> targetState = "Delivering";
-    }
-
-    connection : Composes connect parent ::> pumpModes to child ::> idle;
-    connection : Composes connect parent ::> pumpModes to child ::> infusing;
-    connection : Composes connect parent ::> pumpModes to child ::> paused;
-    connection : Composes connect parent ::> pumpModes to child ::> alarm;
-    connection : Composes connect parent ::> infusing to child ::> priming;
-    connection : Composes connect parent ::> infusing to child ::> delivering;
-    connection : Composes connect parent ::> infusing to child ::> holding;
-
-    view sampleStateTransitionView : MemoDiagramView {
-        expose pumpModes::**;
-        attribute depth = 2;
-        attribute :>> title = "Sample · State Transition";
-        attribute :>> 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";
-        part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("StateMachine", "ModeState", "Transition");
-        }
-    }
-
-    connection : IncludedIn connect sourceElement ::> pumpModes to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> idle to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> infusing to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> paused to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> alarm to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tStart to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tPause to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tResume to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tFault to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tRecover to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tStop to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> priming to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> delivering to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> holding to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tPrimed to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tKvo to targetView ::> sampleStateTransitionView;
-    connection : IncludedIn connect sourceElement ::> tResumeDose to targetView ::> sampleStateTransitionView;
-}

package/examples/sysml-diagram-samples/model/samples/tree_view.sysml

@@ -1,56 +0,0 @@
-package memo_examples_sysml_diagram_samples_model_samples_tree_view {
-    private import ScalarValues::*;
-    private import memo_architecture_implementation_hardware_structure::*;
-
-    private import memo_architecture_realization_physical::*;
-    private import memo_core_relationships::*;
-    private import memo_viewpoints_definitions::*;
-    private import memo_core_enumerations::*;
-
-    part rootA : HardwareAssembly { attribute :>> name = "Root A"; }
-    part rootB : HardwareAssembly { attribute :>> name = "Root B"; }
-    part branchA1 : HardwareAssembly { attribute :>> name = "Branch A.1"; }
-    part branchA2 : HardwareAssembly { attribute :>> name = "Branch A.2 With A Deliberately Long Label"; }
-    part branchB1 : HardwareAssembly { attribute :>> name = "Branch B.1"; }
-    part leafA11 : HardwareAssembly {
-        attribute :>> name = "Leaf A.1.1";
-        attribute :>> partNumber = "PN-001";
-    }
-    part leafA12 : HardwareAssembly { attribute :>> name = "Leaf A.1.2"; }
-    part leafA21 : HardwareAssembly { attribute :>> name = "Leaf A.2.1"; }
-    part leafB11 : HardwareAssembly { attribute :>> name = "Leaf B.1.1"; }
-
-    connection : Composes connect parent ::> rootA to child ::> branchA1;
-    connection : Composes connect parent ::> rootA to child ::> branchA2;
-    connection : Composes connect parent ::> rootA to child ::> rootB;
-    connection : Composes connect parent ::> branchA1 to child ::> leafA11;
-    connection : Composes connect parent ::> branchA1 to child ::> leafA12;
-    connection : Composes connect parent ::> branchA2 to child ::> leafA21;
-    connection : Composes connect parent ::> rootB to child ::> branchB1;
-    connection : Composes connect parent ::> branchB1 to child ::> leafB11;
-
-    view sampleTreeView : MemoDiagramView {
-        expose rootA::**;
-        expose rootB::**;
-        attribute depth = 2;
-        attribute :>> title = "Sample · Tree";
-        attribute :>> shortDescription = "One connected dummy hierarchy with varied branch depths for tree layout development.";
-        attribute :>> viewKind = DiagramViewKind::general;
-        attribute :>> diagramType = "bdd";
-        attribute :>> layoutHint = "tree";
-        attribute :>> styleHint = "expanded:rootA,rootB,branchA1,branchB1";
-        part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("Composes");
-        }
-    }
-
-    connection : IncludedIn connect sourceElement ::> rootA to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> rootB to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> branchA1 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> branchA2 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> branchB1 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> leafA11 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> leafA12 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> leafA21 to targetView ::> sampleTreeView;
-    connection : IncludedIn connect sourceElement ::> leafB11 to targetView ::> sampleTreeView;
-}

package/examples/temperature-alarm/model/temperature_alarm.sysml

@@ -1,4 +0,0 @@
-// Public entry point for this example. Keep model content in catalog/ and views in viewpoints/.
-package memo_examples_temperature_alarm_parent {
-    public import memo_examples_temperature_alarm::*;
-}

package/ontology/memo.rendering.yaml

@@ -1,84 +0,0 @@
-# @memoarchitect/ontology rendering configuration
-# Architecture layer colors — v12 Visual Map palette
-
-layers:
-  - id: operational
-    label: Operational
-    color: "#C0392B"
-
-  - id: behavioral
-    label: Behavioral
-    color: "#E74C3C"
-
-  - id: functional
-    label: Functional
-    color: "#E67E22"
-
-  - id: logical
-    label: Logical
-    color: "#7B68EE"
-
-  - id: software
-    label: Software
-    color: "#F39C12"
-
-  - id: software-extension
-    label: Software Extension (ROS)
-    color: "#D4AC0D"
-
-  - id: hardware
-    label: Hardware
-    color: "#95A5A6"
-
-  - id: safety
-    label: Safety
-    color: "#E74C3C"
-
-  - id: security
-    label: Security
-    color: "#2C3E50"
-
-  - id: privacy
-    label: Privacy
-    color: "#8E44AD"
-
-  - id: verification
-    label: Verification
-    color: "#2ECC71"
-
-# Model Explorer taxonomy. This is ontology metadata: Architect receives these
-# values from memo-tools and does not infer MEMO's V-model from source paths.
-explorer:
-  classifications:
-    - { source: activities, domain: architecture, group: operational }
-    - { source: context, domain: architecture, group: operational }
-    # Context has concrete namespaces such as actors and use_context; retain
-    # them when the Explorer receives ontology-derived kinds directly.
-    - { source: actors, domain: architecture, group: operational }
-    - { source: use_context, domain: architecture, group: operational }
-    - { source: workflows, domain: architecture, group: operational }
-    - { source: scenarios, domain: architecture, group: operational }
-    - { source: use_cases, domain: architecture, group: operational }
-    - { source: interaction, domain: architecture, group: operational }
-    - { source: operational, domain: architecture, group: operational }
-    - { source: functions, domain: architecture, group: functional }
-    - { source: behavior, domain: architecture, group: functional }
-    - { source: constraints, domain: architecture, group: functional }
-    - { source: logical_structure, domain: architecture, group: logical }
-    - { source: interfaces, domain: architecture, group: logical }
-    - { source: hardware_structure, domain: architecture, group: implementation }
-    # HardwareAssembly is declared in architecture/implementation/hardware.
-    - { source: implementation, domain: architecture, group: implementation }
-    - { source: software_structure, domain: architecture, group: implementation }
-    - { source: software_runtime, domain: architecture, group: implementation }
-    - { source: physical, domain: architecture, group: realization }
-    - { source: deployment, domain: architecture, group: realization }
-    - { source: needs, domain: assurance, group: requirements }
-    - { source: requirements, domain: assurance, group: requirements }
-    - { source: safety, domain: assurance, group: safety-risk }
-    - { source: safety_analysis, domain: assurance, group: safety-risk }
-    - { source: cybersecurity, domain: assurance, group: cybersecurity }
-    - { source: human_factors, domain: assurance, group: human-factors }
-    - { source: verification, domain: assurance, group: verification-validation }
-    - { source: core, domain: assurance, group: evidence }
-    - { source: methodology, domain: methodology, group: methodology }