Skip to content

README.md

Latest commit

 

History

History
15 lines (9 loc) · 819 Bytes

README.md

File metadata and controls

15 lines (9 loc) · 819 Bytes

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.