@memoarchitect/ontology 0.6.5 → 0.7.0

package/examples/nested-architecture-dsm/model/catalog/assurance/requirements/requirements.sysml

@@ -0,0 +1,89 @@
+// Requirements — the row axis of the traceability matrix.
+//
+// StatusVisibility is deliberately left untraced, so the coverage figure is
+// under 100% and there is an empty row to author a trace into from the
+// traceability view.
+package memo_examples_nested_architecture_dsm_assurance_requirements {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_relationships::*;
+    private import memo_assurance_requirements::*;
+
+    requirement reqDoseAccuracy : Requirement {
+        attribute :>> id = "NDS-REQ-001"; attribute :>> name = "DoseAccuracy";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "The pump shall deliver the prescribed volume within ±5% over any 60-minute window.";
+        attribute :>> notation = RequirementNotationKind::sophist;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> systemResponse = "deliver the prescribed volume within ±5% over any 60-minute window";
+        attribute :>> concernKind = ConcernKind::clinical;
+    }
+    requirement reqOcclusionDetection : Requirement {
+        attribute :>> id = "NDS-REQ-002"; attribute :>> name = "OcclusionDetection";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "When line pressure exceeds the occlusion threshold, the pump shall stop delivery within 2 seconds.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::eventDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "When line pressure exceeds the occlusion threshold";
+        attribute :>> systemResponse = "stop delivery within 2 seconds";
+        attribute :>> concernKind = ConcernKind::safety;
+    }
+    requirement reqAirInLine : Requirement {
+        attribute :>> id = "NDS-REQ-003"; attribute :>> name = "AirInLineProtection";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "When an air bolus above 0.1 mL is detected, the pump shall stop delivery and raise a high-priority alarm.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::eventDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "When an air bolus above 0.1 mL is detected";
+        attribute :>> systemResponse = "stop delivery and raise a high-priority alarm";
+        attribute :>> concernKind = ConcernKind::safety;
+    }
+    requirement reqAlarmAnnunciation : Requirement {
+        attribute :>> id = "NDS-REQ-004"; attribute :>> name = "AlarmAnnunciation";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "While any alarm condition is active, the pump shall present its IEC 60601-1-8 signal until the condition clears or is acknowledged.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::stateDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "While any alarm condition is active";
+        attribute :>> systemResponse = "present its IEC 60601-1-8 signal until the condition clears or is acknowledged";
+        attribute :>> concernKind = ConcernKind::safety;
+        attribute :>> safetyClass = SafetyClassKind::C;
+    }
+    requirement reqBatteryEndurance : Requirement {
+        attribute :>> id = "NDS-REQ-005"; attribute :>> name = "BatteryEndurance";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "On loss of mains power, the pump shall continue delivery for at least 4 hours at 25 mL/h.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::eventDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "On loss of mains power";
+        attribute :>> systemResponse = "continue delivery for at least 4 hours at 25 mL/h";
+        attribute :>> concernKind = ConcernKind::reliability;
+    }
+    requirement reqPrescriptionConfirmation : Requirement {
+        attribute :>> id = "NDS-REQ-006"; attribute :>> name = "PrescriptionConfirmation";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "When the clinician changes the infusion rate, the pump shall require explicit confirmation before applying it.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::eventDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "When the clinician changes the infusion rate";
+        attribute :>> systemResponse = "require explicit confirmation before applying it";
+        attribute :>> concernKind = ConcernKind::usability;
+        attribute :>> safetyClass = SafetyClassKind::C;
+    }
+    // Untraced on purpose — the gap the traceability view is meant to find.
+    requirement reqStatusVisibility : Requirement {
+        attribute :>> id = "NDS-REQ-007"; attribute :>> name = "StatusVisibility";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "The pump shall display the active rate and volume delivered legibly at 1 m.";
+        attribute :>> notation = RequirementNotationKind::sophist;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> systemResponse = "display the active rate and volume delivered legibly at 1 m";
+        attribute :>> concernKind = ConcernKind::usability;
+    }
+}

package/examples/nested-architecture-dsm/model/catalog/assurance/verification_validation/verification_validation.sysml

