Trustworthy Global Computing
DOI: 10.1007/978-3-540-78663-4_15
|View full text |Cite
|
Sign up to set email alerts
|

Replicating Web Services for Scalability

Abstract: Abstract. Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because the scale and complexity inherent in the system itself poses challenges for accurate qualitative or quantitative modelling. We use two process calculi cooperatively in the analysis of an example Web service replicated across many servers. The SOCK calculus is used to model service-oriented aspects closely and the PEPA calcul… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
21
0

Publication Types

Select...
8

Relationship

7
1

Authors

Journals

citations
Cited by 25 publications
(21 citation statements)
references
References 16 publications
(24 reference statements)
0
21
0
Order By: Relevance
“…In this chapter we 1. Introduce business process model and notation, its aim and a brief overview of the developments till now.…”
Section: Business Process Model and Notationmentioning
confidence: 99%
See 2 more Smart Citations
“…In this chapter we 1. Introduce business process model and notation, its aim and a brief overview of the developments till now.…”
Section: Business Process Model and Notationmentioning
confidence: 99%
“…5. 1. We see that the task tries to book a room in "n" hotels until it has successfully booked one of the hotels or there are no free rooms for the entered dates in all the n hotels.…”
Section: Example: Hotel Booking Process With Costsmentioning
confidence: 99%
See 1 more Smart Citation
“…In this paper a largescale model of the BitTorrent distribution protocol is developed in PEPA and solved using the fluid-flow approximation. Previous models of Web Services considered in this style include the distributed e-learning and course management system considered in [33] in PEPA and the same system considered in the untimed process calculus SOCK and in PEPA in [34].…”
Section: Related Workmentioning
confidence: 99%
“…In [2] we considered the problem of how service-level agreements can be evaluated for service-oriented systems at all. In [11,12] we considered the scalability of such a system in the absence of possible modifications as generated through model transformation.…”
Section: Related Workmentioning
confidence: 99%