Modeling Autonomic Systems

Today software systems are very complex and changing. Therefore, preserving their functionality and the quality of their service seems to be a difficult. Consequently, the concept of self-adaptation was introduced to handle the problem of the increasing complexity and dynamism of modern software systems. In this context, researchers have been studying self-adaptation for over a decade, which has resulted in a vast body of knowledge. Nevertheless, as technology progresses and software systems are increasingly integrated, new challenges emerge. Among these challenges are the need for new engineering approaches and methods to model and verify self-adaptive systems.In this paper, we provide a survey on modeling and verifying self-adaptive systems through presenting and classifying the main existing approaches that have made significant progress in this area.