@memoarchitect/ontology 0.6.5 → 0.8.22

package/examples/gpca-pump/model/{views → catalog/viewpoints/logical/views}/document_architecture_description_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_document_architecture_description_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_description_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -8,27 +8,27 @@ package memo_examples_gpca_pump_model_views_document_architecture_description_vi
     private import memo_core_enumerations::*;
 
     view architectureDescriptionView : MemoDocumentView {
-        expose memo_examples_gpca_pump_model_views_document_architecture_description_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_description_view::*;
         attribute :>> id = "DOC-005";
         attribute :>> name = "ArchitectureDescriptionView";
         attribute :>> title = "GPCA System Architecture Description View";
         attribute :>> shortDescription = "ISO/IEC/IEEE 42010 architecture description across all layers.";
-        attribute :>> longDescription = "Aggregates context, operational, functional, logical, software, and physical layers with their views and correspondences for the system architecture description.";
+        attribute :>> description = "Aggregates context, operational, functional, logical, software, and physical layers with their views and correspondences for the system architecture description.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
-        attribute :>> viewKind = DocumentViewKind::ArchitectureDescription;
+        attribute :>> viewKind = DocumentViewKind::architectureDescription;
         attribute :>> generationRule = "Include all architecture layers, functional chains, interfaces, and the physical BOM with cross-layer allocations";
         attribute :>> marketScope = "generic";
         attribute :>> documentUsage = ("Architecture Description", "DHF");
         attribute :>> sectionIdentifier = "AD";
-        part :>> viewpointDefinition = logicalArchitectureViewpoint;
-        part :>> viewpointDefinition = softwareViewpoint;
-        part :>> viewpointDefinition = physicalViewpoint;
+        part vpLogicalArchitecture :> viewpointDefinition = logicalArchitectureViewpoint;
+        part vpSoftware :> viewpointDefinition = softwareViewpoint;
+        part vpPhysical :> viewpointDefinition = physicalViewpoint;
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-005";
             attribute :>> name = "architectureDescriptionViewQuery";
             attribute :>> includeElementKinds = ("LogicalComponent", "SystemFunction", "ComponentExchange", "SoftwareSystem", "SoftwareModule", "HardwareAssembly", "ProcessingNode", "PhysicalPort", "FunctionalFlow", "FunctionalFlowStep");
-            attribute :>> includeRelationshipKinds = ("Composes", "AllocatedTo", "Realizes", "BindsToInterface", "InvolvesFunction", "Precedes", "DeploysTo", "HostedBy");
+            attribute :>> includeRelationshipKinds = ("Composes", "AllocatedTo", "Realizes", "BindsToInterface", "Performs", "Succession", "DeploysTo", "HostedBy");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

package/examples/gpca-pump/model/{views → catalog/viewpoints/logical/views}/logical_device_interconnect_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_logical_device_interconnect_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_logical_device_interconnect_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,18 +14,18 @@ package memo_examples_gpca_pump_model_views_logical_device_interconnect_view {
     private import memo_core_enumerations::*;
 
     view gpcaDeviceInterconnectView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_logical_device_interconnect_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_logical_device_interconnect_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-LOG-003";
         attribute :>> name = "GPCA_DeviceInterconnectView";
         attribute :>> title = "GPCA Device Interconnect View";
         attribute :>> shortDescription = "AADL device-level interconnection: GPCA_HW_Sensors, GPCA_SW, and GPCA_HW_Actuators with their declared boundary features.";
-        attribute :>> longDescription = "Source-faithful interconnection view of GPCA_Device.Impl: exactly the three AADL subcomponents (GPCA_HW_Sensors, GPCA_SW, GPCA_HW_Actuators), the device and subsystem boundary ports, and the twelve declared port connections. MEMO physical-design additions such as the controller board, power sources, enclosure, and individual sensors/actuators are intentionally excluded because the published AADL v2.0 model does not declare them as GPCA_Device.Impl subcomponents. Drill into GPCA_SW to inspect its eight subcomponents and 42 internal connections; use the connection-density control to switch between bundled summary and full fidelity.";
+        attribute :>> description = "Source-faithful interconnection view of GPCA_Device.Impl: exactly the three AADL subcomponents (GPCA_HW_Sensors, GPCA_SW, GPCA_HW_Actuators), the device and subsystem boundary ports, and the twelve declared port connections. MEMO physical-design additions such as the controller board, power sources, enclosure, and individual sensors/actuators are intentionally excluded because the published AADL v2.0 model does not declare them as GPCA_Device.Impl subcomponents. Drill into GPCA_SW to inspect its eight subcomponents and 42 internal connections; use the connection-density control to switch between bundled summary and full fidelity.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::internalDiagram);
         attribute :>> viewKind = DiagramViewKind::interconnection;
         attribute :>> diagramType = "ibd";
-        attribute :>> dataSourceDescription = "GPCA hardware assemblies, software system, software components, boundary ports, and the ExchangesWith/Composes topology";
+        attribute :>> dataSourceDescription = "GPCA hardware assemblies, software system, software components, boundary ports, and the flow/bind/Composes topology";
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include hardware assemblies, the software system with its components and boundary ports, and the exchange topology between them.";
         attribute :>> documentUsage = ("SDD", "Architecture Description", "QMSR");
@@ -33,7 +33,7 @@ package memo_examples_gpca_pump_model_views_logical_device_interconnect_view {
             attribute :>> id = "QRY-LOG-003";
             attribute :>> name = "GPCA_DeviceInterconnectQuery";
             attribute :>> includeElementIds = ("gpcaDevice", "gpcaDeviceSensors", "gpcaSoftware", "gpcaActuators", "devOpCmdIn", "devDbIn", "devPresIn", "devPatientIn", "devGpcaOut", "snsOpCmdIn", "snsDbIn", "snsPresIn", "snsPatientIn", "snsOpCmdOut", "snsPresOut", "snsPatientOut", "snsSensorOut", "snsConstOut", "snsDbOut", "portOpCmdIn", "portPresIn", "portPatientIn", "portSensorIn", "portConstIn", "portDbIn", "portGpcaSwOut", "actGpcaSwIn", "actGpcaOut", "tlm", "systemStatus", "alarm", "config", "infusionMgr", "systemMonitor", "logging", "outputBus");
-            attribute :>> includeRelationshipKinds = ("ExchangesWith", "Composes");
+            attribute :>> includeRelationshipKinds = ("flow", "bind", "Composes");
             attribute :>> includeLayers = ("logical_structure", "software_structure", "interfaces");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Render the device interconnect: parts with boundary ports as nodes, AADL connections as typed connectors, composition as nesting.";

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_logical_logical_architecture_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_architecture_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_logical_logical_architecture_view {
     private import memo_core_enumerations::*;
 
     view gpcaLogicalArchitectureView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_logical_logical_architecture_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_architecture_view::*;
         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 :>> longDescription = "Product-specific logical architecture view that references the default logical architecture viewpoint and is intended for design description and architecture communication.";
+        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);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::general;

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_logical_mode_state_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_logical_mode_state_view {
     private import memo_core_enumerations::*;
 
     view gpcaModeStateView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_logical_mode_state_view::*;
+        expose 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 :>> longDescription = "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 :>> 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);
         attribute :>> presentationKind = (PresentationKind::stateDiagram);
         attribute :>> viewKind = DiagramViewKind::statetransition;
@@ -32,7 +32,7 @@ package memo_examples_gpca_pump_model_views_logical_mode_state_view {
         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.";

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_logical_system_decomposition_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decomposition_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_logical_system_decomposition_view {
     private import memo_core_enumerations::*;
 
     view gpcaSystemDecompositionView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_logical_system_decomposition_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decomposition_view::*;
         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 :>> longDescription = "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 :>> 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);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::general;

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

@@ -0,0 +1,8 @@
+// operational viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_operational {
+    public import memo_viewpoints_operational_operational_viewpoint::*;
+}

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_operational_scenario_sequence_view {
+package memo_examples_gpca_pump_viewpoints_operational_views_operational_scenario_sequence_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,7 +14,7 @@ package memo_examples_gpca_pump_model_views_operational_scenario_sequence_view {
     private import memo_core_enumerations::*;
 
     view gpcaScenarioSequenceView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_operational_scenario_sequence_view::*;
+        expose memo_examples_gpca_pump_viewpoints_operational_views_operational_scenario_sequence_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-BHV-002";
         attribute :>> name = "GPCA_ScenarioSequenceView";
@@ -31,7 +31,7 @@ package memo_examples_gpca_pump_model_views_operational_scenario_sequence_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-BHV-102";
             attribute :>> name = "GPCA_ScenarioSequenceQuery";
-            attribute :>> includeElementKinds = ("FunctionalScenario", "OperativeScenario", "FunctionalFlow", "FunctionalFlowStep");
+            attribute :>> includeElementKinds = ("MemoScenario[scenarioKind=functional]", "MemoScenario[scenarioKind=operative]", "FunctionalFlow", "FunctionalFlowStep");
             attribute :>> includeLayers = ("operational", "system");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate scenario sequences from the system layer.";

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_operational_use_case_view {
+package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_case_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_operational_use_case_view {
     private import memo_core_enumerations::*;
 
     view gpcaUseCaseView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_operational_use_case_view::*;
+        expose memo_examples_gpca_pump_viewpoints_operational_views_operational_use_case_view::*;
         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 :>> longDescription = "Connects the nurse, patient, prescriber, and pharmacist 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);
         attribute :>> presentationKind = (PresentationKind::custom);
         attribute :>> viewKind = DiagramViewKind::general;
@@ -33,7 +33,7 @@ package memo_examples_gpca_pump_model_views_operational_use_case_view {
             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.";

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

@@ -0,0 +1,8 @@
+// physical viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_physical {
+    public import memo_viewpoints_physical_physical_viewpoint::*;
+}

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_physical_physical_bom_view {
+package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,7 +14,7 @@ package memo_examples_gpca_pump_model_views_physical_physical_bom_view {
     private import memo_core_enumerations::*;
 
     view gpcaPhysicalBomView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_physical_physical_bom_view::*;
+        expose memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-PHY-101";
         attribute :>> name = "GPCA_PhysicalBomView";

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

@@ -0,0 +1,8 @@
+// requirements viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_requirements {
+    public import memo_viewpoints_requirements_requirements_viewpoint::*;
+}

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_document_dhf_index_view {
+package memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -8,12 +8,12 @@ package memo_examples_gpca_pump_model_views_document_dhf_index_view {
     private import memo_core_enumerations::*;
 
     view dhfIndexView : MemoDocumentView {
-        expose memo_examples_gpca_pump_model_views_document_dhf_index_view::*;
+        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 :>> longDescription = "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 :>> 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";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::DHF;
@@ -21,14 +21,14 @@ package memo_examples_gpca_pump_model_views_document_dhf_index_view {
         attribute :>> marketScope = "generic";
         attribute :>> documentUsage = ("DHF");
         attribute :>> sectionIdentifier = "DHF";
-        part :>> viewpointDefinition = requirementsViewpoint;
-        part :>> viewpointDefinition = riskViewpoint;
-        part :>> viewpointDefinition = verificationViewpoint;
+        part vpRequirements :> viewpointDefinition = requirementsViewpoint;
+        part vpRisk :> viewpointDefinition = riskViewpoint;
+        part 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/{views → catalog/viewpoints/requirements/views}/requirements_requirements_trace_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_requirements_requirements_trace_view {
+package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requirements_trace_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,7 +14,7 @@ package memo_examples_gpca_pump_model_views_requirements_requirements_trace_view
     private import memo_core_enumerations::*;
 
     view gpcaRequirementsTraceView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_requirements_requirements_trace_view::*;
+        expose memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requirements_trace_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-REQ-101";
         attribute :>> name = "GPCA_RequirementsTraceabilityView";

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

@@ -0,0 +1,8 @@
+// risk viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_risk {
+    public import memo_viewpoints_risk_risk_viewpoint::*;
+}

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

@@ -1,17 +1,20 @@
-package memo_examples_gpca_pump_model_views_document_hazard_analysis_view {
+package memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_view {
     private import ScalarValues::*;
 
     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_model_views_document_hazard_analysis_view::*;
+        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 :>> longDescription = "Aggregates the five hazard chains, the FMEA worksheet, and the overdose fault tree with their controls and verification pointers.";
+        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";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::RMF;
@@ -23,8 +26,8 @@ package memo_examples_gpca_pump_model_views_document_hazard_analysis_view {
         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/{views → catalog/viewpoints/risk/views}/document_rmf_view.sysml

@@ -1,17 +1,19 @@
-package memo_examples_gpca_pump_model_views_document_rmf_view {
+package memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view {
     private import ScalarValues::*;
 
     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_model_views_document_rmf_view::*;
+        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 :>> longDescription = "Aggregates the risk chain, controls, verification, residual risk, and cybersecurity links needed for the GPCA risk management file.";
+        attribute :>> description = "Aggregates the risk chain, controls, verification, residual risk, and cybersecurity links needed for the GPCA risk management file.";
         attribute :>> version = "0.2";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::RMF;
@@ -23,8 +25,8 @@ package memo_examples_gpca_pump_model_views_document_rmf_view {
         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/{views → catalog/viewpoints/risk/views}/risk_fmea_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_risk_fmea_view {
+package memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,7 +14,7 @@ package memo_examples_gpca_pump_model_views_risk_fmea_view {
     private import memo_core_enumerations::*;
 
     view gpcaFmeaView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_risk_fmea_view::*;
+        expose memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-RISK-102";
         attribute :>> name = "GPCA_FmeaView";
@@ -31,7 +31,7 @@ package memo_examples_gpca_pump_model_views_risk_fmea_view {
         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'";

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_risk_risk_chain_view {
+package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_risk_risk_chain_view {
     private import memo_core_enumerations::*;
 
     view gpcaRiskChainView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_risk_risk_chain_view::*;
+        expose 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 :>> longDescription = "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 :>> 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);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::general;

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

@@ -0,0 +1,8 @@
+// software viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_software {
+    public import memo_viewpoints_software_software_viewpoint::*;
+}

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_document_sdd_view {
+package memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -6,12 +6,12 @@ package memo_examples_gpca_pump_model_views_document_sdd_view {
     private import memo_core_enumerations::*;
 
     view sddView : MemoDocumentView {
-        expose memo_examples_gpca_pump_model_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 :>> longDescription = "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 :>> 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";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::SDD;
@@ -23,7 +23,7 @@ package memo_examples_gpca_pump_model_views_document_sdd_view {
         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/{views → catalog/viewpoints/software/views}/software_software_architecture_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_software_software_architecture_view {
+package memo_examples_gpca_pump_viewpoints_software_views_software_software_architecture_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,26 +14,26 @@ package memo_examples_gpca_pump_model_views_software_software_architecture_view
     private import memo_core_enumerations::*;
 
     view gpcaSoftwareArchitectureView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_software_software_architecture_view::*;
+        expose memo_examples_gpca_pump_viewpoints_software_views_software_software_architecture_view::*;
         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 :>> longDescription = "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 :>> 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);
         attribute :>> presentationKind = (PresentationKind::internalDiagram);
         attribute :>> viewKind = DiagramViewKind::interconnection;
         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 :>> queryDescription = "Include the software system, its eight components, its boundary ports, and the flow and delegation topology between them.";
         attribute :>> documentUsage = ("SDD", "QMSR");
         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.";

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

@@ -0,0 +1,8 @@
+// usability viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_usability {
+    public import memo_viewpoints_usability_usability_viewpoint::*;
+}

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

@@ -1,18 +1,20 @@
-package memo_examples_gpca_pump_model_views_document_usability_view {
+package memo_examples_gpca_pump_viewpoints_usability_views_document_usability_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
-    private import memo_viewpoints_usability_usability_engineering_view::*;
+    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_model_views_document_usability_view::*;
+        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 :>> longDescription = "Aggregates intended use, use contexts, actors, foreseeable use errors, related risk chains, usability requirements, and the summative usability validation case.";
+        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";
@@ -22,8 +24,8 @@ package memo_examples_gpca_pump_model_views_document_usability_view {
         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", "MemoScenario[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/viewpoint.sysml

@@ -0,0 +1,8 @@
+// verification viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_verification {
+    public import memo_viewpoints_verification_verification_viewpoint::*;
+}