@@ -0,0 +1,90 @@
+// Verification cases — the far end of the trace chain, and a third axis for
+// the traceability matrix (function → verification case).
+package memo_examples_nested_architecture_dsm_assurance_verification_validation {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_relationships::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_examples_nested_architecture_dsm_architecture_functional_functions::*;
+    private import memo_examples_nested_architecture_dsm_assurance_requirements::*;
+
+    verification vcDoseAccuracy : VerificationCase {
+        attribute :>> id = "NDS-VER-001"; attribute :>> name = "VerifyDoseAccuracy";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "Gravimetric delivery over 60 minutes is within ±5% of the prescribed volume at 1, 25 and 999 mL/h.";
+        attribute :>> status = "planned";
+    }
+    verification vcOcclusionResponse : VerificationCase {
+        attribute :>> id = "NDS-VER-002"; attribute :>> name = "VerifyOcclusionResponse";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "Delivery stops within 2 s of the occlusion threshold being crossed, at every supported rate.";
+        attribute :>> status = "planned";
+    }
+    verification vcAirInLineResponse : VerificationCase {
+        attribute :>> id = "NDS-VER-003"; attribute :>> name = "VerifyAirInLineResponse";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "A 0.1 mL air bolus stops delivery and raises a high-priority alarm.";
+        attribute :>> status = "planned";
+    }
+    verification vcAlarmSignals : VerificationCase {
+        attribute :>> id = "NDS-VER-004"; attribute :>> name = "VerifyAlarmSignals";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "Alarm signals conform to IEC 60601-1-8 for every priority, and persist until cleared or acknowledged.";
+        attribute :>> status = "planned";
+    }
+    verification vcBatteryEndurance : VerificationCase {
+        attribute :>> id = "NDS-VER-005"; attribute :>> name = "VerifyBatteryEndurance";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "Delivery continues for at least 4 hours at 25 mL/h from a fully charged battery after mains loss.";
+        attribute :>> status = "planned";
+    }
+    verification vcConfirmationFlow : VerificationCase {
+        attribute :>> id = "NDS-VER-006"; attribute :>> name = "VerifyConfirmationFlow";
+        attribute :>> methodKind = VerificationMethodKind::demonstration;
+        attribute :>> acceptanceCriteria = "No rate change reaches the controller without an explicit confirmation step.";
+        attribute :>> status = "planned";
+    }
+    verification vcStatusLegibility : VerificationCase {
+        attribute :>> id = "NDS-VER-007"; attribute :>> name = "VerifyStatusLegibility";
+        attribute :>> methodKind = VerificationMethodKind::inspection;
+        attribute :>> acceptanceCriteria = "Rate and volume delivered are readable at 1 m under 100–1000 lux.";
+        attribute :>> status = "planned";
+    }
+    verification vcPowerSourceSwitch : VerificationCase {
+        attribute :>> id = "NDS-VER-008"; attribute :>> name = "VerifyPowerSourceSwitch";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "Rail brownout switches source without interrupting delivery.";
+        attribute :>> status = "planned";
+    }
+
+    // Requirement → verification case.
+    connection verDoseAccuracy : VerifiedBy connect verificationTarget ::> reqDoseAccuracy to verificationCase ::> vcDoseAccuracy;
+    connection verOcclusion : VerifiedBy connect verificationTarget ::> reqOcclusionDetection to verificationCase ::> vcOcclusionResponse;
+    connection verAirInLine : VerifiedBy connect verificationTarget ::> reqAirInLine to verificationCase ::> vcAirInLineResponse;
+    connection verAlarm : VerifiedBy connect verificationTarget ::> reqAlarmAnnunciation to verificationCase ::> vcAlarmSignals;
+    connection verBattery : VerifiedBy connect verificationTarget ::> reqBatteryEndurance to verificationCase ::> vcBatteryEndurance;
+    connection verConfirmation : VerifiedBy connect verificationTarget ::> reqPrescriptionConfirmation to verificationCase ::> vcConfirmationFlow;
+    connection verStatus : VerifiedBy connect verificationTarget ::> reqStatusVisibility to verificationCase ::> vcStatusLegibility;
+
+    // Function → verification case, so safety-critical functions carry their
+    // own verification rather than inheriting it through a requirement.
+    connection verFnDeliverTherapy : VerifiedBy connect verificationTarget ::> fnDeliverTherapy to verificationCase ::> vcDoseAccuracy;
+    connection verFnMeterFluid : VerifiedBy connect verificationTarget ::> fnMeterFluid to verificationCase ::> vcDoseAccuracy;
+    connection verFnDriveActuator : VerifiedBy connect verificationTarget ::> fnDriveActuator to verificationCase ::> vcDoseAccuracy;
+    connection verFnMeasureDelivered : VerifiedBy connect verificationTarget ::> fnMeasureDelivered to verificationCase ::> vcDoseAccuracy;
+    connection verFnControlDose : VerifiedBy connect verificationTarget ::> fnControlDose to verificationCase ::> vcDoseAccuracy;
+    connection verFnComputeRate : VerifiedBy connect verificationTarget ::> fnComputeRate to verificationCase ::> vcDoseAccuracy;
+    connection verFnValidatePrescription : VerifiedBy connect verificationTarget ::> fnValidatePrescription to verificationCase ::> vcConfirmationFlow;
+    connection verFnEnsureSafety : VerifiedBy connect verificationTarget ::> fnEnsureSafety to verificationCase ::> vcOcclusionResponse;
+    connection verFnDetectOcclusion : VerifiedBy connect verificationTarget ::> fnDetectOcclusion to verificationCase ::> vcOcclusionResponse;
+    connection verFnDetectAirInLine : VerifiedBy connect verificationTarget ::> fnDetectAirInLine to verificationCase ::> vcAirInLineResponse;
+    connection verFnEnforceDoseLimits : VerifiedBy connect verificationTarget ::> fnEnforceDoseLimits to verificationCase ::> vcOcclusionResponse;
+    connection verFnInformUser : VerifiedBy connect verificationTarget ::> fnInformUser to verificationCase ::> vcStatusLegibility;
+    connection verFnRenderStatus : VerifiedBy connect verificationTarget ::> fnRenderStatus to verificationCase ::> vcStatusLegibility;
+    connection verFnAnnunciateAlarm : VerifiedBy connect verificationTarget ::> fnAnnunciateAlarm to verificationCase ::> vcAlarmSignals;
+    connection verFnAcceptInput : VerifiedBy connect verificationTarget ::> fnAcceptInput to verificationCase ::> vcConfirmationFlow;
+    connection verFnManagePower : VerifiedBy connect verificationTarget ::> fnManagePower to verificationCase ::> vcBatteryEndurance;
+    connection verFnMonitorBattery : VerifiedBy connect verificationTarget ::> fnMonitorBattery to verificationCase ::> vcBatteryEndurance;
+    connection verFnSelectPowerSource : VerifiedBy connect verificationTarget ::> fnSelectPowerSource to verificationCase ::> vcPowerSourceSwitch;
+}

