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

Radu C. Calinescu; Marta Z. Kwiatkowska

doi:10.1007/978-3-642-00593-0_29

CADS: Computer-Aided Development of self- systems

Radu C. Calinescu, Marta Z. Kwiatkowska

Computer Science Research Group

Research output: Chapter in Book/Published conference output › Chapter

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.

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering
Place of Publication	Berlin (DE)
Publisher	Springer
Pages	421-424
Number of pages	4
Volume	5503
ISBN (Print)	9783642005923
DOIs	https://doi.org/10.1007/978-3-642-00593-0_29
Publication status	Published - 28 Mar 2009

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5503

Bibliographical note

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

Keywords

computer aided development
Markov chains
software development
model transformation
model-driven code generation
dynamic software reconfiguration

Access to Document

10.1007/978-3-642-00593-0_29

fase09.pdf
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

http://www.springerlink.com/content/y0863g33hv748262/

Cite this

@inbook{5b5b733524df42f0806a9f8612ac3768,

title = "CADS*: Computer-Aided Development of self-* systems",

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.",

keywords = "computer aided development, Markov chains, software development, model transformation, model-driven code generation, dynamic software reconfiguration",

author = "Calinescu, {Radu C.} and Kwiatkowska, {Marta Z.}",

note = "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",

year = "2009",

month = mar,

day = "28",

doi = "10.1007/978-3-642-00593-0_29",

language = "English",

isbn = "9783642005923",

volume = "5503",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "421--424",

booktitle = "Fundamental Approaches to Software Engineering",

address = "Germany",

}

TY - CHAP

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

AU - Calinescu, Radu C.

AU - Kwiatkowska, Marta Z.

N1 - 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

PY - 2009/3/28

Y1 - 2009/3/28

N2 - 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.

AB - 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.

KW - computer aided development

KW - Markov chains

KW - software development

KW - model transformation

KW - model-driven code generation

KW - dynamic software reconfiguration

UR - http://www.scopus.com/inward/record.url?scp=67650130358&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-00593-0_29

DO - 10.1007/978-3-642-00593-0_29

M3 - Chapter

SN - 9783642005923

VL - 5503

T3 - Lecture Notes in Computer Science

SP - 421

EP - 424

BT - Fundamental Approaches to Software Engineering

PB - Springer

CY - Berlin (DE)

ER -