CADS*: Computer-Aided Development of self-* systems


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.

Publication DOI:
Divisions: ?? 50811700Jl ??
Additional Information: Proceedings of the 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. The original publication is available at
Uncontrolled Keywords: computer aided development,Markov chains,software development,model transformation,model-driven code generation,dynamic software reconfiguration,Computer Science(all),Theoretical Computer Science
ISBN: 9783642005923
Last Modified: 17 Apr 2024 07:26
Date Deposited: 28 Jul 2010 12:05
Full Text Link: http://www.spri ... 863g33hv748262/
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Chapter
Published Date: 2009-03-28
Authors: Calinescu, Radu C.
Kwiatkowska, Marta Z.


Export / Share Citation


Additional statistics for this record