@Article{Garlan2006a,
AUTHOR = {Seceleanu, Tiberiu and Garlan, David},
TITLE = {Developing adaptive systems with synchronized architectures},
YEAR = {2006},
MONTH = {November},
JOURNAL = {The Journal of Systems and Software},
VOLUME = {79},
NUMBER = {11},
PAGES = {1514-1526},
URL = {http://dx.doi.org/10.1016/j.jss.2006.03.047},
ABSTRACT = {In this paper we show how to specify and refine self-adapting systems, by employing the state-based formalism called action systems. Assuming a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve separation of concerns between adaptation policy, fault tolerance and steady-state system execution. Using action systems allows us to apply standard refinement techniques, aimed for correct implementations of higher-level models. We illustrate this idea by applying it to the problem of coping with dynamically-varying user requirements and possible fault situations.},
KEYWORDS = {Autonomic Systems, Software Architecture}
}
|
|
