3. emit event 1. Subscribe 4. submit tx 2. initiate cc-tx User Source smart contract Target smart contract Gateway

Nr Name Value
1 emitted ?
2 emitted_events ?
3 gateway_pending_events ?
4 gateway_processing ?
5 initiated ?
6 received_source_transactions ?
7 received_target_transactions ?
8 submit_cc_tx ?
9 subscribed ?
10 subscriptions ?
Nr Name Value
1 target_smart_contract source_smart_contract
Nr Name Value
1 TARGET_TRANSACTIONS {TARGET_TRANSACTIONS1,TARGET_TRANSACTIONS2}
2 GATEWAYS {gateway,GATEWAYS2}
3 SOURCE_TRANSACTIONS {SOURCE_TRANSACTIONS1,SOURCE_TRANSACTIONS2}
4 SMART_CONTRACT_EVENTS {SMART_CONTRACT_EVENTS1,SMART_CONTRACT_EVENTS2}
5 CROSS_CHAIN_SMART_CONTRACTS {source_smart_contract,CROSS_CHAIN_SMART_CONTRACTS2}
Nr Event Target State ID
1SETUP_CONSTANTS(target_smart_contract=source_smart_contract)State 0
2INITIALISATION(emitted=0,emitted_events={},gateway_pending_events={},gateway_processing=0,initiated=0,received_source_tr...
3SUBSCRIBE_SMART_CONTRACT_EVENTS
4INITIATE_CC_TX(SOURCE_TRANSACTIONS1)
5EMIT_EVENT(SMART_CONTRACT_EVENTS1,SOURCE_TRANSACTIONS1)
6LISTEN_EVENT(TARGET_TRANSACTIONS1,SMART_CONTRACT_EVENTS1)
7SUBMIT_TX(TARGET_TRANSACTIONS1,TARGET_TRANSACTIONS1)
Generated on 6/4/2024 at 19:46 using ProB version 1.12.2-final
Main specification package: event_b_project
Main specification name: CCTx_Abstract_Animation_m2
Main VisB JSON file: gateway-vis-file.json (modified on 6/4/2024 at 19:41)
VisB SVG file: gateway-event-b-animation.svg (modified on 6/4/2024 at 19:45)