Title :
ASSL - Autonomic System Specification Language
Author :
Vassev, Emil ; Paquet, Joey
Author_Institution :
Concordia Univ., Montreal
fDate :
March 6 2007-Feb. 8 2007
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.
Keywords :
computational linguistics; formal specification; specification languages; Autonomic System Specification Language; autonomic elements; autonomic systems; formal executable models; formal specification; interaction protocol; syntax; Computer science; Computer vision; Environmental management; Formal specifications; Organisms; Programming; Runtime; Software development management; Software engineering; Specification languages;
Conference_Titel :
Software Engineering Workshop, 2007. SEW 2007. 31st IEEE
Conference_Location :
Columbia, MD
Print_ISBN :
978-0-7695-2862-5
DOI :
10.1109/SEW.2007.59
