saeaadl / aadlv2.1

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

Reference to a connection as property value #16

Open lwrage opened 8 years ago

lwrage commented 8 years ago

If a property has as its value a reference to a connection C in the declarative model, the value should be the list of semantic connections that contain C. Also, the property type must be a list type. The standard is currently silent about this.

There is a somewhat similar legality rule 11.4(L6) for arrays. (Should this rule be moved to the semantics section?)