@memoarchitect/ontology 0.4.4

package/examples/gpca-pump/model/samples/interconnection_view.viewlayout

@@ -0,0 +1,99 @@
+format: memo.viewlayout/v1
+viewSource: model/samples/interconnection_view.sysml
+layouts:
+  diag-sample-sampleInterconnectionView:
+    nodes:
+      coffeeMachine:
+        x: 364
+        y: 0
+        ports:
+          mainsWaterIn:
+            x: -12
+            y: 273
+            side: left
+          beverageOut:
+            x: 1253.1
+            y: 137.70963541666669
+            side: right
+          serviceInterface:
+            x: 1253.1
+            y: 240.73784722222223
+            side: right
+          diagnostics:
+            x: 1253.1
+            y: 380.19422743055554
+            side: right
+      waterTank:
+        x: 128
+        y: 114
+        ports:
+          tankWaterOut:
+            x: 376
+            y: 72
+            side: right
+          tankWaterIn:
+            x: -12
+            y: 72
+            side: left
+      heaterAssembly:
+        x: 570
+        y: 70
+        ports:
+          heaterWaterIn:
+            x: -12
+            y: 116
+            side: left
+          heatedWaterOut:
+            x: 555.1
+            y: 116
+            side: right
+      heatingElement:
+        x: 128
+        y: 70
+        ports:
+          heaterStatusOut:
+            x: 299.1
+            y: 72
+            side: right
+      brewGroup:
+        x: 659.55
+        y: 384
+        ports:
+          brewWaterIn:
+            x: -12
+            y: 72
+            side: left
+          brewedCoffeeOut:
+            x: 376
+            y: 72
+            side: right
+      waterSupply:
+        x: 0
+        y: 201
+        ports:
+          supplyWaterOut:
+            x: 262
+            y: 72
+            side: right
+      cup:
+        x: 1719.1
+        y: 5
+        ports:
+          cupBeverageIn:
+            x: -12
+            y: 72
+            side: left
+    edges:
+      rel-683: {}
+      rel-684: {}
+      rel-685: {}
+      rel-686: {}
+      rel-687: {}
+      rel-688: {}
+      rel-689: {}
+    canvas:
+      autoLayout: false
+      zoom: 0.72
+      pan:
+        x: -201.51599999999996
+        y: 59.80000000000001

package/examples/gpca-pump/model/samples/operational_behaviour_view.sysml

