• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Synchronized Architectures for Adaptive Systems

Tiberiu Seceleanu, David Garlan, Synchronized Architectures for Adaptive Systems. In: Proceedings of the 2nd International Workshop on Software Cybernetics, in conjunction with COMPSAC 2005, 146-151, 2005.

Abstract:

In this paper we demonstrate how to use action systems to specify and refine self-adaptive systems. Focusing on the special case in which there are a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve separation of concerns between adaptation policy and steady-state system execution. The use of action systems permits the application of standard techniques for refinement to construct correct implementations from higher-level models. We illustrate the application of this idea to the problem of coping with dynamically-varying user requirements.

BibTeX entry:

@INPROCEEDINGS{inpSeGa05a,
  title = {Synchronized Architectures for Adaptive Systems},
  booktitle = {Proceedings of the 2nd International Workshop on Software Cybernetics, in conjunction with COMPSAC 2005},
  author = {Seceleanu, Tiberiu and Garlan, David},
  pages = {146-151},
  year = {2005},
}

Belongs to TUCS Research Unit(s): Communication Systems (ComSys)

Edit publication