曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 29/45
| cotre_assumes_expression AFTER cotre_assumes_expression ';'
| cotre_behavioral_specification;
cotre_behavioral_specification:
BEHAVIOR '(' cotre_equivalences ')'
cb_states_dcl_block
TRANSITIONS cb_transitions END ';';
cotre_equivalences:
cotre_equivalences ',' cotre_equivalence
| cotre_equivalence;
cotre_equivalence:
LANGUAGE EQUIVALENCE
| OBSERVATIONAL EQUIVALENCE
| BRANCHING EQUIVALENCE;
cotre_assumes_reachable_from_prefix:
cotre_assumes_reachable_prefix FROM cotre_assumes_expression;
cotre_assumes_reachable_prefix:
REACHABLE cotre_assumes_expression;
cotre_assumes_leadsto_prefix:
cotre_assumes_expression LEADS TO cotre_assumes_expression;
cotre_assumes_expression:
cotre_expression;
cotre_expression:
'(' cotre_expression ')'
| cotre_expression AND cotre_expression
| NOT cotre_expression
| cotre_expression OR cotre_expression
| cotre_expression LTE cotre_expression
| cotre_expression GTE cotre_expression
| cotre_expression '<' cotre_expression
| cotre_expression '>' cotre_expression
| cotre_expression EQ cotre_expression
| cotre_expression NEQ cotre_expression
| cotre_expression '+' cotre_expression
| cotre_expression '-' cotre_expression
| cotre_expression '*' cotre_expression
| cotre_expression '/' cotre_expression
| cotre_expression MODULO cotre_expression
| IF cotre_expression THEN cotre_expression elsifs ELSE cotre_expression END
| '-' cotre_expression %prec NEG
| '+' cotre_expression %prec POS
| TRUE
| FALSE
| STATE '(' IDENTIFIER ')' /* return TRUE if the current state
is simple_identifier */
| TRANSITION '(' IDENTIFIER ')'
| CALLED
| CALLED '(' IDENTIFIER /* local subprogram identifier */ ')'
| cotre_field
| cotre_number_term
| cotre_field '[' cotre_expression ']'
| INFINITY;
cotre_number_term:
unsigned_numeric_literal
| unsigned_numeric_literal units_identifier;
cotre_field:
cotre_field '.' IDENTIFIER
| IDENTIFIER;
elsifs:
/* void */
| ELSIF cotre_expression THEN cotre_expression elsifs;
/*------------------------------------------------------------------*/
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 30/45
/*-- COTRE behavior annex */
/*------------------------------------------------------------------*/
/* From Properties and behaviours in AADL, November 2003 */
/* and the yacc grammar of VCOTRE, 02/2004 */
cotre_behavior_constructs:
cb_vars_block cb_inits_block cb_op_sections
| /* thread have not any operation, only an entry point */
cb_vars_block cb_inits_block cb_states_dcl_block TRANSITIONS cb_transitions
cb_exceptions_block;
cb_exceptions_block:
/* void */
| EXCEPTIONS cb_exceptions;
cb_exceptions:
cb_exceptions cb_exception
| cb_exception;
cb_exception:
cb_exception_cond OPEN_GOTO_NEXT cb_exception_cond BEFORE cb_exception_cond
CLOSE_GOTO_NEXT cb_exception_dest_state cb_actions ';';
cb_exception_dest_state:
'='
| /* state_identifier */ IDENTIFIER;
cb_exception_cond:
WHEN cb_guard SET_TO cb_interaction
| cb_interaction
| WHEN cb_guard
| TIMEOUT '(' cb_time_expression ')';
cb_op_sections:
cb_op_sections cb_op_section
| cb_op_section;
cb_op_section:
SUBPROGRAM IDENTIFIER cb_vars_block cb_inits_block cb_states_dcl_block
TRANSITIONS cb_transitions cb_exceptions_block;
cb_states_dcl_block:
STATES cb_states_declaration cb_initial_state cb_terminal_state;
cb_vars_block:
VARS cb_vars_declaration
| /* void */;
cb_vars_declaration:
/* void */
| cb_vars_declaration IDENTIFIER ':' cb_var_type ';';
cb_inits_block:
/* void */
| INITS cb_inits;
cb_inits:
cotre_expression ASSIGN cotre_expression ';'
| cb_inits cotre_expression ASSIGN cotre_expression ';';
cb_var_type:
ct_type;
cb_states_declaration:
/* state_identifier_list */ identifier_list ':' STATE ';';
cb_initial_state:
IDENTIFIER ':' INITIAL_MODE STATE ';';
cb_terminal_state:
/* void */
| IDENTIFIER ':' FINAL STATE ';';
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 31/45
cb_transitions:
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料4(126)