DocumentCode
2383967
Title
ASSL - Autonomic System Specification Language
Author
Vassev, Emil ; Paquet, Joey
Author_Institution
Concordia Univ., Montreal
fYear
2007
fDate
March 6 2007-Feb. 8 2007
Firstpage
300
Lastpage
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.
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Workshop, 2007. SEW 2007. 31st IEEE
Conference_Location
Columbia, MD
ISSN
1550-6215
Print_ISBN
978-0-7695-2862-5
Type
conf
DOI
10.1109/SEW.2007.59
Filename
4402789
Link To Document