@memoarchitect/ontology 0.4.6 → 0.6.1

package/examples/gpca-pump/model/samples/action_flow_view.viewlayout

@@ -1,9 +0,0 @@
-format: memo.viewlayout/v1
-viewSource: model/samples/action_flow_view.sysml
-layouts:
-  diag-sample-sampleActionFlowView:
-    nodes:
-    nodes: {}
-    edges: {}
-    canvas:
-      autoLayout: true

package/examples/gpca-pump/model/samples/interconnection_view.viewlayout

@@ -1,99 +0,0 @@
-format: memo.viewlayout/v1
-viewSource: model/samples/interconnection_view.sysml
-layouts:
-  diag-sample-sampleInterconnectionView:
-    nodes:
-      coffeeMachine:
-        x: 364
-        y: 0
-        ports:
-          mainsWaterIn:
-            x: -12
-            y: 273
-            side: left
-          beverageOut:
-            x: 1253.1
-            y: 137.70963541666669
-            side: right
-          serviceInterface:
-            x: 1253.1
-            y: 240.73784722222223
-            side: right
-          diagnostics:
-            x: 1253.1
-            y: 380.19422743055554
-            side: right
-      waterTank:
-        x: 128
-        y: 114
-        ports:
-          tankWaterOut:
-            x: 376
-            y: 72
-            side: right
-          tankWaterIn:
-            x: -12
-            y: 72
-            side: left
-      heaterAssembly:
-        x: 570
-        y: 70
-        ports:
-          heaterWaterIn:
-            x: -12
-            y: 116
-            side: left
-          heatedWaterOut:
-            x: 555.1
-            y: 116
-            side: right
-      heatingElement:
-        x: 128
-        y: 70
-        ports:
-          heaterStatusOut:
-            x: 299.1
-            y: 72
-            side: right
-      brewGroup:
-        x: 659.55
-        y: 384
-        ports:
-          brewWaterIn:
-            x: -12
-            y: 72
-            side: left
-          brewedCoffeeOut:
-            x: 376
-            y: 72
-            side: right
-      waterSupply:
-        x: 0
-        y: 201
-        ports:
-          supplyWaterOut:
-            x: 262
-            y: 72
-            side: right
-      cup:
-        x: 1719.1
-        y: 5
-        ports:
-          cupBeverageIn:
-            x: -12
-            y: 72
-            side: left
-    edges:
-      rel-683: {}
-      rel-684: {}
-      rel-685: {}
-      rel-686: {}
-      rel-687: {}
-      rel-688: {}
-      rel-689: {}
-    canvas:
-      autoLayout: false
-      zoom: 0.72
-      pan:
-        x: -201.51599999999996
-        y: 59.80000000000001

package/profile/archetypes.yaml

@@ -1,36 +0,0 @@
-archetypes:
-  - id: samd
-    label: Software as Medical Device (SaMD)
-    description: Clinical decision support, diagnostic algorithm, AI/ML tool, mobile medical app
-    category: device-class
-    templateDir: samd
-    includedLayers: [context, requirements, functions, logical_structure, software_structure, risk, assurance, cybersecurity]
-    includedStandards: [ISO 14971, IEC 62304, IEC 82304-1, FDA Cybersecurity Guidance]
-  - id: connected
-    label: Connected / IoT Device
-    description: Remote monitoring, wearable, smart device with cloud connectivity and cybersecurity requirements
-    category: device-class
-    templateDir: connected-device
-    includedLayers: [context, requirements, functions, logical_structure, logical_interfaces, software_structure, hardware_structure, risk, assurance, cybersecurity]
-    includedStandards: [ISO 14971, IEC 62304, 21 CFR 820, FDA Cybersecurity Guidance]
-  - id: monitoring
-    label: Monitoring / Diagnostic Device
-    description: Patient monitor, ECG, SpO2, vital signs, bedside diagnostic equipment
-    category: device-class
-    templateDir: monitoring-device
-    includedLayers: [context, requirements, functions, logical_structure, logical_interfaces, physical_interfaces, software_structure, hardware_structure, risk, assurance]
-    includedStandards: [ISO 14971, IEC 62304, IEC 60601-1, 21 CFR 820]
-  - id: infusion_pump
-    label: Infusion / Drug Delivery Device
-    description: Infusion pump, syringe driver, implantable drug delivery, dosing device
-    category: device-class
-    templateDir: infusion-pump
-    includedLayers: [context, requirements, functions, logical_structure, logical_interfaces, physical_interfaces, software_structure, hardware_structure, behavior, risk, arch_risk, assurance, cybersecurity]
-    includedStandards: [ISO 14971, IEC 62304, IEC 60601-1, 21 CFR 820, ISO 13485]
-  - id: blank
-    label: Blank Project
-    description: Start from scratch with a minimal SysML shell
-    category: device-class
-    templateDir: ""
-    includedLayers: []
-    includedStandards: []

