search

saeaadl / aadlv2.1

For managing AADL V2.1 errata
0 stars 0 forks source link

Allow abstract features as mode transition triggers #10

Open reteprelief opened 8 years ago

reteprelief commented 8 years ago

In early design we do not know whether a port is an event port or event data port. Those can be referenced as mode transition triggers. It is useful to allow abstract feature (Actually port but we do not have that in V2.1). Add a legality rule to indicate that it can only be refined to event port or event data port.

lwrage commented 8 years ago

For implementation see osate/osate2-core#671

lwrage commented 8 years ago

This is not really documented in the current draft. There's just a change in the BNF but abstract features are not mentioned in the text.

reteprelief commented 8 years ago

Thanks. Marked it as review comment.