Modellering och analys med processalgebras har visat nödvändigheten av att utöka dem med prioritet, probabilistiska interna/externa val och tid samtidigt som kompositionaliteten bevaras. Syftet med detta dokument är att ta ytterligare ett steg genom att införa ett sätt att uttrycka prestandaåtgärder, för att göra det möjligt för modellören att fånga QoS-värdena av intresse. Vi visar att standardtekniken för att uttrycka stationära och övergående prestandamått som viktade summor av statliga sannolikheter och övergångsfrekvenser kan importeras i processen algebra ram. Tekniskt sett, om vi betecknar med n  till N I antalet prestandamått av intresse, i detta papper definierar vi en familj av utökad Markovisk process algebras med generativ master-reactive slavar synkroniseringsmekanism som kallas EMPA gr n inklusive sannolikheter, prioriteringar, exponentiellt fördelade durationer, och sekvenser av belöningar av längd n. Då visar vi att Markovian bisimulation ekvivalens  på MB n är en kongruens för EMPA gr n som bevarar de angivna prestandaåtgärderna och vi ger en ljud och fullständig axiomatisering för ändlig EMPA gr n termer. Slutligen presenterar vi en fallstudie som genomförts med programvaruverktyget TwoTowers där vi jämför den genomsnittliga prestandan för ett urval distribuerade algoritmer för ömsesidig uteslutning modellerad med EMPA gr n.
Bernardo och Al. introducerade EMPA gr REF, en utökad markansk processalgebra med sannolikheter, prioritet och exponentiellt fördelade durationer.
Performance Measure Sensitive Congruences for Markovian Process Algebras
{'venue': 'Theoretical Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}