@@ -0,0 +1,145 @@
+package memo_examples_gpca_pump_model_samples_operational_behaviour_view {
+    private import ScalarValues::*;
+    private import memo_architecture_system::*;
+
+    private import memo_architecture_context::*;
+    private import memo_core_relationships::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    // ─────────────────────────────────────────────────────────────────────────
+    // Sample · Operational behaviour — clinical PCA setup & therapy
+    //
+    // Demonstrates an Action Flow (activity) diagram of *operational* behaviour:
+    // who does what across clinical roles. Swimlanes group steps by the actor
+    // that performs them (allocate <action> to <role>); a fork/join captures
+    // preparation work that happens concurrently; and `opAdminister` is a
+    // composite action — double-click it to drill into its sub-flow, then use
+    // "← Parent" to return.
+    // ─────────────────────────────────────────────────────────────────────────
+
+    // Items exchanged between steps (typed flow payloads)
+    item def OpPrescription;
+    item def OpBolusRequest;
+    part def CareSystem;
+
+    // Action definitions give steps typed in/out pins
+    action def OpPrescribeTherapy { out prescription : OpPrescription; }
+    action def OpVerifyPrescription { in prescription : OpPrescription; }
+    action def OpRequestBolus { out bolusRequest : OpBolusRequest; }
+    action def OpCheckLockout { in bolusRequest : OpBolusRequest; }
+
+    // Responsibility hierarchy used by the Level control:
+    // L1 care system → L2 responsibility groups → L3 performing actors.
+    part opCareSystem : CareSystem { attribute name = "PCA Care System"; }
+    part opClinicalTeam : Actor { attribute :>> name = "Clinical Team"; }
+    part opPatientGroup : Actor { attribute :>> name = "Patient Interaction"; }
+
+    // L3 clinical roles — one natural-level swimlane each
+    part opRolePhysician : Actor { attribute :>> name = "Physician"; }
+    part opRoleNurse : Actor { attribute :>> name = "Nurse"; }
+    part opRoleBiomed : Actor { attribute :>> name = "Biomed Tech"; }
+    part opRolePatient : Actor { attribute :>> name = "Patient"; }
+
+    connection : Composes connect parent ::> opCareSystem to child ::> opClinicalTeam;
+    connection : Composes connect parent ::> opCareSystem to child ::> opPatientGroup;
+    connection : Composes connect parent ::> opClinicalTeam to child ::> opRolePhysician;
+    connection : Composes connect parent ::> opClinicalTeam to child ::> opRoleNurse;
+    connection : Composes connect parent ::> opClinicalTeam to child ::> opRoleBiomed;
+    connection : Composes connect parent ::> opPatientGroup to child ::> opRolePatient;
+
+    action opSetupFlow {
+        action opPrescribe : OpPrescribeTherapy { attribute name = "Prescribe Therapy"; }
+        action opVerify : OpVerifyPrescription { attribute name = "Verify Prescription"; }
+
+        // Concurrent preparation: prime the pump while the device self-tests
+        fork opForkPrep;
+        action opPrime { attribute name = "Prime Pump & Load Reservoir"; }
+        action opSelfTest { attribute name = "Run Device Self-Test"; }
+        join opJoinPrep;
+
+        action opProgram { attribute name = "Program Pump Parameters"; }
+        action opConnect { attribute name = "Connect to Patient"; }
+        action opStart { attribute name = "Start Infusion"; }
+
+        // Composite step — its own sub-flow (drill-in)
+        action opAdminister {
+            attribute name = "Administer PCA Therapy";
+            action opRequestBolus : OpRequestBolus { attribute name = "Request Bolus"; }
+            action opCheckLockout : OpCheckLockout { attribute name = "Check Lockout"; }
+            action opDeliverDose { attribute name = "Deliver Dose"; }
+            action opLogEvent { attribute name = "Log Dose Event"; }
+
+            flow of OpBolusRequest from opRequestBolus.bolusRequest to opCheckLockout.bolusRequest;
+
+            first start then opRequestBolus;
+            first opRequestBolus then opCheckLockout;
+            first opCheckLockout then opDeliverDose;
+            first opDeliverDose then opLogEvent;
+            first opLogEvent then done;
+        }
+
+        flow of OpPrescription from opPrescribe.prescription to opVerify.prescription;
+
+        first start then opPrescribe;
+        first opPrescribe then opVerify;
+        first opVerify then opForkPrep;
+        first opForkPrep then opPrime;
+        first opForkPrep then opSelfTest;
+        first opPrime then opJoinPrep;
+        first opSelfTest then opJoinPrep;
+        first opJoinPrep then opProgram;
+        first opProgram then opConnect;
+        first opConnect then opStart;
+        first opStart then opAdminister;
+        first opAdminister then done;
+    }
+
+    // Swimlane allocation — who performs each step
+    allocate opSetupFlow.opPrescribe to opRolePhysician;
+    allocate opSetupFlow.opVerify to opRoleNurse;
+    allocate opSetupFlow.opPrime to opRoleNurse;
+    allocate opSetupFlow.opSelfTest to opRoleBiomed;
+    allocate opSetupFlow.opProgram to opRoleNurse;
+    allocate opSetupFlow.opConnect to opRoleNurse;
+    allocate opSetupFlow.opStart to opRoleNurse;
+    allocate opSetupFlow.opAdminister to opRoleNurse;
+    allocate opSetupFlow.opAdminister.opRequestBolus to opRolePatient;
+    allocate opSetupFlow.opAdminister.opCheckLockout to opRoleNurse;
+    allocate opSetupFlow.opAdminister.opDeliverDose to opRoleNurse;
+    allocate opSetupFlow.opAdminister.opLogEvent to opRoleNurse;
+
+    view opSetupView : MemoDiagramView {
+        expose opSetupFlow::**;
+        expose opCareSystem::**;
+        expose opClinicalTeam::**;
+        expose opPatientGroup::**;
+        attribute depth = 2;
+        attribute :>> title = "Sample · Clinical PCA Setup (Operational)";
+        attribute :>> shortDescription = "Operational activity across clinical roles: swimlanes per actor, a fork/join for concurrent prep, and a composite 'Administer PCA Therapy' sub-flow (double-click to drill in).";
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "ofd";
+    }
+
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opPrescribe to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opVerify to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opForkPrep to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opPrime to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opSelfTest to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opJoinPrep to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opProgram to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opConnect to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opStart to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister.opRequestBolus to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister.opCheckLockout to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister.opDeliverDose to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opSetupFlow.opAdminister.opLogEvent to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opCareSystem to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opClinicalTeam to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opPatientGroup to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opRolePhysician to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opRoleNurse to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opRoleBiomed to targetView ::> opSetupView;
+    connection : IncludedIn connect sourceElement ::> opRolePatient to targetView ::> opSetupView;
+}

