(1) There is a standard collection of predeclared property sets named Deployment_Properties, Thread_Properties, Timing_Properties, Memory_Properties, Programming_Properties, and Modeling_Properties, which are part of every AADL specification. These property sets are listed in Appendix A .
(2) In addition, there is property set AADL_Project that declares a set of enumeration property types and property constants for which project-specific enumeration literals and values can be defined for different projects. This property set is part of every AADL specification. All of the property enumeration types and property constants listed in Appendix A.2 must be declared in this property set. The set of enumeration literals may vary.
Naming Rules
(N1) References to predeclared properties, property types, and property constants do not have to be qualified with the property set name. As a consequence the predeclared properties, property types, and property constants must be unique across all predeclared property sets.
NOTE: References to predeclared properties, property constants, and property types may be qualified with their property set name.
Legality Rules
(L1) The predeclared property sets other than AADL_Project cannot be modified.
(L2) Existing property type and property constant declarations in the AADL_Project property set can be modified. New declarations must not be added to the AADL_Project property set, but can be introduced through a separate property set declaration.
Processing Requirements and Permissions
(3) Additional property name declarations may not be inserted into the standard predeclared property sets. Separate property set declarations must be used for nonstandard property definitions.
(4) Providers of AADL processing methods may modify the standard property type declarations in AADL_Project to allow additional values for a specific property definitions. For example, additional enumeration identifiers beyond those listed in this standard may be added.
(5) Users may define additional property sets and use them in AADL specifications. AADL tools may be created that make use of those additional property sets.
(6) Additional property sets that may be suitable for a wide variety applications may be defined in an Annex document. AADL tools that support this Annex should include support for these additional property sets. Similarly, AADL specifications that conform to the Annex shall satisfy the requirements associated with the annex property set.