More and more, software architectures are evolving. Microservices appeared in the last ten years or so. They are gaining more and more ground and their popularity is ever increasing. They have their own advantages and disadvantages and, like any software, they need to be tested. Analysis tools are already present in the literature, and modelling languages exist for certain aspects. Here, we propose a solution based on Petri nets and a algebra process to analyse the communications between the different services and verify whether or not they can interact correctly together. More generally, we will try to answer to the following questions : what will the problems be when connecting them together, where will the error occur, will it be propagated, etc.? These are all questions that we will try to answer by proposing this new analysis and modelling method.
| Date of Award | 23 Jun 2022 |
|---|
| Original language | English |
|---|
| Awarding Institution | |
|---|
| Supervisor | Jean-Marie Jacquet (Supervisor) |
|---|
- microservices
- process algebra
- Petri nets
- modelling
- analysis
Modelling microservice-based applications
ROMAIN, F. (Author). 23 Jun 2022
Student thesis: Master types › Master in Computer Science Professional focus in Software engineering