eprintid: 2572
rev_number: 10
eprint_status: archive
userid: 6
dir: disk0/00/00/25/72
datestamp: 2015-02-09 09:18:02
lastmod: 2015-02-09 09:19:12
status_changed: 2015-02-09 09:19:12
type: book_section
metadata_visibility: show
creators_name: Clark, Allan
creators_name: Gilmore, Stephen
creators_name: Tribastone, Mirco
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Scalable analysis of scalable systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 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
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.
date: 2009
series: Lecture Notes in Computer Science
volume: 5503
number: 5503
publisher: Springer
pagerange: 1-17
id_number: 10.1007/978-3-642-00593-0_1
refereed: TRUE
isbn: 978-3-642-00593-0
book_title: Fundamental Approaches to Software Engineering
official_url: http://dx.doi.org/10.1007/978-3-642-00593-0_1
citation:   Clark, Allan and Gilmore, Stephen and Tribastone, Mirco  Scalable analysis of scalable systems.   In:  Fundamental Approaches to Software Engineering.   Lecture Notes in Computer Science, 5503  (5503).  Springer, pp. 1-17.  ISBN 978-3-642-00593-0      (2009)