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

Celý popis

Podrobná bibliografie

Vydáno v:	The Journal of systems and software Ročník 79; číslo 11; s. 1514 - 1526
Hlavní autoři:	Seceleanu, Tiberiu, Garlan, David
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Elsevier Inc 01.11.2006 Elsevier Sequoia S.A
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!