@memoarchitect/ontology 0.4.5 → 0.6.0

package/examples/surgical-closure-workflow/model/catalog/surgical_closure_workflow.sysml

@@ -0,0 +1,151 @@
+// Illustrative operational model of laparoscopic sleeve gastrectomy. This is
+// a modelling example, not a clinical protocol. It shows a complete procedure
+// as context → use case → workflow → scenarios → scenario-owned activities.
+package memo_examples_surgical_closure_workflow {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_operational_context_use_context::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_architecture_operational_use_cases::*;
+    private import memo_extension_clinical::*;
+    private import memo_architecture_operational_activities::*;
+    private import memo_architecture_operational_workflows::*;
+    private import memo_architecture_operational_scenarios::*;
+
+    // ── Clinical setting and goal ───────────────────────────────
+    part bariatricSurgeon : User {
+        attribute :>> actorKind = ActorKind::clinician;
+        attribute :>> id = "LSG-USR-001"; attribute :>> name = "BariatricSurgeon";
+        attribute :>> clinicalRole = "primary operating surgeon";
+    }
+    part scrubNurse : User {
+        attribute :>> actorKind = ActorKind::clinician;
+        attribute :>> id = "LSG-USR-002"; attribute :>> name = "ScrubNurse";
+        attribute :>> clinicalRole = "sterile instrumentation and count";
+    }
+    part anesthetist : User {
+        attribute :>> actorKind = ActorKind::clinician;
+        attribute :>> id = "LSG-USR-003"; attribute :>> name = "Anesthetist";
+        attribute :>> clinicalRole = "anaesthesia and physiologic monitoring";
+    }
+    part bariatricOr : UseContext {
+        attribute :>> id = "LSG-CTX-001"; attribute :>> name = "BariatricOperatingRoom";
+        attribute :>> careSetting = "hospital operating room";
+        attribute :>> environment = "sterile laparoscopic operating field";
+        attribute :>> connectedUse = false;
+    }
+    requirement needControlledGastricResection : Need {
+        attribute :>> needKind = NeedKind::clinicalUser;
+        attribute :>> needId = "LSG-N-001";
+        attribute :>> statement = "The surgical team needs to perform gastric resection with controlled anatomy, haemostasis, and a checked staple line.";
+    }
+    use case ucPerformSleeveGastrectomy : UseCase {
+        attribute :>> useCaseKind = UseCaseKind::clinical;
+        attribute :>> id = "LSG-UC-001";
+        attribute :>> name = "PerformLaparoscopicSleeveGastrectomy";
+        attribute :>> goalStatement = "Complete the planned laparoscopic sleeve gastrectomy and transfer the patient with the staple line assessed.";
+        attribute :>> trigger = "patient prepared and surgical time-out complete";
+        attribute :>> successOutcome = "gastric sleeve created, haemostasis and integrity assessed, patient handed over";
+        attribute :>> failureOutcome = "uncontrolled bleeding, suspected staple-line issue, or conversion/escalation";
+        ref :>> primaryUser = bariatricSurgeon;
+        ref :>> supportingActors = (scrubNurse, anesthetist);
+        ref :>> useContext = bariatricOr;
+    }
+    connection : Motivates connect motivatingNeed ::> needControlledGastricResection to motivatedUseCase ::> ucPerformSleeveGastrectomy;
+    connection : Initiates connect initiatingUser ::> bariatricSurgeon to initiatedUseCase ::> ucPerformSleeveGastrectomy;
+
+    // ── Procedure workflow ──────────────────────────────────────
+    action actTimeOutAndPosition : OperationalActivity { attribute :>> id = "LSG-ACT-001"; attribute :>> name = "ConfirmTimeOutAndPosition"; }
+    action actEstablishAccess : OperationalActivity { attribute :>> id = "LSG-ACT-002"; attribute :>> name = "EstablishLaparoscopicAccess"; }
+    action actMobilizeStomach : OperationalActivity { attribute :>> id = "LSG-ACT-003"; attribute :>> name = "MobilizeStomach"; }
+    action actSizeAndCreateSleeve : OperationalActivity { attribute :>> id = "LSG-ACT-004"; attribute :>> name = "SizeAndCreateSleeve"; attribute :>> criticality = CriticalityKind::high; }
+    action actAssessStapleLine : OperationalActivity { attribute :>> id = "LSG-ACT-005"; attribute :>> name = "AssessStapleLine"; attribute :>> criticality = CriticalityKind::high; }
+    action actExtractSpecimenAndClose : OperationalActivity { attribute :>> id = "LSG-ACT-006"; attribute :>> name = "ExtractSpecimenAndClosePorts"; }
+    action actHandover : OperationalActivity { attribute :>> id = "LSG-ACT-007"; attribute :>> name = "CompletePostoperativeHandover"; }
+
+    action taskCreateStapleLine : UserTask {
+        attribute :>> criticality = CriticalityKind::high;
+        attribute :>> id = "LSG-TASK-001";
+        attribute :>> name = "CreateAndInspectStapleLine";
+        attribute :>> taskGoal = "create the planned sleeve and identify bleeding or integrity concerns before completion";
+        attribute :>> potentialHarm = "bleeding or staple-line complication not recognized before handover";
+        attribute :>> severityIfFailed = SeverityKind::serious;
+    }
+    action stConfirmAnatomy : TaskStep { attribute :>> id = "LSG-ST-001"; attribute :>> name = "ConfirmAnatomy"; attribute :>> stepOrder = 1; }
+    action stCreateStapleLine : TaskStep { attribute :>> id = "LSG-ST-002"; attribute :>> name = "CreateStapleLine"; attribute :>> stepOrder = 2; }
+    action stInspectBleeding : TaskStep { attribute :>> id = "LSG-ST-003"; attribute :>> name = "InspectForBleeding"; attribute :>> stepOrder = 3; }
+    action stAssessIntegrity : TaskStep { attribute :>> id = "LSG-ST-004"; attribute :>> name = "AssessStapleLineIntegrity"; attribute :>> stepOrder = 4; }
+    connection : Composes connect parent ::> actSizeAndCreateSleeve to child ::> taskCreateStapleLine;
+    connection : Composes connect parent ::> taskCreateStapleLine to child ::> stConfirmAnatomy;
+    connection : Composes connect parent ::> taskCreateStapleLine to child ::> stCreateStapleLine;
+    connection : Composes connect parent ::> taskCreateStapleLine to child ::> stInspectBleeding;
+    connection : Composes connect parent ::> taskCreateStapleLine to child ::> stAssessIntegrity;
+
+    action wfSleeveGastrectomy : ClinicalProcedureWorkflow {
+        attribute :>> id = "LSG-WF-001";
+        attribute :>> name = "LaparoscopicSleeveGastrectomyWorkflow";
+        attribute :>> workflowState = WorkflowStateKind::toBe;
+        attribute :>> entryCondition = "patient prepared; time-out ready";
+        attribute :>> completionCondition = "staple line assessed; postoperative handover complete";
+        attribute :>> clinicalObjective = "create a gastric sleeve after controlled mobilisation and staple-line assessment";
+    }
+    action wsTimeOut : WorkflowStep { attribute :>> stepOrder = 1; ref :>> performedActivity = actTimeOutAndPosition; }
+    action wsAccess : WorkflowStep { attribute :>> stepOrder = 2; ref :>> performedActivity = actEstablishAccess; }
+    action wsMobilize : WorkflowStep { attribute :>> stepOrder = 3; ref :>> performedActivity = actMobilizeStomach; }
+    action wsSleeve : WorkflowStep { attribute :>> stepOrder = 4; ref :>> performedActivity = actSizeAndCreateSleeve; }
+    action wsAssess : WorkflowStep { attribute :>> stepOrder = 5; ref :>> performedActivity = actAssessStapleLine; }
+    action wsClose : WorkflowStep { attribute :>> stepOrder = 6; ref :>> performedActivity = actExtractSpecimenAndClose; }
+    action wsHandover : WorkflowStep { attribute :>> stepOrder = 7; ref :>> performedActivity = actHandover; }
+    connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsTimeOut;
+    connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsAccess;
+    connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsMobilize;
+    connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsSleeve;
+    connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsAssess;
+    connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsClose;
+    connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsHandover;
+    connection : StepPrecedes connect predecessor ::> wsTimeOut to successor ::> wsAccess;
+    connection : StepPrecedes connect predecessor ::> wsAccess to successor ::> wsMobilize;
+    connection : StepPrecedes connect predecessor ::> wsMobilize to successor ::> wsSleeve;
+    connection : StepPrecedes connect predecessor ::> wsSleeve to successor ::> wsAssess;
+    connection : StepPrecedes connect predecessor ::> wsAssess to successor ::> wsClose;
+    connection : StepPrecedes connect predecessor ::> wsClose to successor ::> wsHandover;
+    connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfSleeveGastrectomy to supported ::> ucPerformSleeveGastrectomy; }
+
+    // ── Scenario paths, each with its own activity/action flow ──
+    action oaCompleteSleeveProcedure : OperationalActivity {
+        attribute :>> name = "CompleteNominalSleeveProcedure";
+        action prepare; action createSleeve; action assess; action handover;
+        first start then prepare; first prepare then createSleeve; first createSleeve then assess; first assess then handover; first handover then done;
+    }
+    action oaControlStapleLineBleeding : OperationalActivity {
+        attribute :>> name = "ControlStapleLineBleeding";
+        action recognizeBleeding; action controlBleeding; action reassessStapleLine; action escalateIfNeeded;
+        first start then recognizeBleeding; first recognizeBleeding then controlBleeding; first controlBleeding then reassessStapleLine; first reassessStapleLine then escalateIfNeeded; first escalateIfNeeded then done;
+    }
+    part scNominalSleeveProcedure : OperationalScenario {
+        attribute :>> id = "LSG-SC-001"; attribute :>> name = "NominalSleeveGastrectomy";
+        attribute :>> variantKind = ScenarioVariantKind::nominal;
+        attribute :>> operationalCondition = OperationalConditionKind::normal;
+        attribute :>> pathSummary = "Time-out, access, mobilisation, sleeve creation, staple-line assessment, closure, and handover complete without rework.";
+        ref :>> parentWorkflow = wfSleeveGastrectomy;
+        ref :>> parentUseCase = ucPerformSleeveGastrectomy;
+        ref :>> activities = oaCompleteSleeveProcedure;
+    }
+    part scStapleLineBleeding : OperationalScenario {
+        attribute :>> id = "LSG-SC-002"; attribute :>> name = "StapleLineBleedingRecovery";
+        attribute :>> variantKind = ScenarioVariantKind::recovery;
+        attribute :>> operationalCondition = OperationalConditionKind::degraded;
+        attribute :>> variationPoint = "bleeding observed during staple-line assessment";
+        attribute :>> pathSummary = "Recognize bleeding, apply the selected control, reassess the staple line, and escalate if the condition remains unresolved.";
+        ref :>> baseScenario = scNominalSleeveProcedure;
+        ref :>> parentWorkflow = wfSleeveGastrectomy;
+        ref :>> parentUseCase = ucPerformSleeveGastrectomy;
+        ref :>> activities = oaControlStapleLineBleeding;
+    }
+    connection : Realizes connect realizing ::> scNominalSleeveProcedure to realized ::> ucPerformSleeveGastrectomy;
+    connection : Realizes connect realizing ::> scStapleLineBleeding to realized ::> ucPerformSleeveGastrectomy;
+    connection : Composes connect parent ::> scNominalSleeveProcedure to child ::> oaCompleteSleeveProcedure;
+    connection : Composes connect parent ::> scStapleLineBleeding to child ::> oaControlStapleLineBleeding;
+}

