saeaadl / emv2

AADL Error Model V2 annex language
0 stars 0 forks source link

Should propagation paths refer to features? #73

Open joeseibel opened 2 years ago

joeseibel commented 2 years ago

The standard currently only allows a propagation path to refer to propagation points. However, Peter also wanted propagation paths to refer to features. In section E.7.3, Peter placed a comment on the syntax rule for qualified_propagation_point. Peter's comment reads, "Need to be able to connect a propagation point (without subcomponent id) to a propagation point or feature of a subcomponent." Peter also updated OSATE to permit this non-standard reference to a feature.

Should this be allowed or should we only support references to propagation points? @lwrage has suggested that supporting features would cause this to become overly complicated. He would want to remove Peter's comment and undo Peter's changes from OSATE.

brlarson commented 1 year ago

Agree with @lwrage.