@memoarchitect/ontology 0.4.4

package/examples/gpca-pump/model/views/document_usability_view.sysml

@@ -0,0 +1,28 @@
+package memo_examples_gpca_pump_model_views_document_usability_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_usability_usability_engineering_view::*;
+    private import memo_core_enumerations::*;
+
+    view usabilityView : MemoUsabilityEngineeringView {
+        expose memo_examples_gpca_pump_model_views_document_usability_view::*;
+        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 :>> version = "0.1";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        attribute :>> marketScope = "generic";
+        attribute :>> documentUsage = ("Usability Engineering File", "DHF");
+        attribute :>> sectionIdentifier = "UEF";
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-DOC-002";
+            attribute :>> name = "usabilityViewQuery";
+            attribute :>> includeElementKinds = ("UseError", "UseContext", "Actor", "ValidationCase", "OperationalScenario", "IntendedUse");
+            attribute :>> includeRelationshipKinds = ("TestedByUsability", "RealizedByScenario", "InteractsWith", "IncludedIn");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}

package/examples/gpca-pump/model/views/document_vv_view.sysml

@@ -0,0 +1,29 @@
+package memo_examples_gpca_pump_model_views_document_vv_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view vvView : MemoDocumentView {
+        expose memo_examples_gpca_pump_model_views_document_vv_view::*;
+        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 :>> longDescription = "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";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        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 :>> selectionQuery {
+            attribute :>> id = "QRY-DOC-006";
+            attribute :>> name = "vvViewQuery";
+            attribute :>> includeElementKinds = ("VerificationCase", "ValidationCase", "TestArtifact", "Evidence", "SystemRequirement", "SoftwareRequirement", "HardwareRequirement", "RiskControl");
+            attribute :>> includeRelationshipKinds = ("VerifiedBy", "Validates", "TestedByUsability", "ProducesEvidence", "IncludedIn");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}

package/examples/gpca-pump/model/views/functional_function_allocation_view.sysml

@@ -0,0 +1,42 @@
+package memo_examples_gpca_pump_model_views_functional_function_allocation_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaFunctionAllocationView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_views_functional_function_allocation_view::*;
+        attribute depth = 2;
+        attribute :>> id = "VIEW-FUN-102";
+        attribute :>> name = "GPCA_FunctionAllocationView";
+        attribute :>> title = "GPCA Function Allocation View";
+        attribute :>> shortDescription = "Allocation of logical functions to software components and hardware assemblies.";
+        attribute :>> outputKind = (ViewOutputKind::matrix);
+        attribute :>> presentationKind = (PresentationKind::traceMatrix);
+        attribute :>> viewKind = DiagramViewKind::grid;
+        attribute :>> diagramType = "alloc";
+        attribute :>> dataSourceDescription = "AllocatedTo links between functions and architecture elements";
+        attribute :>> autoPopulate = true;
+        attribute :>> queryDescription = "Include logical functions with their AllocatedTo targets.";
+        attribute :>> documentUsage = ("SDD", "Architecture Description");
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-FUN-102";
+            attribute :>> name = "GPCA_FunctionAllocationQuery";
+            attribute :>> includeElementKinds = ("LogicalFunction", "SoftwareComponent", "HardwareAssembly");
+            attribute :>> includeRelationshipKinds = ("AllocatedTo");
+            attribute :>> includeLayers = ("functions", "software_structure", "hardware_structure");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Show complete function-to-component allocation coverage.";
+        }
+        part :>> viewpointDefinition = functionalViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/functional_function_browser_view.sysml

@@ -0,0 +1,41 @@
+package memo_examples_gpca_pump_model_views_functional_function_browser_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaFunctionBrowserView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_views_functional_function_browser_view::*;
+        attribute depth = 2;
+        attribute :>> id = "VIEW-FUN-103";
+        attribute :>> name = "GPCA_FunctionBrowserView";
+        attribute :>> title = "GPCA Function Browser";
+        attribute :>> shortDescription = "Membership tree over the functions layer: logical functions, flows, and the exchange item definitions, grouped by kind.";
+        attribute :>> longDescription = "Browser view (SysML v2 browser view kind) exposing the functions-layer membership hierarchy as a first-class view: the eleven logical functions, the logical flows connecting them, and the data/control definitions they exchange — with kind icons, expand/collapse, and filtering.";
+        attribute :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::blockDiagram);
+        attribute :>> viewKind = DiagramViewKind::browser;
+        attribute :>> dataSourceDescription = "GPCA logical functions, flows, and exchange item definitions";
+        attribute :>> autoPopulate = true;
+        attribute :>> queryDescription = "Include the functions layer's functions, flows, and exchange item definitions.";
+        attribute :>> documentUsage = ("SDD");
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-FUN-103";
+            attribute :>> name = "GPCA_FunctionBrowserQuery";
+            attribute :>> includeElementKinds = ("LogicalFunction", "LogicalFlow", "DataDefinition", "ControlDefinition");
+            attribute :>> includeLayers = ("functions");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Auto-populate the function browser from the functions layer.";
+        }
+        part :>> viewpointDefinition = functionalViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/logical_device_interconnect_view.sysml