package/examples/nested-architecture-dsm/model/catalog/project.sysml

@@ -0,0 +1,28 @@
+// Nested architecture DSM — project identity and method binding.
+//
+// The native entrypoint. The imports name what this project contains and the
+// binding names the methodology governing it. No YAML file participates.
+package memo_examples_nested_architecture_dsm_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_nested_architecture_dsm_architecture_logical_structure::*;
+    private import memo_examples_nested_architecture_dsm_architecture_functional_functions::*;
+    private import memo_examples_nested_architecture_dsm_assurance_requirements::*;
+    private import memo_examples_nested_architecture_dsm_assurance_requirements_needs::*;
+    private import memo_examples_nested_architecture_dsm_assurance_verification_validation::*;
+    private import memo_examples_nested_architecture_dsm_traces::*;
+
+    part projectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-NESTED-DSM-001";
+        attribute :>> name = "NestedArchitectureDsmProjectMethodBinding";
+        attribute :>> projectName = "Nested Architecture DSM";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

package/examples/nested-architecture-dsm/model/catalog/traces.sysml

@@ -0,0 +1,49 @@
+// Cross-axis links: allocation and satisfaction.
+//
+// These are what make the two matrices show different things over the same
+// model. The DSM reads allocation as a dependency between a function and the
+// block that carries it; the traceability view reads satisfaction as coverage
+// of a requirement. Keeping both in one file makes the cross-axis story easy
+// to read, and easy to extend from the traceability view's editor.
+package memo_examples_nested_architecture_dsm_traces {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_relationships::*;
+    private import memo_examples_nested_architecture_dsm_architecture_functional_functions::*;
+    private import memo_examples_nested_architecture_dsm_architecture_logical_structure::*;
+    private import memo_examples_nested_architecture_dsm_assurance_requirements::*;
+
+    // ── Function → block allocation ──────────────────────────────
+    connection allocDrive : AllocatedTo connect function ::> fnDriveActuator to allocatedElement ::> lcPumpMechanism;
+    connection allocMeasure : AllocatedTo connect function ::> fnMeasureDelivered to allocatedElement ::> lcPumpMechanism;
+    connection allocComputeRate : AllocatedTo connect function ::> fnComputeRate to allocatedElement ::> lcDoseController;
+    connection allocValidate : AllocatedTo connect function ::> fnValidatePrescription to allocatedElement ::> lcDoseController;
+    connection allocOcclusion : AllocatedTo connect function ::> fnDetectOcclusion to allocatedElement ::> lcOcclusionChannel;
+    connection allocAirInLine : AllocatedTo connect function ::> fnDetectAirInLine to allocatedElement ::> lcOcclusionChannel;
+    // Two channels carry the same protective function — the redundancy shows
+    // up in the matrix as two marks on one row.
+    connection allocLimitsWatchdog : AllocatedTo connect function ::> fnEnforceDoseLimits to allocatedElement ::> lcWatchdogChannel;
+    connection allocLimitsPressure : AllocatedTo connect function ::> fnEnforceDoseLimits to allocatedElement ::> lcPressureIntegrityChannel;
+    connection allocRender : AllocatedTo connect function ::> fnRenderStatus to allocatedElement ::> lcDisplayManager;
+    connection allocAlarm : AllocatedTo connect function ::> fnAnnunciateAlarm to allocatedElement ::> lcAlarmAnnunciator;
+    connection allocInput : AllocatedTo connect function ::> fnAcceptInput to allocatedElement ::> lcKeypadHandler;
+    connection allocBattery : AllocatedTo connect function ::> fnMonitorBattery to allocatedElement ::> lcBatteryManager;
+    connection allocPowerSource : AllocatedTo connect function ::> fnSelectPowerSource to allocatedElement ::> lcPowerRailMonitor;
+    // A capability allocated at subsystem level rather than to one component:
+    // collapsed, it lands in the same cell as its children's allocations.
+    connection allocMeterFluid : AllocatedTo connect function ::> fnMeterFluid to allocatedElement ::> subFluidPath;
+
+    // ── Requirement → function satisfaction ──────────────────────
+    connection satDoseAccuracyRate : SatisfiedBy connect requiredElement ::> reqDoseAccuracy to satisfyingElement ::> fnComputeRate;
+    connection satDoseAccuracyDrive : SatisfiedBy connect requiredElement ::> reqDoseAccuracy to satisfyingElement ::> fnDriveActuator;
+    connection satOcclusion : SatisfiedBy connect requiredElement ::> reqOcclusionDetection to satisfyingElement ::> fnDetectOcclusion;
+    connection satOcclusionLimits : SatisfiedBy connect requiredElement ::> reqOcclusionDetection to satisfyingElement ::> fnEnforceDoseLimits;
+    connection satAirInLine : SatisfiedBy connect requiredElement ::> reqAirInLine to satisfyingElement ::> fnDetectAirInLine;
+    connection satAirInLineAlarm : SatisfiedBy connect requiredElement ::> reqAirInLine to satisfyingElement ::> fnAnnunciateAlarm;
+    connection satAlarm : SatisfiedBy connect requiredElement ::> reqAlarmAnnunciation to satisfyingElement ::> fnAnnunciateAlarm;
+    connection satBatteryMonitor : SatisfiedBy connect requiredElement ::> reqBatteryEndurance to satisfyingElement ::> fnMonitorBattery;
+    connection satBatterySource : SatisfiedBy connect requiredElement ::> reqBatteryEndurance to satisfyingElement ::> fnSelectPowerSource;
+    connection satConfirmation : SatisfiedBy connect requiredElement ::> reqPrescriptionConfirmation to satisfyingElement ::> fnAcceptInput;
+    connection satConfirmationValidate : SatisfiedBy connect requiredElement ::> reqPrescriptionConfirmation to satisfyingElement ::> fnValidatePrescription;
+}

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

