B-MERODE Demonstration: Models and Generated Code

This archive contains files related to a demonstration of the B-MERODE approach to generate smart contracts. Two folders are available: input: contains the model files used as input output: contains the smart contracts (or chaincode) generated by B-MERODE for Hyperledger Fabric using the provided models as input