eprintid: 2576
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/76
datestamp: 2015-02-09 09:45:25
lastmod: 2015-02-09 09:45:25
status_changed: 2015-02-09 09:45:25
type: book_section
metadata_visibility: show
creators_name: Tribastone, Mirco
creators_name: Mayer, Philip
creators_name: Wirsing, Martin
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
creators_id: 
title: Performance prediction of service-oriented systems with layered queueing networks
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
abstract: We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the UML and two profiles: UML4SOA for specifying the functional behaviour, and MARTE for the non-functional performance-related characterisation. By means of a case study, we show how such a model can be interpreted as a layered queueing network. This target technique has the advantage to employ as constituent blocks entities, such as threads and processors, which arise very frequently in real deployment scenarios. Furthermore, the analytical methods for the solution of the performance model scale very well with increasing problem sizes, making it possible to efficiently evaluate the behaviour of large-scale systems.
date: 2010
series: Lecture Notes in Computer Science
number: 6416
publisher: Springer
pagerange: 51-65
id_number: 10.1007/978-3-642-16561-0_12
refereed: TRUE
isbn: 978-3-642-16561-0
book_title: Leveraging Applications of Formal Methods, Verification, and Validation
official_url: http://dx.doi.org/10.1007/978-3-642-16561-0_12
citation:   Tribastone, Mirco and Mayer, Philip and Wirsing, Martin  Performance prediction of service-oriented systems with layered queueing networks.   In:  Leveraging Applications of Formal Methods, Verification, and Validation.   Lecture Notes in Computer Science  (6416).  Springer, pp. 51-65.  ISBN 978-3-642-16561-0      (2010)