Agent based Architecture for Modeling and Analysis of Self Adaptive Systems using Formal Methods
a goal - based modeling approach to develop requirements of an adaptive system with environmental uncertainty .