Bolch, Gunter ;
Herold, Helmut
:
MOSEL - MOdeling Specifikation and Evaluation Language.
Erlangen:
FAU.
1995
TR-I4-95-02.- Interner Bericht.
51 Seiten.
Abstract:
In this paper the new model description language MOSEL (MOdeling
Specification and Evaluation Language) - developed at the Institute
for Operating Systems at the University of Erlangen-Nuernberg - is
described using many examples. To evaluate the performance of systems,
like computer systems, networks, production lines and so on, the
system has to be specified. Currently there already exist many
different performance evaluation tools, which all have different input
languages. The basic idea of the new language MOSEL is, to have only
one language which is easy to use and reflects the real structure of
the system the user wants to describe. MOSEL will be a common
frontend for many performance evaluation tools. The user has only to
become familiar with MOSEL and has not to learn all the different tool
specific languages to use these tools. After the user has specified
its system in MOSEL, the MOSEL-Compiler will produce the appropiate
input description for the specific tools. By giving options the user
may specify which tools he wants to use. Nevertheless MOSEL also
decides which tools are applicable for the given system
specification. Currently MOSEL can produce input descriptions for the
tools MOSES, which is a Markov analyzer, and the tool SPNP, which is a
Stochastic Petri Net Package. It is planned to use MOSEL as a common
description language for other already implemented performance
evaluation tools, like PEPSY or SHARPE. The MOSEL-Compiler is
implemented in the programming language C by using the scanner and
parser tools lex and yacc.
