Developing adaptive systems with synchronized architectures

doi:10.1016/j.jss.2006.03.047

2006-11-01

PRE

Tiberiu Seceleanu *

David Garlan

DOI：10.1016/j.jss.2006.03.047

原文链接

原文求助

摘要

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.

Keyword:

synchronized communication

adaptive systems

formal methods

refinement