package/profile/templates/connected-device/starter.sysml

@@ -1,8 +0,0 @@
-package memo_connected_device_starter {
-    import memo_medical_device_library::*;
-
-    part connectedDeviceSystem : System;
-    requirement connectivityRequirement : Requirement {
-        attribute redefines title = "Define connectivity and cybersecurity boundaries";
-    }
-}

package/profile/templates/infusion-pump/starter.sysml

@@ -1,8 +0,0 @@
-package memo_infusion_pump_starter {
-    import memo_medical_device_library::*;
-
-    part infusionPumpSystem : System;
-    requirement deliveryRequirement : Requirement {
-        attribute redefines title = "Define safe therapy delivery behavior";
-    }
-}

package/profile/templates/monitoring-device/starter.sysml

@@ -1,8 +0,0 @@
-package memo_monitoring_device_starter {
-    import memo_medical_device_library::*;
-
-    part monitoringDeviceSystem : System;
-    requirement monitoringRequirement : Requirement {
-        attribute redefines title = "Define the monitored physiological parameter";
-    }
-}

package/profile/templates/samd/starter.sysml

@@ -1,8 +0,0 @@
-package memo_samd_starter {
-    import memo_medical_device_library::*;
-
-    part samdSystem : System;
-    requirement clinicalPurpose : Requirement {
-        attribute redefines title = "Define the clinical purpose and intended user";
-    }
-}

package/src/architecture/assurance/memo_assurance.sysml

@@ -1,29 +0,0 @@
-package memo_architecture_assurance {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-    part def VerificationCase specializes VerifiableElement {
-        attribute methodKind : VerificationMethodKind;
-        attribute acceptanceCriteria : String;
-        attribute status : String;
-    }
-    part def ValidationCase specializes VerifiableElement {
-        attribute validationMethod : ValidationMethodKind;
-        attribute userParticipation : String;
-        attribute acceptanceCriteria : String;
-        attribute clinicalContext : String;
-    }
-    part def TestArtifact specializes EvidenceElement {
-        attribute version : String;
-        attribute lifecycleState : LifecycleStateKind;
-        attribute artifactKind : ArtifactKind;
-        attribute resultSummary : String;
-    }
-    part def Evidence specializes EvidenceElement {
-        attribute version : String;
-        attribute lifecycleState : LifecycleStateKind;
-        attribute evidenceType : String;
-        attribute integrityStatus : String;
-    }
-}

package/src/architecture/context/memo_context.sysml

