@memoarchitect/ontology 0.7.0 → 0.8.24

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_logical_architecture_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_archite
         attribute depth = 2;
         attribute :>> id = "VIEW-LOG-001";
         attribute :>> name = "GPCA_LogicalArchitectureView";
-        attribute :>> title = "GPCA Logical Architecture View";
         attribute :>> shortDescription = "Logical decomposition of the GPCA system.";
         attribute :>> description = "Product-specific logical architecture view that references the default logical architecture viewpoint and is intended for design description and architecture communication.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_archite
         attribute :>> dataSourceDescription = "GPCA architecture and interface model elements";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include GPCA logical components and key interfaces relevant to therapy control.";
-        attribute :>> documentUsage = ("SDD", "Architecture Description", "QMSR");
         part :>> selectionQuery {
             attribute :>> id = "QRY-LOG-001";
             attribute :>> name = "GPCA_LogicalArchitectureQuery";
@@ -37,6 +35,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_archite
             attribute :>> selectionExpression = "product == 'GPCA' and concern contains therapy control";
             attribute :>> rationaleText = "Auto-populate the GPCA logical architecture view from the core product model.";
         }
-        part :>> viewpointDefinition = logicalArchitectureViewpoint;
+        ref :>> viewpointDefinition = logicalArchitectureViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_mode_state_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view
         attribute depth = 2;
         attribute :>> id = "VIEW-BHV-001";
         attribute :>> name = "GPCA_ModeStateView";
-        attribute :>> title = "GPCA Top-Level Mode State View";
         attribute :>> shortDescription = "The CriSys Fig 4.1 mode hierarchy (OFF, ON, IDLE, THERAPY, PAUSED, ACTIVE, BASAL, SQUARE_BOLUS, PATIENT_BOLUS) and all guarded transitions.";
         attribute :>> description = "Hierarchical state diagram per CriSys §4.1 Fig 4.1: OFF and ON at top level, IDLE and THERAPY under ON, PAUSED (KVO delivery) and ACTIVE under THERAPY, and BASAL / SQUARE_BOLUS (auto-scheduled) / PATIENT_BOLUS under ACTIVE — with the REQ 4-47 transitions, Inhibited_* macro guards, and same-step-critical markings.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,15 +27,14 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view
         attribute :>> dataSourceDescription = "GPCA behavior machine, mode states, and transitions";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include the mode machine, the Fig 4.1 mode tree (Composes edges), transitions, and safety properties.";
-        attribute :>> documentUsage = ("SDD", "RMF");
         part :>> selectionQuery {
             attribute :>> id = "QRY-BHV-101";
             attribute :>> name = "GPCA_ModeStateQuery";
-            attribute :>> includeElementKinds = ("StateMachine", "ModeState", "Transition", "BehaviorProperty", "TimingConstraint");
+            attribute :>> includeElementKinds = ("StateMachine", "MemoState[stateKind=mode]", "Transition", "BehaviorProperty", "TimingConstraint");
             attribute :>> includeLayers = ("behavior");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the mode state view from the behavior layer.";
         }
-        part :>> viewpointDefinition = logicalArchitectureViewpoint;
+        ref :>> viewpointDefinition = logicalArchitectureViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_system_decomposition_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decompos
         attribute depth = 2;
         attribute :>> id = "VIEW-LOG-002";
         attribute :>> name = "GPCA_SystemDecompositionView";
-        attribute :>> title = "GPCA System Decomposition View";
         attribute :>> shortDescription = "Nested containment of the GPCA device: hardware assemblies and the software system.";
         attribute :>> description = "General-kind membership structure of the GPCA device per the AADL GPCA_Device.Impl decomposition: sensor and actuator assemblies with their subcomponents, supporting hardware, and the GPCA software system with its eight AADL subcomponents. Rendered through the KK-2 General view template in containment mode (nested blocks with expand/collapse; the tree mode shows the same hierarchy as a decomposition tree).";
         attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -29,7 +28,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decompos
         attribute :>> dataSourceDescription = "GPCA hardware assemblies, software system, and software components with their Composes hierarchy";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include hardware assemblies, the software system, and software components; the Composes topology supplies the nesting.";