package/examples/surgical-closure-workflow/model/surgical_closure_workflow.sysml

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

package/examples/surgical-closure-workflow/model/viewpoints/surgical_closure_workflow_overview.sysml

@@ -0,0 +1,13 @@
+package memo_examples_surgical_closure_workflow_viewpoints {
+    private import memo_examples_surgical_closure_workflow::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view surgicalClosureWorkflowOverview : MemoDiagramView {
+        expose memo_examples_surgical_closure_workflow::*;
+        attribute depth = 2;
+        attribute :>> title = "Laparoscopic Sleeve Gastrectomy Workflow";
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "ofd";
+    }
+}

package/examples/surgical-robot/README.md

@@ -0,0 +1,7 @@
+# Surgical robot
+
+A focused MEMO example for a surgical robot.
+
+- `model/surgical_robot.sysml` is the public parent package.
+- `model/catalog/` holds the canonical model elements.
+- `model/viewpoints/` holds diagram views of that catalog.

package/examples/surgical-robot/model/catalog/surgical_robot.sysml

@@ -0,0 +1,58 @@
+// Focused example: robotic cyber-physical system. Multivalued technology
+// domains; redundant + monitor channels with declared independence; an
+// interlock; a mechanical-force flow; and a haptic UI element.
+package memo_examples_surgical_robot {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_relationships::*;
+    private import memo_architecture_logical_structure::*;
+    private import memo_architecture_implementation_hardware_structure::*;
+    private import memo_architecture_implementation_ui::*;
+
+    // Control channels: primary + diverse monitor, with declared independence.
+    part chMotionPrimary : LogicalComponent {
+        attribute :>> id = "SR-LC-001"; attribute :>> name = "MotionControlChannel";
+        attribute :>> channelRole = ChannelRoleKind::primary;
+    }
+    part chMotionMonitor : LogicalComponent {
+        attribute :>> id = "SR-LC-002"; attribute :>> name = "MotionMonitorChannel";
+        attribute :>> channelRole = ChannelRoleKind::monitor;
+        attribute :>> diversityBasis = "independent encoder set and diverse processor family";
+    }
+    connection : IndependentOf connect channel ::> chMotionMonitor to otherChannel ::> chMotionPrimary {
+        attribute :>> independenceBasis = "separate sensing, power, and processing; common-cause analysis SR-CCA-01";
+    }
+    connection : MonitorsChannel connect monitorChannel ::> chMotionMonitor to monitoredComponent ::> chMotionPrimary;
+
+    // Interlock: instrument exchange blocked while arm is in motion.
+    part chExchangeInterlock : LogicalComponent {
+        attribute :>> id = "SR-LC-003"; attribute :>> name = "InstrumentExchangeInterlock";
+        attribute :>> channelRole = ChannelRoleKind::interlock;
+    }
+
+    // Mechanical-force flow from actuator to instrument tip.
+    part exTipForce : LogicalExchange {
+        attribute :>> id = "SR-EX-001"; attribute :>> name = "TipForceTransmission";
+        attribute :>> contentKind = FlowContentKind::mechanicalForce;
+        attribute :>> direction = DirectionKind::output;
+    }
+    part actJointDrive : Actuator {
+        attribute :>> id = "SR-HW-001"; attribute :>> name = "JointDriveActuator";
+        attribute :>> actuationKind = "brushless DC servo with harmonic drive";
+    }
+    part instrShaft : MechanicalPart {
+        attribute :>> id = "SR-HW-002"; attribute :>> name = "InstrumentShaft";
+        attribute :>> mechanicalFunction = "transmits actuation to end effector";
+        attribute :>> patientContact = true;
+        attribute :>> contactNature = "internal tissue, direct";
+        attribute :>> contactDuration = "limited (<24 h)";
+    }
+
+    // Surgeon console: haptic feedback element.
+    part elHapticGrip : UIElement {
+        attribute :>> id = "SR-UI-001"; attribute :>> name = "HapticMasterGrip";
+        attribute :>> formKind = UIElementFormKind::hapticIndicator;
+        attribute :>> guardedAgainstInadvertentActuation = true;
+    }
+}

