loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
31st IEEE Software Engineering Workshop (SEW 2007)
ASSL - Autonomic System Specification Language
Columbia, MD, USA
March 06-March 08
ISBN: 0-7695-2862-7
ASCII Text
x 
 
Emil Vassev, Joey Paquet, "ASSL - Autonomic System Specification Language," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 300-309, 31st IEEE Software Engineering Workshop (SEW 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2007.97,
author = {Emil Vassev and Joey Paquet},
title = {ASSL - Autonomic System Specification Language},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2007},
issn = {1550-6215},
pages = {300-309},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.97},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - ASSL - Autonomic System Specification Language
SN - 1550-6215
SP300
EP309
A1 - Emil Vassev,
A1 - Joey Paquet,
PY - 2007
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
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.