-        attribute :>> documentUsage = ("SDD", "Architecture Description");
         part :>> selectionQuery {
             attribute :>> id = "QRY-LOG-002";
             attribute :>> name = "GPCA_SystemDecompositionQuery";
@@ -39,6 +37,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decompos
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Populate the decomposition from the device structure; composition edges drive the containment nesting.";
         }
-        part :>> viewpointDefinition = logicalArchitectureViewpoint;
+        ref :>> viewpointDefinition = logicalArchitectureViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/operational/views/operational_scenario_sequence_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_scenari
         attribute depth = 2;
         attribute :>> id = "VIEW-BHV-002";
         attribute :>> name = "GPCA_ScenarioSequenceView";
-        attribute :>> title = "GPCA Scenario Sequence View";
         attribute :>> shortDescription = "Key therapy and alarm scenarios rendered as sequences over the functional chains.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::activityDiagram);
@@ -27,15 +26,14 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_scenari
         attribute :>> dataSourceDescription = "GPCA system scenarios, functional chains, and chain steps";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include system scenarios with the functional chains and steps that realize them.";
-        attribute :>> documentUsage = ("SDD", "VV");
         part :>> selectionQuery {
             attribute :>> id = "QRY-BHV-102";
             attribute :>> name = "GPCA_ScenarioSequenceQuery";
-            attribute :>> includeElementKinds = ("FunctionalScenario", "OperativeScenario", "FunctionalFlow", "FunctionalFlowStep");
+            attribute :>> includeElementKinds = ("OperativeScenario[scenarioKind=functional]", "OperativeScenario[scenarioKind=operative]", "FunctionalFlow", "FunctionalFlowStep");
             attribute :>> includeLayers = ("operational", "system");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate scenario sequences from the system layer.";
         }
-        part :>> viewpointDefinition = operationalViewpoint;
+        ref :>> viewpointDefinition = operationalViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/operational/views/operational_use_case_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_cas
         attribute depth = 2;
         attribute :>> id = "VIEW-OPS-101";
         attribute :>> name = "GPCA_UseCaseView";
-        attribute :>> title = "GPCA Use Case View";
         attribute :>> shortDescription = "Actors connected to the patient-controlled analgesia use case.";
         attribute :>> description = "Connects the nurse, patient, prescriber, and pharmacist to the patient-controlled analgesia use case.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,16 +27,15 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_cas
         attribute :>> dataSourceDescription = "GPCA use case and participating context actors";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include actors, use cases, and their participation relationships.";
-        attribute :>> documentUsage = ("Usability Engineering File", "Architecture Description");
         part :>> selectionQuery {
             attribute :>> id = "QRY-OPS-101";
             attribute :>> name = "GPCA_UseCaseQuery";
             attribute :>> includeElementKinds = ("Actor", "User", "UseCase");
-            attribute :>> includeRelationshipKinds = ("Initiates", "ParticipatesIn");
+            attribute :>> includeRelationshipKinds = ("ParticipatesIn");
             attribute :>> includeLayers = ("context", "operational");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the GPCA use case view from the operational layer.";
         }
-        part :>> viewpointDefinition = operationalViewpoint;
+        ref :>> viewpointDefinition = operationalViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/physical/views/physical_physical_bom_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_
         attribute depth = 2;
         attribute :>> id = "VIEW-PHY-101";
         attribute :>> name = "GPCA_PhysicalBomView";
-        attribute :>> title = "GPCA Physical Architecture and BOM View";
         attribute :>> shortDescription = "Hardware assemblies, processing node, physical ports, and part numbers.";
         attribute :>> outputKind = (ViewOutputKind::table);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
