The Community for Technology Leaders
31st IEEE Software Engineering Workshop (SEW 2007) (2007)
Columbia, MD, USA
Mar. 6, 2007 to Mar. 8, 2007
ISSN: 1550-6215
ISBN: 0-7695-2862-7
pp: 300-309
ABSTRACT
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.
INDEX TERMS
CITATION

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.
doi:10.1109/SEW.2007.97
156 ms
(Ver 3.3 (11022016))