package/examples/gpca-pump/model/samples/tree_view.sysml

@@ -0,0 +1,56 @@
+package memo_examples_gpca_pump_model_samples_tree_view {
+    private import ScalarValues::*;
+    private import memo_architecture_hardware_structure::*;
+
+    private import memo_architecture_physical::*;
+    private import memo_core_relationships::*;
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    part rootA : HardwareAssembly { attribute :>> name = "Root A"; }
+    part rootB : HardwareAssembly { attribute :>> name = "Root B"; }
+    part branchA1 : HardwareAssembly { attribute :>> name = "Branch A.1"; }
+    part branchA2 : HardwareAssembly { attribute :>> name = "Branch A.2 With A Deliberately Long Label"; }
+    part branchB1 : HardwareAssembly { attribute :>> name = "Branch B.1"; }
+    part leafA11 : HardwareAssembly {
+        attribute :>> name = "Leaf A.1.1";
+        attribute :>> partNumber = "PN-001";
+    }
+    part leafA12 : HardwareAssembly { attribute :>> name = "Leaf A.1.2"; }
+    part leafA21 : HardwareAssembly { attribute :>> name = "Leaf A.2.1"; }
+    part leafB11 : HardwareAssembly { attribute :>> name = "Leaf B.1.1"; }
+
+    connection : Composes connect parent ::> rootA to child ::> branchA1;
+    connection : Composes connect parent ::> rootA to child ::> branchA2;
+    connection : Composes connect parent ::> rootA to child ::> rootB;
+    connection : Composes connect parent ::> branchA1 to child ::> leafA11;
+    connection : Composes connect parent ::> branchA1 to child ::> leafA12;
+    connection : Composes connect parent ::> branchA2 to child ::> leafA21;
+    connection : Composes connect parent ::> rootB to child ::> branchB1;
+    connection : Composes connect parent ::> branchB1 to child ::> leafB11;
+
+    view sampleTreeView : MemoDiagramView {
+        expose rootA::**;
+        expose rootB::**;
+        attribute depth = 2;
+        attribute :>> title = "Sample · Tree";
+        attribute :>> shortDescription = "One connected dummy hierarchy with varied branch depths for tree layout development.";
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "bdd";
+        attribute :>> layoutHint = "tree";
+        attribute :>> styleHint = "expanded:rootA,rootB,branchA1,branchB1";
+        part :>> selectionQuery {
+            attribute :>> includeRelationshipKinds = ("Composes");
+        }
+    }
+
+    connection : IncludedIn connect sourceElement ::> rootA to targetView ::> sampleTreeView;
+    connection : IncludedIn connect sourceElement ::> rootB to targetView ::> sampleTreeView;
+    connection : IncludedIn connect sourceElement ::> branchA1 to targetView ::> sampleTreeView;
+    connection : IncludedIn connect sourceElement ::> branchA2 to targetView ::> sampleTreeView;
+    connection : IncludedIn connect sourceElement ::> branchB1 to targetView ::> sampleTreeView;
+    connection : IncludedIn connect sourceElement ::> leafA11 to targetView ::> sampleTreeView;
+    connection : IncludedIn connect sourceElement ::> leafA12 to targetView ::> sampleTreeView;
+    connection : IncludedIn connect sourceElement ::> leafA21 to targetView ::> sampleTreeView;
+    connection : IncludedIn connect sourceElement ::> leafB11 to targetView ::> sampleTreeView;
+}

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