@@ -27,7 +26,6 @@ package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_
         attribute :>> dataSourceDescription = "GPCA hardware assemblies, processing node, and physical ports";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include hardware assemblies with part numbers, the MCU node, and external ports.";
-        attribute :>> documentUsage = ("Architecture Description", "DHF");
         part :>> selectionQuery {
             attribute :>> id = "QRY-PHY-101";
             attribute :>> name = "GPCA_PhysicalBomQuery";
@@ -36,6 +34,6 @@ package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the physical BOM from the hardware and physical layers.";
         }
-        part :>> viewpointDefinition = physicalViewpoint;
+        ref :>> viewpointDefinition = physicalViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/requirements/views/document_dhf_index_view.sysml

@@ -11,7 +11,6 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index
         expose memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index_view::*;
         attribute :>> id = "DOC-007";
         attribute :>> name = "DesignHistoryFileIndexView";
-        attribute :>> title = "GPCA Design History File Index View";
         attribute :>> shortDescription = "Index of design inputs, outputs, reviews, and V&V records for the DHF.";
         attribute :>> description = "Collects the document-backed views (requirements, architecture, SDD, RMF, VV, usability, cybersecurity) into the design history file index required by 21 CFR 820.30(j).";
         attribute :>> version = "0.1";
@@ -19,16 +18,14 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index
         attribute :>> viewKind = DocumentViewKind::DHF;
         attribute :>> generationRule = "Index every document-backed view with version and lifecycle state";
         attribute :>> marketScope = "generic";
-        attribute :>> documentUsage = ("DHF");
-        attribute :>> sectionIdentifier = "DHF";
-        part vpRequirements :> viewpointDefinition = requirementsViewpoint;
-        part vpRisk :> viewpointDefinition = riskViewpoint;
-        part vpVerification :> viewpointDefinition = verificationViewpoint;
+        ref vpRequirements :> viewpointDefinition = requirementsViewpoint;
+        ref vpRisk :> viewpointDefinition = riskViewpoint;
+        ref vpVerification :> viewpointDefinition = verificationViewpoint;
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-007";
             attribute :>> name = "dhfIndexViewQuery";
-            attribute :>> includeElementKinds = ("MemoDocumentView", "MemoDiagramView", "MemoUsabilityEngineeringView", "MemoCybersecurityThreatModelView", "MemoCybersecurityAssessmentView", "Evidence", "Citation");
-            attribute :>> includeRelationshipKinds = ("IncludedIn", "ProducesEvidence");
+            attribute :>> includeElementKinds = ("MemoDocumentView", "MemoDiagramView", "MemoUsabilityEngineeringView", "MemoCybersecurityThreatModelView", "MemoCybersecurityAssessmentView", "MemoEvidence", "Citation");
+            attribute :>> includeRelationshipKinds = ("ProducesEvidence");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

package/examples/gpca-pump/model/catalog/viewpoints/requirements/views/requirements_requirements_trace_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requi
         attribute depth = 2;
         attribute :>> id = "VIEW-REQ-101";
         attribute :>> name = "GPCA_RequirementsTraceabilityView";
-        attribute :>> title = "GPCA Requirements Traceability View";
         attribute :>> shortDescription = "Needs to system/software/hardware requirements to satisfying components and verification.";
         attribute :>> outputKind = (ViewOutputKind::matrix);
         attribute :>> presentationKind = (PresentationKind::traceMatrix);
@@ -27,7 +26,6 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requi
         attribute :>> dataSourceDescription = "GPCA requirements with DerivesFrom, SatisfiedBy, and VerifiedBy links";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include all needs and requirements with derivation, satisfaction, and verification links.";
-        attribute :>> documentUsage = ("Requirements Traceability Matrix", "DHF", "QMSR");
         part :>> selectionQuery {
             attribute :>> id = "QRY-REQ-101";
             attribute :>> name = "GPCA_RequirementsTraceQuery";
@@ -37,6 +35,6 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requi
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Full derivation-to-verification traceability for design reviews.";
         }
