Abstrakt. Globala datorapplikationer samordnar distribuerade beräkningar över väldispergerade värdar. Sådana system innebär enorma design- och implementationsutmaningar för programvaruutvecklare och synkronisering, schemaläggning och prestandaproblem kommer i förgrunden. Komplexa system som dessa kan dra nytta av tillämpningen av högpresterande analysmetoder baserade på tidsinställda processalgebror. I detta dokument jämför vi användningen av två sådana metoder, PEPA-näten och EOS-metoderna, som illustrerar vår presentation med exemplet med modellering av webbtjänster.
PEPA-nät och de stokastiska π-kalculus tillämpas på modellering av en webbtjänst i REF.
C.: Performance evaluation for global computation
{'venue': 'Proceedings of the IST/FET International Workshop (GC 2003). Volume 2874 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}