CADS*: Computer-Aided Development of self-* systems
Calinescu, Radu C. and Kwiatkowska, Marta Z. (2009). CADS*: Computer-Aided Development of self-* systems. IN: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science . Berlin (DE): Springer.
| PDF (fase09.pdf) 163Kb |
Official URL: http://www.springerlink.com/content/y0863g33hv7482...
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.
| Item Type: | Book Section |
|---|---|
| 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 www.springerlink.com |
| Uncontrolled Keywords: | computer aided development, Markov chains, software development, model transformation, model-driven code generation, dynamic software reconfiguration |
| Divisions: | Schools_of_Study > Engineering & Applied Science > Computer Science (EAS) |
| Related URLs: | |
| ID Code: | 9363 |
| Deposited By: | Susan Doughty |
| Deposited On: | 28 Jul 2010 13:05 |
| Last Modified: | 08 Jan 2013 18:33 |
Repository Staff Only: item control page