-        part :>> viewpointDefinition = requirementsViewpoint;
+        ref :>> viewpointDefinition = requirementsViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/risk/views/document_hazard_analysis_view.sysml

@@ -4,12 +4,14 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_v
     private import memo_viewpoints_definitions::*;
     private import memo_viewpoints_risk_risk_viewpoint::*;
     private import memo_core_enumerations::*;
+    private import memo_examples_gpca_pump_gpca_analysis::*;
 
     view hazardAnalysisView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_view::*;
+        expose fmeaDelivery;
+        expose ftaOverdose;
         attribute :>> id = "DOC-009";
         attribute :>> name = "HazardAnalysisReportView";
-        attribute :>> title = "GPCA Hazard Analysis Report View";
         attribute :>> shortDescription = "Hazard analysis report aligned to the UMN CriSys GPCA hazard tables.";
         attribute :>> description = "Aggregates the five hazard chains, the FMEA worksheet, and the overdose fault tree with their controls and verification pointers.";
         attribute :>> version = "0.1";
@@ -17,14 +19,12 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_v
         attribute :>> viewKind = DocumentViewKind::RMF;
         attribute :>> generationRule = "Include hazards, sequences of events, situations, harms, FMEA rows, fault tree, and controls";
         attribute :>> marketScope = "generic";
-        attribute :>> documentUsage = ("Hazard Analysis Report", "RMF");
-        attribute :>> sectionIdentifier = "HAZ";
-        part :>> viewpointDefinition = riskViewpoint;
+        ref :>> viewpointDefinition = riskViewpoint;
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-003";
             attribute :>> name = "hazardAnalysisViewQuery";
-            attribute :>> includeElementKinds = ("FMEAWorksheet", "FailureMode", "FailureCause", "FailureEffect", "DetectionMethod", "FMEAAction", "FaultTree", "FaultTreeEvent", "FaultTreeGate", "MinimalCutSet", "Hazard", "HazardCause", "SequenceOfEvents");
-            attribute :>> includeRelationshipKinds = ("HasFailureMode", "Causes", "DetectedBy", "Mitigates", "InputToGate", "ContainsEvent", "Mitigates", "IncludedIn");
+            attribute :>> includeElementKinds = ("FMEAWorksheet", "FailureMode", "FailureCause", "FailureEffect", "DetectionMethod", "FMEAAction", "FaultTree", "FaultTreeNode", "MinimalCutSet", "Hazard", "HazardCause", "SequenceOfEvents");
+            attribute :>> includeRelationshipKinds = ("HasFailureMode", "Causes", "DetectedBy", "Mitigates", "InputToGate", "ContainsEvent", "Mitigates");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

package/examples/gpca-pump/model/catalog/viewpoints/risk/views/document_rmf_view.sysml