@@ -0,0 +1,41 @@
+package memo_examples_gpca_pump_model_views_behavior_action_flow_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 gpcaActionFlowView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_views_behavior_action_flow_view::*;
+        attribute depth = 2;
+        attribute :>> id = "VIEW-BHV-003";
+        attribute :>> name = "GPCA_InfusionDeliveryActionFlowView";
+        attribute :>> title = "GPCA Infusion Delivery Action Flow";
+        attribute :>> shortDescription = "The 20 ms execution-step pipeline from sensor acquisition through alarm evaluation and dose limiting to pump actuation and event logging.";
+        attribute :>> longDescription = "Action flow over the infusionDeliveryFlow composite action: typed action steps with in/out parameters, item flows carrying the DD/CD exchange items, succession ordering from start to done, and swimlane allocation onto the logical architecture (sensors, alarm, infusion manager, pump motor, logging).";
+        attribute :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::activityDiagram);
+        attribute :>> viewKind = DiagramViewKind::actionflow;
+        attribute :>> diagramType = "afd";
+        attribute :>> dataSourceDescription = "GPCA infusion delivery composite action, item flows, and successions";
+        attribute :>> autoPopulate = true;
+        attribute :>> queryDescription = "Include the nested action usages of the infusion delivery flow with their flows and successions.";
+        attribute :>> documentUsage = ("SDD");
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-BHV-103";
+            attribute :>> name = "GPCA_ActionFlowQuery";
+            attribute :>> includeElementKinds = ("ActionUsage");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Auto-populate the action flow view from the behavior layer's action usages.";
+        }
+        part :>> viewpointDefinition = logicalArchitectureViewpoint;
+    }
+}

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

@@ -0,0 +1,43 @@
+package memo_examples_gpca_pump_model_views_context_system_context_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 gpcaSystemContextView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_views_context_system_context_view::*;
+        attribute depth = 2;
+        attribute :>> id = "VIEW-CTX-101";
+        attribute :>> name = "GPCA_SystemContextView";
+        attribute :>> title = "GPCA System Context View";
+        attribute :>> shortDescription = "Actors, use contexts, and external entities at the GPCA system boundary.";
+        attribute :>> longDescription = "Shows the CriSys Fig 2.1 boundary: patient, clinician, prescription, drug reservoir, needle, hospital pharmacy database, and hospital environment around the pump, with directional data flows, physical drug-path connections, and the intended use anchoring the boundary.";
+        attribute :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::blockDiagram);
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "bdd";
+        attribute :>> dataSourceDescription = "GPCA context layer: actors, use contexts, intended use, operational entities";
+        attribute :>> autoPopulate = true;
+        attribute :>> queryDescription = "Include actors, use contexts, intended use, and external operational entities.";
+        attribute :>> documentUsage = ("Architecture Description", "Usability Engineering File");
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-CTX-101";
+            attribute :>> name = "GPCA_SystemContextQuery";
+            attribute :>> includeElementKinds = ("Actor", "UseContext", "IntendedUse", "OperationalEntity");
+            attribute :>> includeRelationshipKinds = ("InteractsWith", "ExchangesWith", "ConnectsPhysically", "GovernsUse", "AppliesInContext");
+            attribute :>> includeLayers = ("context", "operational");
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Auto-populate the GPCA context view from the context layer.";
+        }
+        part :>> viewpointDefinition = contextViewpoint;
+    }
+}

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

