@memoarchitect/ontology 0.7.0 → 0.8.22

package/examples/gpca-pump/model/catalog/viewpoints/verification/views/document_vv_view.sysml

@@ -4,9 +4,11 @@ package memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view {
     private import memo_viewpoints_definitions::*;
     private import memo_viewpoints_verification_verification_viewpoint::*;
     private import memo_core_enumerations::*;
+    private import memo_examples_gpca_pump_gpca_verification::*;
 
     view vvView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view::*;
+        expose evidenceSafetyAlarmSuite;
         attribute :>> id = "DOC-006";
         attribute :>> name = "VerificationValidationView";
         attribute :>> title = "GPCA Verification and Validation View";
@@ -23,8 +25,8 @@ package memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-006";
             attribute :>> name = "vvViewQuery";
-            attribute :>> includeElementKinds = ("VerificationCase", "ValidationCase", "TestArtifact", "Evidence", "Requirement", "RiskControlMeasure");
-            attribute :>> includeRelationshipKinds = ("VerifiedBy", "Validates", "TestedByUsability", "ProducesEvidence", "IncludedIn");
+            attribute :>> includeElementKinds = ("VerificationCase", "ValidationCase", "MemoEvidence", "Requirement", "RiskControlMeasure");
+            attribute :>> includeRelationshipKinds = ("VerifiedBy", "Validates", "TestedByUsability", "ProducesEvidence");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

package/examples/gpca-pump/model/catalog/viewpoints/verification/views/verification_verification_coverage_view.sysml

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

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

@@ -3,6 +3,7 @@
 // without adding functional, logical, or software layers.
 package memo_examples_manual_surgical_instrument {
     private import ScalarValues::*;
+    private import ModelingMetadata::*;
 
     private import memo_core_enumerations::*;
     private import memo_core_relationships::*;
@@ -29,8 +30,8 @@ package memo_examples_manual_surgical_instrument {
         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;
+    #refinement dependency needleHolder to jawAssembly;
+    #refinement dependency needleHolder to ratchetLock;
 
     // A task may be traced to the architecture later when the project has a
     // specific allocation or interaction claim to make.

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

@@ -8,6 +8,7 @@
 // through relationships.
 package memo_examples_multidimensional_layers {
     private import ScalarValues::*;
+    private import ModelingMetadata::*;
 
     private import memo_core_enumerations::*;
     private import memo_core_dimensions::*;
@@ -37,15 +38,18 @@ package memo_examples_multidimensional_layers {
         attribute :>> periodMs = 50.0;
         attribute :>> deadlineMs = 50.0;
         attribute :>> wcetMs = 8.0;
+        attribute :>> memoryBudget = 64.0;
         attribute :>> schedulingPolicy = SchedulingPolicyKind::fixedPriorityPreemptive;
         attribute :>> realizationStage = RealizationStageKind::deployed;
     }
-    connection : Realizes connect realizing ::> doseLimitCheckerRuntime to realized ::> doseLimitChecker;
+    #refinement dependency doseLimitCheckerRuntime to 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";
+
+        subject verified : Base::Anything[*] = (doseLimitChecker);
     }
-    connection : VerifiedBy connect verificationTarget ::> doseLimitChecker to verificationCase ::> vcLimitEnforcement;
+
 }

package/examples/nested-architecture-dsm/model/catalog/architecture/functional/functions.sysml

@@ -1,174 +1,179 @@
 // Functional architecture — the row axis of the DSM.
 //
-// Four capability trees, each decomposed with Composes, plus the functional
+// Four capability trees, each a native containment tree, plus the functional
 // exchanges between the leaves. The exchanges are deliberately not a clean
 // pipeline: DriveActuator and MeasureDeliveredVolume feed each other, so a
 // partitioned DSM still shows one genuine feedback mark instead of an empty
 // lower triangle.
 package memo_examples_nested_architecture_dsm_architecture_functional_functions {
+    private import memo_examples_nested_architecture_dsm_assurance_requirements::*;
     private import ScalarValues::*;
 
     private import memo_core_enumerations::*;
     private import memo_core_relationships::*;
     private import memo_architecture_functional_functions::*;
+    private import memo_architecture_operational_context_use_context::*;
 
     // ── Deliver therapy ──────────────────────────────────────────
-    part fnDeliverTherapy : SystemFunction {
+    action fnDeliverTherapy : SystemFunction {
         attribute :>> id = "NDS-FN-001"; attribute :>> name = "DeliverTherapy";
         attribute :>> functionCategory = "therapy";
         attribute :>> criticality = CriticalityKind::catastrophic;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> outputSummary = "fluid delivered to the patient line at the prescribed rate";
+
+        action fnMeterFluid : SystemFunction {
+            attribute :>> id = "NDS-FN-002"; attribute :>> name = "MeterFluid";
+            attribute :>> functionCategory = "therapy";
+            attribute :>> criticality = CriticalityKind::catastrophic;
+            attribute :>> concernKind = ConcernKind::safety;
+            attribute :>> outputSummary = "measured volume displaced per control period";
+
+            action fnDriveActuator : SystemFunction {
+                attribute :>> id = "NDS-FN-003"; attribute :>> name = "DriveActuator";
+                attribute :>> functionCategory = "therapy";
+                attribute :>> criticality = CriticalityKind::catastrophic;
+                attribute :>> trigger = "rate command from the dose control loop";
+                attribute :>> concernKind = ConcernKind::safety;
+            }
+            action fnMeasureDelivered : SystemFunction {
+                attribute :>> id = "NDS-FN-004"; attribute :>> name = "MeasureDeliveredVolume";
+                attribute :>> functionCategory = "therapy";
+                attribute :>> criticality = CriticalityKind::high;
+                attribute :>> concernKind = ConcernKind::safety;
+                attribute :>> outputSummary = "cumulative delivered volume";
+            }
+        }
+        action fnControlDose : SystemFunction {
+            attribute :>> id = "NDS-FN-005"; attribute :>> name = "ControlDose";
+            attribute :>> functionCategory = "therapy";
+            attribute :>> criticality = CriticalityKind::catastrophic;
+            attribute :>> concernKind = ConcernKind::safety;
+
+            action fnComputeRate : SystemFunction {
+                attribute :>> id = "NDS-FN-006"; attribute :>> name = "ComputeInfusionRate";
+                attribute :>> functionCategory = "therapy";
+                attribute :>> criticality = CriticalityKind::catastrophic;
+                attribute :>> concernKind = ConcernKind::safety;
+                attribute :>> outputSummary = "rate command, saturated at the prescribed ceiling";
+            }
+            action fnValidatePrescription : SystemFunction {
+                attribute :>> id = "NDS-FN-007"; attribute :>> name = "ValidatePrescription";
+                attribute :>> functionCategory = "therapy";
+                attribute :>> criticality = CriticalityKind::high;
+                attribute :>> concernKind = ConcernKind::clinical;
+                attribute :>> outputSummary = "accepted or rejected prescription, with the reason";
+            }
+        }
     }
-    part fnMeterFluid : SystemFunction {
-        attribute :>> id = "NDS-FN-002"; attribute :>> name = "MeterFluid";
-        attribute :>> functionCategory = "therapy";
-        attribute :>> criticality = CriticalityKind::catastrophic;
-        attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> outputSummary = "measured volume displaced per control period";
-    }
-    part fnDriveActuator : SystemFunction {
-        attribute :>> id = "NDS-FN-003"; attribute :>> name = "DriveActuator";
-        attribute :>> functionCategory = "therapy";
-        attribute :>> criticality = CriticalityKind::catastrophic;
-        attribute :>> trigger = "rate command from the dose control loop";
-        attribute :>> concernKind = ConcernKind::safety;
-    }
-    part fnMeasureDelivered : SystemFunction {
-        attribute :>> id = "NDS-FN-004"; attribute :>> name = "MeasureDeliveredVolume";
-        attribute :>> functionCategory = "therapy";
-        attribute :>> criticality = CriticalityKind::high;
-        attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> outputSummary = "cumulative delivered volume";
-    }
-    part fnControlDose : SystemFunction {
-        attribute :>> id = "NDS-FN-005"; attribute :>> name = "ControlDose";
-        attribute :>> functionCategory = "therapy";
-        attribute :>> criticality = CriticalityKind::catastrophic;
-        attribute :>> concernKind = ConcernKind::safety;
-    }
-    part fnComputeRate : SystemFunction {
-        attribute :>> id = "NDS-FN-006"; attribute :>> name = "ComputeInfusionRate";
-        attribute :>> functionCategory = "therapy";
-        attribute :>> criticality = CriticalityKind::catastrophic;
-        attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> outputSummary = "rate command, saturated at the prescribed ceiling";
-    }
-    part fnValidatePrescription : SystemFunction {
-        attribute :>> id = "NDS-FN-007"; attribute :>> name = "ValidatePrescription";
-        attribute :>> functionCategory = "therapy";
-        attribute :>> criticality = CriticalityKind::high;
-        attribute :>> concernKind = ConcernKind::clinical;
-        attribute :>> outputSummary = "accepted or rejected prescription, with the reason";
-    }
-    connection : Composes connect parent ::> fnDeliverTherapy to child ::> fnMeterFluid;
-    connection : Composes connect parent ::> fnDeliverTherapy to child ::> fnControlDose;
-    connection : Composes connect parent ::> fnMeterFluid to child ::> fnDriveActuator;
-    connection : Composes connect parent ::> fnMeterFluid to child ::> fnMeasureDelivered;
-    connection : Composes connect parent ::> fnControlDose to child ::> fnComputeRate;
-    connection : Composes connect parent ::> fnControlDose to child ::> fnValidatePrescription;
 
     // ── Ensure safety ────────────────────────────────────────────
-    part fnEnsureSafety : SystemFunction {
+    action fnEnsureSafety : SystemFunction {
         attribute :>> id = "NDS-FN-008"; attribute :>> name = "EnsureSafety";
         attribute :>> functionCategory = "protection";
         attribute :>> criticality = CriticalityKind::catastrophic;
         attribute :>> concernKind = ConcernKind::safety;
+
+        action fnDetectOcclusion : SystemFunction {
+            attribute :>> id = "NDS-FN-009"; attribute :>> name = "DetectOcclusion";
+            attribute :>> functionCategory = "protection";
+            attribute :>> criticality = CriticalityKind::catastrophic;
+            attribute :>> trigger = "line pressure above the occlusion threshold";
+            attribute :>> concernKind = ConcernKind::safety;
+        }
+        action fnDetectAirInLine : SystemFunction {
+            attribute :>> id = "NDS-FN-010"; attribute :>> name = "DetectAirInLine";
+            attribute :>> functionCategory = "protection";
+            attribute :>> criticality = CriticalityKind::catastrophic;
+            attribute :>> trigger = "air bolus detected in the patient line";
+            attribute :>> concernKind = ConcernKind::safety;
+        }
+        action fnEnforceDoseLimits : SystemFunction {
+            attribute :>> id = "NDS-FN-011"; attribute :>> name = "EnforceDoseLimits";
+            attribute :>> functionCategory = "protection";
+            attribute :>> criticality = CriticalityKind::catastrophic;
+            attribute :>> concernKind = ConcernKind::safety;
+            attribute :>> outputSummary = "delivery stopped when the commanded dose leaves the accepted envelope";
+        }
     }
-    part fnDetectOcclusion : SystemFunction {
-        attribute :>> id = "NDS-FN-009"; attribute :>> name = "DetectOcclusion";
-        attribute :>> functionCategory = "protection";
-        attribute :>> criticality = CriticalityKind::catastrophic;
-        attribute :>> trigger = "line pressure above the occlusion threshold";
-        attribute :>> concernKind = ConcernKind::safety;
-    }
-    part fnDetectAirInLine : SystemFunction {
-        attribute :>> id = "NDS-FN-010"; attribute :>> name = "DetectAirInLine";
-        attribute :>> functionCategory = "protection";
-        attribute :>> criticality = CriticalityKind::catastrophic;
-        attribute :>> trigger = "air bolus detected in the patient line";
-        attribute :>> concernKind = ConcernKind::safety;
-    }
-    part fnEnforceDoseLimits : SystemFunction {
-        attribute :>> id = "NDS-FN-011"; attribute :>> name = "EnforceDoseLimits";
-        attribute :>> functionCategory = "protection";
-        attribute :>> criticality = CriticalityKind::catastrophic;
-        attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> outputSummary = "delivery stopped when the commanded dose leaves the accepted envelope";
-    }
-    connection : Composes connect parent ::> fnEnsureSafety to child ::> fnDetectOcclusion;
-    connection : Composes connect parent ::> fnEnsureSafety to child ::> fnDetectAirInLine;
-    connection : Composes connect parent ::> fnEnsureSafety to child ::> fnEnforceDoseLimits;
 
     // ── Inform the user ──────────────────────────────────────────
-    part fnInformUser : SystemFunction {
+    action fnInformUser : SystemFunction {
         attribute :>> id = "NDS-FN-012"; attribute :>> name = "InformUser";
         attribute :>> functionCategory = "interaction";
         attribute :>> criticality = CriticalityKind::high;
         attribute :>> concernKind = ConcernKind::usability;
+
+        action fnRenderStatus : SystemFunction {
+            attribute :>> id = "NDS-FN-013"; attribute :>> name = "RenderTherapyStatus";
+            attribute :>> functionCategory = "interaction";
+            attribute :>> criticality = CriticalityKind::high;
+            attribute :>> concernKind = ConcernKind::usability;
+            attribute :>> outputSummary = "rate, volume delivered and time remaining";
+        }
+        action fnAnnunciateAlarm : SystemFunction {
+            attribute :>> id = "NDS-FN-014"; attribute :>> name = "AnnunciateAlarm";
+            attribute :>> functionCategory = "interaction";
+            attribute :>> criticality = CriticalityKind::catastrophic;
+            attribute :>> trigger = "any active alarm condition";
+            attribute :>> concernKind = ConcernKind::safety;
+        }
+        action fnAcceptInput : SystemFunction {
+            attribute :>> id = "NDS-FN-015"; attribute :>> name = "AcceptClinicianInput";
+            attribute :>> functionCategory = "interaction";
+            attribute :>> criticality = CriticalityKind::high;
+            attribute :>> concernKind = ConcernKind::usability;
+            attribute :>> outputSummary = "confirmed prescription changes";
+        }
     }
-    part fnRenderStatus : SystemFunction {
-        attribute :>> id = "NDS-FN-013"; attribute :>> name = "RenderTherapyStatus";
-        attribute :>> functionCategory = "interaction";
-        attribute :>> criticality = CriticalityKind::high;
-        attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> outputSummary = "rate, volume delivered and time remaining";
-    }
-    part fnAnnunciateAlarm : SystemFunction {
-        attribute :>> id = "NDS-FN-014"; attribute :>> name = "AnnunciateAlarm";
-        attribute :>> functionCategory = "interaction";
-        attribute :>> criticality = CriticalityKind::catastrophic;
-        attribute :>> trigger = "any active alarm condition";
-        attribute :>> concernKind = ConcernKind::safety;
-    }
-    part fnAcceptInput : SystemFunction {
-        attribute :>> id = "NDS-FN-015"; attribute :>> name = "AcceptClinicianInput";
-        attribute :>> functionCategory = "interaction";
-        attribute :>> criticality = CriticalityKind::high;
-        attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> outputSummary = "confirmed prescription changes";
-    }
-    connection : Composes connect parent ::> fnInformUser to child ::> fnRenderStatus;
-    connection : Composes connect parent ::> fnInformUser to child ::> fnAnnunciateAlarm;
-    connection : Composes connect parent ::> fnInformUser to child ::> fnAcceptInput;
 
     // ── Manage power ─────────────────────────────────────────────
-    part fnManagePower : SystemFunction {
+    action fnManagePower : SystemFunction {
         attribute :>> id = "NDS-FN-016"; attribute :>> name = "ManagePower";
         attribute :>> functionCategory = "platform";
         attribute :>> criticality = CriticalityKind::high;
         attribute :>> concernKind = ConcernKind::reliability;
+
+        action fnMonitorBattery : SystemFunction {
+            attribute :>> id = "NDS-FN-017"; attribute :>> name = "MonitorBatteryState";
+            attribute :>> functionCategory = "platform";
+            attribute :>> criticality = CriticalityKind::high;
+            attribute :>> concernKind = ConcernKind::reliability;
+            attribute :>> outputSummary = "state of charge and remaining run time";
+        }
+        action fnSelectPowerSource : SystemFunction {
+            attribute :>> id = "NDS-FN-018"; attribute :>> name = "SelectPowerSource";
+            attribute :>> functionCategory = "platform";
+            attribute :>> criticality = CriticalityKind::high;
+            attribute :>> trigger = "mains loss or rail brownout";
+            attribute :>> concernKind = ConcernKind::reliability;
+        }
     }
-    part fnMonitorBattery : SystemFunction {
-        attribute :>> id = "NDS-FN-017"; attribute :>> name = "MonitorBatteryState";
-        attribute :>> functionCategory = "platform";
-        attribute :>> criticality = CriticalityKind::high;
-        attribute :>> concernKind = ConcernKind::reliability;
-        attribute :>> outputSummary = "state of charge and remaining run time";
-    }
-    part fnSelectPowerSource : SystemFunction {
-        attribute :>> id = "NDS-FN-018"; attribute :>> name = "SelectPowerSource";
-        attribute :>> functionCategory = "platform";
-        attribute :>> criticality = CriticalityKind::high;
-        attribute :>> trigger = "mains loss or rail brownout";
-        attribute :>> concernKind = ConcernKind::reliability;
-    }
-    connection : Composes connect parent ::> fnManagePower to child ::> fnMonitorBattery;
-    connection : Composes connect parent ::> fnManagePower to child ::> fnSelectPowerSource;
 
     // ── Functional exchange ──────────────────────────────────────
     // Cross-tree marks are the interesting ones: they are what a collapsed DSM
     // rolls up into a single number between two capabilities.
-    connection : ExchangesWith connect source ::> fnMeasureDelivered to target ::> fnComputeRate;
-    connection : ExchangesWith connect source ::> fnComputeRate to target ::> fnDriveActuator;
-    connection : ExchangesWith connect source ::> fnDriveActuator to target ::> fnMeasureDelivered;
-    connection : ExchangesWith connect source ::> fnValidatePrescription to target ::> fnComputeRate;
-    connection : ExchangesWith connect source ::> fnAcceptInput to target ::> fnValidatePrescription;
-    connection : ExchangesWith connect source ::> fnDetectOcclusion to target ::> fnEnforceDoseLimits;
-    connection : ExchangesWith connect source ::> fnDetectAirInLine to target ::> fnAnnunciateAlarm;
-    connection : ExchangesWith connect source ::> fnEnforceDoseLimits to target ::> fnDriveActuator;
-    connection : ExchangesWith connect source ::> fnMeasureDelivered to target ::> fnRenderStatus;
-    connection : ExchangesWith connect source ::> fnMonitorBattery to target ::> fnAnnunciateAlarm;
-    connection : ExchangesWith connect source ::> fnSelectPowerSource to target ::> fnDriveActuator;
-    connection : ExchangesWith connect source ::> fnDetectOcclusion to target ::> fnAnnunciateAlarm;
+    flow from fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered to fnDeliverTherapy.fnControlDose.fnComputeRate;
+    flow from fnDeliverTherapy.fnControlDose.fnComputeRate to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
+    flow from fnDeliverTherapy.fnMeterFluid.fnDriveActuator to fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered;
+    flow from fnDeliverTherapy.fnControlDose.fnValidatePrescription to fnDeliverTherapy.fnControlDose.fnComputeRate;
+    flow from fnInformUser.fnAcceptInput to fnDeliverTherapy.fnControlDose.fnValidatePrescription;
+    flow from fnEnsureSafety.fnDetectOcclusion to fnEnsureSafety.fnEnforceDoseLimits;
+    flow from fnEnsureSafety.fnDetectAirInLine to fnInformUser.fnAnnunciateAlarm;
+    flow from fnEnsureSafety.fnEnforceDoseLimits to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
+    flow from fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered to fnInformUser.fnRenderStatus;
+    flow from fnManagePower.fnMonitorBattery to fnInformUser.fnAnnunciateAlarm;
+    flow from fnManagePower.fnSelectPowerSource to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
+    flow from fnEnsureSafety.fnDetectOcclusion to fnInformUser.fnAnnunciateAlarm;
+    satisfy reqDoseAccuracy by fnDeliverTherapy.fnControlDose.fnComputeRate;
+    satisfy reqDoseAccuracy by fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
+    satisfy reqOcclusionDetection by fnEnsureSafety.fnDetectOcclusion;
+    satisfy reqOcclusionDetection by fnEnsureSafety.fnEnforceDoseLimits;
+    satisfy reqAirInLine by fnEnsureSafety.fnDetectAirInLine;
+    satisfy reqAirInLine by fnInformUser.fnAnnunciateAlarm;
+    satisfy reqAlarmAnnunciation by fnInformUser.fnAnnunciateAlarm;
+    satisfy reqBatteryEndurance by fnManagePower.fnMonitorBattery;
+    satisfy reqBatteryEndurance by fnManagePower.fnSelectPowerSource;
+    satisfy reqPrescriptionConfirmation by fnInformUser.fnAcceptInput;
+    satisfy reqPrescriptionConfirmation by fnDeliverTherapy.fnControlDose.fnValidatePrescription;
 }