Att modellera och analysera distribuerade och mobila programvarusystem är en utmanande uppgift. PEPA nät - färgade stokastiska Petri nät - är en nyligen införd modellering formalism som tydligt fångar viktiga funktioner som plats, synkronisering och meddelande passerar. I det här dokumentet beskriver vi PEPA-nät och det nyutvecklade plattformsstödet för prestandamodellering av programvara med hjälp av dem. Avgörande för detta stöd är sammanställningen från PEPA-nät i Hillstons PEPA stokastiska process algebra för att få tillgång till de programvaruverktyg som stöder PEPA algebra. Förutom härledning av steady state-prestandaåtgärder, denna uppsättning verktyg gör det möjligt att kontrollera systemets egenskaper med hjälp av modellkontroll. Vi visar användningen av PEPA-nät i modellering och analys av en säker webbtjänst.
Gilmore m.fl. I REF föreslås användning av färgade stokastiska Petri-nät (PEPA-nät) för prestandamodellering av webbtjänster.
Software performance modelling using PEPA nets
{'venue': "WOSP '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}