CADS*: Computer-Aided Development of Self-* Systems

  • Radu Calinescu
  • Marta Kwiatkowska
Conference paper

DOI: 10.1007/978-3-642-00593-0_29

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5503)
Cite this paper as:
Calinescu R., Kwiatkowska M. (2009) CADS*: Computer-Aided Development of Self-* Systems. In: Chechik M., Wirsing M. (eds) Fundamental Approaches to Software Engineering. FASE 2009. Lecture Notes in Computer Science, vol 5503. Springer, Berlin, Heidelberg

Abstract

We present the prototype tool CADS* for the computer-aided development of an important class of self-* systems, namely systems whose components can be modelled as Markov chains. Given a Markov chain representation of the IT components to be included into a self-* system, CADS* automates or aids (a) the development of the artifacts necessary to build the self-* system; and (b) their integration into a fully-operational self-* solution. This is achieved through a combination of formal software development techniques including model transformation, model-driven code generation and dynamic software reconfiguration.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Radu Calinescu
    • 1
  • Marta Kwiatkowska
    • 1
  1. 1.Computing LaboratoryUniversity of OxfordUK

Personalised recommendations