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;