The Art of Developing Autonomic Systems - The ASSL Approach

Autonomic Computing is a rapidly growing IT field that promises a new approach to developing largescale complex computing systems. The AC paradigm aims at handling complexity through self-management by transforming computing systems into autonomic systems. There are many kinds of knowledge that need to be considered for the development of autonomic systems. These are domain knowledge, control knowledge, explanatory knowledge, and system knowledge. Autonomic System Specification Language, or ASSL, is an AC-dedicated framework providing a powerful formal notation and computational tools that help developers with problem formation, system design, system analysis and evaluation, and system implementation. The ASSL framework provides a powerful formal notation and suitable mature tool support that allow ASSL specifications to be edited and validated and Java code to be generated from any valid formal specification.