@@ -1,58 +0,0 @@
-package memo_architecture_context {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-    private import memo_core_relationships::*;
-    part def IntendedUse specializes DocumentedElement {
-        attribute indication : String;
-        attribute contraindication : String;
-        attribute patientPopulation : String;
-        attribute clinicalBenefit : String;
-        attribute regulatoryClassification : String;
-    }
-    part def Actor specializes TraceableElement {
-        attribute actorKind : ActorKind;
-        attribute trainingLevel : String;
-    }
-    part def UseContext specializes TraceableElement {
-        attribute careSetting : String;
-        attribute environment : String;
-        attribute jurisdiction : String;
-        attribute connectedUse : Boolean;
-        attribute intendedUseReference : String;
-    }
-    part def UseError specializes TraceableElement {
-        attribute errorCategory : UseErrorCategoryKind;
-        attribute taskReference : String;
-        attribute severity : SeverityKind;
-        attribute rootCauseType : String;
-    }
-
-    connection def InteractsWith :> SemanticLink {
-        end contextParticipant : Actor;
-        end target : TraceableElement;
-    }
-    // Directional context-level data flow between boundary entities
-    // (Fig 2.1-style "Data Flow" edges).
-    connection def ExchangesWith :> SemanticLink {
-        end source : TraceableElement;
-        end target : TraceableElement;
-    }
-    // Physical connection between boundary entities (fluid path,
-    // mechanical mounting) as opposed to a data flow.
-    connection def ConnectsPhysically :> SemanticLink {
-        end source : TraceableElement;
-        end target : TraceableElement;
-    }
-    // Anchors an intended use to the system it governs.
-    connection def GovernsUse :> SemanticLink {
-        end intendedUse : IntendedUse;
-        end governedElement : TraceableElement;
-    }
-    // Binds a use context to the system or environment it applies to.
-    connection def AppliesInContext :> SemanticLink {
-        end useContext : UseContext;
-        end subjectElement : TraceableElement;
-    }
-}

package/src/architecture/functions/memo_functions.sysml

@@ -1,30 +0,0 @@
-package memo_architecture_functions {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-    part def LogicalFunction specializes ArchitectureElement {
-        attribute functionCategory : String;
-        attribute trigger : String;
-        attribute outputSummary : String;
-        attribute concernKind : ConcernKind;
-        attribute criticality : CriticalityKind;
-    }
-    part def LogicalFlow specializes ArchitectureElement {
-        attribute flowKind : FlowKind;
-        attribute direction : DirectionKind;
-        attribute latencyBudgetMs : Real;
-        attribute staleAfterMs : Real;
-        attribute integrityLevel : String;
-    }
-    part def DataDefinition specializes ExchangeItem {
-        attribute confidentialityClass : String;
-        attribute integrityClass : String;
-        attribute availabilityClass : String;
-    }
-    part def ControlDefinition specializes ExchangeItem {
-        attribute controlType : String;
-        attribute timeoutMs : Real;
-        attribute retryPolicy : String;
-    }
-}

package/src/architecture/hardware_structure/memo_hardware_structure.sysml

@@ -1,15 +0,0 @@
-package memo_architecture_hardware_structure {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-    part def HardwareAssembly specializes ArchitectureElement {
-        attribute responsibility : String;
-        attribute safetyRole : String;
-        attribute partNumber : String;
-        attribute mtbfHours : String;
-        attribute protectionClass : String;
-        attribute ipRating : String;
-        attribute lifecycleState : LifecycleStateKind;
-    }
-}

package/src/architecture/interfaces/memo_interfaces.sysml

