Syntax for referencing subprogram proxies - Deserialization

[philip-alldredge]

This may be a case of things working as intended, but I would like clarification. When deserializing a model that contains a call sequence that contains a call to a subprogram proxy, the processor keyword is not generated.

For example, with the model below:

package spc_example
public
thread ex
end ex;

thread implementation ex.impl
    processor features
            sp_proxy: subprogram;
            calls
                    new_call_sequence: {new_call: subprogram processor.sp_proxy;};
            end ex.impl;

end spc_example;

Saving the model as XMI and then saving that as AADL generates:

package spc_example
public
thread ex
end ex;

thread implementation ex.impl
    processor features
            sp_proxy: subprogram;
            calls
                    new_call_sequence: {new_call: subprogram sp_proxy;};
            end ex.impl;

end spc_example;

No errors are reported because the AADL is valid according to the xtext grammer. The subprogram proxy is a CalledSubprogram. Is this behavior intended?

[lwrage]

AADL 2.2 draft still has processor and self as required keywords.

[lwrage]

With internal and processor features being part of the component implementation's namespace the keywords are redundant. The plan is to make them optional in AADL 2.2.