A brief introduction to MOSEL-2

The versatile MOdeling, Specification and Evaluation Lan- guage is the core element of the MOSEL-2 tool. This description lan- guages provides a high-level means for specifying models, performance measures, and the graphical presentation of results. The description lan- guages is implemented in form of an evaluation environment that com- prises translators to the modeling languages of several third-party per- formance evaluation tools that evaluate the specified model.