loading...
Synchronized Architectures for Adaptive Systems
Edinburgh, Scotland July 26-July 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.14929th Annual International Computer So ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Tiberiu Seceleanu, David Garlan, "Synchronized Architectures for Adaptive Systems," Computer Software and Applications Conference, Annual International, vol. 2, pp. 146-151, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 2, 2005.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2005.149,
author = {Tiberiu Seceleanu and David Garlan},
title = {Synchronized Architectures for Adaptive Systems},
journal ={Computer Software and Applications Conference, Annual International},
volume = {2},
year = {2005},
issn = {0730-3157},
pages = {146-151},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.149},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Synchronized Architectures for Adaptive Systems
SN - 0730-3157
SP146
EP151
A1 - Tiberiu Seceleanu,
A1 - David Garlan,
PY - 2005
KW - null
VL - 2
JA - Computer Software and Applications Conference, Annual International
ER -
 
Tiberiu Seceleanu, University of Turku
David Garlan, Carnegie Mellon University
In this paper we demonstrate how to use action systems to specify and refine self-adaptive systems. Focusing on the special case in which there are a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve separation of concerns between adaptation policy and steady-state system execution. The use of action systems permits the application of standard techniques for refinement to construct correct implementations from higher-level models. We illustrate the application of this idea to the problem of coping with dynamically-varying user requirements.
Citation:
Tiberiu Seceleanu, David Garlan, "Synchronized Architectures for Adaptive Systems," compsac, vol. 2, pp.146-151, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 2, 2005
Usage of this product signifies your acceptance of the Terms of Use.