Unnecessary requirement in mode naming rule

saeaadl / aadlv2.2

SAE AADL core language, version 2.2

1 stars 0 forks source link

Unnecessary requirement in mode naming rule #34

Open lwrage opened 5 years ago

lwrage commented 5 years ago

The second sentence of naming rule 12 (N5) seems to add an unnecessary requirement. It should be allowed that not all requires modes of a subcomponent occur in the containing component if there is no mapping. Currently it is necessary to work around this by adding unnecessary mode mappings to have an unused subcomponent mode.

jjhugues commented 3 years ago

Can you propose a rewording?

jjhugues commented 3 years ago

Rewrite 12 (N5) by switchin subcomponent and containing component