Scale-Freeness of SPA models with weighted immediate actions

Authors:
Johann Schuster;Markus Siegle
Affiliations:
University of the Federal Armed Forces Munich, Germany;University of the Federal Armed Forces Munich, Germany
Venue:
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Year:
2012

Citing 10
Cited 0

A compositional approach to performance modelling

A compositional approach to performance modelling
Modeling and verification of randomized distributed real-time systems

Modeling and verification of randomized distributed real-time systems
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
Clarifying the Priority Specification of GSPN: Detached Priorities

PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Model-Checking Algorithms for Continuous-Time Markov Chains

IEEE Transactions on Software Engineering
Recent Extensions to the Stochastic Process Algebra Tool CASPA

QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Electronic Notes in Theoretical Computer Science (ENTCS)
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
On Probabilistic Automata in Continuous Time

LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Whenever a process algebra uses weights for specifying probabilities, it is desirable that the rescaling of a submodel's weights by a constant factor does not affect the resulting overall model. A classical weighted approach, which is independent of rescaling weights in submodels, is the WSCCS approach by Tofts. The stochastic process algebra CASPA also uses weights, but the results are in general not independent of rescaling the submodels' weights. This paper develops necessary and sufficient criteria for CASPA models to be independent of rescalings. In addition to the general notion of scale-freeness, weaker notions that do not regard vanishing states or target on certain measures are also considered.