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, 5503 . Berlin (DE): Springer.
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.
| Publication DOI: | https://doi.org/10.1007/978-3-642-00593-0_29 |
|---|---|
| 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 www.springerlink.com |
| Uncontrolled Keywords: | computer aided development,Markov chains,software development,model transformation,model-driven code generation,dynamic software reconfiguration,General Computer Science,Theoretical Computer Science |
| ISBN: | 9783642005923 |
| Last Modified: | 04 Nov 2024 09:38 |
| 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. |
![[img]](https://publications.aston.ac.uk/style/images/fileicons/application_pdf.png)
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)