Business process modeling and verification have become an essential way to control and assure organizational evolution. We overview the opportunities for the application of blockchain in Business Process Management and Modeling in Finance and we focus on in-depth analysis of claim process in insurance as a use case. We investigate the utilization of blockchain technology for model checking of Workflow, Business Processes to ensure consistency, integrity, and security in a dynamically changing business environment. We create a UML profile for the blockchain, then we combine it with a UML activity diagram followed by a verification using Petri nets to guarantee a distributed computing system and scalable with mutable data. Our paper creates a unified picture of the approaches towards business processes modeling used in the financial industry organized around the set of premises intending to develop a future research agenda for blockchain business process modeling, specifically for the financial industry domain.

Because of the competitive economy, organizations today seek to rationalize, innovate, and adapt to changing environments and circumstances as part of business process improvement efforts. The strength of blockchain technology lies in its usage as an apt technology to enhance the efficiency and effectiveness of business processes; furthermore, it prevents the use of erroneous or obsolete data and allows sharing of confidential data securely. The use of superior technology in the execution and automation of business processes brings opportunities to rethink the specific process itself as well. Business processes modeling and verification are essential to control and assure organizational evolution, therefore, the aim of this paper is three-fold: firstly, to provide business process management patterns in finance, based on blockchain, specifically for the loan-application process in the banking industry and claim process in the insurance industry that could be used and customized by companies; secondly, to critically analyze challenges and opportunities from the introduction of such approach for companies, and thirdly, to outline how companies can implement the loan business process as a web service. Partner companies (a bank and an insurance company) formulated the potential requirements for M2P along with the application of blockchain technology. An experimental design framework was established that gave the necessary services to model the requirements, check the models, and operationalize the models. The applied research methodologies are as follows: design science research paradigm and software case study, model-to-programming (M2P) of business processes, and utilization of patterns of workflow and blockchain.

Nowadays the variety and complexity of applications arise the requirement for the creation of new flexible models that are more complex than the existing models. The transformation between models becomes more important. Several approaches of model transformation are proposed for the Unified Modeling Language (UML) that aim to make models more formal and abstract. In our paper, we present a transformation from the basic components of the UML state machine diagram to a formal workflow language YAWL. This transformation simplifies the semantics of the state machine diagram via a mapping to YAWL, which makes the verification and analysis of state machine models easier and provides a chance to operationalize the model.