A Four-Layer Modeling Framework for Policy-Driven Design in Hyperledger Fabric

This repository contains the implementation and modeling framework described in the paper: "A Four-Layer Modeling Framework for Policy-Driven Design in Hyperledger Fabric."

The framework utilizes Refinery's partial model reasoning to enable incremental validation of Distributed Ledger Technology (DLT) architectures.

Project Structure

• *.py: Generator for different instance models sizes.
• *.problem: Refinery partial model specifications and predicates.
• *.ipynb: Evaluation notebooks and TPC-C supply chain case studies.

License

This project is licensed under the Eclipse Public License 2.0 (EPL-2.0) — see the LICENSE file for details.