@@ -4,12 +4,13 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view {
     private import memo_viewpoints_definitions::*;
     private import memo_viewpoints_risk_risk_viewpoint::*;
     private import memo_core_enumerations::*;
+    private import memo_examples_gpca_pump_gpca_verification::*;
 
     view rmfView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view::*;
+        expose evidenceLockout;
         attribute :>> id = "DOC-001";
         attribute :>> name = "RiskManagementFileView";
-        attribute :>> title = "GPCA Risk Management File View";
         attribute :>> shortDescription = "Document-backed risk view for GPCA.";
         attribute :>> description = "Aggregates the risk chain, controls, verification, residual risk, and cybersecurity links needed for the GPCA risk management file.";
         attribute :>> version = "0.2";
@@ -17,14 +18,12 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view {
         attribute :>> viewKind = DocumentViewKind::RMF;
         attribute :>> generationRule = "Include risk chain, controls, verification, residual risk, and cybersecurity traceability";
         attribute :>> marketScope = "generic";
-        attribute :>> documentUsage = ("RMF", "QMSR");
-        attribute :>> sectionIdentifier = "RMF";
-        part :>> viewpointDefinition = riskViewpoint;
+        ref :>> viewpointDefinition = riskViewpoint;
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-001";
             attribute :>> name = "rmfViewQuery";
-            attribute :>> includeElementKinds = ("IntendedUse", "ReasonablyForeseeableMisuse", "SafetyRelatedCharacteristic", "Hazard", "HazardCause", "SequenceOfEvents", "HazardousSituation", "Harm", "Risk", "RiskControlMeasure", "ResidualRisk", "Benefit", "OverallResidualRiskEvaluation", "VerificationCase", "Evidence");
-            attribute :>> includeRelationshipKinds = ("Causes", "Mitigates", "Mitigates", "TracesRisk", "AssessedAgainst", "VerifiedBy", "ProducesEvidence", "IncludedIn");
+            attribute :>> includeElementKinds = ("IntendedUse", "ReasonablyForeseeableMisuse", "SafetyRelatedCharacteristic", "Hazard", "HazardCause", "SequenceOfEvents", "HazardousSituation", "Harm", "Risk", "RiskControlMeasure", "ResidualRisk", "Benefit", "OverallResidualRiskEvaluation", "VerificationCase", "MemoEvidence");
+            attribute :>> includeRelationshipKinds = ("Causes", "Mitigates", "Mitigates", "TracesRisk", "AssessedAgainst", "VerifiedBy", "ProducesEvidence");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

package/examples/gpca-pump/model/catalog/viewpoints/risk/views/risk_fmea_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view {
         attribute depth = 2;
         attribute :>> id = "VIEW-RISK-102";
         attribute :>> name = "GPCA_FmeaView";
-        attribute :>> title = "GPCA FMEA and Fault Tree View";
         attribute :>> shortDescription = "Failure modes with causes, effects, detection, RPN, and the overdose fault tree.";
         attribute :>> outputKind = (ViewOutputKind::table);
         attribute :>> presentationKind = (PresentationKind::riskTable);
@@ -27,16 +26,15 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view {
         attribute :>> dataSourceDescription = "GPCA FMEA worksheet, failure modes, fault tree events, gates, and cut sets";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include FMEA worksheet rows and the overdose fault tree structure.";
-        attribute :>> documentUsage = ("FMEA", "RMF");
         part :>> selectionQuery {
             attribute :>> id = "QRY-RISK-102";
             attribute :>> name = "GPCA_FmeaQuery";
-            attribute :>> includeElementKinds = ("FMEAWorksheet", "FailureMode", "FailureEffect", "FailureCause", "DetectionMethod", "FMEAAction", "FaultTree", "FaultTreeEvent", "FaultTreeGate", "MinimalCutSet");
+            attribute :>> includeElementKinds = ("FMEAWorksheet", "FailureMode", "FailureEffect", "FailureCause", "DetectionMethod", "FMEAAction", "FaultTree", "FaultTreeNode", "MinimalCutSet");
             attribute :>> includeLayers = ("analysis", "risk");
             attribute :>> includeConcerns = (ConcernKind::safety, ConcernKind::reliability);
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the FMEA/FTA view from the analysis layer.";
         }
-        part :>> viewpointDefinition = riskViewpoint;
+        ref :>> viewpointDefinition = riskViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/risk/views/risk_risk_chain_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
         attribute depth = 2;
         attribute :>> id = "VIEW-RISK-101";
         attribute :>> name = "GPCA_RiskChainView";
-        attribute :>> title = "GPCA Risk Mitigation Chain View";
         attribute :>> shortDescription = "All seven hazard causal trees from categorized cause through harm with controls and residual risk.";
         attribute :>> description = "Opioid over-infusion, under-infusion, air embolism, misprogramming, free-flow, reverse-delivery, and VTBI over-infusion causal trees (GIIP cause-source structure): categorized causes converging on each hazard, sequences of events, hazardous situations, harms, risk estimates, controls, and residual evaluations.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
         attribute :>> dataSourceDescription = "GPCA risk layer and TracesRisk/MitigatesHazard links";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include hazards, sequences, situations, harms, risks before/after, controls, and residual evaluation.";
-        attribute :>> documentUsage = ("RMF", "Hazard Analysis Report", "QMSR");
         part :>> selectionQuery {
             attribute :>> id = "QRY-RISK-101";
             attribute :>> name = "GPCA_RiskChainQuery";
@@ -39,6 +37,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the risk chain diagram from the risk layer.";
         }
-        part :>> viewpointDefinition = riskViewpoint;
+        ref :>> viewpointDefinition = riskViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/software/views/document_sdd_view.sysml

@@ -9,7 +9,6 @@ package memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view {
         expose memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view::*;
         attribute :>> id = "DOC-004";
         attribute :>> name = "SoftwareDesignDescriptionView";
-        attribute :>> title = "GPCA Software Design Description View";
         attribute :>> shortDescription = "IEC 62304 software design description for the GPCA software system.";
         attribute :>> description = "Aggregates the software system, its six components with safety classes and scheduling attributes, mode machine and transitions, interfaces, and function allocations for the SDD.";
         attribute :>> version = "0.1";
@@ -17,13 +16,11 @@ package memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view {
         attribute :>> viewKind = DocumentViewKind::SDD;
         attribute :>> generationRule = "Include software structure, behavior machine with transitions, software interfaces, allocations, and timing constraints";
         attribute :>> marketScope = "generic";
-        attribute :>> documentUsage = ("SDD", "QMSR");
-        attribute :>> sectionIdentifier = "SDD";
-        part :>> viewpointDefinition = softwareViewpoint;
+        ref :>> viewpointDefinition = softwareViewpoint;
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-004";
             attribute :>> name = "sddViewQuery";
-            attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "ModeState", "Transition", "Interface", "SystemFunction", "TimingConstraint", "SoftwareModule[moduleKind=soup]");
+            attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "MemoState[stateKind=mode]", "Transition", "Interface", "SystemFunction", "TimingConstraint", "SoftwareModule[moduleKind=soup]");
             attribute :>> includeRelationshipKinds = ("Composes", "AllocatedTo", "BindsToInterface", "Realizes", "DependsOnSoup", "Changes");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }

package/examples/gpca-pump/model/catalog/viewpoints/software/views/software_software_architecture_view.sysml

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
         attribute depth = 2;
         attribute :>> id = "VIEW-SW-101";
         attribute :>> name = "GPCA_SoftwareArchitectureView";
-        attribute :>> title = "GPCA Software Architecture View";
         attribute :>> shortDescription = "The eight AADL GPCA_SW.Impl subcomponents, top-level ports, and the full inter-component connection topology.";
         attribute :>> description = "Top_Level_Mode, System_Status, Alarm, Config, Infusion_Manager, System_Monitor, Logging, and OutputBus inside the GPCA_Software system, wired per GPCA_SW.Impl with the seven top-level ports (OP_CMD_IN, PRES_IN, PATIENT_IN, SENSOR_IN, CONST_IN, DB_IN, GPCA_SW_OUT). Connections are synchronous with AADL immediate port semantics.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -27,17 +26,16 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
         attribute :>> diagramType = "ibd";
         attribute :>> dataSourceDescription = "GPCA software structure, top-level ports, and the GPCA_SW.Impl connection set (CE-101..CE-142)";
         attribute :>> autoPopulate = true;
-        attribute :>> queryDescription = "Include the software system, its eight components, its boundary ports, and the ExchangesWith topology between them.";
-        attribute :>> documentUsage = ("SDD", "QMSR");
+        attribute :>> queryDescription = "Include the software system, its eight components, its boundary ports, and the flow and delegation topology between them.";
         part :>> selectionQuery {
             attribute :>> id = "QRY-SW-101";
             attribute :>> name = "GPCA_SoftwareArchitectureQuery";
             attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "SoftwarePort");
-            attribute :>> includeRelationshipKinds = ("ExchangesWith", "Composes");
+            attribute :>> includeRelationshipKinds = ("flow", "bind", "Composes");
             attribute :>> includeLayers = ("software_structure", "interfaces");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Render the real GPCA_SW.Impl topology: components and boundary ports as nodes, AADL connections as edges.";
         }
-        part :>> viewpointDefinition = softwareViewpoint;
+        ref :>> viewpointDefinition = softwareViewpoint;
     }
 }

