31st IEEE Software Engineering Workshop (SEW 2007)
ASSL - Autonomic System Specification Language
Columbia, MD, USA
March 06-March 08
ISBN: 0-7695-2862-7
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.
Citation:
Emil Vassev, Joey Paquet, "ASSL - Autonomic System Specification Language," sew, pp.300-309, 31st IEEE Software Engineering Workshop (SEW 2007), 2007
Usage of this product signifies your acceptance of the
Terms of Use.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||