package/examples/surgical-robot/model/surgical_robot.sysml

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

package/examples/surgical-robot/model/viewpoints/surgical_robot_overview.sysml

@@ -0,0 +1,13 @@
+package memo_examples_surgical_robot_viewpoints {
+    private import memo_examples_surgical_robot::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view surgicalRobotOverview : MemoDiagramView {
+        expose memo_examples_surgical_robot::*;
+        attribute depth = 2;
+        attribute :>> title = "Surgical Robot Overview";
+        attribute :>> viewKind = DiagramViewKind::interconnection;
+        attribute :>> diagramType = "ibd";
+    }
+}

package/examples/sysml-diagram-samples/README.md

@@ -0,0 +1,32 @@
+# Standard SysML v2 diagram samples
+
+An openable MEMO Architect project whose only purpose is to render **one small,
+self-contained diagram per standard SysML v2 view kind**. Together the views do
+not describe a product or reference architecture — each exists only to exercise
+one renderer.
+
+Open it read-only in the Architect UI:
+
+```sh
+memo-architect --example standard-sysml-diagrams
+```
+
+Each view is a `MemoDiagramView` declared in `model/samples/`, exposing its own
+dummy elements. The Architect explorer groups each authored view by the layer
+of its model content.
+
+| View | Diagram type | View kind | Renders |
+| --- | --- | --- | --- |
+| `tree_view.sysml` | `bdd` | general | Block Definition Diagram — a decomposition hierarchy. |
+| `interconnection_view.sysml` | `ibd` | interconnection | Internal Block Diagram — nested parts, boundary ports, typed connectors. |
+| `action_flow_view.sysml` | `afd` | actionflow | Activity / action flow — actions, item flows, successions. |
+| `functional_flow_view.sysml` | `ffd` | actionflow | Functional flow — swimlanes per realising component, typed data/energy flows. |
+| `operational_behaviour_view.sysml` | `ofd` | actionflow | Operational flow — clinical-role swimlanes, concurrent preparation, and a composite therapy step. |
+| `context_view.sysml` | `context` | general | Operational system context — a black-box system of interest inside an explicit boundary, with actors, peer systems, environment, and typed interactions outside it. |
+| `requirements_view.sysml` | `req` | general | Requirements — stakeholder needs deriving into system requirements. |
+| `use_case_view.sysml` | `ucd` | general | Use case — relationship-driven actors, include/extend links, and model-owned `usecase:level` / `edge` presentation hints. |
+| `state_transition_view.sysml` | `stm` | statetransition | State machine — pump operating modes and their triggered transitions. |
+
+SysML v2 standardizes the model semantics; a diagram is a presentation of those
+semantics. The Architect renderer selects the template from each view's
+`viewKind`, so the same model can be re-presented in any compatible kind.

