31st IEEE Software Engineering Workshop (SEW 2007) (2007)
Columbia, MD, USA
Mar. 6, 2007 to Mar. 8, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2007.97
This article is an overview of the Autonomic System Specification Language (ASSL). ASSL is a framework for formally specifying and generating autonomic systems. The latter are specified as formal executable models with an interaction protocol and autonomic elements. We explain in detail the architecture of the ASSL framework and demonstrate how to specify autonomic systems. In this paper, we do not talk about syntax and semantic aspects of ASSL, since these are going to be tackled by our ongoing research and described in other papers.
E. Vassev and J. Paquet, "ASSL - Autonomic System Specification Language," 31st IEEE Software Engineering Workshop (SEW 2007)(SEW), Columbia, MD, USA, 2007, pp. 300-309.