saeaadl / aadlv2.2

SAE AADL core language, version 2.2
1 stars 0 forks source link

abstract category in reference and classifier property types #40

Open reteprelief opened 5 years ago

reteprelief commented 5 years ago

In the applies to clause of a property definition abstract is always included as stated in the standard. For reference and classifier property types the standard is silent. We either make it implicit in that case as well or we explicitly include abstract in relevant cases, e.g., in binding properties. Proposal: add abstract explicitly for binding properties.

jjhugues commented 3 years ago

Recorded in document