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

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!