@@ -0,0 +1,43 @@
+package memo_examples_gpca_pump_model_views_logical_device_interconnect_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaDeviceInterconnectView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_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 = "Device-level interconnection: hardware assemblies wired to the software system's boundary ports.";
+        attribute :>> longDescription = "Interconnection-kind view of the GPCA device per GPCA_Device.aadl: sensor and actuator assemblies, the GPCA software system with its seven AADL boundary ports (OP_CMD_IN, PRES_IN, PATIENT_IN, SENSOR_IN, CONST_IN, DB_IN, GPCA_SW_OUT) pinned on its boundary, the eight software subcomponents nested inside, and the ExchangesWith connection topology (device-boundary CE-001..004 plus the GPCA_SW.Impl internal connections). Rendered through the KK-3 Interconnection view template.";
+        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 :>> 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");
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-LOG-003";
+            attribute :>> name = "GPCA_DeviceInterconnectQuery";
+            attribute :>> includeElementKinds = ("HardwareAssembly", "SoftwareSystem", "SoftwareComponent", "SoftwarePort");
+            attribute :>> includeRelationshipKinds = ("ExchangesWith", "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.";
+        }
+        part :>> viewpointDefinition = logicalArchitectureViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/logical_logical_architecture_view.sysml

@@ -0,0 +1,42 @@
+package memo_examples_gpca_pump_model_views_logical_logical_architecture_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaLogicalArchitectureView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_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 :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::blockDiagram);
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "bdd";
+        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";
+            attribute :>> includeElementKinds = ("LogicalComponent", "Interface", "Function");
+            attribute :>> includeLayers = ("functions", "logical_structure", "interfaces");
+            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;
+    }
+}

package/examples/gpca-pump/model/views/logical_mode_state_view.sysml

@@ -0,0 +1,42 @@
+package memo_examples_gpca_pump_model_views_logical_mode_state_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaModeStateView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_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 :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::stateDiagram);
+        attribute :>> viewKind = DiagramViewKind::statetransition;
+        attribute :>> diagramType = "stm";
+        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 = ("BehaviorMachine", "ModeState", "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;
+    }
+}

package/examples/gpca-pump/model/views/logical_system_decomposition_view.sysml

@@ -0,0 +1,44 @@
+package memo_examples_gpca_pump_model_views_logical_system_decomposition_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaSystemDecompositionView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_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 :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::blockDiagram);
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "bdd";
+        attribute :>> layoutHint = "containment";
+        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";
+            attribute :>> includeElementKinds = ("HardwareAssembly", "SoftwareSystem", "SoftwareComponent");
+            attribute :>> includeRelationshipKinds = ("Composes");
+            attribute :>> includeLayers = ("logical_structure", "software_structure");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Populate the decomposition from the device structure; composition edges drive the containment nesting.";
+        }
+        part :>> viewpointDefinition = logicalArchitectureViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/operational_scenario_sequence_view.sysml

@@ -0,0 +1,41 @@
+package memo_examples_gpca_pump_model_views_operational_scenario_sequence_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaScenarioSequenceView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_views_operational_scenario_sequence_view::*;
+        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);
+        attribute :>> viewKind = DiagramViewKind::sequence;
+        attribute :>> diagramType = "seq";
+        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 = ("SystemScenario", "OperationalScenario", "FunctionalChain", "FunctionalChainStep");
+            attribute :>> includeLayers = ("operational", "system");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Auto-populate scenario sequences from the system layer.";
+        }
+        part :>> viewpointDefinition = operationalViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/operational_use_case_view.sysml

@@ -0,0 +1,43 @@
+package memo_examples_gpca_pump_model_views_operational_use_case_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaUseCaseView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_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 therapy lifecycle activities and scenarios.";
+        attribute :>> longDescription = "Connects patient, nurse, prescriber, pharmacist, and technician to the operational activities (prescribe, load, program, start, bolus, alarm response, log review, maintain) and their scenarios.";
+        attribute :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::custom);
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "ucd";
+        attribute :>> dataSourceDescription = "GPCA operational activities, scenarios, and context actors";
+        attribute :>> autoPopulate = true;
+        attribute :>> queryDescription = "Include actors, operational activities, scenarios, and capabilities.";
+        attribute :>> documentUsage = ("Usability Engineering File", "Architecture Description");
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-OPS-101";
+            attribute :>> name = "GPCA_UseCaseQuery";
+            attribute :>> includeElementKinds = ("Actor", "OperationalActivity", "OperationalScenario", "OperationalCapability");
+            attribute :>> includeRelationshipKinds = ("InteractsWith", "SequencesStep", "ContributesToCapability");
+            attribute :>> includeLayers = ("context", "operational");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Auto-populate the GPCA use case view from the operational layer.";
+        }
+        part :>> viewpointDefinition = operationalViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/physical_physical_bom_view.sysml

@@ -0,0 +1,41 @@
+package memo_examples_gpca_pump_model_views_physical_physical_bom_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaPhysicalBomView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_views_physical_physical_bom_view::*;
+        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);
+        attribute :>> viewKind = DiagramViewKind::grid;
+        attribute :>> diagramType = "bdd";
+        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";
+            attribute :>> includeElementKinds = ("HardwareAssembly", "ProcessingNode", "PhysicalPort", "HardwareInterface");
+            attribute :>> includeLayers = ("hardware_structure", "physical", "interfaces");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Auto-populate the physical BOM from the hardware and physical layers.";
+        }
+        part :>> viewpointDefinition = physicalViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/requirements_requirements_trace_view.sysml

@@ -0,0 +1,42 @@
+package memo_examples_gpca_pump_model_views_requirements_requirements_trace_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaRequirementsTraceView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_views_requirements_requirements_trace_view::*;
+        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);
+        attribute :>> viewKind = DiagramViewKind::grid;
+        attribute :>> diagramType = "req";
+        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";
+            attribute :>> includeElementKinds = ("StakeholderNeed", "SystemRequirement", "SoftwareRequirement", "HardwareRequirement", "VerificationCase");
+            attribute :>> includeRelationshipKinds = ("DerivesFrom", "SatisfiedBy", "VerifiedBy");
+            attribute :>> includeLayers = ("requirements", "assurance");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Full derivation-to-verification traceability for design reviews.";
+        }
+        part :>> viewpointDefinition = requirementsViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/risk_fmea_view.sysml

@@ -0,0 +1,42 @@
+package memo_examples_gpca_pump_model_views_risk_fmea_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaFmeaView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_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);
+        attribute :>> viewKind = DiagramViewKind::grid;
+        attribute :>> diagramType = "fmea";
+        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 :>> 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;
+    }
+}

package/examples/gpca-pump/model/views/risk_risk_chain_view.sysml

@@ -0,0 +1,44 @@
+package memo_examples_gpca_pump_model_views_risk_risk_chain_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaRiskChainView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_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 :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::blockDiagram);
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "risk";
+        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";
+            attribute :>> includeElementKinds = ("Hazard", "HazardCause", "SequenceOfEvents", "HazardousSituation", "Harm", "RiskBeforeMitigation", "RiskAfterMitigation", "RiskControl", "OverallResidualRiskEvaluation");
+            attribute :>> includeRelationshipKinds = ("TracesRisk", "MitigatesHazard", "CausedBy", "ContributesToHazard", "MitigatedByControl", "LeadsToHazard");
+            attribute :>> includeLayers = ("risk", "assurance");
+            attribute :>> includeConcerns = (ConcernKind::safety);
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Auto-populate the risk chain diagram from the risk layer.";
+        }
+        part :>> viewpointDefinition = riskViewpoint;
+    }
+}

package/examples/gpca-pump/model/views/software_software_architecture_view.sysml

@@ -0,0 +1,43 @@
+package memo_examples_gpca_pump_model_views_software_software_architecture_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
+    private import memo_viewpoints_operational_operational_viewpoint::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
+    private import memo_viewpoints_software_software_viewpoint::*;
+    private import memo_viewpoints_physical_physical_viewpoint::*;
+    private import memo_viewpoints_requirements_requirements_viewpoint::*;
+    private import memo_viewpoints_risk_risk_viewpoint::*;
+    private import memo_viewpoints_verification_verification_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaSoftwareArchitectureView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_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 :>> 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 :>> documentUsage = ("SDD", "QMSR");
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-SW-101";
+            attribute :>> name = "GPCA_SoftwareArchitectureQuery";
+            attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareComponent", "SoftwarePort");
+            attribute :>> includeRelationshipKinds = ("ExchangesWith", "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;
+    }
+}