An ASSL Approach to Handling Uncertainty in Self-adaptive Systems

Both modularity and loose-coupling properties inherent to the self-adaptive systems offer the opportunity for ad-hoc 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.

[1]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[2]  Michael G. Hinchey,et al.  Towards an ASSL specification model for NASA swarm-based exploration missions , 2008, SAC '08.

[3]  Christopher A. Rouff,et al.  Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation , 2013 .

[4]  N. Bencomo,et al.  A Language for Self-Adaptive System Requirements , 2008, 2008 International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements.

[5]  Pascal Fradet,et al.  Programming Self-Organizing Systems with the Higher-Order Chemical Language , 2007, Int. J. Unconv. Comput..

[6]  Walter Truszkowski,et al.  NASA's Swarm Missions: The Challenge of Building Autonomous Software , 2004, IT Prof..

[7]  Michael G. Hinchey,et al.  ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions , 2008, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[8]  Emil Vassev,et al.  Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL , 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.

[9]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

[10]  Serguei A. Mokhov,et al.  Autonomic specification of self-protection for distributed MARF with ASSL , 2009, C3S2E '09.

[11]  Petr Jan Horn,et al.  Autonomic Computing: IBM's Perspective on the State of Information Technology , 2001 .

[12]  Joey Paquet,et al.  Towards a framework for specification and code generation of automatic systems , 2008 .