MOSEL ist eine neue, ausdrucksstarke Spezifikationssprache für die
Leistungs- und Zuverlässigkeitsbewertung von Computer-, Kommunikations- und Fertigungssystemen.
Die Spezifikationssprache ist der zentrale Bestandteil der MOSEL Modellierungsumgebung.
Nach der Spezifikation des Systems mit MOSEL führt die Modellierungsumgebung automatisch
die zur Leistungs- und Zuverlässigkeitsbewertung nötigen Schritte durch. Die Ergebnisse der
Analyse werden sowohl in textueller als auch in graphischer Form aufbereitet. Zum Betrachten
der Graphiken kommt das in die MOSEL-Modellierungsumgebung integrierte Dienstprogramm
IGL zum Einsatz.