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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of systems and software Jg. 79; H. 11; S. 1514 - 1526
Hauptverfasser:	Seceleanu, Tiberiu, Garlan, David
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Elsevier Inc 01.11.2006 Elsevier Sequoia S.A
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!