package/examples/gpca-pump/model/catalog/viewpoints/usability/views/document_usability_view.sysml

@@ -5,25 +5,24 @@ package memo_examples_gpca_pump_viewpoints_usability_views_document_usability_vi
     private import memo_viewpoints_usability_views_usability_engineering_view::*;
     private import memo_viewpoints_usability_usability_viewpoint::*;
     private import memo_core_enumerations::*;
+    private import memo_examples_gpca_pump_gpca_verification::*;
 
     view usabilityView : MemoUsabilityEngineeringView {
         expose memo_examples_gpca_pump_viewpoints_usability_views_document_usability_view::*;
+        expose evidenceUsability;
         attribute :>> id = "DOC-008";
         attribute :>> name = "UsabilityEngineeringFileView";
-        attribute :>> title = "GPCA Usability Engineering File View";
         attribute :>> shortDescription = "IEC 62366-1 usability engineering file content for GPCA.";
         attribute :>> description = "Aggregates intended use, use contexts, actors, foreseeable use errors, related risk chains, usability requirements, and the summative usability validation case.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> marketScope = "generic";
-        attribute :>> documentUsage = ("Usability Engineering File", "DHF");
-        attribute :>> sectionIdentifier = "UEF";
-        part :>> viewpointDefinition = usabilityViewpoint;
+        ref :>> viewpointDefinition = usabilityViewpoint;
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-002";
             attribute :>> name = "usabilityViewQuery";
-            attribute :>> includeElementKinds = ("UseError", "UseContext", "Actor", "ValidationCase", "OperativeScenario", "IntendedUse", "ReasonablyForeseeableMisuse");
-            attribute :>> includeRelationshipKinds = ("TestedByUsability", "RealizedByScenario", "InteractsWith", "IncludedIn");
+            attribute :>> includeElementKinds = ("UseError", "UseContext", "Actor", "ValidationCase", "OperativeScenario[scenarioKind=operative]", "IntendedUse", "ReasonablyForeseeableMisuse");
+            attribute :>> includeRelationshipKinds = ("TestedByUsability", "RealizedByScenario", "InteractsWith");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

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

@@ -4,12 +4,13 @@ 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";
         attribute :>> shortDescription = "V&V plan and coverage for requirements and risk controls.";
         attribute :>> description = "Aggregates verification cases, validation cases, test artifacts, and evidence with their coverage of requirements, risk controls, behavior properties, and timing constraints.";
         attribute :>> version = "0.1";
@@ -17,14 +18,12 @@ package memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view {
         attribute :>> viewKind = DocumentViewKind::VV;
         attribute :>> generationRule = "Include all VerifiedBy, Validates, and ProducesEvidence chains with status";
         attribute :>> marketScope = "generic";
-        attribute :>> documentUsage = ("VV", "DHF", "QMSR");
-        attribute :>> sectionIdentifier = "VV";
-        part :>> viewpointDefinition = verificationViewpoint;
+        ref :>> viewpointDefinition = verificationViewpoint;
         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

@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
         attribute depth = 2;
         attribute :>> id = "VIEW-VER-101";
         attribute :>> name = "GPCA_VerificationCoverageView";
-        attribute :>> title = "GPCA Verification and Validation Coverage View";
         attribute :>> shortDescription = "Requirements and risk controls against verification cases, validation cases, and evidence.";
         attribute :>> outputKind = (ViewOutputKind::matrix);
         attribute :>> presentationKind = (PresentationKind::traceMatrix);
@@ -27,16 +26,15 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
         attribute :>> dataSourceDescription = "VerifiedBy, Validates, and ProducesEvidence links in the GPCA model";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include every requirement and risk control with its verification/validation status and produced evidence.";
-        attribute :>> documentUsage = ("VV", "DHF", "QMSR");
         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'";
             attribute :>> rationaleText = "Coverage gaps surface as requirements or controls without linked cases or evidence.";
         }
-        part :>> viewpointDefinition = verificationViewpoint;
+        ref :>> viewpointDefinition = verificationViewpoint;
     }
 }

