Modeling and Enforcing Blockchain-Based Choreographies · Study