@memoarchitect/ontology 0.11.0 → 0.11.2

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.11.0
+pnpm add @memoarchitect/ontology@0.11.2
 ```
 
 > **Pre-1.0 notice:** ontology names, relationships, and package layout may

package/extensions/aadl/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-aadl'
-version: 0.11.0
+version: 0.11.2
 description: AADL (SAE AS5506) correspondence profile and runtime component families
 license: MIT
 tags:

package/extensions/cloud/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-cloud'
-version: 0.11.0
+version: 0.11.2
 description: Networked services and managed data stores
 license: MIT
 tags:

package/extensions/container/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-container'
-version: 0.11.0
+version: 0.11.2
 description: OCI container images and container runtimes as deployment content
 license: MIT
 tags:

package/extensions/messaging/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-messaging'
-version: 0.11.0
+version: 0.11.2
 description: Publish/subscribe messaging — topics, brokers, and delivery semantics
 license: MIT
 tags:

package/extensions/ros/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-ros'
-version: 0.11.0
+version: 0.11.2
 description: ROS 2 nodes, messages, topic/service/action interfaces, QoS, and containerized deployment
 license: MIT
 tags:

package/methodologies/default/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/methodology-default'
-version: 0.11.0
+version: 0.11.2
 description: "MEMO default medical-device methodology \u2014 selects viewpoints/views/DHF documents from @memoarchitect/ontology and adds rules, gates, patterns, profiles, and workflow."
 license: MIT
 tags:

package/methodologies/gpca/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/methodology-gpca'
-version: 0.11.0
+version: 0.11.2
 description: "GPCA infusion pump methodology \u2014 subtraction-based tailoring of @memoarchitect/methodology-default for the non-networked prototype variant. Excludes cybersecurity and SOUP."
 license: MIT
 tags:

package/ontology/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/ontology'
-version: 0.11.0
+version: 0.11.2
 description: "MEMO \u2014 the single canonical medical-device ontology: core semantics, the Arcadia-inspired architecture layers (context, requirements, behavior, structure, interfaces, risk, cybersecurity,\
   \ assurance, \u2026), compliance, viewpoints, views, and invariant rules. One namespace (memo::), one src/ tree."
 license: MIT

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@memoarchitect/ontology",
-  "version": "0.11.0",
+  "version": "0.11.2",
   "packageManager": "pnpm@9.15.0",
   "description": "MEMO — Medical Engineering Modelling Ontology. Pure SysML v2 medical-device ontology with native constraints, portable to any conformant SysML v2 tool (SysIDE, SysON, sysand).",
   "scripts": {

package/profile/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/medical-modeling-profile'
-version: 0.11.0
+version: 0.11.2
 description: Closure rules and viewpoints for medical device modeling
 license: MIT
 tags:

package/src/assurance/cybersecurity/memo_cybersecurity.sysml

@@ -46,6 +46,11 @@ package memo_assurance_cybersecurity {
         attribute affectedLayer : String;
         attribute cweReference : String;
         attribute remediable : Boolean;
+        // CVSS v3.1 quantitative rating — the core output of a vulnerability
+        // analysis (e.g. RSK-00058). `cvssBaseScore` is the 0.0-10.0 numeric
+        // score; `cvssVector` the source vector string (AV:.../AC:.../...).
+        attribute cvssBaseScore : Real;
+        attribute cvssVector : String;
     }
 
     item def CyberHazard specializes Hazard {

package/src/assurance/safety_risk/memo_risk.sysml

@@ -39,22 +39,10 @@ package memo_assurance_safety_risk {
         attribute riskLevelMapping : String;
         attribute acceptabilityThresholds : String;
     }
-    part def DesignControlRiskRow specializes Risk {
-        attribute rowTitle : String;
-        attribute hazardAnalysis : String;
-        attribute hazardCategory : String;
-        attribute hazardSubcategory : String;
-        attribute causeSequenceOfEventsFailure : String;
-        attribute harmText : String;
-        attribute probabilityBeforeRaw : String;
-        attribute severityBeforeRaw : String;
-        attribute riskBeforeMeasureRaw : String;
-        attribute probabilityAfterRaw : String;
-        attribute severityAfterRaw : String;
-        attribute riskAfterMitigationRaw : String;
-        attribute cannotReduceFurther : Boolean;
-        attribute linkSummary : String;
-    }
+    // `DesignControlRiskRow` was a denormalized spreadsheet transcription.
+    // Risk rows now decompose into the ISO 14971 chain below: Risk owns its
+    // Hazard, SequenceOfEvents, HazardousSituation, and Harm items, linked by
+    // TracesRisk / LeadsToHarm, with ResidualRisk after mitigation.
     // A device characteristic whose implementation, failure, or misuse can
     // affect safety. This is the modelable output of ISO 14971 §5.3.
     part def SafetyRelatedCharacteristic specializes MemoPart {
@@ -102,6 +90,8 @@ package memo_assurance_safety_risk {
     item def HazardousSituation specializes RiskItem {
         attribute exposedPersons : String;
         attribute operatingCondition : String;
+        // ISO 14971 P1: probability that the hazardous situation occurs.
+        attribute probabilityOfOccurrence : ProbabilityKind;
     }
     item def Harm specializes RiskItem {
         attribute clinicalImpact : String;
@@ -138,6 +128,19 @@ package memo_assurance_safety_risk {
         :> annotatedElement : SysML::ConnectionUsage;
         :>> baseType = tracesRiskLinks meta SysML::Usage;
     }
+    // The final ISO 14971 chain edge. P2 is the conditional probability that
+    // the hazardous situation results in the harm.
+    connection def LeadsToHarm :> MemoRelationship {
+        attribute conditionalProbability : ProbabilityKind;
+        end hazardousSituation : HazardousSituation :>> source;
+        end resultingHarm : Harm :>> target;
+    }
+    abstract connection leadsToHarmLinks : LeadsToHarm[*];
+    metadata def <leadsToHarm> LeadsToHarmMetadata :> SemanticMetadata {
+        :> annotatedElement : SysML::ConnectionDefinition;
+        :> annotatedElement : SysML::ConnectionUsage;
+        :>> baseType = leadsToHarmLinks meta SysML::Usage;
+    }
     // IEC 62366-1 3.9's hazard-related use scenario: the scenario a hazard can
     // arise in. It is declared HERE rather than as a `hazardReference` string
     // on the scenario, which is what stood in for it: a string names nothing a

package/src/assurance/verification_validation/memo_assurance.sysml

@@ -21,10 +21,28 @@ package memo_assurance_verification_validation {
     // a second spelling of `status`.
     // Specializes the standard library verification case as well as MEMO's
     // base, rather than shadowing it — see the note on UseCase.
+    // Reusable test action, distinct from a case's pass/fail criteria.
+    action def TestStep specializes MemoAction {
+        attribute stepAction : String;
+        attribute expectedResult : String;
+        attribute referencedItem : String;
+    }
     verification def VerificationCase :> MemoVerificationCase, VerificationCases::VerificationCase {
         attribute methodKind : MemoVerificationMethodKind;
         attribute acceptanceCriteria : String;
     }
+    // Orders a reusable TestStep within a verification or validation case.
+    connection def PerformsStep :> MemoRelationship {
+        attribute sequence : Integer;
+        end verificationCase : MemoVerificationCase :>> source;
+        end testStep : TestStep :>> target;
+    }
+    abstract connection performsStepLinks : PerformsStep[*];
+    metadata def <performsStep> PerformsStepMetadata :> SemanticMetadata {
+        :> annotatedElement : SysML::ConnectionDefinition;
+        :> annotatedElement : SysML::ConnectionUsage;
+        :>> baseType = performsStepLinks meta SysML::Usage;
+    }
     verification def ValidationCase :> MemoVerificationCase {
         attribute validationMethod : ValidationMethodKind;
         attribute userParticipation : String;