Chapitre 4  Application specification

The entry point of the application is the file rule.

---

def_desc	::=	[ [ DESCRIPTION COL STRING ] ]
rfc_desc	::=	[ [ STRING ] ]
comment	::=	COMMENT
boolean	::=	[ FALSE | TRUE ]
int	::=	VAL
integer	::=	[ [ MINUS ] int ]
name_list	::=	[ { NAME } ]
rfc	::=	[ NAME [ DIV NAME ] ]
rfc_name	::=	rfc DOT NAME
rfc_name_list	::=	[ { rfc_name } ]
rfc_path	::=	[ { BACKSLASH [ NAME ] } ]
attachement_type	::=	[ ATTACH_ALL | ATTACH_REF | ATTACH_CONDI | ATTACH_CONDO | ATTACH_EXPLODE | ATTACH_IMPLODE ]
operation_attached	::=	[ LDIM rfc_path ( RDIM | COMMA attachement_type RDIM ) ]
operation_attached_list	::=	[ { operation_attached } ]
parameters_list	::=	[ { NAME SCOL } NAME ]
parameters	::=	[ [ LARG parameters_list RARG ] ]
values_list	::=	[ { reg_expr SCOL } reg_expr ]
values	::=	[ [ LARG values_list RARG ] ]
dimension	::=	[ [ LDIM reg_expr RDIM ] ]
range	::=	[ [ LDIM reg_expr ( RDIM | DOT DOT reg_expr RDIM ) ] ]
coord2d	::=	integer COMMA integer
period_port	::=	[ [ int ] ]
rfc_prd	::=	[ [ int ] ]
rank	::=	[ [ int ] ]
pos	::=	[ [ AT coord2d ] ]
dim_window	::=	[ [ coord2d ] ]
version	::=	SYNDEX_VERSION COL STRING
code_phase	::=	[ INIT_SEQ | LOOP_SEQ | END_SEQ ]
code_phase_list	::=	[ { code_phase } ]
code_phases	::=	[ [ CODE_PHASES COL code_phase_list SCOL ] ]
in_port	::=	IN NAME dimension NAME rank pos SCOL period_port
out_port	::=	OUT NAME dimension NAME rank pos SCOL period_port
inout_port	::=	AND NAME dimension NAME rank pos SCOL period_port
in_port_list	::=	[ { in_port } ]
out_port_list	::=	[ { out_port } ]
port_list	::=	[ { ( in_port | out_port | inout_port ) } ]
dpd_prt	::=	[ NAME [ DOT NAME ] ]
abstract	::=	[ [ TRUE | FALSE ] ]
dpd_rfc	::=	NAME
dependence	::=	[ ( STRONGPRECEDENCEDATA dpd_prt TO dpd_prt | WEAKPRECEDENCEDATA dpd_prt TO dpd_prt | PRECEDENCE dpd_rfc TO dpd_rfc | DATA dpd_prt TO dpd_prt ) SCOL ]
dependence_list	::=	[ { dependence } ]
rep_prts	::=	[ NAME BACKARROW NAME [ COMMA rep_prts ] ]
rep	::=	[ [ LDIM reg_expr ( RDIM | COL rep_prts RDIM ) ] ]
reference	::=	rfc values rep NAME pos rfc_desc rfc_prd abstract SCOL
reference_list	::=	[ { reference } ]
condition_algo	::=	[ [ boolean | NAME EQU integer ] ]
condition	::=	CONDITIONS COL condition_algo SCOL
references	::=	REFERENCES COL reference_list
dependences	::=	DEPENDANCES COL dependence_list
cnd_rfcs_dpds	::=	condition references dependences
cnd_rfcs_dpds_list	::=	[ { cnd_rfcs_dpds } ]
internal	::=	DEF INTERNAL NAME parameters COL port_list
constant	::=	DEF CONSTANT NAME parameters dim_window COL out_port_list def_desc
sensor	::=	DEF SENSOR NAME parameters dim_window COL out_port_list def_desc
actuator	::=	DEF ACTUATOR NAME parameters dim_window COL in_port_list def_desc
delay	::=	DEF DELAY NAME range parameters dim_window COL port_list def_desc
algorithm	::=	DEF ALGORITHM NAME parameters dim_window COL port_list cnd_rfcs_dpds_list code_phases def_desc
algo	::=	[ internal | constant | sensor | actuator | delay | algorithm ]
bus_type	::=	[ ( SAMPP | SAMMP | RAM ) SCOL ]
broadcast	::=	[ [ BROADCAST | NOBROADCAST ] ]
gate	::=	GATE NAME NAME SCOL
gate_list	::=	[ { gate } ]
duration	::=	rfc EQU VAL SCOL
durations_list	::=	[ { duration } ]
gateref	::=	NAME DOT NAME
operatorref	::=	rfc NAME pos SCOL
operatorref_list	::=	[ { operatorref } ]
mediumref	::=	rfc NAME broadcast pos SCOL
mediumref_list	::=	[ { mediumref } ]
connection	::=	gateref NAME SCOL
connection_list	::=	[ { connection } ]
operators	::=	OPERATORS COL operatorref_list
media	::=	MEDIA COL mediumref_list
connections	::=	CONNECTIONS COL connection_list
main_operator	::=	[ [ MAIN OPERATOR NAME SCOL ] ]
operator	::=	DEF OPERATOR NAME COL gate_list durations_list def_desc code_phases
medium	::=	DEF MEDIUM NAME COL bus_type durations_list def_desc
extra_durations_operator	::=	EXTRA_DURATIONS_OPERATOR rfc COL durations_list
extra_durations_medium	::=	EXTRA_DURATIONS_MEDIUM rfc COL durations_list
architecture	::=	DEF ARCHITECTURE NAME dim_window COL operators main_operator media connections def_desc
archi	::=	[ operator | medium | extra_durations_operator | extra_durations_medium | architecture ]
main	::=	[ MAIN ( ALGORITHM rfc values SCOL | ARCHITECTURE rfc SCOL ) ]
xsc_definition	::=	[ ( XSC | OG ) NAME COL operation_attached_list SCOL ]
operationonproc	::=	CONSTRAINT COL rfc_path ON rfc_name_list SCOL
absoluteconstraint	::=	ABSOLUTE CONSTRAINT COL NAME ON rfc_name_list SCOL
relativeconstraint_type	::=	[ UNION | DISJUNCTION ]
relativeconstraint	::=	RELATIVE CONSTRAINT COL relativeconstraint_type name_list SCOL
constraints	::=	[ operationonproc | absoluteconstraint | relativeconstraint ]
description	::=	APPLICATION def_desc
calcul_path	::=	[ [ DIV | calcul_path ] DIV NAME ]
communication_name	::=	[ { NAME COMMA } NAME ]
string_path	::=	[ [ DIV | string_path ] DIV NAME ]
communication_path_not_repeated	::=	[ DIV communication_name LPAR string_path DOT NAME RPAR ]
communication_path	::=	[ communication_path_not_repeated [ NAME ] ]
operation_path	::=	[ calcul_path | communication_path ]
operator_list	::=	[ { NAME COMMA } NAME ]
receivers	::=	LPAR operator_list RPAR
operation_port	::=	operation_path DOT NAME
calcul_class	::=	[ CONSTANT | SENSOR | ACTUATOR | DELAY | ALGORITHM | INTERNAL ]
communication_class	::=	[ WRITE NAME operation_port | READ NAME operation_port | SEND NAME receivers operation_port | RECEIVE NAME receivers NAME operation_port | SYNC NAME receivers NAME operation_port | SEND_SYNCHRO NAME NAME | RECEIVE_SYNCHRO NAME NAME ]
opn_class	::=	[ CALCUL calcul_class rfc | COMMUNICATION communication_class ]
origin	::=	[ ( IHM | CONDI | CONDO | EXPLODE | IMPLODE | SYNCHRO_CONSTANT ) operation_path ]
opn_title	::=	opn_class values LPAR origin RPAR SCOL
operator_class	::=	[ ( OPERATOR | MEDIUM ) NAME ]
rank_on_operator	::=	integer
start_date	::=	VAL
adequation_order	::=	integer
schedule_place	::=	SCHEDULED COL operator_class rank_on_operator start_date adequation_order
adeq_condition	::=	operation_port EQU integer
adeq_cond_list	::=	[ { adeq_condition AND } adeq_condition ]
adeq_conditions	::=	[ CONDITIONS COL ( boolean | adeq_cond_list ) ]
dir	::=	[ IN | OUT | AND ]
port_class	::=	[ DATA | PRECEDENCE | DELAY | CONDITION_SYNCHRO ]
adeq_port	::=	dir NAME LDIM int RDIM NAME port_class integer period_port SCOL
adeq_port_list	::=	[ { adeq_port } ]
adeq_ports	::=	PORTS COL adeq_port_list
adeq_dependence	::=	[ ( STRONGPRECEDENCEDATA COND_LEVEL EQU int operation_port TO operation_port | STRONGPRECEDENCEDATA operation_port TO operation_port | PRECEDENCE operation_path TO operation_path ) adeq_conditions SCOL ]
adeq_dpd_list	::=	[ { adeq_dependence } ]
adeq_dpds	::=	SCHEDULE_DEPENDENCES COL adeq_dpd_list
operation_condition	::=	operation_path adeq_conditions
operation_condition_list	::=	[ { operation_condition } ]
adeq_operations_conditions	::=	SCHEDULE_CONDITIONS operation_condition_list
operation_scheduled	::=	OPERATION_SCHEDULED operation_path COL opn_title schedule_place adeq_ports
schedules	::=	SCHEDULES COL
command	::=	[ version | description | algo | archi | main | schedules | operation_scheduled | adeq_dpds | adeq_operations_conditions | xsc_definition | constraints | comment ]
command_list	::=	[ { command } ]
fileinclude	::=	INCLUDE STRING SCOL
file	::=	[ command_list ( fileinclude ) ]

---