Formal methods for component-based distributed systems reconfiguration

With the advent of Cloud computing, service-oriented software and distributed systems have become commonplace. However, the complexity and scale of these systems continue to increase, in particular through the development of architectures such as Edge and Fog computing, and associated applications such as smart city or smart industry, or the autonomous car. For example, the micro-services-based architecture of Netflix, Amazon, or social networks contains thousands of small interconnected components, forming what the community calls a black star (in reference to Star Wars). A particularity of these complex service-based software and distributed systems is their duration over time, in other words their long life cycle.