A high-level petri net-based formal model of distributed self-adaptive systems
Matteo Camilli, Carlo Bellettini, Lorenzo Capra · 2018
Engineering complex distributed self-adaptive systems is a challenging task due to multiple interacting distributed components that monitor and adapt the managed parts operating in a dynamic environment. Therefore, formal methods able to specify and analyze the behavior of decentralized adaptation control by multiple interacting MAPE-K (Monitor, Analyze, Plan, and Execute over a shared Knowledge) components are highly demanded.