Developing adaptive systems with synchronized architectures

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, fau...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:The Journal of systems and software Ročník 79; číslo 11; s. 1514 - 1526
Hlavní autoři: Seceleanu, Tiberiu, Garlan, David
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York Elsevier Inc 01.11.2006
Elsevier Sequoia S.A
Témata:
Adaptive systems
Computer architecture
Fault tolerance
Formal methods
Refinement
Studies
Synchronized communication
Systems development
Refinement
Adaptive systems
Synchronized communication
Formal methods
ISSN:0164-1212, 1873-1228
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:0164-1212
1873-1228
DOI:10.1016/j.jss.2006.03.047