/* Copyright (c) 2026 Sensmetry, UAB. All Rights Reserved. */
package 'Algorithmic Trading Views' {
    private import StandardViewDefinitions::*;
    private import Views::asTreeDiagram;

    alias STK_REQ for 'Algorithmic Trading Requirements'::'Stakeholder Requirements';
    alias SYS_REQ for 'Algorithmic Trading Requirements'::'System Requirements';

    part def 'Requirement Views' {
        view 'Executive Requirements' {
            expose STK_REQ::'Executive Stakeholder Requirements'::**;
            filter @ SysML::RequirementUsage;
            attribute fileName = "exec-requirements";
        }
        view 'User Requirements' {
            expose STK_REQ::'User Stakeholder Requirements'::*::**;
            filter @ SysML::Package or @ SysML::RequirementUsage;
            attribute fileName = "user-requirements";
        }

        view 'System Requirements' {
            expose SYS_REQ::*::**;
            filter @ SysML::Package or @ SysML::RequirementUsage;
            attribute fileName = "system-requirements";
        }
    }
} // package 'Algorithmic Trading Views'
