TY - GEN
T1 - An ASSL approach to handling uncertainty in self-adaptive systems
AU - Vassev, Emil
AU - Hinchey, Mike
AU - Balasubramaniam, Dharini
AU - Dobson, Simon
PY - 2011
Y1 - 2011
N2 - Both modularity and loose-coupling properties inherent to the self-adaptive systems offer the opportunity for adhoc service compositions, dynamic change and adaptation. To provide such a dynamic and self-adapting behavior, developers emphasize special self-management policies. ASSL (Autonomic System Specification Language) is a formal tool where such policies might be formally specified, validated and implemented. Intrinsically, the ASSL-developed policies are very strict and may impose quite restrictive behavior, which sometimes is undesirable. To solve the problem, we are currently developing special mechanisms for ASSL that help to specify policies that might evolve in order to satisfy system goals changing in the course of system adaptation. This paper presents our work on a mechanism imposing special loose self-management policies introducing flexibility into the self-adapting behavior.
AB - Both modularity and loose-coupling properties inherent to the self-adaptive systems offer the opportunity for adhoc service compositions, dynamic change and adaptation. To provide such a dynamic and self-adapting behavior, developers emphasize special self-management policies. ASSL (Autonomic System Specification Language) is a formal tool where such policies might be formally specified, validated and implemented. Intrinsically, the ASSL-developed policies are very strict and may impose quite restrictive behavior, which sometimes is undesirable. To solve the problem, we are currently developing special mechanisms for ASSL that help to specify policies that might evolve in order to satisfy system goals changing in the course of system adaptation. This paper presents our work on a mechanism imposing special loose self-management policies introducing flexibility into the self-adapting behavior.
KW - ASSL
KW - Formal methods
KW - Self-adaptive systems
UR - http://www.scopus.com/inward/record.url?scp=84859964334&partnerID=8YFLogxK
U2 - 10.1109/SEW.2011.8
DO - 10.1109/SEW.2011.8
M3 - Conference contribution
AN - SCOPUS:84859964334
SN - 9780769546278
T3 - Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011
SP - 11
EP - 18
BT - Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011
PB - IEEE Computer Society
T2 - 2011 34th IEEE Software Engineering Workshop, SEW 2011
Y2 - 20 June 2011 through 21 June 2011
ER -