@@ -0,0 +1,44 @@
+package memo_examples_gpca_pump_model_views_cybersecurity_cybersecurity_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_viewpoints_cybersecurity_cybersecurity_viewpoint::*;
+    private import memo_core_enumerations::*;
+
+    view gpcaCybersecurityView : MemoDiagramView {
+        expose memo_examples_gpca_pump_model_views_cybersecurity_cybersecurity_view::*;
+        attribute depth = 2;
+        attribute :>> id = "VIEW-CYB-001";
+        attribute :>> name = "GPCA_CybersecurityView";
+        attribute :>> title = "GPCA Cybersecurity View";
+        attribute :>> shortDescription = "Shows GPCA assets, trust boundaries, threats, vulnerabilities, and mitigations.";
+        attribute :>> longDescription = "Product-specific cybersecurity view intended for secure product development and cross-reference into cybersecurity risk documentation.";
+        attribute :>> outputKind = (ViewOutputKind::diagram);
+        attribute :>> presentationKind = (PresentationKind::custom);
+        attribute :>> viewKind = DiagramViewKind::general;
+        attribute :>> diagramType = "threat-model";
+        attribute :>> dataSourceDescription = "GPCA cyber assets, threat scenarios, and trace links";
+        attribute :>> autoPopulate = true;
+        attribute :>> queryDescription = "Include cyber assets, trust boundaries, threats, vulnerabilities, cyber hazards, cyber risks, mitigations, security requirements, and verification.";
+        attribute :>> documentUsage = ("Threat Model", "Cybersecurity Risk Assessment", "QMSR");
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-CYB-001";
+            attribute :>> name = "GPCA_CybersecurityQuery";
+            attribute :>> includeElementKinds = ("CybersecurityAsset", "Threat", "Vulnerability", "CyberHazard", "CyberRisk", "CyberMitigation", "SecurityRequirement", "TrustBoundary", "ThreatScenario");
+            attribute :>> includeLayers = ("cybersecurity", "risk", "assurance");
+            attribute :>> includeConcerns = (ConcernKind::cybersecurity, ConcernKind::privacy, ConcernKind::safety);
+            attribute :>> selectionExpression = "product == 'GPCA'";
+            attribute :>> rationaleText = "Auto-populate the GPCA cybersecurity view from the cyber layer and cross-layer trace model.";
+        }
+        part :>> viewpointDefinition = cybersecurityViewpoint;
+    }
+}

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

