3. emit 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 authenticated_transactions ?
2 authenticated_users ?
3 emitted ?
4 emitted_events ?
5 gateway_pending_transactions ?
6 gateway_processing ?
7 grants ?
8 initiated ?
9 received_cross_chain_transactions ?
10 received_transactions ?
11 submit_cc_tx ?
12 subscribed ?
13 subscriptions ?
14 user_created ?
15 write_granted ?
Nr Name Value
1 target_smart_contract source_smart_contract
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 USERS {gateway_user,USERS2}
7 PERMISSIONS {read,write}
Nr Event Target State ID
1SETUP_CONSTANTS(target_smart_contract=source_smart_contract)State 0
2INITIALISATION(authenticated_transactions={},authenticated_users={},emitted=0,emitted_events={},gateway_pending_transact...
3SUBSCRIBE_SMART_CONTRACT_EVENTS_IN_ETHEREUM
4CREATE_GATEWAY_USER
5INITIATE_CC_TX_IN_ETHEREUM(TRANSACTIONS1)
6EMIT_CC_TX_EVENT_IN_ETHEREUM(CROSS_CHAIN_EVENTS1,TRANSACTIONS1)
7LISTEN_CC_TX_EVENT_IN_ETHEREUM(CROSS_CHAIN_EVENTS1,CROSS_CHAIN_TRANSACTIONS1)
8GRANT_PERMISSION(write,gateway_user)
9SUBMIT_CC_TX_TO_FABRIC(CROSS_CHAIN_TRANSACTIONS1,gateway_user)
Generated on 4/4/2024 at 13:06 using ProB version 1.12.2-final
Main specification package: event_b_project
Main specification name: CCTx_Ethereum_Fabric_Animation_m3
Main VisB JSON file: gateway-vis-file.json (modified on 4/4/2024 at 12:57)
VisB SVG file: gateway-event-b-ethereum-fabric-animation.svg (modified on 4/4/2024 at 12:55)