@@ -0,0 +1,24 @@
+// Reusable Instrument — project identity and method binding.
+//
+// The native entrypoint. The imports name what this project contains and the
+// binding names the methodology it is governed by. No YAML file participates.
+package memo_examples_reusable_instrument_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_reusable_instrument_viewpoints_unassigned::*;
+    private import memo_examples_reusable_instrument_viewpoints_unassigned_views_reusable_instrument_overview::*;
+
+    part projectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-REUSABLE-INSTRUMENT-001";
+        attribute :>> name = "ReusableInstrumentProjectMethodBinding";
+        attribute :>> projectName = "Reusable Instrument";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

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

@@ -5,6 +5,7 @@ package memo_examples_reusable_instrument {
     private import ScalarValues::*;
 
     private import memo_core_enumerations::*;
+    private import memo_core_relationships::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_use_cases::*;
     private import memo_architecture_operational_activities::*;
@@ -45,15 +46,15 @@ package memo_examples_reusable_instrument {
         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; }
+    action wsClean : WorkflowStep { ref :>> performedActivity = actClean; }
+    action wsInspect : WorkflowStep { ref :>> performedActivity = actInspect; }
+    action wsSterilize : WorkflowStep { 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;
+    first wsClean then wsInspect;
+    first wsInspect then wsSterilize;
     connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfReprocess to supported ::> ucSterilize; }
 
-    part scNominalCycle : OperativeScenario {
+    action scNominalCycle : OperativeScenario {
         attribute :>> id = "RI-SC-001"; attribute :>> name = "NominalReprocessingCycle";
         attribute :>> variantKind = ScenarioVariantKind::nominal;
         attribute :>> operationalCondition = OperationalConditionKind::normal;

package/examples/reusable-instrument/model/catalog/viewpoints/unassigned/viewpoint.sysml

@@ -0,0 +1,9 @@
+// unassigned viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_reusable_instrument_viewpoints_unassigned {
+    // The reusable package declaring unassigned could not be resolved during
+    // conversion. Import it here so the views beneath this viewpoint resolve.
+}

package/examples/reusable-instrument/model/{viewpoints → catalog/viewpoints/unassigned/views}/reusable_instrument_overview.sysml

@@ -1,4 +1,4 @@
-package memo_examples_reusable_instrument_viewpoints {
+package memo_examples_reusable_instrument_viewpoints_unassigned_views_reusable_instrument_overview {
     private import memo_examples_reusable_instrument::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;

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

@@ -0,0 +1,24 @@
+// Software Only Medical Device — project identity and method binding.
+//
+// The native entrypoint. The imports name what this project contains and the
+// binding names the methodology it is governed by. No YAML file participates.
+package memo_examples_software_only_medical_device_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_software_only_medical_device_viewpoints_unassigned::*;
+    private import memo_examples_software_only_medical_device_viewpoints_unassigned_views_software_only_medical_device_overview::*;
+
+    part projectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-MEDICAL-DEVICE-001";
+        attribute :>> name = "SoftwareOnlyMedicalDeviceProjectMethodBinding";
+        attribute :>> projectName = "Software Only Medical Device";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

package/examples/software-only-medical-device/model/catalog/viewpoints/unassigned/viewpoint.sysml

@@ -0,0 +1,9 @@
+// unassigned viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_software_only_medical_device_viewpoints_unassigned {
+    // The reusable package declaring unassigned could not be resolved during
+    // conversion. Import it here so the views beneath this viewpoint resolve.
+}

package/examples/software-only-medical-device/model/{viewpoints → catalog/viewpoints/unassigned/views}/software_only_medical_device_overview.sysml

@@ -1,4 +1,4 @@
-package memo_examples_software_only_medical_device_viewpoints {
+package memo_examples_software_only_medical_device_viewpoints_unassigned_views_software_only_medical_device_overview {
     private import memo_examples_software_only_medical_device::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;

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

@@ -0,0 +1,24 @@
+// Surgical Closure Workflow — project identity and method binding.
+//
+// The native entrypoint. The imports name what this project contains and the
+// binding names the methodology it is governed by. No YAML file participates.
+package memo_examples_surgical_closure_workflow_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_surgical_closure_workflow_viewpoints_unassigned::*;
+    private import memo_examples_surgical_closure_workflow_viewpoints_unassigned_views_surgical_closure_workflow_overview::*;
+
+    part projectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-CLOSURE-WORKFLOW-001";
+        attribute :>> name = "SurgicalClosureWorkflowProjectMethodBinding";
+        attribute :>> projectName = "Surgical Closure Workflow";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

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

@@ -5,6 +5,7 @@ package memo_examples_surgical_closure_workflow {
     private import ScalarValues::*;
 
     private import memo_core_enumerations::*;
+    private import memo_core_relationships::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_context_use_context::*;
     private import memo_assurance_requirements_needs::*;
@@ -73,10 +74,13 @@ package memo_examples_surgical_closure_workflow {
         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; }
+    action stConfirmAnatomy : TaskStep { attribute :>> id = "LSG-ST-001"; attribute :>> name = "ConfirmAnatomy"; }
+    action stCreateStapleLine : TaskStep { attribute :>> id = "LSG-ST-002"; attribute :>> name = "CreateStapleLine"; }
+    action stInspectBleeding : TaskStep { attribute :>> id = "LSG-ST-003"; attribute :>> name = "InspectForBleeding"; }
+    action stAssessIntegrity : TaskStep { attribute :>> id = "LSG-ST-004"; attribute :>> name = "AssessStapleLineIntegrity"; }
+    first stConfirmAnatomy then stCreateStapleLine;
+    first stCreateStapleLine then stInspectBleeding;
+    first stInspectBleeding then stAssessIntegrity;
     connection : Composes connect parent ::> actSizeAndCreateSleeve to child ::> taskCreateStapleLine;
     connection : Composes connect parent ::> taskCreateStapleLine to child ::> stConfirmAnatomy;
     connection : Composes connect parent ::> taskCreateStapleLine to child ::> stCreateStapleLine;
@@ -91,13 +95,13 @@ package memo_examples_surgical_closure_workflow {
         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; }
+    action wsTimeOut : WorkflowStep { ref :>> performedActivity = actTimeOutAndPosition; }
+    action wsAccess : WorkflowStep { ref :>> performedActivity = actEstablishAccess; }
+    action wsMobilize : WorkflowStep { ref :>> performedActivity = actMobilizeStomach; }
+    action wsSleeve : WorkflowStep { ref :>> performedActivity = actSizeAndCreateSleeve; }
+    action wsAssess : WorkflowStep { ref :>> performedActivity = actAssessStapleLine; }
+    action wsClose : WorkflowStep { ref :>> performedActivity = actExtractSpecimenAndClose; }
+    action wsHandover : WorkflowStep { 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;
@@ -105,12 +109,12 @@ package memo_examples_surgical_closure_workflow {
     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;
+    first wsTimeOut then wsAccess;
+    first wsAccess then wsMobilize;
+    first wsMobilize then wsSleeve;
+    first wsSleeve then wsAssess;
+    first wsAssess then wsClose;
+    first wsClose then wsHandover;
     connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfSleeveGastrectomy to supported ::> ucPerformSleeveGastrectomy; }
 
     // ── Scenario paths, each with its own activity/action flow ──
@@ -124,7 +128,7 @@ package memo_examples_surgical_closure_workflow {
         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 : OperativeScenario {
+    action scNominalSleeveProcedure : OperativeScenario {
         attribute :>> id = "LSG-SC-001"; attribute :>> name = "NominalSleeveGastrectomy";
         attribute :>> variantKind = ScenarioVariantKind::nominal;
         attribute :>> operationalCondition = OperationalConditionKind::normal;
@@ -133,7 +137,7 @@ package memo_examples_surgical_closure_workflow {
         ref :>> parentUseCase = ucPerformSleeveGastrectomy;
         ref :>> activities = oaCompleteSleeveProcedure;
     }
-    part scStapleLineBleeding : OperativeScenario {
+    action scStapleLineBleeding : OperativeScenario {
         attribute :>> id = "LSG-SC-002"; attribute :>> name = "StapleLineBleedingRecovery";
         attribute :>> variantKind = ScenarioVariantKind::recovery;
         attribute :>> operationalCondition = OperationalConditionKind::degraded;

package/examples/surgical-closure-workflow/model/catalog/viewpoints/unassigned/viewpoint.sysml

@@ -0,0 +1,9 @@
+// unassigned viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_surgical_closure_workflow_viewpoints_unassigned {
+    // The reusable package declaring unassigned could not be resolved during
+    // conversion. Import it here so the views beneath this viewpoint resolve.
+}

package/examples/surgical-closure-workflow/model/{viewpoints → catalog/viewpoints/unassigned/views}/surgical_closure_workflow_overview.sysml

@@ -1,4 +1,4 @@
-package memo_examples_surgical_closure_workflow_viewpoints {
+package memo_examples_surgical_closure_workflow_viewpoints_unassigned_views_surgical_closure_workflow_overview {
     private import memo_examples_surgical_closure_workflow::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;

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

@@ -0,0 +1,24 @@
+// Surgical Robot — project identity and method binding.
+//
+// The native entrypoint. The imports name what this project contains and the
+// binding names the methodology it is governed by. No YAML file participates.
+package memo_examples_surgical_robot_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_surgical_robot_viewpoints_unassigned::*;
+    private import memo_examples_surgical_robot_viewpoints_unassigned_views_surgical_robot_overview::*;
+
+    part projectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-SURGICAL-ROBOT-001";
+        attribute :>> name = "SurgicalRobotProjectMethodBinding";
+        attribute :>> projectName = "Surgical Robot";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

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

@@ -49,10 +49,12 @@ package memo_examples_surgical_robot {
         attribute :>> contactDuration = "limited (<24 h)";
     }
 
-    // Surgeon console: haptic feedback element.
-    part elHapticGrip : UIElement {
+    // Surgeon console: haptic feedback element. The grip is hardware the
+    // surgeon holds, so it is an OperatorInterfaceElement (a PhysicalComponent)
+    // rather than a UIElement — UIElement is software.
+    part elHapticGrip : OperatorInterfaceElement {
         attribute :>> id = "SR-UI-001"; attribute :>> name = "HapticMasterGrip";
-        attribute :>> formKind = UIElementFormKind::hapticIndicator;
+        attribute :>> formKind = OperatorInterfaceFormKind::hapticIndicator;
         attribute :>> guardedAgainstInadvertentActuation = true;
     }
 }

package/examples/surgical-robot/model/catalog/viewpoints/unassigned/viewpoint.sysml

@@ -0,0 +1,9 @@
+// unassigned viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_surgical_robot_viewpoints_unassigned {
+    // The reusable package declaring unassigned could not be resolved during
+    // conversion. Import it here so the views beneath this viewpoint resolve.
+}

package/examples/surgical-robot/model/{viewpoints → catalog/viewpoints/unassigned/views}/surgical_robot_overview.sysml

@@ -1,4 +1,4 @@
-package memo_examples_surgical_robot_viewpoints {
+package memo_examples_surgical_robot_viewpoints_unassigned_views_surgical_robot_overview {
     private import memo_examples_surgical_robot::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;

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

@@ -15,11 +15,18 @@ 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.
 
+`model/sysml_v2_activity_example.sysml` is the SysML v2 activity-diagram
+acceptance fixture, and is the single copy — it sits with the rest of the
+model's SysML rather than in a parallel `reference/` tree. The bundled parser
+accepts its decision, merge, accept/send, termination and guard syntax, and
+`standard_activity_view.sysml` is the view that draws it.
+
 | 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. |
+| `standard_activity_view.sysml` | `afd` | actionflow | Standard SysML v2 activity — decision, merge, fork, join, accept, send, terminate, guarded 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. |

package/examples/sysml-diagram-samples/dhf/documents/DOC-HAR-001.md

@@ -0,0 +1,11 @@
+---
+id: DOC-HAR-001
+title: Hazard Analysis Report
+template: iso-14971/har
+group: Risk Management
+created: 1785896600558
+---
+
+# Hazard Analysis Report
+
+_[TODO: Add content]_

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

@@ -1,5 +1,11 @@
-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"
+# Application/distribution descriptor for this MEMO package.
+#
+# Identity and location only. It records what this package is called, what
+# version it is, and where its SysML source sits so a resolver can find it.
+# It does not select model content: the project's native SysML imports and its
+# ProjectMethodBinding decide what is in the model. Semantic fields
+# (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
+# removed at the native semantic flip and are now rejected if present.
+name: sysml-diagram-samples
+version: 0.1.0
+description: "MEMO Architect diagram rendering samples \u2014 one openable view per standard SysML v2 diagram type. Open with: memo-architect --example standard-sysml-diagrams"