10 likes | 131 Views
fault scenario → entry + entry → ON node trigger action + node → NODE number trigger → AT_TIME number | ON_MESSAGE message name action → fi_action | migration | log_action | TERMINATE fi action → message_loss | message_mutilation | memory_mutilation
E N D
fault scenario → entry + entry → ON node trigger action + node → NODEnumber trigger → AT_TIMEnumber | ON_MESSAGEmessage name action → fi_action| migration | log_action| TERMINATE fiaction → message_loss| message_mutilation| memory_mutilation messageloss → LOSE_MESSAGE message_name messagemutilation → CHANGE_MESSAGE_CONTENTmessage_nameTOdata memory mutilation → CHANGE_EMORY_CONTENTlocation TO data migration → MIGRATE_TO node log action → message_log| memory_log message log → LOG_MESSAGE_CONTENTmessage_name memory log → LOG_MEMORY_CONTENTlocation location → address | variable_name address → number variable name → /* identifier */ message name → /* arbitrary character sequence */ data → /* bytesequence */ number → /* sequenceofdigits */