Flow specification only allows one level of reference into nested feature groups

[reteprelief]

Connections can reach into nested feature groups multiple levels.

[reteprelief]

ok.

[jjhugues]

Must investigate status with Lutz

[lwrage]

I have implemented a prototype for OSATE, this is a fairly straight forward change.

Note:

• This change only applies to flow specifications. As a result reaching down is only allowed at leaf components (w.r.t. the flow). This is consistent with allowing connections to reach into feature groups only for connections that connect two subcomponents at the same level.
• The change could be extended to trivial flow implementations, i.e., flow implementations that don't contain references to connections or subcomponents.
• Extending this to flow specifications and implementations at arbitrary levels in the model is not necessary and would require a rather complicated set of additional legality rules to assure consistency between flows and connections.

Example model

Note that this model was created purely for testing purposes.

package P3
public

    feature group fgt
        features
            fg1: feature group fgt1[2];
            fg2: feature group fgt1;
    end fgt;

    feature group fgt1
        features
            f1: out feature;
            f2: out feature;
    end fgt1;

    system P
        features
            fgo: feature group fgt;
        flows
            fsrc: flow source fgo;
    end P;

    system M
        features
            fgi: feature group inverse of fgt;
            fgo: feature group fgt;
        flows
            fpth: flow path fgi.fg1 -> fgo.fg2;
    end M;

    system implementation M.i
        flows
            fpth: flow path fgi.fg1.f2 -> fgo.fg2.f1;
    end M.i;

    system C
        features
            fgi: feature group inverse of fgt;
        flows
            fsnk: flow sink fgi;
    end C;

    system S
    end S;

    system implementation S.i
        subcomponents
            p: system P;
            m: system M;
            c: system C;
        connections
            cpm: feature p.fgo.fg1.f1 -> m.fgi.fg1.f2;
            cmc: feature m.fgo.fg2 -> c.fgi.fg2;
        flows
            e: end to end flow p.fsrc -> cpm -> m.fpth -> cmc -> c.fsnk;
    end S.i;

end P3;

[jjhugues]

• [ ] Check the grammar
• [ ] Word the corresponding consistency check that this should be only for leaf nodes Insist on the similarity with the connection cases

[jjhugues]

@lwrage this one also requires feedback

[jjhugues]

Added to document by Lutz