Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to software developers and synchronisation, scheduling and performance problems come to the fore. Complex systems such as these can benefit from the application of high-level performance analysis methods founded on timed process algebras. In this paper we compare the use of two such approaches, the PEPA nets and EOS methods, illustrating our presentation with the example of modelling Web services.
|Title of host publication||Global Computing. Programming Environments, Languages, Security, and Analysis of Systems|
|Subtitle of host publication||IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers|
|Number of pages||25|
|Publication status||Published - 2003|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|