Support of internal features

[juli1]

For now, the internal features are not supported. Supporting them would then allow the interaction between the core, the ba and other annexes.
See an example of a model that uses the internal features.

package wbs::hydraulics::wheels

public

system wheel
features
pressure_primary : in data port base_types::integer;
pressure_alternate : in data port base_types::integer;
end wheel;

system implementation wheel.impl
internal features
failure_from_behavior : event;
annex EMV2 {**
use types errorlibrary;
use behavior wbs::errorlib::simple;

component error behavior 
transitions
    failing_mode : operational -[ failure_from_behavior ]-> failed;
end component; 

};
annex behavior_specification {
states
working : initial complete state;
pressure_detection : state;
transitions
t0 : working -[ on dispatch ]-> pressure_detection;
t1 : pressure_detection -[pressure_primary > 0 or pressure_alternate > 0]->working;
t2 : pressure_detection -[pressure_alternate < 0 and pressure_primary < 0]->working {failure_from_behavior!};
**};
end wheel.impl;

end wbs::hydraulics::wheels;

[juli1]

Hello,

For information, I have put an example of a model with internal features on our github.
Please see https://github.com/osate/examples/blob/master/core-examples/internal-features/internal-features01.aadl