Generation and Solution of Markov Chains Using MOSES

Abstract

In this paper the Markov analyzer MOSES (MOdelling, Specification and Evaluation System) and the model description language MOSLANG -- both developed at the Institute for Operating Systems at the University of Erlangen-Nuernberg -- are described using two examples. To evaluate the performance of a computer system the system has to be specified. In this paper the model description language MOSLANG is introduced and applied to some examples. The core of MOSLANG consists of constructs suitable for the specification of the possible states of the system and of RULE constructs which model the state transitions. This specification method is much more compact than other comparable methods and enables the user to specify large systems when he has become familiar with MOSLANG. The Markov analyzer MOSES supports the input of MOSLANG and subsequently creates the Markovian system of equations automatically. For solving this system of equations five different methods are provided. MOSES calculates..