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 language | English |
---|---|
Title of host publication | FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS |
Editors | M Chechik, M Wirsing |
Place of Publication | BERLIN |
Publisher | Springer |
Pages | 421-424 |
Number of pages | 4 |
Volume | 5503 |
ISBN (Print) | 978-3-642-00592-3 |
Publication status | Published - 2009 |
Event | 12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software - York Duration: 22 Mar 2009 → 29 Mar 2009 |
Conference
Conference | 12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software |
---|---|
City | York |
Period | 22/03/09 → 29/03/09 |