Modelling Blockchain-Based Systems Using Model-Driven Engineering

As the use of blockchain systems continues to grow, the need for templates and standards to analyze and design these systems becomes essential. Unlike other systems, blockchain-based systems have unique properties that require defining network participants, assets, tokens, smart contracts, and their functions. Developing Decentralized Applications (DApps) enables the creation of blockchain-based applications and interfaces to interact with these systems. Many researchers have used model-driven engineering methodologies to design blockchain-based systems and DApps, but most focus on converting Platform-Independent Models (PIMs) into Platform-Specific Models (PSMs) to generate system code. In our research, we concentrate on creating a Computation-Independent Model (CIM) and translating it into a PIM. We utilize graph grammar to generate an approach that formally verifies system requirements using graph grammar rules, allowing for the generation of blockchain-based systems.