@@ -1,103 +0,0 @@
-package memo_architecture_interfaces {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-
-    // ─── Interface taxonomy ──────────────────────────────────────────
-    // One root `Interface`, specialized by realization domain
-    // (hardware / software) then by signaling family then by concrete
-    // protocol. The Arcadia layer (operational/system/logical/physical)
-    // is carried as the `arcadiaLayer` attribute, not as a type branch.
-
-    part def Interface specializes InterfaceElement {
-        attribute arcadiaLayer : ArcadiaLayerKind;
-        attribute interfaceKind : InterfaceKind;
-        attribute direction : DirectionKind;
-        attribute protocol : String;
-        attribute protocolSemantics : String;
-        attribute interactionPattern : String;
-    }
-
-    // ─── Hardware interfaces ─────────────────────────────────────────
-
-    part def HardwareInterface specializes Interface {
-        attribute electricalStandard : String;
-        attribute nominalVoltageV : Real;
-        attribute nominalCurrentA : Real;
-        attribute directionality : DirectionKind;
-        attribute bandwidth : String;
-        attribute timingConstraint : String;
-    }
-
-    part def DigitalInterface specializes HardwareInterface {
-        attribute bitRateBps : String;
-        attribute signaling : String;
-    }
-    part def SPIInterface specializes DigitalInterface;
-    part def USBInterface specializes DigitalInterface;
-    part def I2CInterface specializes DigitalInterface;
-    part def CANInterface specializes DigitalInterface;
-    part def UARTInterface specializes DigitalInterface;
-    part def EthernetInterface specializes DigitalInterface;
-
-    part def AnalogInterface specializes HardwareInterface {
-        attribute signalRange : String;
-    }
-    part def VoltageInterface specializes AnalogInterface;
-    part def CurrentInterface specializes AnalogInterface;
-    part def CurrentLoop4To20mA specializes AnalogInterface;
-    part def ThermocoupleInterface specializes AnalogInterface;
-
-    // ─── Software interfaces ─────────────────────────────────────────
-
-    part def SoftwareInterface specializes Interface {
-        attribute apiStyle : String;
-    }
-
-    part def SynchronousInterface specializes SoftwareInterface;
-    part def RestInterface specializes SynchronousInterface;
-    part def GrpcInterface specializes SynchronousInterface;
-    part def RpcInterface specializes SynchronousInterface;
-    part def LocalApiInterface specializes SynchronousInterface;
-
-    part def AsynchronousInterface specializes SoftwareInterface;
-    part def MessageQueueInterface specializes AsynchronousInterface;
-    part def PubSubInterface specializes AsynchronousInterface;
-    part def EventStreamInterface specializes AsynchronousInterface;
-
-    // ─── Ports, interface defs, and exchanges ────────────────────────
-    // SysML port/interface mechanism + logical exchange, relocated here
-    // from the former logical_interfaces namespace.
-
-    abstract interface def DataInterface specializes InterfaceElement {
-        attribute interfaceKind : InterfaceKind;
-        attribute protocolSemantics : String;
-    }
-    port def DataPort {
-        attribute direction : DirectionKind;
-        attribute interfaceType : String;
-    }
-    port def SensorPort specializes DataPort { attribute sensorDomain : String; }
-    port def CommandPort specializes DataPort { attribute commandDomain : String; }
-
-    part def ComponentExchange specializes ArchitectureElement {
-        attribute exchangeKind : FlowKind;
-        attribute sourcePort : String;
-        attribute targetPort : String;
-        attribute allocatedFunctionalExchanges : String;
-        attribute direction : DirectionKind;
-        // Connection timing discipline from the source architecture
-        // (e.g. AADL Communication_Properties::Timing — immediate
-        // connections deliver in the same execution step).
-        attribute timingSemantics : String;
-    }
-    // Boundary data port of a software system (e.g. an AADL top-level
-    // data port), modeled as a first-class element so exchanges can
-    // reference it and views can render the system boundary.
-    part def SoftwarePort specializes InterfaceElement {
-        attribute portKind : InterfaceKind;
-        attribute direction : DirectionKind;
-        attribute dataTypeName : String;
-    }
-}

package/src/architecture/logical_structure/memo_logical_structure.sysml

@@ -1,10 +0,0 @@
-package memo_architecture_logical_structure {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    part def LogicalComponent specializes ArchitectureElement {
-        attribute responsibility : String;
-        attribute decompositionLevel : String;
-        attribute safetyPartition : String;
-    }
-}

package/src/architecture/operational/memo_operational.sysml

@@ -1,51 +0,0 @@
-package memo_architecture_operational {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-    private import memo_core_relationships::*;
-    part def OperationalEntity specializes ArchitectureElement {
-        attribute entityKind : OperationalEntityKind;
-        attribute operationalDomain : String;
-        attribute responsibility : String;
-    }
-    part def OperationalActivity specializes ArchitectureElement {
-        attribute trigger : String;
-        attribute preCondition : String;
-        attribute postCondition : String;
-        attribute criticality : CriticalityKind;
-    }
-    part def OperationalCapability specializes ArchitectureElement {
-        attribute capabilityLevel : String;
-        attribute preCondition : String;
-        attribute postCondition : String;
-    }
-    part def OperationalScenario specializes TraceableElement {
-        attribute scenarioKind : ScenarioKind;
-        attribute preCondition : String;
-        attribute postCondition : String;
-        attribute sequenceDescription : String;
-    }
-    part def OperationalInteraction specializes ArchitectureElement {
-        attribute exchangeKind : FlowKind;
-        attribute direction : DirectionKind;
-        attribute latencyConstraint : String;
-    }
-
-    connection def Performs :> SemanticLink {
-        end entity : OperationalEntity;
-        end activity : OperationalActivity;
-    }
-    connection def ContributesToCapability :> SemanticLink {
-        end activity : OperationalActivity;
-        end capability : OperationalCapability;
-    }
-    connection def SequencesStep :> SemanticLink {
-        end activity : OperationalActivity;
-        end nextActivity : OperationalActivity;
-    }
-    connection def DerivesSystemNeed :> SemanticLink {
-        end activity : OperationalActivity;
-        end systemNeed : VerifiableElement;
-    }
-}

package/src/architecture/software_structure/memo_software_structure.sysml

@@ -1,44 +0,0 @@
-package memo_architecture_software_structure {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-    part def SoftwareSystem specializes ArchitectureElement {
-        attribute version : String;
-        attribute lifecycleState : LifecycleStateKind;
-        attribute safetyClass : SafetyClassKind;
-        attribute complexity : ComplexityKind;
-        attribute operatingSystem : String;
-    }
-    part def SoftwareComponent specializes ArchitectureElement {
-        attribute responsibility : String;
-        attribute safetyClass : SafetyClassKind;
-        attribute complexity : ComplexityKind;
-        attribute periodMs : Real;
-        attribute deadlineMs : Real;
-        attribute wcetMs : Real;
-        attribute schedulingPolicy : SchedulingPolicyKind;
-    }
-    part def SoftwareItem specializes SoftwareComponent {
-        attribute softwareItemKind : String;
-        attribute iec62304Role : String;
-    }
-    part def FirmwareItem specializes SoftwareItem {
-        attribute firmwareTarget : String;
-        attribute updateMechanism : String;
-    }
-    part def SOUPComponent specializes SoftwareComponent {
-        attribute soupVersion : String;
-        attribute soupVendor : String;
-        attribute knownAnomalies : String;
-        attribute riskAcceptance : String;
-        attribute classification : SOUPClassificationKind;
-    }
-    item def SBOMEntry specializes TraceableElement {
-        attribute componentName : String;
-        attribute version : String;
-        attribute supplier : String;
-        attribute license : String;
-        attribute hash : String;
-    }
-}

package/src/architecture/system/memo_system_analysis.sysml

@@ -1,54 +0,0 @@
-package memo_architecture_system {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-    private import memo_core_relationships::*;
-    private import memo_architecture_functions::*;
-    part def SystemCapability specializes ArchitectureElement {
-        attribute capabilityKind : String;
-        attribute primaryFunction : String;
-        attribute safetyRelevant : Boolean;
-    }
-    part def FunctionalChain specializes ArchitectureElement {
-        attribute chainKind : FunctionalChainKind;
-        attribute startFunction : String;
-        attribute endFunction : String;
-        attribute endToEndLatencyBudgetMs : String;
-        attribute safetyRelevant : Boolean;
-        attribute securityRelevant : Boolean;
-    }
-    part def FunctionalChainStep specializes TraceableElement {
-        attribute stepOrder : String;
-        attribute allocatedFunction : String;
-        attribute exchangeItem : String;
-    }
-    part def SystemScenario specializes TraceableElement {
-        attribute scenarioKind : ScenarioKind;
-        attribute sequenceDiagramRef : String;
-        attribute precondition : String;
-        attribute postcondition : String;
-    }
-    part def Mission specializes DocumentedElement {
-        attribute missionKind : String;
-        attribute successCriteria : String;
-        attribute operationalContext : String;
-    }
-
-    connection def RealizesCapability :> SemanticLink {
-        end functionalChain : FunctionalChain;
-        end capability : SystemCapability;
-    }
-    connection def IncludesStep :> SemanticLink {
-        end functionalChain : FunctionalChain;
-        end step : FunctionalChainStep;
-    }
-    connection def InvolvesFunction :> SemanticLink {
-        end functionalChain : FunctionalChain;
-        end function : LogicalFunction;
-    }
-    connection def RealizesScenario :> SemanticLink {
-        end functionalChain : FunctionalChain;
-        end scenario : SystemScenario;
-    }
-}

