![]() ![]() |
||||
|
||||
There is a standard predeclared property set named AADL_Properties, which is part of
every
AADL specification. In addition, there is a set of enumeration property types and property
constants for which enumeration literals and values can be defined for different AADL
specifications. This set of property types is declared in a property set named AADL_Project. 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. The AADL_Properties and
AADL_Project property
sets are implicitly a part of every AADL specification.
The property types, property names, and property constants
of these predeclared property sets
can be named without property set name qualification.
property set AADL_Properties is
-- See Appendix A.1
end AADL_Properties;
property set AADL_Project is
-- See Appendix A.2
end AADL_ Project;
Naming Rules
The predeclared property sets AADL_Properties and AADL_Project share a property set
namespace.
Legality Rules
The AADL_Properties property set cannot be modified.
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
Additional property name declarations may not be inserted
into the standard predeclared property
set AADL_Properties.
Different property set declarations must be used for nonstandard
property names.
Providers of AADL processing methods may modify the standard
property type declarations in
AADL_Properties
to allow additional values for a specific property name. For example,
additional enumeration identifiers beyond those listed in this standard may be added.
Additional property sets may be defined. AADL tools
may be defined that include support for
additional property sets. Similarly, AADL specifications may be define that property associations
from additional property sets.
Additional property sets that may be suitable for a wide
variety applications may be defined in an
Annex. 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. |
||||