曝光台 注意防骗
网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者
| PACKAGE defining_package_name PRIVATE package_items package_property_associations END defining_
package_name ';';
/* package_items ::=
( component_type |
component_type_extension |
component_implementation |
component_implementation_extension |
annex_specification )
{ ( component_type |
component_type_extension |
component_implementation |
component_implementation_extension |
annex_specification)}*
[ properties
( property_association { property_association }
| none_statement ) ]
*/
package_items:
package_items package_item
| package_item;
package_item:
component_type
| component_type_extension;
| component_implementation
| component_implementation_extension
| annex_specification;
package_property_associations:
/* void */
| PROPERTIES property_associations
| PROPERTIES NONE;
defining_package_name:
/*package_identifier*/ IDENTIFIER '.' defining_package_identifier
| defining_package_identifier;
/* package_name ::=
{ package_identifier . }* package_identifier
*/
/* DEVIATION : '.' replaced by '::' */
package_name:
package_name /*'.'*/ DOUBLE_COLON /*package_identifier*/ IDENTIFIER
| /*package_identifier*/ IDENTIFIER;
/* none_statement ::= none ; */
none_statement:
NONE ';';
/*------------------------------------------------------------------*/
/*-- Component Types */
/*------------------------------------------------------------------*/
/* component_type ::=
component_category defining_component_type_identifier
[ provides ( { feature }+ | none_statement ) ]
[ requires ( { required_subcomponent_access }+ | none_statement ) ]
[ properties ( { component_type_property_association }+ | none_statement ) ]
{ annex_subclause }*
end defining_component_type_identifier ;
*/
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 22/45
component_type:
component_category defining_component_type_identifier
component_type_internals
END defining_component_type_identifier ';';
/* component_type_extension ::=
component_category defining_component_type_identifier
extends unique_component_type_name
[ provides ( { feature | feature_refinement }+ | none_statement ) ]
[ requires
( { required_subcomponent_access
| required_subcomponent_access_refinement }+ | none_statement ) ]
[ properties ( { component_type_property_association }+ | none_statement ) ]
{ annex_subclause }*
end defining_component_type_identifier ;
*/
component_type_extension:
component_category defining_component_type_identifier
EXTENDS unique_component_type_name
component_type_extension_internals
END defining_component_type_identifier ';';
component_type_internals:
component_type_features
component_type_requires
component_type_properties
annex_subclauses;
component_type_extension_internals:
component_type_ext_features
component_type_ext_requires
component_type_ext_properties
annex_subclauses;
component_type_ext_properties:
component_type_properties;
component_type_features:
/* void */
| PROVIDES features
| PROVIDES none_statement;
component_type_ext_features:
/* void */
| PROVIDES rfeatures
| PROVIDES none_statement;
rfeatures:
feature_refinement
| feature
| rfeatures feature
| rfeatures feature_refinement;
features:
feature
| features feature;
component_type_requires:
/* void */
| REQUIRES required_subcomponent_accesses
| REQUIRES none_statement;
component_type_ext_requires:
/* void */
| REQUIRES r_required_subcomponent_accesses
| REQUIRES none_statement;
r_required_subcomponent_accesses:
required_subcomponent_access
| required_subcomponent_access_refinement
| required_subcomponent_accesses required_subcomponent_access_refinement
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 23/45
| required_subcomponent_accesses required_subcomponent_access;
/* WARNING : required_subcomponent_access not present in the AADL document */
/* Using the subcomponent_access rule */
required_subcomponent_access:
subcomponent_access;
required_subcomponent_access_refinement:
subcomponent_access_refinement;
required_subcomponent_accesses:
required_subcomponent_access
| required_subcomponent_accesses required_subcomponent_access;
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址:
航空资料4(122)