Scalable Analysis of Scalable Systems

Allan Clark; Stephen Gilmore; Mirco Tribastone

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

Scalable Analysis of Scalable Systems

Allan Clark, Stephen Gilmore, Mirco Tribastone

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants of this using model transformation. The models are compiled into systems of ordinary differential equations and numerically integrated to predict non-functional properties such as responsiveness and scalability.

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering
Subtitle of host publication	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. Proceedings
Editors	Marsha Chechik, Martin Wirsing
Publisher	Springer
Pages	1-17
Number of pages	17
ISBN (Electronic)	978-3-642-00593-0
ISBN (Print)	978-3-642-00592-3
DOIs	https://doi.org/10.1007/978-3-642-00593-0_1
Publication status	Published - 2009

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	5503
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

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

Clark Gilmore ET AL 2009 Scalable Analysis of Scalable SystemsSubmitted manuscript, 496 KB

http://dx.doi.org/10.1007/978-3-642-00593-0_1

Cite this

Clark, A., Gilmore, S., & Tribastone, M. (2009). Scalable Analysis of Scalable Systems. In M. Chechik, & M. Wirsing (Eds.), Fundamental Approaches to Software Engineering: 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. Proceedings (pp. 1-17). (Lecture Notes in Computer Science; Vol. 5503). Springer. https://doi.org/10.1007/978-3-642-00593-0_1

Clark, Allan ; Gilmore, Stephen ; Tribastone, Mirco. / Scalable Analysis of Scalable Systems. Fundamental Approaches to Software Engineering: 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. Proceedings. editor / Marsha Chechik ; Martin Wirsing. Springer, 2009. pp. 1-17 (Lecture Notes in Computer Science).

@inproceedings{1d69a8bf41c645858aad980273342822,

title = "Scalable Analysis of Scalable Systems",

abstract = "We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants of this using model transformation. The models are compiled into systems of ordinary differential equations and numerically integrated to predict non-functional properties such as responsiveness and scalability.",

author = "Allan Clark and Stephen Gilmore and Mirco Tribastone",

year = "2009",

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

language = "English",

isbn = "978-3-642-00592-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--17",

editor = "Marsha Chechik and Martin Wirsing",

booktitle = "Fundamental Approaches to Software Engineering",

address = "United Kingdom",

}

Clark, A, Gilmore, S & Tribastone, M 2009, Scalable Analysis of Scalable Systems. in M Chechik & M Wirsing (eds), Fundamental Approaches to Software Engineering: 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. Proceedings. Lecture Notes in Computer Science, vol. 5503, Springer, pp. 1-17. https://doi.org/10.1007/978-3-642-00593-0_1

Scalable Analysis of Scalable Systems. / Clark, Allan; Gilmore, Stephen; Tribastone, Mirco.
Fundamental Approaches to Software Engineering: 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. Proceedings. ed. / Marsha Chechik; Martin Wirsing. Springer, 2009. p. 1-17 (Lecture Notes in Computer Science; Vol. 5503).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Scalable Analysis of Scalable Systems

AU - Clark, Allan

AU - Gilmore, Stephen

AU - Tribastone, Mirco

PY - 2009

Y1 - 2009

N2 - We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants of this using model transformation. The models are compiled into systems of ordinary differential equations and numerically integrated to predict non-functional properties such as responsiveness and scalability.

AB - We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants of this using model transformation. The models are compiled into systems of ordinary differential equations and numerically integrated to predict non-functional properties such as responsiveness and scalability.

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

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

M3 - Conference contribution

SN - 978-3-642-00592-3

T3 - Lecture Notes in Computer Science

SP - 1

EP - 17

BT - Fundamental Approaches to Software Engineering

A2 - Chechik, Marsha

A2 - Wirsing, Martin

PB - Springer

ER -

Clark A, Gilmore S, Tribastone M. Scalable Analysis of Scalable Systems. In Chechik M, Wirsing M, editors, Fundamental Approaches to Software Engineering: 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. Proceedings. Springer. 2009. p. 1-17. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-00593-0_1

Scalable Analysis of Scalable Systems

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this