% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-54-92-155-93.compute-1.amazonaws.com % at : Fri, 29 Mar 2024 04:40:19 -0400 GMT % % Selection : Publication #228 %
@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} }