Quantitative Analysis of Web Services Using SRMC

Allan Clark; Stephen Gilmore; Mirco Tribastone

doi:10.1007/978-3-642-01918-0_8

Quantitative Analysis of Web Services Using SRMC

Allan Clark, Stephen Gilmore, Mirco Tribastone

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

Abstract

In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serve a larger pool of service subscribers. We use a process calculus called SRMC to model the service. We apply efficient analysis techniques to numerically evaluate our model. The process calculus and the numerical analysis are supported by a set of software tools which relieve the modeller of the burden of generating and evaluating a large family of related models. The methods are illustrated on a classical example of Web Service usage in a business-to-business scenario.

Original language	English
Title of host publication	Formal Methods for Web Services
Subtitle of host publication	9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Editors	Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
Publisher	Springer-Verlag GmbH
Pages	296-339
Number of pages	44
ISBN (Electronic)	978-3-642-01918-0
ISBN (Print)	978-3-642-01917-3
DOIs	https://doi.org/10.1007/978-3-642-01918-0_8
Publication status	Published - 2009

Publication series

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

Access to Document

10.1007/978-3-642-01918-0_8

http://dx.doi.org/10.1007/978-3-642-01918-0_8

Cite this

Clark, A., Gilmore, S., & Tribastone, M. (2009). Quantitative Analysis of Web Services Using SRMC. In M. Bernardo, L. Padovani, & G. Zavattaro (Eds.), Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures (pp. 296-339). (Lecture Notes in Computer Science; Vol. 5569). Springer-Verlag GmbH. https://doi.org/10.1007/978-3-642-01918-0_8

Clark, Allan ; Gilmore, Stephen ; Tribastone, Mirco. / Quantitative Analysis of Web Services Using SRMC. Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. editor / Marco Bernardo ; Luca Padovani ; Gianluigi Zavattaro. Springer-Verlag GmbH, 2009. pp. 296-339 (Lecture Notes in Computer Science).

@inproceedings{bcb424054c4146fd97268a1c0725463b,

title = "Quantitative Analysis of Web Services Using SRMC",

abstract = "In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serve a larger pool of service subscribers. We use a process calculus called SRMC to model the service. We apply efficient analysis techniques to numerically evaluate our model. The process calculus and the numerical analysis are supported by a set of software tools which relieve the modeller of the burden of generating and evaluating a large family of related models. The methods are illustrated on a classical example of Web Service usage in a business-to-business scenario.",

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

year = "2009",

doi = "10.1007/978-3-642-01918-0_8",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag GmbH",

pages = "296--339",

editor = "Marco Bernardo and Luca Padovani and Gianluigi Zavattaro",

booktitle = "Formal Methods for Web Services",

}

Clark, A, Gilmore, S & Tribastone, M 2009, Quantitative Analysis of Web Services Using SRMC. in M Bernardo, L Padovani & G Zavattaro (eds), Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Lecture Notes in Computer Science, vol. 5569, Springer-Verlag GmbH, pp. 296-339. https://doi.org/10.1007/978-3-642-01918-0_8

Quantitative Analysis of Web Services Using SRMC. / Clark, Allan; Gilmore, Stephen; Tribastone, Mirco.

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. ed. / Marco Bernardo; Luca Padovani; Gianluigi Zavattaro. Springer-Verlag GmbH, 2009. p. 296-339 (Lecture Notes in Computer Science; Vol. 5569).

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

TY - GEN

T1 - Quantitative Analysis of Web Services Using SRMC

AU - Clark, Allan

AU - Gilmore, Stephen

AU - Tribastone, Mirco

PY - 2009

Y1 - 2009

N2 - In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serve a larger pool of service subscribers. We use a process calculus called SRMC to model the service. We apply efficient analysis techniques to numerically evaluate our model. The process calculus and the numerical analysis are supported by a set of software tools which relieve the modeller of the burden of generating and evaluating a large family of related models. The methods are illustrated on a classical example of Web Service usage in a business-to-business scenario.

AB - In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serve a larger pool of service subscribers. We use a process calculus called SRMC to model the service. We apply efficient analysis techniques to numerically evaluate our model. The process calculus and the numerical analysis are supported by a set of software tools which relieve the modeller of the burden of generating and evaluating a large family of related models. The methods are illustrated on a classical example of Web Service usage in a business-to-business scenario.

U2 - 10.1007/978-3-642-01918-0_8

DO - 10.1007/978-3-642-01918-0_8

M3 - Conference contribution

SN - 978-3-642-01917-3

T3 - Lecture Notes in Computer Science

SP - 296

EP - 339

BT - Formal Methods for Web Services

A2 - Bernardo, Marco

A2 - Padovani, Luca

A2 - Zavattaro, Gianluigi

PB - Springer-Verlag GmbH

ER -

Clark A, Gilmore S, Tribastone M. Quantitative Analysis of Web Services Using SRMC. In Bernardo M, Padovani L, Zavattaro G, editors, Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Springer-Verlag GmbH. 2009. p. 296-339. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-01918-0_8

Quantitative Analysis of Web Services Using SRMC

Abstract

Publication series

Access to Document

Fingerprint

Cite this