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

Full description

Saved in:
Bibliographic Details
Published in:The Journal of systems and software Vol. 79; no. 11; pp. 1514 - 1526
Main Authors: Seceleanu, Tiberiu, Garlan, David
Format: Journal Article
Language:English
Published: New York Elsevier Inc 01.11.2006
Elsevier Sequoia S.A
Subjects:
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:0164-1212
1873-1228
DOI:10.1016/j.jss.2006.03.047