@@ -0,0 +1,29 @@
+package memo_examples_gpca_pump_model_views_document_architecture_description_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view architectureDescriptionView : MemoDocumentView {
+        expose memo_examples_gpca_pump_model_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 :>> version = "0.1";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        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 :>> selectionQuery {
+            attribute :>> id = "QRY-DOC-005";
+            attribute :>> name = "architectureDescriptionViewQuery";
+            attribute :>> includeElementKinds = ("LogicalComponent", "LogicalFunction", "ComponentExchange", "SoftwareSystem", "SoftwareComponent", "HardwareAssembly", "ProcessingNode", "PhysicalPort", "FunctionalChain", "FunctionalChainStep");
+            attribute :>> includeRelationshipKinds = ("Composes", "AllocatedTo", "AllocatesExchange", "RealizesInterface", "BindsToInterface", "InvolvesFunction", "SequencesStep", "DeploysOnto", "HostedBy");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}

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

@@ -0,0 +1,28 @@
+package memo_examples_gpca_pump_model_views_document_cyber_assessment_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_cybersecurity_cybersecurity_assessment_view::*;
+    private import memo_core_enumerations::*;
+
+    view cyberAssessmentView : MemoCybersecurityAssessmentView {
+        expose memo_examples_gpca_pump_model_views_document_cyber_assessment_view::*;
+        attribute :>> id = "DOC-003";
+        attribute :>> name = "GPCAMemoCybersecurityAssessmentView";
+        attribute :>> title = "GPCA Cybersecurity Assessment View";
+        attribute :>> shortDescription = "Cybersecurity risk-assessment-oriented document view for GPCA.";
+        attribute :>> longDescription = "Captures GPCA cyber risks, mitigations, security requirements, verification, and safety/privacy traceability for cybersecurity assessment records.";
+        attribute :>> version = "0.1";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        attribute :>> marketScope = "generic";
+        attribute :>> documentUsage = ("Cybersecurity Risk Assessment", "RMF", "QMSR");
+        attribute :>> sectionIdentifier = "CYB-RA";
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-DOC-009";
+            attribute :>> name = "cyberAssessmentViewQuery";
+            attribute :>> includeElementKinds = ("CyberRisk", "CyberHazard", "CybersecurityAsset", "CyberMitigation", "SecurityRequirement", "SecurityClaim", "SBOMEntry", "SOUPComponent");
+            attribute :>> includeRelationshipKinds = ("ImpactsSafety", "MitigatesVulnerability", "DerivesCyberRequirement", "AssessedAgainst", "DependsOnSoup");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}

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

@@ -0,0 +1,29 @@
+package memo_examples_gpca_pump_model_views_document_dhf_index_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view dhfIndexView : MemoDocumentView {
+        expose memo_examples_gpca_pump_model_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 :>> version = "0.1";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        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 :>> selectionQuery {
+            attribute :>> id = "QRY-DOC-007";
+            attribute :>> name = "dhfIndexViewQuery";
+            attribute :>> includeElementKinds = ("MemoDocumentView", "MemoDiagramView", "MemoUsabilityEngineeringView", "MemoCybersecurityThreatModelView", "MemoCybersecurityAssessmentView", "Evidence", "Citation");
+            attribute :>> includeRelationshipKinds = ("IncludedIn", "ProducesEvidence");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}

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

@@ -0,0 +1,29 @@
+package memo_examples_gpca_pump_model_views_document_hazard_analysis_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view hazardAnalysisView : MemoDocumentView {
+        expose memo_examples_gpca_pump_model_views_document_hazard_analysis_view::*;
+        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 :>> version = "0.1";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        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 :>> 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", "CausedBy", "CausesEffect", "DetectedBy", "AddressedByAction", "InputToGate", "ContainsEvent", "OriginatesFrom", "ContributesToHazard", "BrokenByControl", "IncludedIn");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}

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

@@ -0,0 +1,29 @@
+package memo_examples_gpca_pump_model_views_document_rmf_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view rmfView : MemoDocumentView {
+        expose memo_examples_gpca_pump_model_views_document_rmf_view::*;
+        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 :>> version = "0.2";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        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 :>> selectionQuery {
+            attribute :>> id = "QRY-DOC-001";
+            attribute :>> name = "rmfViewQuery";
+            attribute :>> includeElementKinds = ("Hazard", "HazardCause", "HazardousSituation", "Harm", "SequenceOfEvents", "Risk", "RiskBeforeMitigation", "RiskAfterMitigation", "RiskControl", "OverallResidualRiskEvaluation", "VerificationCase", "Evidence");
+            attribute :>> includeRelationshipKinds = ("ContributesToHazard", "LeadsToHazard", "CausedBy", "MitigatesHazard", "MitigatedByControl", "TracesRisk", "AssessedAgainst", "VerifiedBy", "ProducesEvidence", "IncludedIn");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}

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

@@ -0,0 +1,29 @@
+package memo_examples_gpca_pump_model_views_document_sdd_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_core_enumerations::*;
+
+    view sddView : MemoDocumentView {
+        expose memo_examples_gpca_pump_model_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 :>> version = "0.1";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        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 :>> selectionQuery {
+            attribute :>> id = "QRY-DOC-004";
+            attribute :>> name = "sddViewQuery";
+            attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareComponent", "ModeState", "Transition", "SoftwareInterface", "LogicalFunction", "TimingConstraint", "SOUPComponent");
+            attribute :>> includeRelationshipKinds = ("Composes", "AllocatedTo", "BindsToInterface", "RealizesInterface", "DependsOnSoup", "Changes");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}

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

@@ -0,0 +1,28 @@
+package memo_examples_gpca_pump_model_views_document_threat_model_view {
+    private import ScalarValues::*;
+
+    private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_cybersecurity_threat_model_view::*;
+    private import memo_core_enumerations::*;
+
+    view threatModelView : MemoCybersecurityThreatModelView {
+        expose memo_examples_gpca_pump_model_views_document_threat_model_view::*;
+        attribute :>> id = "DOC-002";
+        attribute :>> name = "GPCACyberThreatModelView";
+        attribute :>> title = "GPCA Cybersecurity Threat Model View";
+        attribute :>> shortDescription = "Threat-model-oriented document view for GPCA.";
+        attribute :>> longDescription = "Captures GPCA cyber assets, trust boundaries, threats, threat scenarios, vulnerabilities, and mitigations for secure product development records.";
+        attribute :>> version = "0.1";
+        attribute :>> lifecycleState = LifecycleStateKind::development;
+        attribute :>> marketScope = "generic";
+        attribute :>> documentUsage = ("Threat Model", "QMSR");
+        attribute :>> sectionIdentifier = "CYB-TM";
+        part :>> selectionQuery {
+            attribute :>> id = "QRY-DOC-008";
+            attribute :>> name = "threatModelViewQuery";
+            attribute :>> includeElementKinds = ("Threat", "ThreatScenario", "Vulnerability", "CybersecurityAsset", "TrustBoundary", "AttackSurface", "CyberMitigation", "SecurityRequirement");
+            attribute :>> includeRelationshipKinds = ("ThreatenedBy", "Exploits", "RealizedByScenario", "CrossesTrustBoundary", "MitigatesVulnerability", "DerivesCyberRequirement");
+            attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
+        }
+    }
+}