<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Quantitative analysis of web services using SRMC"^^ . "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."^^ . "2009" . "5569" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Stephen"^^ . "Gilmore"^^ . "Stephen Gilmore"^^ . . "Allan"^^ . "Clark"^^ . "Allan Clark"^^ . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . . . . "HTML Summary of #2596 \n\nQuantitative analysis of web services using SRMC\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .