@memoarchitect/ontology 0.7.0 → 0.8.24

package/README.md

@@ -23,7 +23,7 @@ pin an exact release; the package has no repository or runtime dependency on Mem
 Tools or Memo Architect.
 
 ```bash
-pnpm add @memoarchitect/ontology@0.7.0
+pnpm add @memoarchitect/ontology@0.8.24
 ```
 
 > **Pre-1.0 notice:** ontology names, relationships, and package layout may
@@ -82,7 +82,9 @@ src/                         all reusable .sysml content (namespace = directory)
   rules/                         closure/ coverage/ crosslayer/ lifecycle/ quantitative/ (native constraint defs)
   artifacts/                     artifact kinds (memo::artifacts)
   methodology/                   default methodology
-examples/extensions/             optional domain modules selected by methodology
+extensions/                      reusable ontology packages that specialize the base
+                                 (aadl/ clinical/ cloud/ container/ messaging/ ros/ template/),
+                                 selected by a methodology or a project binding
 ```
 
 ## Build / verify

package/examples/connected-patient-monitor/memo.package.yaml

@@ -0,0 +1,3 @@
+name: connected-patient-monitor
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/connected-patient-monitor/model/catalog/connected_patient_monitor.sysml

@@ -61,7 +61,7 @@ package memo_examples_connected_patient_monitor {
         attribute :>> securityCriticality = CriticalityKind::high;
         attribute :>> patientContactInterface = false;
     }
-    item tbHospitalEdge : TrustBoundary {
+    part tbHospitalEdge : TrustBoundary {
         attribute :>> id = "CPM-TB-001"; attribute :>> name = "DeviceLanToHospitalNetwork";
     }
     connection : CrossesTrustBoundary connect boundary ::> tbHospitalEdge to crossingItem ::> ifHl7Feed {

package/examples/connected-patient-monitor/model/catalog/viewpoints/unassigned/views/connected_patient_monitor_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_connected_patient_monitor_viewpoints_unassigned_views_conn
     private import memo_examples_connected_patient_monitor::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view connectedPatientMonitorOverview : MemoDiagramView { expose memo_examples_connected_patient_monitor::*; attribute depth = 2; attribute :>> title = "Connected Patient Monitor Overview"; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
+    view connectedPatientMonitorOverview : MemoDiagramView { expose memo_examples_connected_patient_monitor::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
 }

package/examples/embedded-infusion-pump/memo.package.yaml

@@ -0,0 +1,3 @@
+name: embedded-infusion-pump
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/embedded-infusion-pump/model/catalog/embedded_infusion_pump.sysml

@@ -1,9 +1,10 @@
 // Focused example: embedded programmable device — the three software views
 // (module / runtime / deployment) on a minimal infusion pump.
-// SoftwareItem buildsInto DeploymentUnit deploysTo ProcessingNode;
+// SoftwareElement buildsInto SoftwareDeploymentUnit deploysTo ProcessingNode;
 // SoftwareComponent hostedBy ProcessingNode with scheduling properties.
 package memo_examples_embedded_infusion_pump {
     private import ScalarValues::*;
+    private import ModelingMetadata::*;
 
     private import memo_core_enumerations::*;
     private import memo_core_relationships::*;
@@ -25,7 +26,7 @@ package memo_examples_embedded_infusion_pump {
         attribute :>> implementationLanguage = "C";
         attribute :>> safetyClass = SafetyClassKind::C;
     }
-    connection : Realizes connect realizing ::> swMotorDriver to realized ::> swInfusionControl;
+    #refinement dependency swMotorDriver to swInfusionControl;
 
     // Runtime view.
     part rtControlLoop : SoftwareComponent {
@@ -34,14 +35,15 @@ package memo_examples_embedded_infusion_pump {
         attribute :>> periodMs = 10.0;
         attribute :>> deadlineMs = 10.0;
         attribute :>> wcetMs = 2.5;
+        attribute :>> memoryBudget = 96.0;
         attribute :>> schedulingPolicy = SchedulingPolicyKind::rateMonotonic;
         attribute :>> restartPolicy = "watchdog reset to safe state (pump stopped)";
         attribute :>> faultContainment = "MPU-protected region; safe-state on overrun";
     }
-    connection : Realizes connect realizing ::> rtControlLoop to realized ::> swInfusionControl;
+    #refinement dependency rtControlLoop to swInfusionControl;
 
     // Deployment view.
-    part duControlImage : DeploymentUnit {
+    part duControlImage : SoftwareDeploymentUnit {
         attribute :>> id = "EIP-DU-001"; attribute :>> name = "ControlFirmwareImage";
         attribute :>> unitKind = "signed firmware image";
         attribute :>> version = "3.1.0";
@@ -57,8 +59,8 @@ package memo_examples_embedded_infusion_pump {
         attribute :>> id = "EIP-RTE-001"; attribute :>> name = "StaticRTOS";
         attribute :>> osOrRtos = "static-priority RTOS, no dynamic allocation";
     }
-    connection : BuildsInto connect module ::> swInfusionControl to deploymentUnit ::> duControlImage;
-    connection : DeploysTo connect deploymentUnit ::> duControlImage to node ::> mcuSafety {
+    allocation swInfusionControlBuild : BuildsInto allocate swInfusionControl to duControlImage;
+    allocation duControlImageDeployment : DeploysTo allocate duControlImage to mcuSafety {
         attribute :>> deploymentKind = DeploymentKind::embedded;
     }
     connection : HostedBy connect hostAssembly ::> mcuSafety to processingNode ::> rtControlLoop;

package/examples/embedded-infusion-pump/model/catalog/viewpoints/unassigned/views/embedded_infusion_pump_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_embedded_infusion_pump_viewpoints_unassigned_views_embedde
     private import memo_examples_embedded_infusion_pump::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view embeddedInfusionPumpOverview : MemoDiagramView { expose memo_examples_embedded_infusion_pump::*; attribute depth = 2; attribute :>> title = "Embedded Infusion Pump Overview"; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
+    view embeddedInfusionPumpOverview : MemoDiagramView { expose memo_examples_embedded_infusion_pump::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
 }

package/examples/functional-logical-physical/memo.package.yaml

@@ -0,0 +1,3 @@
+name: functional-logical-physical
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/functional-logical-physical/model/catalog/functional_logical_physical.sysml

@@ -4,6 +4,7 @@
 // graph, and no layer is a mandatory pipeline stage.
 package memo_examples_functional_logical_physical {
     private import ScalarValues::*;
+    private import ModelingMetadata::*;
 
     private import memo_core_enumerations::*;
     private import memo_core_relationships::*;
@@ -14,13 +15,13 @@ package memo_examples_functional_logical_physical {
     private import memo_architecture_implementation_hardware_structure::*;
 
     // Operational world: what the clinician does.
-    action actOcclusionResponse : OperationalActivity {
+    action actOcclusionResponse : OperativeAction {
         attribute :>> id = "FLP-ACT-001"; attribute :>> name = "RespondToLineOcclusion";
         attribute :>> criticality = CriticalityKind::high;
     }
 
     // Functional: technology-independent responsibility.
-    part fnLimitLinePressure : SystemFunction {
+    action fnLimitLinePressure : SystemFunction {
         attribute :>> id = "FLP-FN-001"; attribute :>> name = "LimitLinePressure";
         attribute :>> criticality = CriticalityKind::high;
     }
@@ -31,8 +32,7 @@ package memo_examples_functional_logical_physical {
         attribute :>> id = "FLP-LC-001"; attribute :>> name = "PressureProtectionElement";
         attribute :>> controlledVariable = "line pressure";
     }
-    connection : AllocatedTo connect function ::> fnLimitLinePressure to allocatedElement ::> lcPressureProtection;
-
+    allocate fnLimitLinePressure to lcPressureProtection;
     // Implementation: the SAME logical element is realized by software
     // (pressure-limit supervision) AND mechanics (mechanical relief valve).
     part swPressureSupervisor : SoftwareModule {
@@ -45,6 +45,6 @@ package memo_examples_functional_logical_physical {
         attribute :>> mechanicalFunction = "vents line pressure above mechanical set point, independent of software";
         attribute :>> patientContact = false;
     }
-    connection : Realizes connect realizing ::> swPressureSupervisor to realized ::> lcPressureProtection;
-    connection : Realizes connect realizing ::> mechReliefValve to realized ::> lcPressureProtection;
+    #refinement dependency swPressureSupervisor to lcPressureProtection;
+    #refinement dependency mechReliefValve to lcPressureProtection;
 }

package/examples/functional-logical-physical/model/catalog/viewpoints/unassigned/views/functional_logical_physical_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_functional_logical_physical_viewpoints_unassigned_views_fu
     private import memo_examples_functional_logical_physical::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view functionalLogicalPhysicalOverview : MemoDiagramView { expose memo_examples_functional_logical_physical::*; attribute depth = 2; attribute :>> title = "Function to Physical Realization"; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
+    view functionalLogicalPhysicalOverview : MemoDiagramView { expose memo_examples_functional_logical_physical::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
 }

package/examples/gpca-pump/memo.package.yaml

@@ -0,0 +1,3 @@
+name: gpca-pump
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/gpca-pump/model/catalog/gpca_analysis.sysml

@@ -18,8 +18,10 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> id = "FM-001";
         attribute :>> name = "PumpMotorRunaway";
         attribute :>> failureModeKind = FailureModeKind::unintendedFunction;
+        attribute :>> effect = "Excess drug delivered to the patient beyond the prescribed rate.";
         attribute :>> severityRating = 10;
         attribute :>> occurrenceRating = 2;
+        attribute :>> probability = ProbabilityKind::improbable;
         attribute :>> detectionRating = 3;
         attribute :>> rpn = 60;
         attribute :>> criticality = CriticalityKind::catastrophic;
@@ -29,8 +31,10 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> id = "FM-002";
         attribute :>> name = "AirSensorFailsSilent";
         attribute :>> failureModeKind = FailureModeKind::lossOfFunction;
+        attribute :>> effect = "Air embolism reaches the patient undetected.";
         attribute :>> severityRating = 10;
         attribute :>> occurrenceRating = 3;
+        attribute :>> probability = ProbabilityKind::remote;
         attribute :>> detectionRating = 4;
         attribute :>> rpn = 120;
         attribute :>> criticality = CriticalityKind::catastrophic;
@@ -40,8 +44,10 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> id = "FM-003";
         attribute :>> name = "OcclusionSensorDrift";
         attribute :>> failureModeKind = FailureModeKind::degradedFunction;
+        attribute :>> effect = "Occluded line is detected late or not at all, interrupting therapy.";
         attribute :>> severityRating = 7;
         attribute :>> occurrenceRating = 4;
+        attribute :>> probability = ProbabilityKind::occasional;
         attribute :>> detectionRating = 4;
         attribute :>> rpn = 112;
         attribute :>> criticality = CriticalityKind::high;
@@ -51,8 +57,10 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> id = "FM-004";
         attribute :>> name = "BolusButtonStuckClosed";
         attribute :>> failureModeKind = FailureModeKind::unintendedFunction;
+        attribute :>> effect = "Repeated unrequested boluses are delivered.";
         attribute :>> severityRating = 9;
         attribute :>> occurrenceRating = 3;
+        attribute :>> probability = ProbabilityKind::remote;
         attribute :>> detectionRating = 2;
         attribute :>> rpn = 54;
         attribute :>> criticality = CriticalityKind::high;
@@ -62,8 +70,10 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> id = "FM-005";
         attribute :>> name = "BatteryDepletesEarly";
         attribute :>> failureModeKind = FailureModeKind::prematureFunction;
+        attribute :>> effect = "Pump loses power during transport, stopping therapy.";
         attribute :>> severityRating = 6;
         attribute :>> occurrenceRating = 4;
+        attribute :>> probability = ProbabilityKind::occasional;
         attribute :>> detectionRating = 3;
         attribute :>> rpn = 72;
         attribute :>> criticality = CriticalityKind::medium;
@@ -161,13 +171,13 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> cutSetSummary = "All minimal cut sets are order 2 or higher after mitigation";
         attribute :>> revisionDate = "2026-07-03";
     }
-    part fteOverdoseTop : FaultTreeEvent {
+    part fteOverdoseTop : FaultTreeNode {
         attribute :>> id = "FTE-001";
         attribute :>> name = "ExcessDrugDeliveredTopEvent";
         attribute :>> eventKind = FaultTreeEventKind::topEvent;
         attribute :>> description = "Delivered volume exceeds prescribed limits";
     }
-    part fteMotorRunaway : FaultTreeEvent {
+    part fteMotorRunaway : FaultTreeNode {
         attribute :>> id = "FTE-002";
         attribute :>> name = "MotorRunawayBasicEvent";
         attribute :>> eventKind = FaultTreeEventKind::basicEvent;
@@ -175,7 +185,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> exposureTime = 100.0;
         attribute :>> description = "Pump motor delivers faster than commanded (FM-001)";
     }
-    part fteCrossCheckFails : FaultTreeEvent {
+    part fteCrossCheckFails : FaultTreeNode {
         attribute :>> id = "FTE-003";
         attribute :>> name = "FlowCrossCheckUnavailable";
         attribute :>> eventKind = FaultTreeEventKind::basicEvent;
@@ -183,7 +193,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> exposureTime = 100.0;
         attribute :>> description = "Independent flow sensor or comparison logic fails (FM-003 family)";
     }
-    part fteLockoutFault : FaultTreeEvent {
+    part fteLockoutFault : FaultTreeNode {
         attribute :>> id = "FTE-004";
         attribute :>> name = "LockoutEnforcementFault";
         attribute :>> eventKind = FaultTreeEventKind::basicEvent;
@@ -191,7 +201,7 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> exposureTime = 100.0;
         attribute :>> description = "Infusion manager authorizes bolus despite active lockout";
     }
-    part fteStuckButtonUndetected : FaultTreeEvent {
+    part fteStuckButtonUndetected : FaultTreeNode {
         attribute :>> id = "FTE-005";
         attribute :>> name = "StuckBolusButtonUndetected";
         attribute :>> eventKind = FaultTreeEventKind::basicEvent;
@@ -199,17 +209,17 @@ package memo_examples_gpca_pump_gpca_analysis {
         attribute :>> exposureTime = 100.0;
         attribute :>> description = "Pendant stuck closed and stuck-input monitor fails (FM-004)";
     }
-    part ftgOverdoseOr : FaultTreeGate {
+    part ftgOverdoseOr : FaultTreeNode {
         attribute :>> id = "FTG-001";
         attribute :>> name = "OverdelivryPathOrGate";
         attribute :>> gateKind = FaultTreeGateKind::orGate;
     }
-    part ftgMotorAnd : FaultTreeGate {
+    part ftgMotorAnd : FaultTreeNode {
         attribute :>> id = "FTG-002";
         attribute :>> name = "MotorRunawayAndCrossCheckGate";
         attribute :>> gateKind = FaultTreeGateKind::andGate;
     }
-    part ftgBolusAnd : FaultTreeGate {
+    part ftgBolusAnd : FaultTreeNode {
         attribute :>> id = "FTG-003";
         attribute :>> name = "UnauthorizedBolusAndGate";
         attribute :>> gateKind = FaultTreeGateKind::andGate;