Appendix A Predeclared Property Sets
Normative
(1) The set of predeclared property sets Deployment_Properties, Thread_Properties, Timing_Properties, Memory_Properties, Programming_Properties, and Modeling_Properties is part of every AADL specification. It defines properties for AADL model elements that are defined in the core of the AADL. These property sets may not be modified by the modeler. Deployment_Properties contains properties related to the deployment of the embedded application on the execution platform. Thread_Properties contains properties that characterize threads and their features. Timing_Properties contains properties related to execution timing. Memory_Properties contains properties related to memory as storage, data access, and device access. Programming_Properties contains properties for relating AADL models to application programs. Modeling_Properties contains properties related to the AADL model itself.
(2) The property set AADL_Project is a part of every AADL specification. It defines property enumeration types and property constants that can be tailored for different AADL projects and site installations. These definitions allow for tailoring of the predeclared properties through changes to these predeclared property types and property constants.
(3) The property types, property definitions, and property constants of these predeclared property sets can be named with or without property set name qualification.
NOTES:
All predeclared properties and user-defined properties are applicable to components of the category abstract without listing this category in the applies to statement of the property definition.
NOTES:
In accordance with the naming rules for references to items defined in the predeclared property sets, the declarations in these property set refer to enumeration types and property constants declared in the AADL_Project property set without a qualifying property set name.