Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #228   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Developing adaptive systems with synchronized architectures

Tiberiu Seceleanu and David Garlan.


In The Journal of Systems and Software, Vol. 79(11):1514-1526, November 2006.

Online links: URL   Bibtex entry   Plain Text

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.  
    Created: 2006-11-06 09:57:58     Modified: 2006-11-06 10:53:20
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin