Loading...

Improving Workflow in Microservice Architecture-Based Systems Using Process Mining with the Alloy Analyzer

Heidary, Behanm | 2025

0 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 58029 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Mirian Hosseinabadi, Hassan
  7. Abstract:
  8. Microservices is a software architecture in which applications are divided into a collection of small, independent services. Each of these services is responsible for a specific part of the application's functionality and is developed, implemented, and run independently. Microservices emerged as a solution to the problems in traditional monolithic architectures. Today, microservice is known as the main candidate for building scalable cloud-based systems. In this architecture, a system is built using the integration of a number of microservices. This architecture is defined by two approaches in terms of the workflow model; In the first approach, the model of workflow and interaction between services is explicitly designed and analyzed and tested using a framework such as Camunda or Yawl engine. In the other approach, microservices interact with each other, but there is no explicit workflow model for the system; in fact, a workflow engine for the system is not considered at the time of design. In this research, we intend to extract the workflow model for systems whose workflow is not modeled from the system's Event Logs using the mining process. Also, along with the available systems, we also simulate the interactive behavior of microservices so that we don't have any restrictions on using the data of a microservice system. We express the extracted process models in Yavel workflow language so that we can convert them into Alloy formal language using previously developed and proven tools. Alloy models have many capabilities for formal testing and analysis. The evaluation of Alloy models can be done based on proven methods, and by evaluating these models, a complete analysis of the system workflow model based on microservice architecture can be obtained and solutions can be provided to improve the workflow of these systems
  9. Keywords:
  10. Process Mining ; Formal Analysis ; Software Testing ; Workflow ; YAWL Formal Language ; Microservice Architecture ; Microservice Architecture Simulation ; Alloy Analyzer

 Digital Object List

 Bookmark

...see more