Clarify "applies to" - Githubissues

saeaadl / aadlv2.3

Errata and feature request for AADLv2.3

0 stars 0 forks source link

Clarify "applies to" #1

Open jjhugues opened 2 years ago

jjhugues commented 2 years ago

Some properties with inherit have in their applies to some component category that are here only to satisfy the inheritance mechanism. E.g. period.

[ ] Should we make a statement that this is indeed the case, e.g. in the definition of the property set?

joeseibel commented 2 years ago

I think it would be useful to at least document which categories a property truly applies to versus which categories are there for inherit purposes only. Having this properly documented in the property sets will help us reason about the properties better. In AADL v2, I would only add this documentation. For AADL v3, we should seriously consider allowing an inherit property to be attached anywhere so that we can limit what is written in applies to.