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

Nr Name Value
1 accounts ?
2 gateway_pending_transactions ?
3 gateway_processing ?
4 initiated ?
5 received_cross_chain_transactions ?
6 received_transactions ?
7 submit_cc_tx ?
8 subscribed ?
9 subscriptions ?
10 triggered ?
11 triggered_events ?
12 wallet_amount ?
13 wallet_created ?
Nr Name Value
1 target_smart_contract source_smart_contract
2 initial_deposit 1
Nr Name Value
1 CROSS_CHAIN_EVENTS {CROSS_CHAIN_EVENTS1,CROSS_CHAIN_EVENTS2}
2 CROSS_CHAIN_TRANSACTIONS {CROSS_CHAIN_TRANSACTIONS1,CROSS_CHAIN_TRANSACTIONS2}
3 GATEWAYS {gateway,GATEWAYS2}
4 TRANSACTIONS {TRANSACTIONS1,TRANSACTIONS2}
5 CROSS_CHAIN_SMART_CONTRACTS {source_smart_contract,CROSS_CHAIN_SMART_CONTRACTS2}
6 ADDRESS {gateway_address,ADDRESS2}
Nr Event Target State ID
1SETUP_CONSTANTS(target_smart_contract=source_smart_contract,initial_deposit=1)State 0
2INITIALISATION(accounts={},gateway_pending_transactions={},gateway_processing=0,initiated=0,received_cross_chain_transac...
3SUBSCRIBE_SMART_CONTRACT_EVENTS_IN_FABRIC
4CREATE_ADDRESS_IN_ETHEREUM(gateway_address)
5INITIATE_CC_TX_IN_FABRIC(TRANSACTIONS1)
6TRIGGER_CC_TX_EVENT_IN_FABRIC(CROSS_CHAIN_EVENTS1,TRANSACTIONS1)
7LISTEN_CC_TX_EVENT_IN_FABRIC(CROSS_CHAIN_EVENTS1,CROSS_CHAIN_TRANSACTIONS1)
8DEPOSIT_CRYPTOCURRENCY_IN_ETHEREUM(3,gateway_address)
9SUBMIT_CC_TX_TO_ETHEREUM(CROSS_CHAIN_TRANSACTIONS1,3)
Generated on 2/2/2024 at 11:50 using ProB version 1.12.2-final
Main specification package: event_b_project
Main specification name: CCTx_Fabric_Ethereum_Animation_m3
Main VisB JSON file: gateway-vis-file.json (modified on 2/2/2024 at 11:46)
VisB SVG file: gateway-event-b-fabric-ethereum-animation.svg (modified on 2/2/2024 at 11:49)