Résumé:
This present project is part of the design based on a so-called microservices architecture. In this context, the interdependencies between the different microservices is crucial to ensure a good distribution of the “load-balancing” loads. Having the calculation of such a relation in a distributed context is a real challenge. In order to escape the details of the distribution and its problems, we approached the problem in a higher level of abstraction and with credibility. Indeed, we have used formal description models, precisely; we have proposed a model, based on Petri nets, which makes it possible to capture the interdependence relationship by applying the notion of individual tokens to the LSGA model. The latter is a subclass of Petri nets allowing the modeling of distributed systems. Finally, we proposed a method of immigration to a microservices architecture from an existing monolithic system modeled by Petri nets.
