The formalism of metric transition systems, as introduced by deaAlfaro, Faella and Stoelinga, is convenient for modeling systems and properties with quantitative information, such as probabilities or time. For a number of applications however, one needs other distances than the point-wise (and possibly discounted) linear and branching distances introduced by deaAlfaro et.al. for analyzing quantitative behavior.#R##N##R##N#In this paper, we show a vast generalization of the setting of deaAlfaro et.al., to a framework where any of a large number of other useful distances can be applied. Concrete instantiations of our framework hence give e.g limit-average, discounted-sum, or maximum-lead linear and branching distances; in each instantiation, properties similar to the ones of deaAlfaro et.al. hold.#R##N##R##N#In the end, we achieve a framework which is not only suitable for modeling different kinds of quantitative systems and properties, but also for analyzing these by using different application-determined ways of measuring quantitative behavior.
['Uli Fahrenberg', 'Axel Legay']
Generalized Quantitative Analysis of Metric Transition Systems