package/examples/sysml-diagram-samples/memo.package.yaml

@@ -0,0 +1,5 @@
+name: "sysml-diagram-samples"
+version: "0.1.0"
+type: device
+extends: "@memoarchitect/medical-modeling-profile"
+description: "MEMO Architect diagram rendering samples — one openable view per standard SysML v2 diagram type. Open with: memo-architect --example standard-sysml-diagrams"

package/examples/{gpca-pump → sysml-diagram-samples}/model/samples/action_flow_view.sysml

@@ -1,14 +1,21 @@
-package memo_examples_gpca_pump_model_samples_action_flow_view {
+package memo_examples_sysml_diagram_samples_model_samples_action_flow_view {
     private import ScalarValues::*;
     private import memo_core_relationships::*;
 
     private import memo_architecture_logical_structure::*;
+    private import memo_architecture_logical_interfaces::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
 
-    item def DataPacket;
-    item def EnergyToken;
-    item def MaterialBatch;
+    item def DataPacket specializes InterfaceItem {
+        attribute :>> itemKind = InterfaceItemKind::data;
+    }
+    item def EnergyToken specializes InterfaceItem {
+        attribute :>> itemKind = InterfaceItemKind::energy;
+    }
+    item def MaterialBatch specializes InterfaceItem {
+        attribute :>> itemKind = InterfaceItemKind::material;
+    }
 
     action def ReceiveInput { out received : DataPacket; }
     action def ValidateInput { in received : DataPacket; out validated : EnergyToken; }
@@ -51,6 +58,17 @@ package memo_examples_gpca_pump_model_samples_action_flow_view {
     allocate sampleActionFlow.process.processStepC to laneB;
     allocate sampleActionFlow.record to laneB;
 
+    // MemoLink sample — the universal relation, exercised where nothing else
+    // reaches. laneB is a `part` (LogicalComponent :> ArchitectureElement) and
+    // ProcessInput is an `action def` (:> MemoAction). Those foundations share
+    // no supertype, so every typed relation in the ontology is unavailable
+    // here: legalRelationshipTypes returns MemoLink and nothing else.
+    connection linkLaneBProcessesInput : MemoLink
+        connect linkSource ::> laneB to linkTarget ::> ProcessInput {
+        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.";
+    }
+
     view sampleActionFlowView : MemoDiagramView {
         expose sampleActionFlow::**;
         expose laneA;

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

@@ -0,0 +1,55 @@
+// System context sample (general view kind, `context` diagram type). The system
+// under consideration is one block; every other element is an external actor,
+// neighbouring system, or use context it interacts with across its boundary.
+package memo_examples_sysml_diagram_samples_model_samples_context_view {
+    private import ScalarValues::*;
+
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_operational_context_use_context::*;
+    private import memo_architecture_operational_structure::*;
+    private import memo_core_relationships::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    // The operational system of interest is intentionally represented as one
+    // black box. Context diagrams show its environment and interfaces, not its
+    // internal decomposition.
+    part infusionSystem : OperationalEntity {
+        attribute :>> name = "Infusion Pump System";
+        attribute :>> entityKind = OperationalEntityKind::device;
+        attribute :>> contextRole = "systemOfInterest";
+    }
+    part clinician : User { attribute :>> name = "Clinician"; }
+    part patient : User { attribute :>> name = "Patient"; }
+    part biomedTech : User { attribute :>> name = "Biomedical Technician"; }
+    part pharmacySystem : OperationalEntity {
+        attribute :>> name = "Pharmacy Information System";
+        attribute :>> entityKind = OperationalEntityKind::externalSystem;
+    }
+    part homeContext : UseContext { attribute :>> name = "Home Care Environment"; }
+
+    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;
+    connection : AppliesInContext connect useContext ::> homeContext to subjectElement ::> infusionSystem;
+
+    view sampleContextView : MemoDiagramView {
+        expose infusionSystem::**;
+        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.";
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "context";
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("InteractsWith", "ExchangesWith", "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/{gpca-pump → sysml-diagram-samples}/model/samples/functional_flow_view.sysml

@@ -1,7 +1,8 @@
-package memo_examples_gpca_pump_model_samples_functional_flow_view {
+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::*;
@@ -19,11 +20,21 @@ package memo_examples_gpca_pump_model_samples_functional_flow_view {
     // ─────────────────────────────────────────────────────────────────────────
 
     // Typed flow payloads
-    item def FxSensorReading;
-    item def FxRateCommand;
-    item def FxMotorEnergy;
-    item def FxMedicationFluid;
-    item def FxOcclusionSignal;
+    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; }

package/examples/{gpca-pump → sysml-diagram-samples}/model/samples/interconnection_view.sysml

@@ -1,8 +1,9 @@
-package memo_examples_gpca_pump_model_samples_interconnection_view {
+package memo_examples_sysml_diagram_samples_model_samples_interconnection_view {
     private import ScalarValues::*;
-    private import memo_architecture_context::*;
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_operational_context_use_context::*;
 
-    private import memo_architecture_interfaces::*;
+    private import memo_architecture_logical_interfaces::*;
     private import memo_architecture_logical_structure::*;
     private import memo_core_relationships::*;
     private import memo_viewpoints_definitions::*;

package/examples/{gpca-pump → sysml-diagram-samples}/model/samples/operational_behaviour_view.sysml

@@ -1,45 +1,45 @@
-package memo_examples_gpca_pump_model_samples_operational_behaviour_view {
+package memo_examples_sysml_diagram_samples_model_samples_operational_behaviour_view {
     private import ScalarValues::*;
-    private import memo_architecture_system::*;
-
-    private import memo_architecture_context::*;
+    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::*;
 
-    // ─────────────────────────────────────────────────────────────────────────
-    // Sample · Operational behaviour — clinical PCA setup & therapy
-    //
-    // Demonstrates an Action Flow (activity) diagram of *operational* behaviour:
-    // who does what across clinical roles. Swimlanes group steps by the actor
-    // that performs them (allocate <action> to <role>); a fork/join captures
-    // preparation work that happens concurrently; and `opAdminister` is a
-    // composite action — double-click it to drill into its sub-flow, then use
-    // "← Parent" to return.
-    // ─────────────────────────────────────────────────────────────────────────
-
-    // Items exchanged between steps (typed flow payloads)
-    item def OpPrescription;
-    item def OpBolusRequest;
-    part def CareSystem;
+    // 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 definitions give steps typed in/out pins
     action def OpPrescribeTherapy { out prescription : OpPrescription; }
     action def OpVerifyPrescription { in prescription : OpPrescription; }
     action def OpRequestBolus { out bolusRequest : OpBolusRequest; }
     action def OpCheckLockout { in bolusRequest : OpBolusRequest; }
 
-    // Responsibility hierarchy used by the Level control:
-    // L1 care system → L2 responsibility groups → L3 performing actors.
-    part opCareSystem : CareSystem { attribute name = "PCA Care System"; }
-    part opClinicalTeam : Actor { attribute :>> name = "Clinical Team"; }
-    part opPatientGroup : Actor { attribute :>> name = "Patient Interaction"; }
-
-    // L3 clinical roles — one natural-level swimlane each
-    part opRolePhysician : Actor { attribute :>> name = "Physician"; }
-    part opRoleNurse : Actor { attribute :>> name = "Nurse"; }
-    part opRoleBiomed : Actor { attribute :>> name = "Biomed Tech"; }
-    part opRolePatient : Actor { attribute :>> name = "Patient"; }
+    // 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;
@@ -51,36 +51,27 @@ package memo_examples_gpca_pump_model_samples_operational_behaviour_view {
     action opSetupFlow {
         action opPrescribe : OpPrescribeTherapy { attribute name = "Prescribe Therapy"; }
         action opVerify : OpVerifyPrescription { attribute name = "Verify Prescription"; }
-
-        // Concurrent preparation: prime the pump while the device self-tests
         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"; }
-
-        // Composite step — its own sub-flow (drill-in)
         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;
@@ -95,7 +86,6 @@ package memo_examples_gpca_pump_model_samples_operational_behaviour_view {
         first opAdminister then done;
     }
 
-    // Swimlane allocation — who performs each step
     allocate opSetupFlow.opPrescribe to opRolePhysician;
     allocate opSetupFlow.opVerify to opRoleNurse;
     allocate opSetupFlow.opPrime to opRoleNurse;
@@ -116,7 +106,7 @@ package memo_examples_gpca_pump_model_samples_operational_behaviour_view {
         expose opPatientGroup::**;
         attribute depth = 2;
         attribute :>> title = "Sample · Clinical PCA Setup (Operational)";
-        attribute :>> shortDescription = "Operational activity across clinical roles: swimlanes per actor, a fork/join for concurrent prep, and a composite 'Administer PCA Therapy' sub-flow (double-click to drill in).";
+        attribute :>> shortDescription = "Operational activity across clinical roles with concurrent preparation and a composite therapy step.";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "ofd";
     }