Developing adaptive systems with synchronized architectures

doi:10.1016/j.jss.2006.03.047

Return

Developing adaptive systems with synchronized architectures

2006-11-01

PRE

Tiberiu Seceleanu *

David Garlan

DOI：10.1016/j.jss.2006.03.047

Original

Original request for help

Save

Abstract

En 中文

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. (c) 2006 Elsevier Inc. All rights reserved.

Keywords:

synchronized communication

adaptive systems

formal methods

refinement

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.