@memoarchitect/ontology 0.4.6 → 0.6.1

package/examples/gpca-pump/model/views/functional_function_allocation_view.sysml

@@ -31,7 +31,7 @@ package memo_examples_gpca_pump_model_views_functional_function_allocation_view
         part :>> selectionQuery {
             attribute :>> id = "QRY-FUN-102";
             attribute :>> name = "GPCA_FunctionAllocationQuery";
-            attribute :>> includeElementKinds = ("LogicalFunction", "SoftwareComponent", "HardwareAssembly");
+            attribute :>> includeElementKinds = ("SystemFunction", "SoftwareModule", "HardwareAssembly");
             attribute :>> includeRelationshipKinds = ("AllocatedTo");
             attribute :>> includeLayers = ("functions", "software_structure", "hardware_structure");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/views/functional_function_browser_view.sysml

@@ -31,7 +31,7 @@ package memo_examples_gpca_pump_model_views_functional_function_browser_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-FUN-103";
             attribute :>> name = "GPCA_FunctionBrowserQuery";
-            attribute :>> includeElementKinds = ("LogicalFunction", "LogicalFlow", "DataDefinition", "ControlDefinition");
+            attribute :>> includeElementKinds = ("SystemFunction", "FunctionalExchange", "InterfaceItem");
             attribute :>> includeLayers = ("functions");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the function browser from the functions layer.";

package/examples/gpca-pump/model/views/logical_device_interconnect_view.sysml

@@ -32,7 +32,7 @@ package memo_examples_gpca_pump_model_views_logical_device_interconnect_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-LOG-003";
             attribute :>> name = "GPCA_DeviceInterconnectQuery";
-            attribute :>> includeElementKinds = ("HardwareAssembly", "SoftwareSystem", "SoftwareComponent", "SoftwarePort");
+            attribute :>> includeElementKinds = ("HardwareAssembly", "SoftwareSystem", "SoftwareModule", "SoftwarePort");
             attribute :>> includeRelationshipKinds = ("ExchangesWith", "Composes");
             attribute :>> includeLayers = ("logical_structure", "software_structure", "interfaces");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/views/logical_mode_state_view.sysml

@@ -32,7 +32,7 @@ package memo_examples_gpca_pump_model_views_logical_mode_state_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-BHV-101";
             attribute :>> name = "GPCA_ModeStateQuery";
-            attribute :>> includeElementKinds = ("BehaviorMachine", "ModeState", "Transition", "BehaviorProperty", "TimingConstraint");
+            attribute :>> includeElementKinds = ("StateMachine", "ModeState", "Transition", "BehaviorProperty", "TimingConstraint");
             attribute :>> includeLayers = ("behavior");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the mode state view from the behavior layer.";

package/examples/gpca-pump/model/views/logical_system_decomposition_view.sysml

@@ -33,7 +33,7 @@ package memo_examples_gpca_pump_model_views_logical_system_decomposition_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-LOG-002";
             attribute :>> name = "GPCA_SystemDecompositionQuery";
-            attribute :>> includeElementKinds = ("HardwareAssembly", "SoftwareSystem", "SoftwareComponent");
+            attribute :>> includeElementKinds = ("HardwareAssembly", "SoftwareSystem", "SoftwareModule");
             attribute :>> includeRelationshipKinds = ("Composes");
             attribute :>> includeLayers = ("logical_structure", "software_structure");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/views/operational_scenario_sequence_view.sysml

@@ -31,7 +31,7 @@ package memo_examples_gpca_pump_model_views_operational_scenario_sequence_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-BHV-102";
             attribute :>> name = "GPCA_ScenarioSequenceQuery";
-            attribute :>> includeElementKinds = ("SystemScenario", "OperationalScenario", "FunctionalChain", "FunctionalChainStep");
+            attribute :>> includeElementKinds = ("FunctionalScenario", "OperativeScenario", "FunctionalFlow", "FunctionalFlowStep");
             attribute :>> includeLayers = ("operational", "system");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate scenario sequences from the system layer.";

package/examples/gpca-pump/model/views/operational_use_case_view.sysml

@@ -19,21 +19,21 @@ package memo_examples_gpca_pump_model_views_operational_use_case_view {
         attribute :>> id = "VIEW-OPS-101";
         attribute :>> name = "GPCA_UseCaseView";
         attribute :>> title = "GPCA Use Case View";
-        attribute :>> shortDescription = "Actors connected to the therapy lifecycle activities and scenarios.";
-        attribute :>> longDescription = "Connects patient, nurse, prescriber, pharmacist, and technician to the operational activities (prescribe, load, program, start, bolus, alarm response, log review, maintain) and their scenarios.";
+        attribute :>> shortDescription = "Actors connected to the patient-controlled analgesia use case.";
+        attribute :>> longDescription = "Connects the nurse, patient, prescriber, and pharmacist to the patient-controlled analgesia use case.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::custom);
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "ucd";
-        attribute :>> dataSourceDescription = "GPCA operational activities, scenarios, and context actors";
+        attribute :>> dataSourceDescription = "GPCA use case and participating context actors";
         attribute :>> autoPopulate = true;
-        attribute :>> queryDescription = "Include actors, operational activities, scenarios, and capabilities.";
+        attribute :>> queryDescription = "Include actors, use cases, and their participation relationships.";
         attribute :>> documentUsage = ("Usability Engineering File", "Architecture Description");
         part :>> selectionQuery {
             attribute :>> id = "QRY-OPS-101";
             attribute :>> name = "GPCA_UseCaseQuery";
-            attribute :>> includeElementKinds = ("Actor", "OperationalActivity", "OperationalScenario", "OperationalCapability");
-            attribute :>> includeRelationshipKinds = ("InteractsWith", "SequencesStep", "ContributesToCapability");
+            attribute :>> includeElementKinds = ("Actor", "User", "UseCase");
+            attribute :>> includeRelationshipKinds = ("Initiates", "ParticipatesIn");
             attribute :>> includeLayers = ("context", "operational");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the GPCA use case view from the operational layer.";

package/examples/gpca-pump/model/views/physical_physical_bom_view.sysml

@@ -31,7 +31,7 @@ package memo_examples_gpca_pump_model_views_physical_physical_bom_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-PHY-101";
             attribute :>> name = "GPCA_PhysicalBomQuery";
-            attribute :>> includeElementKinds = ("HardwareAssembly", "ProcessingNode", "PhysicalPort", "HardwareInterface");
+            attribute :>> includeElementKinds = ("HardwareAssembly", "ProcessingNode", "PhysicalPort", "Interface");
             attribute :>> includeLayers = ("hardware_structure", "physical", "interfaces");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the physical BOM from the hardware and physical layers.";

package/examples/gpca-pump/model/views/requirements_requirements_trace_view.sysml

@@ -31,7 +31,7 @@ package memo_examples_gpca_pump_model_views_requirements_requirements_trace_view
         part :>> selectionQuery {
             attribute :>> id = "QRY-REQ-101";
             attribute :>> name = "GPCA_RequirementsTraceQuery";
-            attribute :>> includeElementKinds = ("StakeholderNeed", "SystemRequirement", "SoftwareRequirement", "HardwareRequirement", "VerificationCase");
+            attribute :>> includeElementKinds = ("Need", "Requirement", "VerificationCase");
             attribute :>> includeRelationshipKinds = ("DerivesFrom", "SatisfiedBy", "VerifiedBy");
             attribute :>> includeLayers = ("requirements", "assurance");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/views/risk_risk_chain_view.sysml

@@ -32,8 +32,8 @@ package memo_examples_gpca_pump_model_views_risk_risk_chain_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-RISK-101";
             attribute :>> name = "GPCA_RiskChainQuery";
-            attribute :>> includeElementKinds = ("Hazard", "HazardCause", "SequenceOfEvents", "HazardousSituation", "Harm", "RiskBeforeMitigation", "RiskAfterMitigation", "RiskControl", "OverallResidualRiskEvaluation");
-            attribute :>> includeRelationshipKinds = ("TracesRisk", "MitigatesHazard", "CausedBy", "ContributesToHazard", "MitigatedByControl", "LeadsToHazard");
+            attribute :>> includeElementKinds = ("SafetyRelatedCharacteristic", "Hazard", "HazardCause", "SequenceOfEvents", "HazardousSituation", "Harm", "Risk", "RiskControlMeasure", "ResidualRisk", "Benefit", "OverallResidualRiskEvaluation");
+            attribute :>> includeRelationshipKinds = ("TracesRisk", "Mitigates", "Causes", "Mitigates");
             attribute :>> includeLayers = ("risk", "assurance");
             attribute :>> includeConcerns = (ConcernKind::safety);
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/views/software_software_architecture_view.sysml

@@ -32,7 +32,7 @@ package memo_examples_gpca_pump_model_views_software_software_architecture_view
         part :>> selectionQuery {
             attribute :>> id = "QRY-SW-101";
             attribute :>> name = "GPCA_SoftwareArchitectureQuery";
-            attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareComponent", "SoftwarePort");
+            attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "SoftwarePort");
             attribute :>> includeRelationshipKinds = ("ExchangesWith", "Composes");
             attribute :>> includeLayers = ("software_structure", "interfaces");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/views/verification_verification_coverage_view.sysml

@@ -31,7 +31,7 @@ package memo_examples_gpca_pump_model_views_verification_verification_coverage_v
         part :>> selectionQuery {
             attribute :>> id = "QRY-VER-101";
             attribute :>> name = "GPCA_VerificationCoverageQuery";
-            attribute :>> includeElementKinds = ("Requirement", "RiskControl", "VerificationCase", "ValidationCase", "TestArtifact", "Evidence");
+            attribute :>> includeElementKinds = ("Requirement", "RiskControlMeasure", "VerificationCase", "ValidationCase", "TestArtifact", "Evidence");
             attribute :>> includeRelationshipKinds = ("VerifiedBy", "Validates", "ProducesEvidence");
             attribute :>> includeLayers = ("requirements", "risk", "assurance");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/ivd-laboratory-system/README.md

@@ -0,0 +1,7 @@
+# IVD laboratory system
+
+A focused MEMO example for an IVD laboratory system.
+
+- `model/ivd_laboratory_system.sysml` is the public parent package.
+- `model/catalog/` holds the canonical model elements.
+- `model/viewpoints/` holds diagram views of that catalog.

package/examples/ivd-laboratory-system/model/catalog/ivd_laboratory_system.sysml

@@ -0,0 +1,58 @@
+// Focused example: in-vitro diagnostic laboratory analyzer. Specimen as
+// material flow through fluidic components, a LOINC-coded measurement
+// result, and an operational activity for running a panel.
+package memo_examples_ivd_laboratory_system {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_terminology::*;
+    private import memo_core_relationships::*;
+    private import memo_architecture_operational_activities::*;
+    private import memo_architecture_logical_structure::*;
+    private import memo_architecture_implementation_hardware_structure::*;
+
+    part analyzer : PhysicalAssembly {
+        attribute :>> id = "IVD-DEV-001"; attribute :>> name = "ChemAnalyzer";
+        attribute :>> responsibility = "automate clinical chemistry measurements";
+    }
+
+    // Specimen path: material flow through fluidic hardware.
+    part fluidSampleProbe : FluidicComponent {
+        attribute :>> id = "IVD-HW-001"; attribute :>> name = "SampleProbe";
+        attribute :>> fluidPathRole = "aspirates specimen from primary tube";
+    }
+    part fluidReactionCuvette : FluidicComponent {
+        attribute :>> id = "IVD-HW-002"; attribute :>> name = "ReactionCuvette";
+        attribute :>> fluidPathRole = "holds specimen-reagent reaction mix";
+    }
+    part optPhotometer : OpticalComponent {
+        attribute :>> id = "IVD-HW-003"; attribute :>> name = "PhotometerAssembly";
+        attribute :>> opticalFunction = "absorbance measurement";
+        attribute :>> wavelengthRange = "340-800 nm";
+    }
+    part exSpecimenFlow : LogicalExchange {
+        attribute :>> id = "IVD-EX-001"; attribute :>> name = "SpecimenTransfer";
+        attribute :>> contentKind = FlowContentKind::material;
+        attribute :>> direction = DirectionKind::output;
+    }
+
+    // Result item coded with LOINC.
+    item glucoseResult : LogicalExchangeItem {
+        attribute :>> id = "IVD-IT-001"; attribute :>> name = "GlucoseResult";
+        attribute :>> contentKind = FlowContentKind::measurement;
+        attribute :>> unit = "mg/dL";
+        attribute :>> timestampRequired = true;
+        attribute :>> codes = loincGlucose;
+    }
+    attribute loincGlucose : TerminologyCode {
+        attribute :>> systemUri = "http://loinc.org";
+        attribute :>> code = "2345-7";
+        attribute :>> display = "Glucose [Mass/volume] in Serum or Plasma";
+    }
+
+    // Operating activity for the analyzer.
+    action actRunPanel : OperationalActivity {
+        attribute :>> id = "IVD-ACT-001"; attribute :>> name = "RunChemistryPanel";
+        attribute :>> criticality = CriticalityKind::high;
+    }
+}

package/examples/ivd-laboratory-system/model/ivd_laboratory_system.sysml

@@ -0,0 +1,3 @@
+package memo_examples_ivd_laboratory_system_parent {
+    public import memo_examples_ivd_laboratory_system::*;
+}

package/examples/ivd-laboratory-system/model/viewpoints/ivd_laboratory_system_overview.sysml

@@ -0,0 +1,6 @@
+package memo_examples_ivd_laboratory_system_viewpoints {
+    private import memo_examples_ivd_laboratory_system::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+    view ivdLaboratorySystemOverview : MemoDiagramView { expose memo_examples_ivd_laboratory_system::*; attribute depth = 2; attribute :>> title = "IVD Laboratory System Overview"; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
+}

package/examples/manual-surgical-instrument/README.md

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

package/examples/manual-surgical-instrument/model/catalog/manual_surgical_instrument.sysml

@@ -0,0 +1,41 @@
+// Focused architecture example: a passive manual instrument (needle holder).
+// It demonstrates physical decomposition and patient-contact declarations
+// without adding functional, logical, or software layers.
+package memo_examples_manual_surgical_instrument {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_architecture_operational_activities::*;
+    private import memo_architecture_implementation_hardware_structure::*;
+
+    // ── Modeled product and physical structure ──────────────────
+    part needleHolder : PhysicalAssembly {
+        attribute :>> id = "MSI-DEV-001";
+        attribute :>> name = "NeedleHolder";
+        attribute :>> responsibility = "grasp and drive a suture needle";
+    }
+    part jawAssembly : MechanicalPart {
+        attribute :>> id = "MSI-PART-001";
+        attribute :>> name = "TungstenCarbideJaws";
+        attribute :>> mechanicalFunction = "serrated needle grip";
+        attribute :>> patientContact = true;
+        attribute :>> contactNature = "intact tissue / surgical site, indirect";
+        attribute :>> contactDuration = "limited (<24 h)";
+    }
+    part ratchetLock : MechanicalPart {
+        attribute :>> id = "MSI-PART-002";
+        attribute :>> name = "RatchetLock";
+        attribute :>> mechanicalFunction = "maintains jaw clamping force without continuous grip";
+        attribute :>> patientContact = false;
+    }
+    connection : Realizes connect realized ::> needleHolder to realizing ::> jawAssembly;
+    connection : Realizes connect realized ::> needleHolder to realizing ::> ratchetLock;
+
+    // A task may be traced to the architecture later when the project has a
+    // specific allocation or interaction claim to make.
+    action taskPlaceSutures : UserTask {
+        attribute :>> id = "MSI-TASK-001";
+        attribute :>> name = "PlaceSutures";
+        attribute :>> taskGoal = "place interrupted sutures";
+    }
+}

package/examples/manual-surgical-instrument/model/manual_surgical_instrument.sysml

@@ -0,0 +1,3 @@
+package memo_examples_manual_surgical_instrument_parent {
+    public import memo_examples_manual_surgical_instrument::*;
+}

package/examples/manual-surgical-instrument/model/viewpoints/manual_surgical_instrument_overview.sysml

@@ -0,0 +1,6 @@
+package memo_examples_manual_surgical_instrument_viewpoints {
+    private import memo_examples_manual_surgical_instrument::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+    view manualSurgicalInstrumentOverview : MemoDiagramView { expose memo_examples_manual_surgical_instrument::*; attribute depth = 2; attribute :>> title = "Manual Surgical Instrument Overview"; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
+}

package/examples/multidimensional-layers/README.md

@@ -0,0 +1,7 @@
+# Multidimensional layers
+
+A focused MEMO example showing layers and cross-cutting disciplines.
+
+- `model/multidimensional_layers.sysml` is the public parent package.
+- `model/catalog/` holds the canonical model elements.
+- `model/viewpoints/` holds diagram views of that catalog.

package/examples/multidimensional-layers/model/catalog/multidimensional_layers.sysml

@@ -0,0 +1,51 @@
+// Focused example for CR-ONT-045 single-axis ownership.
+// The dose-limit checker is owned by exactly ONE axis — the implementation
+// architecture layer, encoded by its owning package — and is never duplicated.
+// Its safety, cybersecurity, and verification character are not tags on the
+// element; they are typed relationships to elements owned by the vertical
+// assurance disciplines (a Hazard/RiskControlMeasure it mitigates, a VerificationCase
+// that checks it). Ownership lives on one axis; participation crosses axes only
+// through relationships.
+package memo_examples_multidimensional_layers {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_dimensions::*;
+    private import memo_architecture_implementation_software_structure::*;
+    private import memo_architecture_implementation_software_runtime::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_core_relationships::*;
+
+    part doseLimitChecker : SoftwareModule {
+        attribute :>> id = "MDL-SW-001";
+        attribute :>> name = "DoseLimitChecker";
+        attribute :>> responsibility = "Reject therapy parameters outside the drug library's hard limits.";
+        attribute :>> safetyClass = SafetyClassKind::C;
+        // Axis ownership is this element's package (implementation layer) — not
+        // an attribute. Only genuinely orthogonal dimensions remain as tags:
+        attribute :>> realizationStage = RealizationStageKind::designed;
+        attribute :>> crossCuttingConcerns = (
+            CrossCuttingConcernKind::traceability,
+            CrossCuttingConcernKind::evidence);
+    }
+
+    // The SAME identity progresses through realization stages — a deployed
+    // configuration is a stage of the element, not a second element.
+    part doseLimitCheckerRuntime : SoftwareComponent {
+        attribute :>> id = "MDL-RT-001";
+        attribute :>> name = "DoseLimitCheckerTask";
+        attribute :>> periodMs = 50.0;
+        attribute :>> deadlineMs = 50.0;
+        attribute :>> wcetMs = 8.0;
+        attribute :>> schedulingPolicy = SchedulingPolicyKind::fixedPriorityPreemptive;
+        attribute :>> realizationStage = RealizationStageKind::deployed;
+    }
+    connection : Realizes connect realizing ::> doseLimitCheckerRuntime to realized ::> doseLimitChecker;
+
+    verification vcLimitEnforcement : VerificationCase {
+        attribute :>> id = "MDL-VC-001"; attribute :>> name = "VerifyHardLimitEnforcement";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "all out-of-limit programs rejected across the equivalence classes";
+    }
+    connection : VerifiedBy connect verificationTarget ::> doseLimitChecker to verificationCase ::> vcLimitEnforcement;
+}

package/examples/multidimensional-layers/model/multidimensional_layers.sysml

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

package/examples/multidimensional-layers/model/viewpoints/multidimensional_layers_overview.sysml

@@ -0,0 +1,13 @@
+package memo_examples_multidimensional_layers_viewpoints {
+    private import memo_examples_multidimensional_layers::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view multidimensionalLayersOverview : MemoDiagramView {
+        expose memo_examples_multidimensional_layers::*;
+        attribute depth = 2;
+        attribute :>> title = "Multidimensional Layers Overview";
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "bdd";
+    }
+}

package/examples/reusable-instrument/README.md

@@ -0,0 +1,7 @@
+# Reusable instrument
+
+A focused MEMO example for a reusable medical instrument.
+
+- `model/reusable_instrument.sysml` is the public parent package.
+- `model/catalog/` holds the canonical model elements.
+- `model/viewpoints/` holds diagram views of that catalog.

package/examples/reusable-instrument/model/catalog/reusable_instrument.sysml

@@ -0,0 +1,71 @@
+// Focused example: reusable, reprocessable instrument. Centers on the
+// "Sterilize a reusable instrument" use case and its reprocessing workflow.
+// Product identity and manufacturing records remain outside this model.
+package memo_examples_reusable_instrument {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_operational_use_cases::*;
+    private import memo_architecture_operational_activities::*;
+    private import memo_architecture_operational_workflows::*;
+    private import memo_architecture_operational_scenarios::*;
+
+    part sterileProcessingTech : User {
+        attribute :>> actorKind = ActorKind::technician;
+        attribute :>> id = "RI-USR-001"; attribute :>> name = "SterileProcessingTechnician";
+        attribute :>> serviceScope = "central sterile services department";
+    }
+
+    use case ucSterilize : UseCase {
+        attribute :>> useCaseKind = UseCaseKind::clinical;
+        attribute :>> id = "RI-UC-001"; attribute :>> name = "SterilizeReusableInstrument";
+        attribute :>> goalStatement = "Return a used instrument to sterile, functional condition for the next case.";
+        attribute :>> preCondition = "instrument collected from the OR; gross soil removed at point of use";
+        attribute :>> successOutcome = "instrument cleaned, inspected, sterilized, and released to sterile storage";
+    }
+    connection : Initiates connect initiatingUser ::> sterileProcessingTech to initiatedUseCase ::> ucSterilize;
+
+    // Reprocessing workflow: exists independently of any single instrument.
+    action wfReprocess : OperationalWorkflow {
+        attribute :>> id = "RI-WF-001"; attribute :>> name = "InstrumentReprocessingWorkflow";
+        attribute :>> workflowState = WorkflowStateKind::asIs;
+        attribute :>> entryCondition = "used instrument received in decontamination";
+        attribute :>> completionCondition = "sterile pack released to storage";
+    }
+    action actClean : OperationalActivity {
+        attribute :>> id = "RI-ACT-001"; attribute :>> name = "CleanAndDisinfect";
+        attribute :>> criticality = CriticalityKind::high;
+    }
+    action actInspect : OperationalActivity {
+        attribute :>> id = "RI-ACT-002"; attribute :>> name = "InspectAndFunctionTest";
+        attribute :>> criticality = CriticalityKind::high;
+    }
+    action actSterilizeLoad : OperationalActivity {
+        attribute :>> id = "RI-ACT-003"; attribute :>> name = "PackAndAutoclave";
+        attribute :>> criticality = CriticalityKind::high;
+    }
+    action wsClean : WorkflowStep { attribute :>> stepOrder = 1; ref :>> performedActivity = actClean; }
+    action wsInspect : WorkflowStep { attribute :>> stepOrder = 2; ref :>> performedActivity = actInspect; }
+    action wsSterilize : WorkflowStep { attribute :>> stepOrder = 3; ref :>> performedActivity = actSterilizeLoad; }
+    connection : Composes connect parent ::> wfReprocess to child ::> wsClean;
+    connection : StepPrecedes connect predecessor ::> wsClean to successor ::> wsInspect;
+    connection : StepPrecedes connect predecessor ::> wsInspect to successor ::> wsSterilize;
+    connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfReprocess to supported ::> ucSterilize; }
+
+    part scNominalCycle : OperativeScenario {
+        attribute :>> id = "RI-SC-001"; attribute :>> name = "NominalReprocessingCycle";
+        attribute :>> variantKind = ScenarioVariantKind::nominal;
+        attribute :>> operationalCondition = OperationalConditionKind::normal;
+        ref :>> parentWorkflow = wfReprocess;
+    }
+    // One modeled occurrence of the workflow. External operational systems
+    // may associate this occurrence with their asset or batch record.
+    part occCycle113 : ScenarioOccurrence {
+        attribute :>> id = "RI-OCC-113"; attribute :>> name = "ReprocessingCycle113";
+        attribute :>> occurredAt = "2026-07-15T14:02:00Z";
+        attribute :>> hypothetical = false;
+        attribute :>> outcomeSummary = "cycle completed; biological indicator passed";
+        ref :>> executedScenario = scNominalCycle;
+    }
+}

package/examples/reusable-instrument/model/reusable_instrument.sysml

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

package/examples/reusable-instrument/model/viewpoints/reusable_instrument_overview.sysml

@@ -0,0 +1,13 @@
+package memo_examples_reusable_instrument_viewpoints {
+    private import memo_examples_reusable_instrument::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view reusableInstrumentOverview : MemoDiagramView {
+        expose memo_examples_reusable_instrument::*;
+        attribute depth = 2;
+        attribute :>> title = "Reusable Instrument Overview";
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "ofd";
+    }
+}

package/examples/software-only-medical-device/README.md

@@ -0,0 +1,7 @@
+# Software-only medical device
+
+A focused MEMO example for software without a hardware layer.
+
+- `model/software_only_medical_device.sysml` is the public parent package.
+- `model/catalog/` holds the canonical model elements.
+- `model/viewpoints/` holds diagram views of that catalog.

package/examples/software-only-medical-device/model/catalog/software_only_medical_device.sysml

@@ -0,0 +1,62 @@
+// Focused example: software-only medical device (SaMD, IMDRF N10/N12).
+// There is deliberately no device-specific product record or physical layer.
+// Deployment targets
+// off-the-shelf infrastructure the manufacturer does not control.
+package memo_examples_software_only_medical_device {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_relationships::*;
+    private import memo_architecture_implementation_software_structure::*;
+    private import memo_architecture_implementation_software_runtime::*;
+    private import memo_architecture_realization_deployment::*;
+    private import memo_architecture_realization_physical::*;
+
+    part swScreeningApp : SoftwareSystem {
+        attribute :>> id = "SMD-SW-001"; attribute :>> name = "ScreeningApplication";
+        attribute :>> safetyClass = SafetyClassKind::B;
+        attribute :>> version = "1.4.0";
+    }
+    part algGrading : Algorithm {
+        attribute :>> id = "SMD-ALG-001"; attribute :>> name = "RetinopathyGradingModel";
+        attribute :>> algorithmKind = "convolutional neural network, locked (non-adaptive)";
+        attribute :>> clinicalPerformanceClaim = "sensitivity >= 87%, specificity >= 90% vs. reference standard";
+    }
+    part soupInference : SoftwareModule {
+        attribute :>> moduleKind = ModuleKind::soup;
+        attribute :>> id = "SMD-SOUP-001"; attribute :>> name = "InferenceRuntimeLibrary";
+        attribute :>> soupVendor = "third-party OSS";
+        attribute :>> soupClassification = SOUPClassificationKind::classB;
+    }
+    part swGradingModule : SoftwareModule {
+        attribute :>> id = "SMD-SW-002"; attribute :>> name = "GradingModule";
+        attribute :>> responsibility = "Wraps the grading model behind the service API; owns input validation and result structuring.";
+        attribute :>> safetyClass = SafetyClassKind::B;
+    }
+    connection : ModuleUses connect usingModule ::> swGradingModule to usedModule ::> soupInference;
+
+    part svcGrading : SoftwareComponent {
+        attribute :>> runtimeKind = RuntimeKind::service;
+        attribute :>> id = "SMD-RT-001"; attribute :>> name = "GradingService";
+        attribute :>> serviceContract = "REST /grade: image in, structured finding out";
+        attribute :>> updatePolicy = "blue/green rollout";
+        attribute :>> rollbackPolicy = "previous validated version retained hot";
+    }
+    connection : Realizes connect realizing ::> svcGrading to realized ::> swGradingModule;
+
+    part duContainerImage : DeploymentUnit {
+        attribute :>> id = "SMD-DU-001"; attribute :>> name = "ScreeningServiceImage";
+        attribute :>> unitKind = "OCI container image";
+        attribute :>> integrityProtection = "image signature + SBOM attestation";
+    }
+    part nodeCloud : ProcessingNode {
+        attribute :>> id = "SMD-HW-001"; attribute :>> name = "CloudComputeNode";
+        attribute :>> nodeKind = ProcessingNodeKind::cloudServer;
+        attribute :>> supportsContainerization = true;
+        attribute :>> realTimeCapable = false;
+    }
+    connection : DeploysTo connect deploymentUnit ::> duContainerImage to node ::> nodeCloud {
+        attribute :>> deploymentKind = DeploymentKind::containerized;
+    }
+    connection : HostedBy connect hostAssembly ::> nodeCloud to processingNode ::> svcGrading;
+}

package/examples/software-only-medical-device/model/software_only_medical_device.sysml

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

package/examples/software-only-medical-device/model/viewpoints/software_only_medical_device_overview.sysml

@@ -0,0 +1,13 @@
+package memo_examples_software_only_medical_device_viewpoints {
+    private import memo_examples_software_only_medical_device::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view softwareOnlyMedicalDeviceOverview : MemoDiagramView {
+        expose memo_examples_software_only_medical_device::*;
+        attribute depth = 2;
+        attribute :>> title = "Software-only Medical Device Overview";
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "bdd";
+    }
+}

package/examples/surgical-closure-workflow/README.md

@@ -0,0 +1,8 @@
+# Laparoscopic sleeve gastrectomy workflow
+
+A focused MEMO operational model of an illustrative laparoscopic sleeve
+gastrectomy workflow. It is a modelling example, not a clinical protocol.
+
+- `model/surgical_closure_workflow.sysml` is the public parent package.
+- `model/catalog/` holds the canonical model elements.
+- `model/viewpoints/` holds diagram views of that catalog.