A.7     Predeclared Modeling Properties

(1)   The predeclared property set named Modeling_Properties defines properties related to the AADL model itself.

Property set Modeling_Properties is   
Acceptable_Array_Size: list of Size_Range 
   applies to (subcomponent, feature);

The Acceptable_Array_Size property specifies acceptable values for the array size in each dimension.  This property can be used to impose a constraint on the array dimension size if it has not been specified to be refined separately.

Size_Range: type range of aadlinteger ;
 
Classifier_Matching_Rule: inherit enumeration (Classifier_Match, Equivalence, Subset, Conversion, Complement)
   applies to (connection, component implementation);

The Classifier_Matching_Rule property specifies acceptable matches of classifiers between the source and the destination of a connection. The semantics of each of the rules are defined in sections 9.1 and 9.5.

 

Classifier_Substitution_Rule: inherit enumeration (Classifier_Match,  Type_Extension, Signature_Match)
   applies to (classifier, subcomponent);

The Classifier_Substitution_Rule property specifies acceptable substitutions of classifiers in a refined to declaration.

 
Implemented_As: classifier ( system implementation )
   applies to (memory, bus, virtual bus, device, virtual processor, processor, system);

The Implemented_As property specifies a system implementation that describes how the internals of a execution platform component are realized.  This allows systems to be modeled as a layered architecture using the execution platform as a layering abstraction (see Section 14).

 
Prototype_Substitution_Rule: inherit enumeration (Classifier_Match, Type_Extension, Signature_Match)
   applies to (prototype, classifier);

The Prototype_Substitution_Rule property specifies acceptable classifiers supplied as actual in a prototype binding.

 
 
end Modeling_Properties;