# Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance
## 1 Introduction  
Business process modeling aims to describe the organization and operational processes of an enterprise. Modeling uses many different methods that can help understand and summarize how models work. Modeling allows the simulation of business processes for comparison of different scenarios, allows the analysis and restructuring of the enterprise to improve performance, and to get a correct generated program from our model. Different approaches and techniques are used for modeling business processes.  
Previous research [1] analyzes how the processing flows are checked for correctness in syntax and simulates how they should be executed to achieve better results. Therefore, some organizations and standards standardize some aspects of workflows and provide different design notations. But UML and SysML [2] activity diagrams (AD) and Business Process Modeling Notation (BPMN) are mostly used to provide an easily readable graphical notation for workflow processes [3]. In this study, the UML activity diagram is used because it is easy to read and can be easily extended and adapted with UML profiles to use Blockchain.  
A blockchain is a system for recording information in a way that makes it difficult or impossible to alter, hack, or defraud the system. Blockchain has only recently been used in insurance companies [4, 5]. It is used to automate insurance claims by tracking compromises made between different parties without paperwork. It will facilitate quick approval of claims and renewals. It will also be used to automate payments for claims, thereby reducing administrative costs.  
Model to Program (M2P) approach is the technique or method of transforming a model into a final product (program) [6]. It uses various transformation techniques betweendifferent types of business process workflow modeling methods of business systems, especially those with complex and concurrent workflow processes. Model transformation is considered the fundamental method in Model Driven Architecture (MDA).  
In the seminal work of the author of [7], the basic principles of modeling and its relationship to program generation are stated. This approach introduced a new line of thought in the field. Since the model transformation helps to minimize the development time of the system, thereby reducing the \"time-to-market\" factor of the final product [8], we transform the model into Petri nets after creating a complete diagram (UML AD and blockchain) into the same extended diagram using the UML profile.  
Petri nets are one of the most powerful formal models for representing work, control, and information flows [9]. It helps in the formal description, modeling, and formal analysis of information systems and business process modeling. Its techniques, features, and concepts follow a balanced combination of powerful, easy-to-use, and natural approaches to describe and analyze the flow of information and control processes throughout the system structure.  
The motivation behind our work is to take advantage of UML AD in modeling business processes and applying blockchain technologies to maintain integrity in the insurance industry. In our work, we combined UML-AD and blockchain in one model before transforming them into formal Petri nets. In Section 2, we mention related work on Blockchain, modeling with UML-AD, model transformation, and modeling with Petri nets. In Section 3, we discuss research issues in the context of information systems and case studies. Then we show the combination of blockchain with UML-AD and the transformation to Petri nets, followed by a discussion. Finally, a conclusion with possible future work.