*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems