Automation of the Smart Contract Development Using Situation Models

Abstract

The analysis of existing research in the field of business processes automation is carried out. Modern business process automation methods involve the direct developers participation. Our proposed approach will allow domain experts to develop and manage smart contracts for business processes without the help of programmers. The methods of automating the smart contracts creation using semantic modeling are described. Methods of automation of complex processes with hierarchical nesting are proposed. A methodological approach to automating the smart contracts development using situation models is described. The operation scheme of the software system for the business processes formalization by constructing situation models is presented. The use of predicates ontological homomorphism to create smart contract templates is described. Methods of generating smart contracts in the sDSL language based on the described partial models are proposed. Examples of translating the business processes representation using situation models into smart contracts in the sDSL language are given. The interaction of several smart contracts using situation models with each other is described.