package/examples/ivd-laboratory-system/memo.package.yaml

@@ -0,0 +1,3 @@
+name: ivd-laboratory-system
+entrypoint: model/catalog/project.sysml
+include: [model]

package/examples/ivd-laboratory-system/model/catalog/ivd_laboratory_system.sysml

@@ -51,7 +51,7 @@ package memo_examples_ivd_laboratory_system {
     }
 
     // Operating activity for the analyzer.
-    action actRunPanel : OperationalActivity {
+    action actRunPanel : OperativeAction {
         attribute :>> id = "IVD-ACT-001"; attribute :>> name = "RunChemistryPanel";
         attribute :>> criticality = CriticalityKind::high;
     }

package/examples/ivd-laboratory-system/model/catalog/viewpoints/unassigned/views/ivd_laboratory_system_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_ivd_laboratory_system_viewpoints_unassigned_views_ivd_labo
     private import memo_examples_ivd_laboratory_system::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view ivdLaboratorySystemOverview : MemoDiagramView { expose memo_examples_ivd_laboratory_system::*; attribute depth = 2; attribute :>> title = "IVD Laboratory System Overview"; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
+    view ivdLaboratorySystemOverview : MemoDiagramView { expose memo_examples_ivd_laboratory_system::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
 }

package/examples/manual-surgical-instrument/memo.package.yaml

@@ -0,0 +1,3 @@
+name: manual-surgical-instrument
+entrypoint: model/catalog/project.sysml
+include: [model]

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,12 +30,12 @@ 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.
-    action taskPlaceSutures : UserTask {
+    action taskPlaceSutures : OperativeAction {
         attribute :>> id = "MSI-TASK-001";
         attribute :>> name = "PlaceSutures";
         attribute :>> taskGoal = "place interrupted sutures";

package/examples/manual-surgical-instrument/model/catalog/viewpoints/unassigned/views/manual_surgical_instrument_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_manual_surgical_instrument_viewpoints_unassigned_views_man
     private import memo_examples_manual_surgical_instrument::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view manualSurgicalInstrumentOverview : MemoDiagramView { expose memo_examples_manual_surgical_instrument::*; attribute depth = 2; attribute :>> title = "Manual Surgical Instrument Overview"; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
+    view manualSurgicalInstrumentOverview : MemoDiagramView { expose memo_examples_manual_surgical_instrument::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
 }

package/examples/multidimensional-layers/memo.package.yaml

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

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/multidimensional-layers/model/catalog/viewpoints/unassigned/views/multidimensional_layers_overview.sysml

@@ -6,7 +6,6 @@ package memo_examples_multidimensional_layers_viewpoints_unassigned_views_multid
     view multidimensionalLayersOverview : MemoDiagramView {
         expose memo_examples_multidimensional_layers::*;
         attribute depth = 2;
-        attribute :>> title = "Multidimensional Layers Overview";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
     }

package/examples/nested-architecture-dsm/memo.package.yaml

@@ -0,0 +1,3 @@
+name: nested-architecture-dsm
+entrypoint: model/catalog/project.sysml
+include: [model]