package/src/artifacts/clinical_safety_report.sysml

@@ -1,12 +0,0 @@
-package memo_artifacts_clinical_safety_report {
-    private import ScalarValues::*;
-
-            private import memo_artifacts_definitions::*;
-            private import memo_core_enumerations::*;
-
-            part def ClinicalSafetyReport specializes ArtifactKindDef {
-    attribute :>> documentTitle = "Clinical Safety Report";
-    attribute :>> regulatoryRef = "ISO 14971:2019 §10";
-    attribute :>> artifactKind = ArtifactKind::clinicalSafetyReport;
-            }
-}

package/src/artifacts/cybersecurity_assessment_report.sysml

@@ -1,12 +0,0 @@
-package memo_artifacts_cybersecurity_assessment_report {
-    private import ScalarValues::*;
-
-            private import memo_artifacts_definitions::*;
-            private import memo_core_enumerations::*;
-
-            part def CybersecurityAssessmentReport specializes ArtifactKindDef {
-    attribute :>> documentTitle = "Cybersecurity Risk Assessment";
-    attribute :>> regulatoryRef = "FDA Cybersecurity Guidance";
-    attribute :>> artifactKind = ArtifactKind::cybersecurityAssessment;
-            }
-}

package/src/artifacts/design_change_log.sysml

@@ -1,12 +0,0 @@
-package memo_artifacts_design_change_log {
-    private import ScalarValues::*;
-
-            private import memo_artifacts_definitions::*;
-            private import memo_core_enumerations::*;
-
-            part def DesignChangeLog specializes ArtifactKindDef {
-    attribute :>> documentTitle = "Design Change Log";
-    attribute :>> regulatoryRef = "ISO 13485:2016 §7.3.9";
-    attribute :>> artifactKind = ArtifactKind::designChangeLog;
-            }
-}

package/src/artifacts/design_history_file_index.sysml

@@ -1,12 +0,0 @@
-package memo_artifacts_design_history_file_index {
-    private import ScalarValues::*;
-
-            private import memo_artifacts_definitions::*;
-            private import memo_core_enumerations::*;
-
-            part def DesignHistoryFileIndex specializes ArtifactKindDef {
-    attribute :>> documentTitle = "Design History File Index";
-    attribute :>> regulatoryRef = "ISO 13485:2016 §4.2.4 / 21 CFR 820.30";
-    attribute :>> artifactKind = ArtifactKind::designHistoryFileIndex;
-            }
-}

package/src/artifacts/design_input_plan.sysml

@@ -1,12 +0,0 @@
-package memo_artifacts_design_input_plan {
-    private import ScalarValues::*;
-
-            private import memo_artifacts_definitions::*;
-            private import memo_core_enumerations::*;
-
-            part def DesignInputPlan specializes ArtifactKindDef {
-    attribute :>> documentTitle = "Design Input Plan";
-    attribute :>> regulatoryRef = "ISO 13485:2016 §7.3.3";
-    attribute :>> artifactKind = ArtifactKind::designInputPlan;
-            }
-}

package/src/artifacts/design_output_plan.sysml

@@ -1,12 +0,0 @@
-package memo_artifacts_design_output_plan {
-    private import ScalarValues::*;
-
-            private import memo_artifacts_definitions::*;
-            private import memo_core_enumerations::*;
-
-            part def DesignOutputPlan specializes ArtifactKindDef {
-    attribute :>> documentTitle = "Design Output Plan";
-    attribute :>> regulatoryRef = "ISO 13485:2016 §7.3.4";
-    attribute :>> artifactKind = ArtifactKind::designOutputPlan;
-            }
-}