fsm_specification.yaml

alphabet_in:
- DONE
- NOT_ENOUGH_DATA
- TRANSACT
- NO_TRANSACT
- ROUND_TIMEOUT
- RESET_AND_PAUSE_TIMEOUT
- RESET_TIMEOUT
- ERROR
default_start_state: RegistrationRound
final_states: []
label: PeaqChainedSkillAbciApp
start_states:
- RegistrationRound
states:
- CollectDataRound
- QueryModelRound
- DeviceInteractionRound
- RegistrationRound
- ResetAndPauseRound
- FinishedRound
- ProjectDataSubmissionDecisionRound
transition_func:
    (CollectDataRound, DONE): QueryModelRound
    (CollectDataRound, NOT_ENOUGH_DATA): FinishedRound
    (CollectDataRound, ROUND_TIMEOUT): CollectDataRound
    (QueryModelRound, NO_TRANSACT): FinishedRound
    (QueryModelRound, TRANSACT): DeviceInteractionRound
    (QueryModelRound, ERROR): FinishedRound
    (FinishedRound, DONE): ProjectDataSubmissionDecisionRound
    (FinishedAgentDataSubmissionRound, DONE): ResetAndPauseRound
    (ResetAndPauseRound, RESET_AND_PAUSE_TIMEOUT): RegistrationRound
    (ResetAndPauseRound, RESET_TIMEOUT): CollectDataRound
    (RegistrationRound, DONE): CollectDataRound
    (DeviceInteractionRound, DONE): FinishedRound
    (DeviceInteractionRound, ERROR): FinishedRound