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

Radu Calinescu, Marta Kwiatkowska

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present the prototype tool CADS* for the computer-aided development of all important class of self-* systems, namely systems whose components call 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.

Original languageEnglish
Title of host publicationFUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS
EditorsM Chechik, M Wirsing
Place of PublicationBERLIN
PublisherSpringer
Pages421-424
Number of pages4
Volume5503
ISBN (Print)978-3-642-00592-3
Publication statusPublished - 2009
Event12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software - York
Duration: 22 Mar 200929 Mar 2009

Conference

Conference12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software
CityYork
Period22/03/0929/03/09

Cite this